Без заголовка

У меня в данном постинге сформулирована не столько задача генерации набора тестов, сколько автоматизации тестирования. Например, автоматизации определения факта "станция взорвалась" или "самолёт упал". Ну, и ты просто демонстрируешь мой основной тезис: все говорят на разных языках, нужно как-то эти языки унифицировать. Ты, например, ввёл слово "режим, в котором должно работать оборудование" -- а ведь это не Обстановка совсем, а состояние Исполнителя в его взаимодействии с Обстановкой. Далее комбинаторный взрыв: состояния Обстановки, состояния Исполнителя, разные варианты синхронизации/рассинхронизации их переходов, какая языковая (в смысле языка программирования/моделирования)парадигма для выражения всего этого, в каком языке (терминологии, русский и английский) это удобно рассказывать хоть инженерам, хоть школьникам.