Аннотация:
Предлагается метод построения вариантов проверяющего теста $n$-разрядного сумматора, состоящего из однотипных модулей-разрядов. Получаемые этим методом тесты являются минимальными полными для класса существенных неисправностей, сводящихся к произвольным комбинациям логических неисправностей отдельных разрядов сумматора. Приводится пример построения конкретного теста сумматора.