Detection of Polluting Test Objectives for Dataflow Criteria

Thibault Martin (1) , Nikolai Kosmatov (1, 2) , Virgile Prévosto (1) , Matthieu Lemerre (1)

1 LSL - Laboratoire Sûreté des Logiciels
2 Thales Research and Technology [Palaiseau]

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.

Domaines: Génie logiciel [cs.SE]

Thibault Martin, Nikolai Kosmatov, Virgile Prévosto, Matthieu Lemerre. Detection of Polluting Test Objectives for Dataflow Criteria. Lecture Notes in Computer Science, In press, 12546, ⟨10.1007/978-3-030-63461-2_18⟩. ⟨cea-02974228⟩