CoGenTe: a tool for code generator testing

Authors:
A. C. Rajeev;Prahladavaradan Sampath;K. C. Shashidhar;S. Ramesh
Affiliations:
General Motors Global Research and Development, Bangalore, India;General Motors Global Research and Development, Bangalore, India;Fraunhofer IESE, Kaiserslautern, Germany;General Motors Global Research and Development, Bangalore, India
Venue:
Proceedings of the IEEE/ACM international conference on Automated software engineering
Year:
2010

Citing 6
Cited 0

Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing

HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Testing Model-Processing Tools for Embedded Systems

RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
How to Test Program Generators? A Case Study using flex

SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Directed test generation using symbolic grammars

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Behaviour Directed Testing of Auto-code Generators

SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.