The Automated Generation of Test Cases for Compilers
作者： Colin J. Burgess
关键词:
摘要: The testing of a compiler is difficult process, since often very high quality product expected by the user, particularly with respect to compiler's correctness. This paper seeks review main methods that have been proposed for automation part this using automatic generation test cases and checking results. It then summarizes advantages disadvantages general approach highlights several areas further research.
sci-hub.se 参考文章(16)
Z. J. Ciechanowicz, Brian A. Wichmann, Pascal compiler validation ,(1983)
Donald E. Knuth, Semantics of context-free languages Theory of Computing Systems \/ Mathematical Systems Theory. ,vol. 2, pp. 127- 145 ,(1968) , 10.1007/BF01692511
D. C. Ince, The Automatic Generation of Test Data The Computer Journal. ,vol. 30, pp. 63- 69 ,(1987) , 10.1093/COMJNL/30.1.63
K. V. Hanford, Automatic generation of test cases IBM Systems Journal. ,vol. 9, pp. 242- 257 ,(1970) , 10.1147/SJ.94.0242
P David Coward, A review of software testing Information & Software Technology. ,vol. 30, pp. 189- 198 ,(1988) , 10.1016/0950-5849(88)90065-1
Peter M. Maurer, The design and implementation of a grammar-based data generator Software - Practice and Experience. ,vol. 22, pp. 223- 244 ,(1992) , 10.1002/SPE.4380220303
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
P.M. Maurer, Generating test data with enhanced context-free grammars IEEE Software. ,vol. 7, pp. 50- 55 ,(1990) , 10.1109/52.56422
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