Детальная информация
Название | Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы: автореф. дис. … канд. техн. наук: 05.13.11 |
---|---|
Авторы | Воинов Никита Владимирович |
Организация | Санкт-Петербургский государственный политехнический университет |
Выходные сведения | СПб., 2011 |
Коллекция | Научные работы аспирантов/докторантов ; Общая коллекция |
Тематика | Вычислительные системы — Моделирование ; Вычислительные системы — Надежность |
УДК | 004.4.054(043.3) |
Тип документа | Автореферат |
Тип файла | |
Язык | Русский |
Код специальности ОКСВНК | 05.13.11 |
Группа специальностей ОКСВНК | 050000 - Технические науки |
Права доступа | Свободный доступ из сети Интернет (чтение) |
Ключ записи | RU\SPSTU\edoc\18166 |
Дата создания записи | 14.04.2011 |
В работе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Описан разработанный подход к процессу генерации тестовых сценариев, заключающийся в применении двух формальных моделей: одной - в высокоуровневой нотации Use Case диаграмм (UCM - Use Case Maps), используемой для контролируемого заказчиком описания поведения и согласования с ним поведенческих сценариев, другой - в нотации базовых протоколов для верификации и создания по ней тестовых сценариев. Рассмотрены разработанные автором методы сокращения трудоемкости процесса получения тестовых сценариев. Проанализированы результаты пилотирования разработанных методов в телекоммуникационных проектах.
Количество обращений: 1148
За последние 30 дней: 18