ملخص: This paper describes the design of an automatic generator of compiler test cases which are aimed at testing the correctness of the code-generation and optimization phases of a compiler. The test cases are designed to contain specific features that optimizing compilers are known to exploit frequently, and to include self-checking code to check for their correct execution. Fortran77 is used to illustrate the results, although the general principles employed are applicable to many compilers for imperative languages.

لغة: إنجليزية