Premium
Test case selection strategies based on Boolean specifications ‡
Author(s) -
Chen T. Y.,
Lau M. F.
Publication year - 2001
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.221
Subject(s) - literal (mathematical logic) , selection (genetic algorithm) , test (biology) , boolean expression , computer science , boolean algebra , fault detection and isolation , fault (geology) , boolean function , theoretical computer science , algorithm , artificial intelligence , paleontology , seismology , actuator , biology , geology
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. Copyright © 2001 John Wiley & Sons, Ltd.