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

Staats, Matt
2009
Thumbnail Image

View/Download File

paper27-main.pdf (86.55 KB)

Persistent link to this item

https://hdl.handle.net/11299/217426
Statistics
View Statistics

Journal Title

Journal ISSN

Volume Title

Title

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

Authors

Published Date

2009

Publisher

Type

Report

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.

Keywords

Description

Associated research group: Critical Systems Research Group

Related to

Replaces

License

Collections

University of Minnesota Software Engineering Center (UMSEC) Publications

Series/Report Number

Funding information

Isbn identifier

Doi identifier

Previously Published Citation

Moffett Field, California

Other identifiers

Suggested citation

Staats, Matt. (2009). Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217426.

Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.