Основы синтеза и диагностирования автоматов. Воронин В.В. - 226 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

222
ко видеть, что множество входных наборов
T
k
={(010), (011), (100), (101)}
является контролирующим тестом схемы. Действительно, в каждом
из выделенных столбцов, за исключением столбца первого дефекта,
есть, по крайней мере, одна единица в строках 3-6,соответствующих
наборам контролирующего теста. Следовательно, при проверке схе-
мы будет обнаружено повреждение, если в схеме есть один из де-
фектов множества {2,3,4,5,6,7,8,10,11,12,13,14,15,16,17}.
На наборах из T
k
различается любая пара из выделенных столб-
цов, за исключением пар (6,10) и (7,14). Добавив к наборам контро-
лирующего теста первый и второй наборы, на которых различимы
столбцы 7-й от 14-го и 6-й от 10-го табл. 6.7, соответственно, полу-
чим множество
T
d
={(000), (001), (010), (011), (100), (101)},
являющееся диагностическим тестом схемы. По результату проверки
схемы на наборах диагностического теста можно указать возможные
неисправности. Пусть, например, при проверке схемы наборами из
Т
d
была получена последовательность 0,0,1,0,0,0, где 0 обозначает
правильный результат, 1 – неправильный результат. Из этого следу-
ет (см. табл. 6.7), что в схеме имеет место неисправность s
1,3-0
или
s
4-0
. Если на всех наборах из Т
d
получен правильный результат, то
схема или исправна, или в схеме есть одна из неисправностей s
1,1-0
,
s
2-0
. Заметим, что различимости неисправностей, соответствующие
схемам из одного множества C
i
, можно добиться только путём вве-
дением дополнительных контрольных точек. Выбор такого варианта
контрольных точек, который обеспечивает хорошую различимость
неисправностей схемы (малые мощности множеств C
i
) – достаточно
сложная практическая задача. В настоящее время наиболее широко
известны методы построения тестов (как контролирующих, так и ди-

Страницы