ABSTRACT

In combinatorial testing, detection of faults in the SUT (system under test) requires two steps: the rst step from the pass/fail data on the tests conducted identies the particular combination or combinations that led to the failure; aer the failure-inducing combinations are identi-ed, search for the actual faults (mistakes) in the SUT that are associated with the failure-inducing combinations. e second step requires access to the source code of the SUT. In this chapter, we address only the rst step of identifying failure-inducing combinations. e problem of fault localization, identifying such combination(s), is an area of active research. e discussion in this chapter assumes that systems are deterministic, such that a particular input always generates the same output.