Аннотация:
Рассмотрены подходы к анализу покрытия UCM (Use Case Maps) моделей тестовыми сценариями, сгенерированными по интегральным критериям покрытия. Дан обзор существующих критериев автоматической генерации тестовых сценариев по высокоуровневым UCM-спецификациям. Предложены два подхода анализа покрытия UCM-модели: автоматический, который предоставляет информацию о покрытых и непокрытых элементах, ветвях и путях в сводной форме, и визуальный, который позволяет пользователю наглядно удостовериться в покрытии UCM-модели. Описанные подходы и концепции реализованы в инструменте анализа, который значительно сокращает время формирования покрывающего множества тестов. Дано направление будущих работ по анализу покрытия сигналов UCM-модели.