Safe Fault Collapsing Based on Dominance Relations
Irith Pomeranz, Sudhakar M. Reddy · 2008
For fault models with large numbers of faults, such as bridging faults, fault collapsing based on dominance relations can be effective in reducing the test generation time by reducing the number of target faults. When dominance relations are used for fault collapsing, a fault fjis excluded from the set of target faults F if it dominates a fault fiin F. However, if firemains undetected after test generation, fjmay remain undetected as well. We define safe fault collapsing to address this issue. For safe fault collapsing with a parameter s, fjis excluded from the set of target faults F only if fjdominates at least s faults fi1,fi2, hellip ,fisin F. In this way, if any of the s faults dominated by fjis detected, fjwill be detected as well. A higher value of s increases the likelihood of detecting fjwithout targeting it. We describe a procedure for computing safe collapsed fault sets, and present experimental results of test generation for four-way bridging faults.