An extended fault class hierarchy for specification-based testing

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

94 Scopus Citations
View graph of relations


Related Research Unit(s)


Original languageEnglish
Pages (from-to)247-276
Journal / PublicationACM Transactions on Software Engineering and Methodology
Issue number3
Publication statusPublished - 2005


Kuhn, followed by Tsuchiya and Kikuno, have developed a hierarchy of relationships among several common types of faults (such as variable and expression faults) for specification-based testing by studying the corresponding fault detection conditions. Their analytical results can help explain the relative effectiveness of various fault-based testing techniques previously proposed in the literature. This article extends and complements their studies by analyzing the relationships between variable and literal faults, and among literal, operator, term, and expression faults. Our analysis is more comprehensive and produces a richer set of findings that interpret previous empirical results, can be applied to the design and evaluation of test methods, and inform the way that test cases should be prioritized for earlier detection of faults. Although this work originated from the detection of faults related to specifications, our results are equally applicable to program-based predicate testing that involves logic expressions. © 2005 ACM.

Research Area(s)

  • Fault class analysis, Software testing, Specification-based testing, Test case generation