A revisit of fault class hierarchies in general boolean specifications

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.

[1]  Elaine J. Weyuker,et al.  Automatically Generating Test Data from a Boolean Specification , 1994, IEEE Trans. Software Eng..

[2]  Angelo Gargantini.  Using Model Checking to Generate Fault Detecting Tests , 2007, TAP.

[3]  Man F. Lau,et al.  An extended fault class hierarchy for specification-based testing , 2005, TSEM.

[4]  K. A. Foster,et al.  Sensitive test data for logic expressions , 1984, SOEN.

[5]  Tsong Yueh Chen,et al.  MUMCUT: a fault-based strategy for testing Boolean specifications , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

[6]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[7]  Baowen Xu,et al.  Comparing Fault-based Testing Strategies of General Boolean Specifications , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[8]  Tatsuhiro Tsuchiya,et al.  On fault classes and error detection capability of specification-based testing , 2002, TSEM.

[9]  Debra J. Richardson,et al.  An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection , 1993, IEEE Trans. Software Eng..

[10]  Ioannis Stamelos.  Detecting associative shift faults in predicate testing , 2003, J. Syst. Softw..

[11]  Mladen A. Vouk,et al.  Evaluation of a Predicate-Based Software Testing Strategy , 1994, IBM Syst. J..

[12]  Larry J Morell,et al.  A Theory of Fault-Based Testing , 1990, IEEE Trans. Software Eng..

[13]  Jonathan P. Bowen,et al.  Test conditions for fault classes in Boolean specifications , 2007, TSEM.

[14]  Paul Ammann,et al.  Reconciling perspectives of software logic testing , 2008 .

[15]  Shaoying Liu,et al.  Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..

[16]  Paul Ammann,et al.  Using model checking to generate tests from specifications , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[17]  Baowen Xu,et al.  A detectability analysis of fault classes for Boolean specifications , 2008, SAC '08.

[18]  Tatsuhiro Tsuchiya,et al.  Non-specification-based approaches to logic testing for software , 2002, Inf. Softw. Technol..

[19]  Vadim Okun,et al.  Comparison of fault classes in specification-based testing , 2004, Inf. Softw. Technol..