The automatic generation of test cases for optimizing Fortran compilers
作者： C.J. Burgess , M. Saidi
DOI: 10.1016/0950-5849(95)01055-6
关键词:
摘要: Abstract This paper describes the design of an automatic generator compiler test cases which are aimed at testing correctness code-generation and optimization phases a compiler. The designed to contain specific features that optimizing compilers known exploit frequently, include self-checking code check for their correct execution. Fortran77 is used illustrate results, although general principles employed applicable many imperative languages.
elsevier.com
sci-hub.se 参考文章(13)
Z. J. Ciechanowicz, Brian A. Wichmann, Pascal compiler validation ,(1983)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
A Boujarwah, K Saleh, Compiler test suite: evaluation and use in an automated test environment Information & Software Technology. ,vol. 36, pp. 607- 614 ,(1994) , 10.1016/0950-5849(94)90020-5
K. V. Hanford, Automatic generation of test cases IBM Systems Journal. ,vol. 9, pp. 242- 257 ,(1970) , 10.1147/SJ.94.0242
P. Purdom, A sentence generator for testing parsers Bit Numerical Mathematics. ,vol. 12, pp. 366- 375 ,(1972) , 10.1007/BF01932975
Bernard Houssais, Verification of an Algol 68 implementation Proceedings of the Strathclyde ALGOL 68 conference on -. ,vol. 12, pp. 117- 128 ,(1977) , 10.1145/800238.807151
D. L. Bird, C. U. Munoz, Automatic generation of random self-checking test cases Ibm Systems Journal. ,vol. 22, pp. 229- 245 ,(1983) , 10.1147/SJ.223.0229
A. Celentano, S. Crespi Reghizzi, P. Della Vigna, C. Ghezzi, G. Granata, F. Savoretti, Compiler testing using a sentence generator Software - Practice and Experience. ,vol. 10, pp. 897- 918 ,(1980) , 10.1002/SPE.4380101104
William Homer, Richard Schooler, Independent testing of compiler phases using a test case generator Software - Practice and Experience. ,vol. 19, pp. 53- 62 ,(1989) , 10.1002/SPE.4380190106
S. M. Austin, D. R. Wilkins, B. A. Wichmann, An Ada program test generator tri ada. pp. 320- 325 ,(1991) , 10.1145/126551.126584