Об одном способе построения контролирующих тестов

Предлагается формальный способ определения наборов полного контролирующего теста по описанию схемы, задаваемому в виде эквивалентной нормальной формы (ЭНФ) на основе вычисления булевых производных. Показана правомерность использования при построении теста для контроля одиночных неисправностей только одной ЭНФ. Приведен пример построения теста предложенным способом.