Алгебраический метод генерации локально-тривиальных тестов

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