равностей спрямована дуга , то жодну з них не нумерують. У результаті даної операції скорочують список несправностей, які необхідно розглядати при побудові тесту. У даній схемі пронумеровано 15 несправностей, в той час як вихідна безліч містить 26 несправностей. br/>В
Малюнок 3.5 Логічна схема функції F з позначенням несправностей
Функція i-ой несправності розраховується наступним чином: наприклад для першої несправності на виході елемента І-НЕ фіксується 1, цей елемент реалізує функцію, отже для отримання функції f1 у формулу треба підставити 1 замість.
В
Складаємо ТФН
Таблиця 3.1 - Таблиця ТФН для функції F
Вхідний
Складемо перевіряючі функції з таблиці:
? 1 = 1v5
? 2 = 0v5
? 3 = 7
? 4 = 0
? 5 = 6v7
? 6 = 0
? 7 = 2v3
На підставі перевіряючих функцій перевіряючий тест буде мати наступний вигляд:
(3.1)
В
В результаті отримуємо 4 мінімальних тіста:
В
При розрахунку діагностичного тесту, не враховують відносини імплікації між несправностями. На схему наносять тільки графи еквівалентних несправностей, які нумерують у відповідності з зазначеним для них правилом. У результаті число несправностей, що включаються до ТФН, збільшується. У нашому випадку в ТФН додатково включаються обидві несправності виходу елементу АБО (точки 16 і 17). З діагностичного тесту будують словник несправностей. br/>В
Малюнок 3.6 Логічна схема функції F для складання діагностичного тесту
Складемо ТФН.
Таблиця 3.2 - Таблиця ТФН
Вхідний
Визначимо различающие функції:
) ? 1,2 = 0v1
? 1,3 = 1v5v7
? 1,4 = 0v1v5
? 1,5 = 1v5v6v7
? 1,6 = 0v1v5
? 1,7 = 1v2v3v5
? 1,8 = 0v1v4v5v6v7
? 1,9 = 2v3
? 1,10 = 1v2v3v5
) ? 2,3 = 0 v5v7
? 2,4 = 5
? 2,5 = 0 v5v6v7v
? 2,6 = 5
