Test case selection strategies based on Boolean specifications‡
Tsong Yueh Chen, Man Fai Lau · Software Testing Verification and Reliability · 2001
Abstract 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 theliteral insertion faultand theliteral reference fault. Although theMAX‐Bstrategy proposed by Weyukeret 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 theMAX‐Bstrategy. Copyright © 2001 John Wiley & Sons, Ltd.