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

UptoLike

ВУЗ: 

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

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

Рубрика: 

223
агностических), основанные на анализе поведения схемы при неис-
правностях. В 1955 г. С.В. Яблонским и И.А. Чегисом был предло-
жен формальный метод построения тестов для электрических схем,
который заключается в следующем. Для схемы строится таблица
функций неисправностей. Используя информацию, заключённую в
таблице, определяют выражение вида П
Σ
(логическое произведение
логических сумм). Переменными выражения П
Σ
являются номера
наборов схемы. При построении контролирующих тестов число ло-
гических сумм равно числу неисправностей схемы, где
Σ
- дизъюнк-
ция номеров наборов, проверяющих данную неисправность. При по-
строении диагностических тестов число
Σ
равно числу пар схем
(M
i
,M
j
), i
≠
j, (i,j)=0,1,2,…,p, где
Σ
- дизъюнкция наборов различаю-
щих схему M
i
от M
j
Преобразование с использованием операций ал-
гебры логики выражения вида П
Σ
в выражение вида
Σ
П даёт все ту-
пиковые тесты схемы.
Построение достаточно простых тестов
. Можно удовлетво-
риться построением не минимального теста, а теста, достаточно хо-
рошего в том смысле, что его длина не очень сильно превышает
длину минимального теста. Этот вопрос имеет тем большее значе-
ние, если построение указанного теста существенно проще, чем по-
строение минимального теста.
Покажем, как исходя из выражения П
Σ
, можно совсем на про-
стом пути построить тест, которой является вполне удовлетвори-
тельным. Однако вопрос о том, на сколько отличается этот тест от
минимального остаётся открытым. Построение такого теста сводится
к выполнению следующего алгоритма.
Шаг 1. В выражении П
Σ
выбираем элемент е
1i
, который встре-
чается в большинстве множителей данного выражения (если их не-
сколько, берём какой-нибудь один из них) и включим его в искомое

Страницы