University of Minnesota
Software Engineering Center
/

You are here

Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder

Date of Publication: 
April 2009
Authors: 
Associated Research Groups: 
Publication Files: 
Abstract: 
We present work on a prototype tool based on the JavaPathfinder (JPF) model checker for automatically generating tests satisfying the MC/DC code coverage criterion. Using the Eclipse IDE, developers and testers can quickly instrument Java source code with JPF annotations covering all MC/DC coverage obligations, and JPF can then be used to automatically generate tests that satisfy these obligations. The prototype extension to JPF enables various tasks useful in automatic test generation to be performed, such as test suite reduction and execution of generated tests.
Venue: 
Moffett Field, California
bibtex: 
@conference{staats-towards, title={Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in {Java Pathfinder}}, author={Staats, M.}, booktitle={Proc. of NASA Formal Methods Symposium 2009}, year={2009}, pages={116} }