ться наступним чином: наприклад для першої несправності на виході елемента І фіксується 0, цей елемент реалізує функцію, отже для отримання функції f1 у формулу треба підставити 0 замість. br/>В
Після мінімізації деяких отриманих функцій несправностей отримали, що і
Складаємо ТФН:
Таблиця 3.1 - Таблиця ТФН для функції F
Вхідний наборФункція
Складемо перевіряючі функції з таблиці:
? 1 = 2 v3
? 2 = 5 v 7
? 3 = 0 v 4
? 4 = 1
? 5 = 1
? 6 = 6
? 7 = 1
? 8 = 6
? 9 = 6
? 10 = 1 v 2
? 11 = 5 v 6
? 12 = 1 v 4
? 13 = 3 v 6
? 14 = 0 v 6
? 15 = 1 v 6
На підставі перевіряючих функцій перевіряючий тест буде мати наступний вигляд:
(3.1)
В
В результаті отримуємо 8 мінімальних тіста:
В
При розрахунку діагностичного тесту, не враховують відносини імплікації між несправностями. На схему наносять тільки графи еквівалентних несправностей, які нумерують у відповідності з зазначеним для них правилом. У результаті число несправностей, що включаються до ТФН, збільшується. У нашому випадку в ТФН додатково включаються обидві несправності виходу елементу АБО (точки 16 і 17). З діагностичного тесту будують словник несправностей. br/>В
Малюнок 3.6 - Логічна схема функції F для складання діагностичного тесту
Складемо ТФН.
Таблиця 3.2 - Таблиця ТФН
Вхідний наборФункція
Визначимо различающие функції:
) ? 1,2 = 2 v 3 v 5 v 6
? 1,3 = 0 v 2 v 3 v 4
? 1,4 = 1 v 2 v 3
? 1,5 = 1 v 2 v 3
? 1,6 = 2 v 3 v 6
? 1,7 = 1 v 2 v 3
? 1.8 = 2 v 3 v 6
? 1.9 = 2 v 3 v 6
? 1.10 = 1 v 3
