设能够检查故障α和β的测试集分别为Sα和Sβ,且Sα
Sβ ,则称故障α 支配故障 β,记为 ,或 。
故障α支配故障β,意味着能够检测出β的测试向量一定能检测出α。能够检测出α的测试向量不一定能检测出β。例如Sds-a-1
= {T7, T8 }, Sfs-a-0 = {T1
, T2 , T5 , T7, T8 }, Sfs-a-0
Sds-a-1,则有fs-a-0
ds-a-1。即能够检测出ds-a-1的测试向量T7,
T8 也能检测出fs-a-0来,但能够检测出fs-a-0的某些测试向量如T1
, T2 , T5 却不能检测出ds-a-1。
如果且Sα
Sβ,且Sβ
Sα,则称故障α与故障β等价,记为 。等价故障在故障表中表现为它们对应的行完全相同。
等价故障意味着能够检测它们的测试向量完全相同。因而等价故障是不可区分的。反过来,不等价的故障是可区分的。
在求测试集时,对等价故障,只要对其中某一个故障求测试即可,称为代表故障。从表7.1可看出,各故障按等价故障分类,有下列三组:
cs-a-0
, es-a-0 , gs-a-1
ds-a-0 , fs-a-1
fs-a-0, gs-a-0 , hs-a-1
其中三组等价故障中分别选一个故障作为代表故障。于是,得代表故障表如表7.2所示。
 |
T1
000(0)
|
T2
001(0) |
T3
010(1) |
T4
011(1) |
T5
100(0) |
T6
101(1) |
T7
110(0) |
T8
111(0) |
| f1: as-a-0 |
|
|
|
|
|
1 |
1 |
1 |
f2: as-a-1
|
|
1 |
1 |
1 |
|
|
|
|
f3: bs-a-0
|
|
|
1 |
1 |
|
|
|
1 |
| f4: bs-a-1 |
1 |
1 |
|
|
|
1 |
|
|
f5: cs-a-0
|
|
|
|
|
|
1 |
|
|
| f6: cs-a-1 |
|
|
|
|
1 |
|
|
|
| f7: ds-a-0 |
|
|
1 |
1 |
|
|
|
|
| f8: ds-a-1 |
|
|
|
|
|
|
1 |
1 |
| f9: es-a-1 |
|
|
|
|
|
|
|
1 |
| f10: fs-a-0 |
1 |
1 |
|
|
1 |
|
1 |
1 |
| f11: hs-a-0 |
|
|
1 |
1 |
|
1 |
|
|
等价故障中可以任选一个作为代表故障。在求故障点的测试码之前,首先去掉冗余故障,然后找出代表故障,可以减少应求测试码的故障。一般来说如果一个元件的某一输入值能够唯一得出输出值(相同或者相反),这两个点上的故障(相同或者相反)就是等价故障。这个关系称为蕴含。因此求等价故障的过程就是求蕴含的过程。
|