Compilers are used for creating executable modules for programs written in high-level languages; therefore, the presence of errors in a compiler is a serious danger for the quality of the software developed with the use of this compiler. As in the case of any other software, testing is one of the most important methods of quality control and error detection in compilers. The survey is devoted to methods for generating, running, and checking the quality of compiler test suites, which are based on formal specifications of the programming language syntax and semantics.
Description
SpringerLink - Programming and Computer Software, Volume 31, Number 1
%0 Journal Article
%1 springerlink:10.1007/s11086-005-0008-6
%A Kossatchev, A. S.
%A Posypkin, M. A.
%D 2005
%I MAIK Nauka/Interperiodica distributed exclusively by Springer Science+Business Media LLC.
%J Programming and Computer Software
%K JIT Testing compilation compiler generation survey tests
%P 10-19
%R 10.1007/s11086-005-0008-6
%T Survey of Compiler Testing Methods
%U http://dx.doi.org/10.1007/s11086-005-0008-6
%V 31
%X Compilers are used for creating executable modules for programs written in high-level languages; therefore, the presence of errors in a compiler is a serious danger for the quality of the software developed with the use of this compiler. As in the case of any other software, testing is one of the most important methods of quality control and error detection in compilers. The survey is devoted to methods for generating, running, and checking the quality of compiler test suites, which are based on formal specifications of the programming language syntax and semantics.
@article{springerlink:10.1007/s11086-005-0008-6,
abstract = {Compilers are used for creating executable modules for programs written in high-level languages; therefore, the presence of errors in a compiler is a serious danger for the quality of the software developed with the use of this compiler. As in the case of any other software, testing is one of the most important methods of quality control and error detection in compilers. The survey is devoted to methods for generating, running, and checking the quality of compiler test suites, which are based on formal specifications of the programming language syntax and semantics.},
added-at = {2010-12-12T22:33:59.000+0100},
affiliation = {Institute of System Programming Russian Academy of Sciences Bol’shaya Kommunisticheskaya ul. 25 109004 Moscow Russia},
author = {Kossatchev, A. S. and Posypkin, M. A.},
biburl = {https://www.bibsonomy.org/bibtex/29aa78a3e680df24b82e68c1d40d94d99/gron},
description = {SpringerLink - Programming and Computer Software, Volume 31, Number 1},
doi = {10.1007/s11086-005-0008-6},
interhash = {450a40ed1f38a747b8960bce8f7ccdf8},
intrahash = {9aa78a3e680df24b82e68c1d40d94d99},
issn = {0361-7688},
issue = {1},
journal = {Programming and Computer Software},
keyword = {Computer Science},
keywords = {JIT Testing compilation compiler generation survey tests},
pages = {10-19},
publisher = {MAIK Nauka/Interperiodica distributed exclusively by Springer Science+Business Media LLC.},
timestamp = {2010-12-12T22:33:59.000+0100},
title = {Survey of Compiler Testing Methods},
url = {http://dx.doi.org/10.1007/s11086-005-0008-6},
volume = 31,
year = 2005
}