Automating software analysis and testing using a program transformation system
G.B. Kotik, Lawrence Z. Markosian · 1989
We describe an approach to software analysis and test generation that combines several technologies: object-oriented databases and parsers for capturing and representing software; pattern languages for writing program templates and querying and analyzing a database of software; and transformation rules for automatically generating test cases based on the analysis results, and for automatically creating program “mutants” to determine adequacy of coverage of the test cases. We present a program transformation system, REFINE™1, that incorporates these technologies in an open environment for software analysis and test generation. Next we present concrete examples of how our approach is being applied to analysis and test generation for C software.