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
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
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)
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
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
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A practical guide to SQL white-box testing
ACM SIGPLAN Notices
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
Proceedings of the 2009 workshop on Resiliency in high performance
On detecting faults for Boolean expressions
Software Quality Control
On Comparing Testing Criteria for Logical Decisions
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Proceedings of the First Asia-Pacific Symposium on Internetware
Determinism in speech pitch relation to emotion
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
The role of social networks on female students activities
Proceedings of the 1st Amrita ACM-W Celebration on Women in Computing in India
Measuring sample distortions in face recognition
Proceedings of the 2nd ACM workshop on Multimedia in forensics, security and intelligence
Error detection rate of MC/DC for a case study from the automotive domain
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Developing an information security program for HIPAA compliance
2009 Information Security Curriculum Development Conference
DEM registration using watershed algorithm and chain coding
COMPUTE '11 Proceedings of the Fourth Annual ACM Bangalore Conference
ACM SIGSOFT Software Engineering Notes
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Eliminating partially-redundant array-bounds check in the Android Dalvik JIT compiler
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Do public library websites consider the disabled or senior citizens?
Proceedings of the 12th ACM/IEEE-CS joint conference on Digital Libraries
On the danger of coverage directed test case generation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Experiments on POS tagging and data driven dependency parsing for Telugu language
Proceedings of the International Conference on Advances in Computing, Communications and Informatics
Designing playful interactive installations for urban environments --- the swingscape experience
ACE'12 Proceedings of the 9th international conference on Advances in Computer Entertainment
A pragmatic approach for sustainable development based on semantic web services
Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services
Information and Software Technology
International Journal of Advanced Media and Communication
Insights in global public spending
Proceedings of the 9th International Conference on Semantic Systems
| Hi-index | 0.00 |
Many testing criteria, including condition coverage and decision coverage, are 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 the MC/DC criterion has been mandated in the commercial aviation industry for the approval of airborne software. Recently, the MUMCUT criterion has been proposed as it guarantees the detection of certain faults in logical decisions in disjunctive normal form in which no variable is redundant. This paper compares MC/DC, MUMCUT and several other related coverage criteria for logical decisions by both formal and empirical analysis, focusing on the fault-detecting ability of test sets satisfying these testing criteria. 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.