TY - GEN
T1 - On detecting double literal faults in boolean expressions
AU - Lau, Man F.
AU - Liu, Ying
AU - Chen, Tsong Y.
AU - Yu, Yuen T.
PY - 2007
Y1 - 2007
N2 - Fault-based testing aims at selecting test cases to detect hypothesized faults in a program. When a program contains a fault so that it behaves differently from as is expected, test cases that satisfy the detection condition of the fault will be able to detect it. Detection conditions of single occurrence of hypothesized faults had been studied and used to propose testing strategies and investigate relationships between different types of faults. As software developers may make several mistakes during software development, multiple faults may occur in a program. In this paper, we report our study in detection conditions of double occurrences of faults related to literals in a Boolean expression. This leads to some interesting observations. Some previous studies in double fault discarded equivalent mutants caused by a single fault. However, we observe that such equivalent mutants may give rise to non-equivalent double fault mutants, and hence, cannot be discarded. Moreover, we have developed several supplementary test case selection strategies to detect double faults that cannot be detected by existing test case selection strategies which aim at single-fault detection. © Springer-Verlag Berlin Heidelberg 2007.
AB - Fault-based testing aims at selecting test cases to detect hypothesized faults in a program. When a program contains a fault so that it behaves differently from as is expected, test cases that satisfy the detection condition of the fault will be able to detect it. Detection conditions of single occurrence of hypothesized faults had been studied and used to propose testing strategies and investigate relationships between different types of faults. As software developers may make several mistakes during software development, multiple faults may occur in a program. In this paper, we report our study in detection conditions of double occurrences of faults related to literals in a Boolean expression. This leads to some interesting observations. Some previous studies in double fault discarded equivalent mutants caused by a single fault. However, we observe that such equivalent mutants may give rise to non-equivalent double fault mutants, and hence, cannot be discarded. Moreover, we have developed several supplementary test case selection strategies to detect double faults that cannot be detected by existing test case selection strategies which aim at single-fault detection. © Springer-Verlag Berlin Heidelberg 2007.
KW - Black-box testing
KW - Boolean specification
KW - Fault-based testing
KW - Test case generation
UR - http://www.scopus.com/inward/record.url?scp=37849039877&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-37849039877&origin=recordpage
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9783540732297
VL - 4498 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 55
EP - 68
BT - Reliable Software Technologies - Ada-Europe 2007
PB - Springer Verlag
T2 - 12th Ada-Europe International Conference on Reliable Software Technologies
Y2 - 25 June 2007 through 29 June 2007
ER -