Optimization of Combinatorial Testing by Incremental SAT Solving [Elektronisk resurs]

• Combinatorial testing aims at reducing the cost of software and system testing by reducing the number of test cases to be executed. We propose an approach for combinatorial testing that generates a set of test cases that is as small as possible, using incremental SAT solving. We present several search-space pruning techniques that further improve our approach. Experiments show a significant improvement of our approach over other SAT-based approaches, and considerable reduction of the number of test cases over other combinatorial testing tools. 

Ämnesord

Natural Sciences  (hsv)

Computer and Information Sciences  (hsv)

Computer Sciences  (hsv)

Naturvetenskap  (hsv)

Data- och informationsvetenskap  (hsv)

Datavetenskap (datalogi)  (hsv)

Indexterm och SAB-rubrik

Verification

Combinatorial testing

SAT-based

SAT-solving

Search space pruning

System testing

Test case