Name
Abstract | ||
|---|---|---|
We address the problem of rigorous testing of program generators. Program generators are software that take as input a model in a certain modeling language, and produce as output a program that captures the execution semantics of the input-model. In this sense, program generators are also programs and, at first sight, the traditional techniques for testing programs ought to be applicable to program generators as well. However, the rich semantic structure of the inputs and outputs of program generators poses unique challenges that have so far not been addressed sufficiently in the testing literature. We present a novel automatic testcase generation method for testing program generators. It is based on both syntax and semantics of the modeling language, and can uncover subtle semantic errors in the program generator. We demonstrate our method on flex, a prototypical lexical analyzer generator. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/SEFM.2007.24 | SEFM |
Keywords | Field | DocType |
certain modeling language,rigorous testing,rich semantic structure,test program generators,novel automatic testcase generation,case study,subtle semantic error,modeling language,prototypical lexical analyzer generator,execution semantics,testing literature,program generator,flex | Programming language,Computer science,FLEX,Modeling language,Software,Lexical analysis,Program analysis,Semantics,Dynamic program analysis,Automatic programming | Conference |
ISSN | ISBN | Citations |
1551-0255 | 0-7695-2884-8 | 2 |
PageRank | References | Authors |
0.40 | 19 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Prahladavaradan Sampath | 1 | 64 | 7.65 |
| A. C. Rajeev | 2 | 46 | 4.34 |
| K. C. Shashidhar | 3 | 195 | 12.88 |
| S. Ramesh | 4 | 65 | 4.65 |