Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик

Представлен подход к отладке автоматически сгенерированных тестовых сценариев по высокоуровневым Use Case Map-спецификациям с использованием эвристик. Рассмотрен интеративный алгоритм поиска и исправлений ошибок как в тестах, так и в модели. Применение алгоритма продемонстрировано на примере UCM проекта с двумя потоками.