Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls (2001)
Cached
Download Links
- [big-oh.cs.hamilton.edu]
- [big-oh.cs.hamilton.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | IEEE Trans. Softw. Eng |
| Citations: | 6 - 0 self |
BibTeX
@ARTICLE{Davidson01automaticdetection,
author = {Jack W. Davidson and Mark W. Bailey and Mark W. Bailey},
title = {Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls},
journal = {IEEE Trans. Softw. Eng},
year = {2001},
volume = {29}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. 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.
