Survey of compiler testing methods

Programming and Computer Software

Volumn 31, Issue 1, 2005, Pages 10-19

  Kossatchev, A S ^a   Posypkin, M A ^a  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; HIGH LEVEL LANGUAGES; QUALITY CONTROL; SEMANTICS; SET THEORY; SOFTWARE ENGINEERING;

COMPILATION; COMPILER TESTING METHODS; EXECUTABLE MODULES; SOURCE PROGRAMS;

PROGRAM COMPILERS;

EID: 14744304771     PISSN: 03617688     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11086-005-0002-z     Document Type: Review

References (32)

1. Serebryakov, V.A., Lektsii po konstruirovaniyu kompilyatorov (Lectures on Compiler Design), Moscow, 1993.
2. Purdom, P.A., A Sentence Generator for Testing Parsers, BIT, 1972, vol. 2, pp. 336-375.
3. Malloy, B.A. and Power, J.F., An Interpretation of Purdom's Algorithm for Automatic Generation of Test Cases, Proc. of ICIS'01, 2001.
4. Lämmel, R., Grammar Testing, Lecture Notes in Computer Science (Proc. of Fundamental Approaches to Software Eng. (FASE), 2001), Berlin: Springer, 2001, vol. 2029, pp. 201-216.
5. Zelenova, S.V., Demakov, A.V., and Zelenov, S.A., Testing of Text Parsers in Formal Languages, Programnye sistemy instrumenty, 2001, no. 2.
6. Guilmette, R.F., TGGS: A Flexible System for Generating Efficient Test Case Generators, 1999.
7. Maurer, P.M., Generating Test Data with Enhanced Context-Free Grammars, IEEE Software, 1990, pp. 50-55.
8. Maurer, P.M., The Design and Implementation of a Grammar-Based Data Generator, Software Practice Experience, 1992, vol. 22, no. 3, pp. 223-244.
9. Sirer, E. and Bershad, B., Using Production Grammars in Software Testing, Proc. of the Second Conf. on Domain-Specific Languages, 1999.
10. Automated Syntax Testing Using JSynTest™, http://software.qip.us/ jsyntest.htm.
11. ter Doest, H., Stochastic Languages and Stochastic Grammars, Proc. of the 1994 Groningen Student Conf. on Comput. Sci. (Groenbaum, H.M., Kleijn-Hesselink, H.W., and Lankhast, M.M., Eds.), 1994, pp. 51-59.
12. McKeeman, W., Differential Testing for Software, Digital Tech. J., 1998, vol. 10, no. 1, pp. 100-107.
13. Zelenov, S.V. and Zelenova, S.A., Automatic Generation of Positive and Negative Tests for Testing Syntax Analysis Stage, Programmirovanie (in press).
14. Petrenko, A.K., Chatskina, T.A., Borisova, M.V., and Morozova, T.A., Testirovanie kompilyatorov na osnove formal 'noi modeli yazyka (Compiler Testing Based on Formal Model of Language), Moscow: Institut prikladnoi matematiki im. M.V. Keldysha Ross. Akad. Nauk, 1992.
15. Harm, J., Automatic Test Program Generation from Formal Language Specification, Rostocker Informatic-Berishte, 1997, vol. 20, pp. 33-56.
16. Harm, J. and Lämmel, R., Two-Dimensional Approximation Coverage, Informatica, 2000, vol. 24, no. 3.
17. Harm, J. and Lämmel, R., Testing Attribute Grammars, Proc. of the Third Workshop on Attribute Grammars and Their Applications, 2000, pp. 79-98.
18. Duncan, A.G. and Hutchinson, J.S., Using Attributed Grammars to Test Design and Implementations, Proc. of the 5th Int. Conf. on Software Eng., 1981, pp. 170-178.
19. Kalinov, A., Kossatchev, A., Petrenko, A., Posypkin, M., and Shishkov, V., Coverage-Driven Automated Compiler Test Suite Generation, Proc. of LDTA'2003, Elsevier, 2003, vol. 82.
20. Tretmans, J., Testing Techniques, 2002.
21. Burgess, C.J. and Saidi, M., The Automatic Generation of Test Cases for Optimizing Fortran Compilers, Information Software Technol., 1996, vol. 38, pp. 111-119.
22. Kalinov, A., Kossatchev, A., Posypkin, M., and Shishkov, V., Using ASM Specification for Automatic Test Suite Generation for mpC Parallel Programming Language Compiler, Proc. of the Fourth Int. Workshop on Action Semantics AS 2002, 2002, pp. 96-106.
23. Kossatchev, A.S., Kutter, P., and Posypkin, M.A., Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language, Programmirovanie, 2004, no. 4, pp. 52-67.
24. Zelenov, S.V., Zelenova, S.A., Kossatchev, A.S., and Petrenko, A.K., Generation of Tests for Compilers and other Text Processors, Programmirovanie, 2003, no. 2, pp. 59-69.
25. Kossatchev, A.S., Petrenko, A.K., Zelenov, S.V., and Zelenova, S.A., Application of Model-Based Approach for Automated Testing of Optimizing Compilers, Proc. of the Int. Workshop on Program Understanding, 2004, pp. 81-88.
26. Kaufman, V.Sh., Standardization and Control of Translators, in Razlichnye aspekty sistemnogo programmirovaniya (Various Aspects of System Programming), 1984, pp. 47-85.
27. Sukhomlin, V.A., Triple Standard 3C++ Programming System, Int. Conf. "Open System Development and Application," 1997, pp. 37-47.
28. Baskakov, Yu.V., Principles of Construction of Test Suites for Testing Compiler Conformity with Programming Language Standards, Teoreticheskie i prikladnye problemy informatsionnykh tekhnologii (Theoretical and Applied Problems of Information Technologies), Sukhomlin, V.A., Ed., 2001.
29. eXtensible Abstract State Machines, http://www.xasm.org.
30. Kutter, P. and Pierantonio, A., Montages: Specifications of Realistic Programming Languages, J. Universal Comput. Sci., 1997, vol. 3, no. 5, pp. 416-442.
31. Lastovetsky, A., mpC - A Multi-Paradigm Programming Language for Massively Parallel Computers, ASM SIGPLAN Notices, 1996, vol. 31, no. 2, pp. 13-20.
32. Gurevich, Y., Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods, Börger, E., Ed., Oxford Univ. Press, 1995, pp. 9-36.