Test case selection strategies based on Boolean specifications‡

This paper considers test case selection for programs whose specifications are expressed by Boolean algebra. The approach is to select test cases based on Boolean specifications. Three test case selection strategies are proposed that aim at the detection of the literal insertion fault and the literal reference fault . Although the MAX‐B strategy proposed by Weyuker et al. guarantees detection of these types of faults, the proposed strategies are more effective in the sense that the derived test cases form a subset of those selected by the MAX‐B strategy.