Горбань Ю. В., ст. гр.

КІ-18
Лабораторна робота №3
Тема: Дедуктивне моделювання несправностей.
Мета роботи: Дослідження методу дедуктивного моделювання
несправностей, оцінка повноти заданого тесту щодо одиночних константних
несправностей (ОКН), побудова таблиці несправностей.

Рисунок 3.1 – Схема, що діагностується

Таблиця 3.1 – Таблиця активізації шляхів

1 2 3 4 5 6 7 8 шлях
D 0 1 1 D` 0 D` D` 1-5-7
0 D 1 1 D` 0 D` D` 2-5-7-8
1 D 0 1 0 D` D` D` 2-6-7-8
1 0 D 1 0 D` D` D` 3-6-7-8
0 0 1 D 1 0 1 D 4-8
1 0 0 D 0 1 1 D 4-8

Таблиця 3.2 – Двійкові тести

1 2 3 4 8 1 2 3 4 8
D 0 1 1 D` 0 0 1 1 1
          1 0 1 1 0
0 D 1 1 D` 0 0 1 1 1
          0 1 1 1 0
1 D 0 1 D` 1 0 0 1 1
          1 1 0 1 0
1 0 D 1 D` 1 0 0 1 1
          1 0 1 1 0
0 0 1 D D 0 0 1 0 0
          0 0 1 1 1
1 0 0 D D 1 0 0 0 0
          1 0 0 1 1

Після видалення повторюваних тестів отримали остаточний набір двійкових

векторів для тестування схеми (таблиця 3.3).
 Горбань Ю. В., ст. гр. КІ-18
Таблиця 3.3 – Результуючий двійковий тест
1 2 3 4 8
0 0 1 1 1
1 0 1 1 0
0 1 1 1 0
1 0 0 1 1
1 1 0 1 0
0 0 1 0 0
1 0 0 0 0

Таблиця 3.4 – Справне моделювання схеми

1 2 3 4 5 6 7 8
0 0 0 0 1 1 1 0
1 0 0 0 0 1 1 0
0 1 0 0 0 0 0 0
0 0 1 0 1 0 1 0
0 0 0 1 1 1 1 1
1 1 1 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 1 1 0 0 0 0
1 1 0 1 0 0 0 0
1 1 1 0 0 0 0 0

Дедуктивне моделювання
Горбань Ю. В., ст. гр. КІ-18
 Горбань Ю. В., ст. гр. КІ-18
Таблиця 3.5 – Таблиця несправностей
10 20 30 40 50 60 70 80 11 21 31 41 51 61 71 81
001
1      1  1  1    1  1  1  1            
101
1  1    1  1            1            
011
1    1  1  1          1          1  1  
100
1  1      1    1  1  1    1  1          
110
1  1  1    1              1    1    1  
001
0      1    1    1    1  1    1        
100
0  1          1  1      1  1  1        

Висновок: в ході лабораторної роботи було досліджено метод дедуктивного

моделювання несправностей, методом активізованого шляху визначено
тестові набори, виконано справне моделювання схеми, побудовано таблицю
несправностей.