Построение полного проверяющего теста для последовательного соединения одиночных контуров

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