Детальная информация

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

Разрешенные действия: Прочитать Загрузить (5,7 Мб)

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

В диссертационной работе предлагаются методы автоматизации построения и анализа поведенческих моделей в виде множества символьных тестовых сценариев, создаваемых на основе высокоуровневых UCM-спецификаций. Описывается подход построения поведенческой и структурной UCM-модели по неформализованным требованиям на систему с использованием критериальных цепочек. Предлагаются математические ограничения на разработку многопоточных систем. Описывается метод автоматического анализа результатов генерации тестовых сценариев. Представлен программный комплекс, реализующий методы, алгоритмы и подходы диссертации. Описаны результаты применения разработанных методов в четырех экспериментальных проектах.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи Прочитать Печать Загрузить
-> Интернет Анонимные пользователи Прочитать Печать Загрузить

Статистика использования

stat Количество обращений: 637
За последние 30 дней: 12
Подробная статистика