Предлагается метод синтеза условных тестов с гарантированной полнотой для проверки функционирования дискретных систем, поведение которых описано недетерминированными автоматами. Перечисляются тестовые примеры один за другим, проверяя функционирование тестируемого автомата на каждом тестовом примере.
