-
Заказать курсовой за 15 грн
ДИСК 1-6 семестр 250 грн 250
Добавить свое фото
Регистрация в сети КИС Плюс
Вход в КИС ПЛЮС
Новости
GUIKT
DUIKT
Zosik, KIS-kiev.narod.ru4 - Определяем минимальный проверяющий тест (МПТ).
| Заказать
курсовой за 15 грн ДИСК 1-6 семестр 250 грн 250 Добавить свое фото Регистрация в сети КИС Плюс Вход в КИС ПЛЮС Новости |
GUIKT DUIKT Zosik, KIS-kiev.narod.ru |
4 |
Для этого строится усеченная ТФН, в которую включаются строки, соответствующие проверкам выходных элементов. В МПТ включается минимальное число проверок выходных элементов ОД, строки которых совместно покрывают нулями все столбцы неисправных состояний ОД.
Таблица 1.3
|
Проверки элементов |
Состояния ОД |
|||||||
|
S0 |
S1.1 |
S1.2 |
S2 |
Sэ |
S4 |
S5 |
S6 |
|
|
Π6 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
|
Π7 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
МПТ={π6}.
Это означает, что для определения исправного или неисправного состояния ОД достаточно выполнить только одну проверку π6.
Задача 2
Для ОД, заданного в задаче 1, определить минимальный тест поиска неисправностей (МТПН) и построить граф произвольного условного алгоритма поиска неисправностей.
МТПН строиться в четыре этапа:
- определение множества обязательных проверок;
- построение усеченной ТФН для множества обязательных проверок;
- построение таблицы покрытий и определение множества дополнительных проверок;
- определение МТПН.
Size: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13
|
|
||||
|
||||
|
|
||||
|
|
||||
|
