amost10 Fraser, Gordon Gargantini, Angelo

Generating minimal fault detecting test suites for Boolean expressions

in 6th Workshop on Advances in Model Based Testing A-MOST 2010, Third International Conference on Software Testing, Verification, and Validation Workshops, ParisIEEE Computer Society (2010) ISBN 978-0-7695-4050-4

Abstract
New coverage criteria for Boolean expressions are regularly introduced with two goals: to detect specific classes of realistic faults and to produce as small as possible test suites. In this paper we investigate whether an approach targeting specific fault classes using several reduction policies can achieve that less test cases are generated than by previously introduced testing criteria. In our approach, the problem of finding fault detecting test cases can be formalized as a logical satisfiability problem, which can be efficiently solved by a SAT algorithm. We compare this approach with respect to the well-known MUMCUT and Minimal-MUMCUT strategies by applying it to a series of case studies commonly used as benchmarks, and show that it can reduce the number of test cases further than Minimal-MUMCUT.


[download the pdf file] [DOI] [See also http://cs.unibg.it/gargantini/research/abstracts/ase2011.html and the supporting tool http://fmse.di.unimi.it/atgtBoolean.html]

My sw links