Two test data selection strategies towards testing of Boolean specification

Test data selection for software represented as Boolean formulae has not received much attention until the last decade. Most of the approaches are expression-driven because generation of test cases is based on the Boolean formulae being tested. This paper discusses test data generation of test cases is based on particular types of faults occurring in the Boolean expression. Two special types of faults are considered in this paper. Moreover, two strategies of test cases selection that guarantee the detection of these two types of faults are proposed.