loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Quality Software, Fourth International Conference on (QSIC'04)
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
Braunshweig, Germany
September 08-September 10
ISBN: 0-7695-2207-6
Y. T. Yu, City University of Hong Kong
M. F. Lau, Swinburne University of Technology, Australia
Many testing coverage criteria, including decision coverage and condition coverage, are well-known to be inadequate for software characterised by complex logical decisions, such as those in safety-critical software. In the past decade, more sophisticated testing criteria have been advocated. In particular, compliance of MC/DC has been mandated in the aviation industry for the approval of airborne software. On the other hand, the MUMCUT criterion has been proved to guarantee the detection of certain faults in logical decisions in irredundant disjunctive normal form. We analyse and empirically evaluate the ability of test sets satisfying these testing criteria in detecting faults in logical decisions. Our results show that MC/DC test sets are effective, but they may still miss some faults that can almost always be detected by test sets satisfying the MUMCUT criterion.
Index Terms:
Condition coverage, coverage criteria, decision coverage, logical decisions, MC/DC, MUMCUT
Citation:
Y. T. Yu, M. F. Lau, "Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions," qsic, pp.14-21, Quality Software, Fourth International Conference on (QSIC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.