Регулярный метод синтеза тестовых последовательностей. Корректность проверяющей последовательности

Предлагается аналитический машинно-ориентированный метод вычисления наборов, конкретно передающих изменение логического значения от места появления неисправности к выходу схемы. Вычисления основываются на применении критерия отсутствия состояний и риска сбоя отдельно для исправной схемы и схемы с неисправностью. Рассматриваются ограничения, накладываемые неисправной схемой. Вычисления проводятся с использованием аппарата кубических покрытий. Результирующие наборы рассчитаны на контроль константной одиночной неисправности. Приводится пример синтеза проверяющей последовательности для двухразрядного регистра.