Software error analysis: a real case study involving real faults and mutations
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A logic-model semantics for SCR software requirements
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
On fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Art of Software Testing
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
Two test data selection strategies towards testing of Boolean specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Two test data selection strategies towards testing of Boolean specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
On the Relationships of Faults for Boolean Specification Based Testing
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Using the Incremental Approach to Generate Test Sets: A Case Study
QSIC '03 Proceedings of the Third International Conference on Quality Software
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions
Journal of Systems and Software - Special issue: Quality software
| Hi-index | 0.00 |
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.