Item Details

Print View

Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators

Bailey, Mark; Davidson, Jack
Format
Report
Author
Bailey, Mark
Davidson, Jack
Abstract
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual 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 target-specific test suites, our automated testing tool has been able to expose and isolate 8 bugs in heavily used production-quality compilers. These bugs cause more than 700 test cases to fail.
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 1995
Published Date
1995
Collection
Libra Open Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Access Online