Построение полного теста проверки работоспособности $n$-разрядного сумматора

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