Work

Measuring a Java Test Suite Coverage Using JML Specifications

Year: 2007

Type: article

Abstract: We propose in this paper a way to measure the coverage of a Java test suite by considering the JML specification associed to the Java program under test. This approach is based on extracting a predicate-based graph from the JML method specifications. We then measure the coverage of this latter w.r.t. nodes of the graph that are visited by the test suite. In addition, we propose to check whether the test suite satisfies classical condition coverage criteria. We also introduce a tool, to be used as precompiler for Java, that is in charge of measuring and reporting the coverage according to these criteria.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2007.08.003

Authors: F. Dadeau, Y. Ledru, L. du Bousquet

Institution: Laboratoire d'Informatique de Grenoble

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2017619146

FWCI:

Cites: 21

Cited by: 3

Related to: 10