Back to Search
Start Over
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.
- Source :
-
IEEE Transactions on Software Engineering . Nov2003, Vol. 29 Issue 11, p1031-1042. 12p. 7 Diagrams, 8 Charts. - Publication Year :
- 2003
-
Abstract
- In this paper, we present a compiler testing technique that closes the gap between existing compiler implementations and correct compilers. Using formal specifications of procedure-calling conventions, we have built a target-sensitive test suite generator that builds test cases for a specific aspect of compiler code generators: the procedure-calling sequence generator. By exercising compilers with these specification-derived target-specific test suites, our automated testing tool has exposed bugs in every compiler tested on the MIPS and one compiler on the SPARC. These compilers include some that have been in heavy use for many years. Once a fault has been detected, the system can often suggest the nature of the problem. The testing system is an invaluable tool for detecting, isolating, and correcting faults in today's compilers. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 29
- Issue :
- 11
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 11473838
- Full Text :
- https://doi.org/10.1109/TSE.2003.1245304