Таблица | Карточка | RUSMARC | |
Разрешенные действия: Прочитать Загрузить (5,7 Мб) Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
В диссертационной работе предлагаются методы автоматизации построения и анализа поведенческих моделей в виде множества символьных тестовых сценариев, создаваемых на основе высокоуровневых UCM-спецификаций. Описывается подход построения поведенческой и структурной UCM-модели по неформализованным требованиям на систему с использованием критериальных цепочек. Предлагаются математические ограничения на разработку многопоточных систем. Описывается метод автоматического анализа результатов генерации тестовых сценариев. Представлен программный комплекс, реализующий методы, алгоритмы и подходы диссертации. Описаны результаты применения разработанных методов в четырех экспериментальных проектах.
Права на использование объекта хранения
Статистика использования
Количество обращений: 939
За последние 30 дней: 14 Подробная статистика |