Основы синтеза и диагностирования автоматов. Воронин В.В. - 229 стр.

UptoLike

Составители: 

225
на каждой итерации.
Для получения диагностического теста необходимо получить
результаты попарного сравнения всех различимых дефектов. Ниже
приводятся семь таблиц с такими результатами (табл. 6.10 – 6.16).
Применим алгоритм построения теста к этим таблицам. На пер-
вой итерации число вхождений наборов описывается следующим
упорядоченным распределением: наборы 3 и 4 – 15 раз; набор 1 – 12
раз; 0 и
2 - 10 раз; 5 – 4; 6 и 7 – 2 раза. Из полученного распределе-
ния включим в искомый тест, например, набор 3. На второй итера-
ции, после вычеркивания сумм с набором 3, будем иметь следующее
распределение: набор 4 входит 8 раз; набор 0 – 6 раз; набор 2 – 4 и
т.д. На этом шаге включаем набор 4. Выполнив
еще четыре итера-
ции, получим искомый диагностический тест в виде
T
d
={3,4,2,0,1,5}={(011), (100), (010), (000), (001), (101)}.
В рассмотренном примере полученные тестытупиковые.
Таблица 6.10
2
3 2
∨5
2
4 2
∨6∨7
2
5 0
∨1∨3∨4
2
6 3
∨5
2
7 4
∨5
2
10 1
∨3
2
14 0
∨4
Таблица 6.11
3
4 5
∨6∨7
3
5 2
∨3∨4
3
6 2
∨3
3
7 2
∨4
3
10 1
∨2 ∨ 3
3
14 0
4
Таблица 6.12
4
5 0
1
2
∨3∨4
4
6 2
∨3
4
7 2
∨4
4
10 1
∨2 ∨ 3
4
14 0
∨ 1∨4
Таблица 6.13
5
6 0
1
4
5
7 0
∨1 ∨3
5
10 0
∨4
5
14 1
∨3
Таблица 6.14
6
7
3 ∨4
6
10
1
6
14 0
∨3 ∨4
Таблица 6.15
7
10 1
∨3 ∨4
7
14 0
Таблица 6.16
10
14
1 ∨3 ∨4