1. Построение тестов методом таблиц функций неисправности
1. Запишем логическое выражение работы схемы
,
для случаев неисправности в узлах 4,5
запишем выражение
На основании полученных выражений строим таблицу неисправности
№ узла |
Вид неиспр. |
Переменная в узле |
Ф-ции неиспр |
|
1 |
0 |
а=0 |
|
е1 |
1 |
а=1 |
|
е2 |
|
2 |
0 |
в=0 |
|
е3 |
1 |
в=1 |
|
е4 |
|
3 |
0 |
с=0 |
|
е5 |
1 |
с=1 |
|
е6 |
|
4 |
0 |
а1=0, а2=а |
|
е7 |
1 |
а1=1, а2=а |
|
е8 |
|
5 |
0 |
а1=а, а2=0 |
|
е9 |
1 |
а1=а, а2=1 |
|
е10 |
|
6 |
0 |
y1=0 |
|
е11 |
1 |
y1=1 |
|
е12 |
|
7 |
0 |
y2=0 |
|
е13 |
1 |
y2=1 |
|
е14 |
|
8 |
0 |
z=0 |
|
е15 |
1 |
z=1 |
|
е16 |
Таблица функций неисправности включает в себя все возможные наборы входных сигналов и значения выходных сигналов для всех возможных неисправностей и исправной схемы.
№ |
а |
в |
с |
е0 |
е1 |
е2 |
е3 |
е4 |
е5 |
е6 |
е7 |
е8 |
е9 |
е10 |
е11 |
е12 |
е13 |
е14 |
е15 |
е16 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
2 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
3 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
4 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
5 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
6 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
7 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
8 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
а,в,с – входные сигналы, е0 – выходные сигналы исправной системы, е11-е16 –выходные сигналы при соответствующих неисправностях.
При анализе таблицы функции неисправности можно выделить неразличимые и не обнаруживаемые неисправности, в частности не обнаруживающей является неисправность е9 поскольку при всех наборах входных переменных значение выхода схемы соответствует выходу исправной схемы.