Minimizing the Cost of Fault Location when Testing from a Finite State Machine

If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al. [1993] generate a set of candidates and then produce further tests to locate the failures within this set. We consider the special case where there is a state identification process that is known to be correct. A number of preset and adaptive approaches to fault location are described and the problem of minimizing the cost is explored. Some of the approaches lead ization problems for which possible heuristics are suggested.

• Type: Journal
• Year: 1999
• Where: COMCOM
• Authors: Robert M. Hierons
• Keywords: COMCOM 1999, Earlier State Transfer, Expected Output, Incorrect Output