Критерии покрытия требований в тестовых сценариях, сгенерированных из поведенческих моделей приложений

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