![Page 1: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/1.jpg)
Санкт-Петербургский государственный политехнический
университет
Анализ покрытия UCM-модели
тестовыми сценариями
Никита Воинов
(доцент каф.ИУС, ИИТУ, СПбПУ;
![Page 2: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/2.jpg)
Санкт-Петербургский государственный политехнический
университет 2
План
• Актуальные проблемы
• Нотация UCM
• Критерии покрытия UCM-модели
• Анализ покрытия UCM-модели
• Заключение
![Page 3: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/3.jpg)
Санкт-Петербургский государственный политехнический
университет 3
Актуальные проблемы
• Вовлеченность заказчика в процесс разработки
• Сокращение трудоемкости создания формальной
модели проектируемой системы
• Размеры современных программных систем
Требуется усовершенствование технологии тестирования на основе
моделей для решения сформулированных проблем
• Повышение качества программного обеспечения (ПО)
• Предотвращение ошибок на ранних этапах проекта
Тестирование на основе моделей
![Page 4: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/4.jpg)
Санкт-Петербургский государственный политехнический
университет 4
1. Исходные требования 2. UCM-модель (UCM - Use Case Maps)
Схема подхода (1)
Исходные требования на
неформальном языке
Формальная
модель
спецификации
требований и
архитектуры
3. Модель базовых протоколов
Формальная модель для
верификации
…
![Page 5: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/5.jpg)
Санкт-Петербургский государственный политехнический
университет 5
4. Структурирование модели и тестовые сценарии
Схема подхода (2)
Диаграмма состояний
для модели
Результирующая
трасса для модели
…
Трасса для компонента
модели
Диаграмма
состояний для
компонента модели
![Page 6: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/6.jpg)
Санкт-Петербургский государственный политехнический
университет 6
Нотация UCM (Use Case Maps)
• UCM – последовательность событий, описывающих поведение системы
• Задается набором взаимодействующих между собой диаграмм
• Наглядное представление поведения системы и взаимодействий между
ее компонентами
Высокоуровневое описание проектируемой системы,
сохраняющее при этом все сценарии ее поведения
![Page 7: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/7.jpg)
Санкт-Петербургский государственный политехнический
университет 7
Критерии покрытия UCM-модели
• Функциональный критерий
– Матрица отслеживания
• Структурные критерии
– Покрытие UCM-элементов
– Покрытие UCM-ветвей
– Покрытие UCM-путей (частичный критерий путей;
необходима дополнительная информация от
пользователя)
![Page 8: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/8.jpg)
Санкт-Петербургский государственный политехнический
университет 8
Матрица отслеживания • Формулировка последовательности наблюдаемых событий в
строгом порядок исполнения
• Формулировка цепочек базовых протоколов
• Отслеживание соответствия между событиями,
характеризующими требования в терминах исходных
спецификаций и элементами UCM-модели
Связь между тестовыми
сценариями и
требованиями;
идентификация
покрытых и непокрытых
требований
![Page 9: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/9.jpg)
Санкт-Петербургский государственный политехнический
университет 9
Покрытие UCM-элементов и UCM-
ветвей • Формирование общего множества элементов (U) и
ветвей (B) UCM-модели
• Формирование множества покрытых элементов
(Tэл) и ветвей (Tвт) в тестовых сценариях:
• Вычисление непокрытых элементов и ветвей UCM-
модели:
N
i
M
j
ijэл UET0 0
)(
N
i
M
j
ijвт BBT0 0
)(
элэл TUS втвт TBS
![Page 10: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/10.jpg)
Санкт-Петербургский государственный политехнический
университет 10
Покрытие UCM-элементов и UCM-
ветвей
Список UCM-ветвей и содержащихся
в них UCM-элементов
Список тестовых сценариев и
содержащихся в них UCM-ветвей
Покрытые UCM-ветви
Непокрытые UCM-ветви
![Page 11: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/11.jpg)
Санкт-Петербургский государственный политехнический
университет 11
Покрытие UCM-путей
• Необходима дополнительная информация от
пользователя – гиды (guides)
• Если все заданные пользователем гиды (G)
обеспечены тестовыми сценариями (T), то
считается, что данный критерий (K) удовлетворен:
KTTGG ji :
• Анализ заключается в поиске вхождения UCM-
элементов гида в последовательность UCM-
элементов тестового сценария
![Page 12: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/12.jpg)
Санкт-Петербургский государственный политехнический
университет 12
Покрытие UCM-путей Список гидов с
индикацией
непокрытых
тестовыми
сценариями
Гид со списком
входящих в него
UCM-элементов
Тестовый сценарий,
соответствующий
гиду
![Page 13: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/13.jpg)
Санкт-Петербургский государственный политехнический
университет 13
Визуальный анализ покрытия Отображение покрытия
тестового сценария Отображение покрытия
отдельной UCM-ветви
![Page 14: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/14.jpg)
Санкт-Петербургский государственный политехнический
университет 14
Инструментальная реализация
• Набор программных средств, интегрированных в
инструмент автоматического анализа UCM GA
– элементы View в среде разработки Eclipse
– реализация на Java и Perl
• Инструмент внедрен в автоматическую цепочку
верификации и тестирования VRS/TAT
![Page 15: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/15.jpg)
Санкт-Петербургский государственный политехнический
университет 15
Заключение
• Автоматическая и визуальная оценка покрытия UCM-
модели
• Отображение покрытия как всего тестового
сценария, так и его частей
• Отображение непокрытых элементов и сценариев
(необходимо для отладки тестового набора)
• Инструмент применен в рамках создания тестовых
сценариев для 4 телекоммуникационных проектов
![Page 16: The Analysis of Test Scenario Coverage for a UCM-Model](https://reader034.vdocuments.net/reader034/viewer/2022042715/5594a6dc1a28ab5e348b4631/html5/thumbnails/16.jpg)
Спасибо за внимание