Sound and quasi-complete detection of infeasible test requirements - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Conference Papers Year : 2015

Sound and quasi-complete detection of infeasible test requirements


In software testing, coverage criteria specify the requirements to be covered by the test cases. However, in practice such criteria are limited due to the well-known infeasibility problem, which concerns elements/requirements that cannot be covered by any test case. To deal with this issue we revisit and improve state-of-the-art static analysis techniques, such as Value Analysis and Weakest Precondition calculus. We propose a lightweight greybox scheme for combining these two techniques in a complementary way. In particular we focus on detecting infeasible test requirements in an automatic and sound way for condition coverage, multiple condition coverage and weak mutation testing criteria. Experimental results show that our method is capable of detecting almost all the infeasible test requirements, 95% on average, in a reasonable amount of time, i.e., less than 40 seconds, making it practical for unit testing.

Dates and versions

cea-01836560 , version 1 (12-07-2018)



Sebastien Bardin, Mickael Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, et al.. Sound and quasi-complete detection of infeasible test requirements. ICST 2015 - IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩. ⟨cea-01836560⟩
113 View
0 Download



Gmail Mastodon Facebook X LinkedIn More