Skip to Main content Skip to Navigation
Journal articles

Detection of Polluting Test Objectives for Dataflow Criteria

Abstract : Dataflow test coverage criteria, such as all-defs and all-uses, belong to the most advanced coverage criteria. These criteria are defined by complex artifacts combining variable definitions, uses and program paths. Detection of polluting (i.e. inapplicable, infeasible and equivalent) test objectives for such criteria is a particularly challenging task. This short paper evaluates three detection approaches involving dataflow analysis, value analysis and weakest precondition calculus. We implement and compare these approaches, analyze their detection capacities and propose a methodology for their efficient combination. Initial experiments illustrate the benefits of the proposed approach.
Document type :
Journal articles
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-02974228
Contributor : Virgile Prevosto <>
Submitted on : Wednesday, October 21, 2020 - 4:35:17 PM
Last modification on : Friday, October 23, 2020 - 3:24:40 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-02974228, version 1

Collections

Citation

Thibault Martin, Nikolai Kosmatov, Virgile Prévosto, Matthieu Lemerre. Detection of Polluting Test Objectives for Dataflow Criteria. Lecture Notes in Computer Science, Springer, inPress. ⟨cea-02974228⟩

Share

Metrics

Record views

50

Files downloads

26