Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Fault Classes and Fault Coupling in Boolean Specifications



Vadim Okun, Paul E. Black, Y Yesha


ult-based testing strategies generate tests to detect faults belonging to a preselected set of simple fault classes. A hierarchy of fault classes and the infrequency of fault coupling let us rely on these strategies to detect many other faults, too.For Boolean specifications, Kuhn proved that there is a hierarchy of fault classes with respect to detectability. This implies that some fault classes may be ignored during test generation. We prove that Kuhn's hierarchy holds for a general form of Boolean specifications, then consider detectability of another fault class.Fault coupling occurs when a test set can detect faults in isolation, but not in combination; a low incidence of fault coupling is desirable. Using Kuhn's technique, we show that fault coupling does not occur for some important fault classes in expressions containing a restricted set of Boolean operators.
Acm Transactions on Software Engineering and Methodology


coupling effect, fault coupling, fault-based testing, mutation testing


Okun, V. , Black, P. and Yesha, Y. (2004), Fault Classes and Fault Coupling in Boolean Specifications, Acm Transactions on Software Engineering and Methodology (Accessed May 20, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created June 1, 2004, Updated February 17, 2017