Генерация тестового набора на основе потока управления

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