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