ВУЗ:
Составители:
220
Поясним понятия контролирующего и диагностического тестов.
Разобьем множество схем, включающее исправную схему M
0
и все
неисправные схемы M
i
на подмножества C
0
,C
1
,C
2
,…,C
k
следующим
образом. Множество C
0
составляют исправная схема M
0
и функцио-
нально неразличимые с ней схемы M
i
, т.е. схемы, для которых
f
0
(x
1
,x
2
,…,x
m
)=f
i
(x
1
,x
2
,…,x
m
).
Множества C
j
составляют функционально не различимые между со-
бой схемы M
i
. Следовательно в множество C
0
, помимо исправной
схемы, входят схемы, полученные путём внесения в
M
0
.функционально не проявляющихся дефектов. Множества C
j
включают схемы, полученные путём внесения в M
0
.функционально
проявляющихся дефектов, причём схемы, принадлежащие одному
множеству C
j
, не различимы, а схемы, принадлежащие разным мно-
жествам C
j
, различаются между собой. Контролирующий тест схемы
позволяет отличить схемы из C
0
от схем из любого C
j
при j
≠
0. За-
ключение о принадлежности испытуемой схемы к множеству C
0
либо
к одному из множеств C
j
можно сделать путём анализа результата
проверки схемы контролирующим тестом. Если хотя бы на одном
наборе теста при проверке схемы получен неверный результат, то в
испытуемой схеме имеется дефект, изменяющий функцию, реали-
зуемую схемой. В противном случае (на всех наборах теста получен
правильный результат) схема исправна или в схеме есть дефект,
не
изменяющий функцию схемы. Диагностический тест позволяет отне-
сти испытуемую схему к одному из множеств C
j
, т.е. указать множе-
ство неразличимых схем М
i
(и следовательно, неразличимых дефек-
тов s
i
), к которому принадлежит испытуемая схема (место дефекта в
схеме с точностью до КЭД). Заключение о принадлежности испы-
туемой схемы к одному из множеств C
j
можно получить путём ана-
лиза реакции схемы на наборах текста, причём любой отрицатель-
Страницы
- « первая
- ‹ предыдущая
- …
- 222
- 223
- 224
- 225
- 226
- …
- следующая ›
- последняя »
