Details
| Title | Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы: автореф. дис. … канд. техн. наук: 05.13.11 |
|---|---|
| Creators | Воинов Никита Владимирович |
| Organization | Санкт-Петербургский государственный политехнический университет |
| Imprint | СПб., 2011 |
| Collection | Научные работы аспирантов/докторантов ; Общая коллекция |
| Subjects | Вычислительные системы — Моделирование ; Вычислительные системы — Надежность |
| UDC | 004.4.054(043.3) |
| Document type | Author's Abstract |
| File type | |
| Language | Russian |
| Speciality code (OKSVNK) | 05.13.11 |
| Speciality group (OKSVNK) | 050000 - Технические науки |
| Rights | Свободный доступ из сети Интернет (чтение) |
| Record key | RU\SPSTU\edoc\18166 |
| Record create date | 4/14/2011 |
В работе представлены результаты диссертационного исследования на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Описан разработанный подход к процессу генерации тестовых сценариев, заключающийся в применении двух формальных моделей: одной - в высокоуровневой нотации Use Case диаграмм (UCM - Use Case Maps), используемой для контролируемого заказчиком описания поведения и согласования с ним поведенческих сценариев, другой - в нотации базовых протоколов для верификации и создания по ней тестовых сценариев. Рассмотрены разработанные автором методы сокращения трудоемкости процесса получения тестовых сценариев. Проанализированы результаты пилотирования разработанных методов в телекоммуникационных проектах.
Access count: 1192
Last 30 days: 17