Title :
Dealing with Constraints in Boolean Expression Testing
Author :
Gargantini, Angelo
Author_Institution :
Dipt. di Ing. dell´´Inf. e Metodi Matematici, Univ. di Bergamo, Bergamo, Italy
Abstract :
When testing a Boolean expression, one should consider also the constraints among the variables contained in it. Constraints model interdependence among the conditions in the expressions. Only tests that satisfy the constraints. i.e. valid tests, are really useful and can be applied to test the expression. We present three ways to deal with such constraints: (1) ignoring them during test generation and removing invalid tests later, (2) including them in the expression as conjoint and again removing invalid tests later, and (3) considering them during the test generation process in order to generate only valid tests from the start. We introduce a general framework in which the three policies are implemented and compared over a set of Boolean expressions commonly used as benchmarks. Although the third policy requires a constraints solving technique for actual test generation, it presents several benefits: it generates smaller test suites and it may require less time for tests generation. Moreover, ignoring the constraints during test generation can reduce the fault detection capability of the tests.
Keywords :
program testing; programming languages; Boolean expression testing; test fault detection capability; test generation process; testing constraint; Computational modeling; Fault detection; Logic testing; Monitoring; Optimization; Terminology; Boolean specification testing; logic testing; test generation;
Conference_Titel :
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on
Conference_Location :
Berlin
Print_ISBN :
978-1-4577-0019-4
Electronic_ISBN :
978-0-7695-4345-1
DOI :
10.1109/ICSTW.2011.94