Name
Abstract | ||
|---|---|---|
We present the CoGenTe tool for automated black-box testing of code generators. A code generator is a program that takes a model in a high-level modeling language as input, and outputs a program that captures the behaviour of the model. Thus, a code generator's input and output are complex objects having not just syntactic structure but execution semantics, too. Hence, traditional test generation methods that take only syntax into account are not effective in testing code generators. CoGenTe amends this by incorporating various coverage criteria over semantics. This enables it to generate test-cases with a higher potential of revealing subtle semantic errors in code generators. CoGenTe has uncovered such issues in widely used real-life code generators: (i) lexical analyzer generators Flex and JFlex, and (ii) The MathWorks' simulator/code generator for Stateflow. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1145/1858996.1859070 | ASE |
Keywords | Field | DocType |
cogente tool,code generator,code generator testing,real-life code generator,subtle semantic error,higher potential,execution semantics,automated black-box testing,high-level modeling language,complex object,lexical analyzer generator,black box testing,code generation,modeling language | Code coverage,Unreachable code,Static program analysis,Programming language,Computer science,Source code,Redundant code,Code generation,Theoretical computer science,Code word,Dead code | Conference |
Citations | PageRank | References |
1 | 0.36 | 7 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| A. C. Rajeev | 1 | 46 | 4.34 |
| Prahladavaradan Sampath | 2 | 64 | 7.65 |
| K. C. Shashidhar | 3 | 195 | 12.88 |
| S. Ramesh | 4 | 13 | 1.43 |