A revisit of fault class hierarchies in general boolean specifications

Authors:
Zhenyu Chen;Tsong Yueh Chen;Baowen Xu
Affiliations:
Nanjing University, Nanjing, China;Swinburne University of Technology, Hawthorn, Australia;Nanjing University, Nanjing, China
Venue:
ACM Transactions on Software Engineering and Methodology (TOSEM)
Year:
2011

Citing 17
Cited 1

A Theory of Fault-Based Testing

IEEE Transactions on Software Engineering
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection

IEEE Transactions on Software Engineering
Evaluation of a predicate-based software testing strategy

IBM Systems Journal
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
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Using Model Checking to Generate Tests from Specifications

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Detecting associative shift faults in predicate testing

Journal of Systems and Software
Sensitive test data for logic expressions

ACM SIGSOFT Software Engineering Notes
An extended fault class hierarchy for specification-based testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Test conditions for fault classes in Boolean specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Comparing Fault-based Testing Strategies of General Boolean Specifications

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Hints on Test Data Selection: Help for the Practicing Programmer

Computer
A detectability analysis of fault classes for Boolean specifications

Proceedings of the 2008 ACM symposium on Applied computing
Reconciling perspectives of software logic testing

Software Testing, Verification & Reliability
Using model checking to generate fault detecting tests

TAP'07 Proceedings of the 1st international conference on Tests and proofs

Fault class prioritization in Boolean expressions

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recently, Kapoor and Bowen [2007] have extended the works by Kuhn [1999], Tsuchiya and Kikuno [2002], and Lau and Yu [2005]. However, their proofs overlook the possibility that a mutant of the Boolean specifications under test may be equivalent. Hence, each of their fault relationships is either incorrect or has an incorrect proof. In this article, we give counterexamples to the incorrect fault relationships and provide new proofs for the valid fault relationships. Furthermore, a co-stronger fault relation is introduced to establish a new fault class hierarchy for general Boolean specifications.