Применение метода эвристик для создания оптимального набора тестовых сценариев

Конференция «Технологии Microsoft в теории и практике программирования»
Авторы:
Аннотация:

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