A Revisit of Fault Class Hierarchies in General Boolean Specifications

作者：Chen Zhenyu^*; Chen Tsong Yueh; Xu Baowen

来源：ACM Transactions on Software Engineering and Methodology, 2011, 20(3): 1-11.

DOI：10.1145/2000791.2000797

• Verification
• Fault-based testing
• Boolean specifications
• fault class

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.

• 出版日期2011-8
• 单位南京大学