6 Задание для проверки
Для схемы, соответствующей номеру студента в списке группы (заданию преподавателя), необходимо рассчитать проверяющий тест методом ЭНФ.
Отчет о проделанной работе должен быть выполнен в соответствии с действующими для рукописных работ ГОСТами и содержать следующие данные:
1) функциональную схему КС с нанесенными на нее константными неисправностями, отношениями эквивалентности и импликации между ними, пронумерованными неисправностями, входящими в Eк;
2) функцию, реализуемую КС F;
3) функцию FЭНФ ;
4) таблицу путей;
5) расчёт функций неисправностей Fi для каждой неисправности, входящей в Eк;
6) расчет проверяющих функций Ψi или проверяющих наборов для каждой неисправности, входящей в Eк ;
7) расчет проверяющего теста Тп.
7 Пример вычисления проверяющего теста для комбинационной логической схемы методом энф
Задана комбинационная схема.
F
Шаг 1. Вычисление функции F, реализуемой заданной схемой.
Шаг 2. Формирование контрольного множества неисправностей Ек.
Eк
= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}.
Шаг 3. Вычисление ЭНФ (FЭНФ).
Примем 421 = 1; 521 = 2; 431 = 3; 531 = 4.
Тогда
Шаг 4. Построение таблицы путей.
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
|
1 |
|
1 |
|
|
|
1 |
|
0 |
|
|
|
a3 |
|
1 |
|
|
0 |
|
0 |
|
1 |
|
|
|
b2 |
1 |
|
|
1 |
|
|
|
1 |
|
|
1 |
|
|
|
1 |
|
|
|
0 |
|
0 |
|
|
0 |
|
c2 |
1 |
|
|
1 |
|
|
|
1 |
|
|
|
1 |
|
|
1 |
|
|
|
0 |
|
0 |
|
|
|
0 |
|
1 |
|
1 |
|
|
|
1 |
|
|
0 |
|
|
d3 |
|
1 |
|
|
0 |
|
0 |
|
|
1 |
|
|
Шаг 5. Определение проекций неисправностей на буквы ЭНФ.
Шаг 6. Построение ТФН.
Номер |
a b c d |
F |
f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 |
1 2 3 4 5 6 7 8 9101112 |
0 |
0 0 0 0 |
0 |
0 0 0 1 1 0 0 1 0 0 0 0 |
0 0 0 1 1 0 0 1 0 0 0 0 |
1 |
0 0 0 1 |
0 |
0 0 0 1 1 0 0 1 1 0 0 0 |
0 0 0 1 1 0 0 1 1 0 0 0 |
2 |
0 0 1 0 |
1 |
0 1 1 1 1 1 1 1 1 1 1 0 |
1 0 0 0 0 0 0 0 0 0 0 1 |
3 |
0 0 1 1 |
1 |
0 1 1 1 1 1 1 1 0 1 1 0 |
1 0 0 0 0 0 0 0 1 0 0 1 |
4 |
0 1 0 0 |
1 |
0 1 1 1 1 1 1 1 1 1 0 1 |
1 0 0 0 0 0 0 0 0 0 1 0 |
5 |
0 1 0 1 |
1 |
0 1 1 1 1 1 1 1 0 1 0 1 |
1 0 0 0 0 0 0 0 1 0 1 0 |
6 |
0 1 1 0 |
1 |
0 1 1 1 1 1 1 1 1 1 1 1 |
1 0 0 0 0 0 0 0 0 0 0 0 |
7 |
0 1 1 1 |
1 |
0 1 1 1 1 0 1 1 0 1 1 1 |
1 0 0 0 0 0 0 0 1 0 0 0 |
8 |
1 0 0 0 |
0 |
0 0 0 1 1 1 0 1 0 1 0 0 |
0 0 0 1 1 0 0 1 0 1 0 0 |
9 |
1 0 0 1 |
1 |
1 0 1 1 1 1 0 0 0 1 1 1 |
0 1 0 0 0 0 1 1 0 0 0 0 |
10 |
1 0 1 0 |
1 |
0 1 1 1 1 1 1 1 1 0 1 0 |
1 0 0 0 0 0 0 0 0 1 0 1 |
11 |
1 0 1 1 |
0 |
0 0 1 0 0 1 1 0 0 0 0 1 |
0 0 1 0 0 1 1 0 0 0 0 1 |
12 |
1 1 0 0 |
1 |
0 1 1 1 1 1 1 1 1 0 0 1 |
1 0 0 0 0 0 0 0 0 1 1 0 |
13 |
1 1 0 1 |
0 |
0 0 1 0 0 1 1 0 0 0 1 0 |
0 0 1 0 0 1 1 0 0 0 1 0 |
14 |
1 1 1 0 |
1 |
0 1 1 1 1 1 1 1 1 0 1 1 |
1 0 0 0 0 0 0 0 0 1 0 0 |
15 |
1 1 1 1 |
0 |
0 0 1 0 0 1 1 0 0 0 0 0 |
0 0 1 0 0 1 1 0 0 0 0 0 |
Шаг 7. Вычисление проверяющих функций.
1 = {2, 3, 4, 5, 6, 7, 10, 12, 14}; 2 = {9};
3 = {11, 13, 15}; 4 = {0, 1, 8};
5 = {0, 1, 8}; 6 = {11, 13, 15};
7 = {9, 11, 13, 15}; 8 = {0, 1, 8, 9};
9 = {1, 3, 5, 7}; 10 = {8, 10, 12, 14};
11 = {4, 5, 12, 13}; 12 = {2, 3, 10, 11}.
Шаг 8. Построение проверяющего теста.
Tп = {3, 8, 9, 13}.
Приложение
