Методы построения и верификации моделей системного программного обеспечения информационно-управляющих систем

Оглавление
Оглавление
Введение
Глава 1. Анализ методов повышения качества и надежности СПО ИУС.
1.1. Специфика СПО ИУС
1.2. Методы повышения качества и надежности ПО ИУС.
1.2.1. Использование образцов.
1.2.2. Тестирование.
1.2.3. Повторное использование компонент
1.2.4. Использование средств автоматической генерации кода
1.2.5. Использование средств сквозного цикла разработки.
1.2.6. Использование систем контроля требований.
1.2.7. Построение и верификация моделей.
1.3. Построение и верификация моделей СПО ИУС
1.3.1. Модель СПО.
1.3.2. Моделирование СПО
1.3.3. Верификация моделей СПО
1.3.4. Современные средства построения и верификации моделей ПО
1.4. Постановка задачи.
Глава 2. Методы построения и верификации моделей СПО ИУС.
2.1. Основные понятия. Классификация объектов СПО ИУС
2.2. Выбор базового метода построения и верификации моделей
2.3. Анализ базового метода построения и верификации моделей ПО
2.4. Метод построения и верификации моделей СПО ИУС
2.4.1. Входные данные метода
2.4.2. Выходные данные метода.
2.4.3. Определение и классификация требований.
2.4.4. Общая последовательность этапов метода.
2.4.5. Специфика этапов метода в зависимости от типа модели СПО
2.4.5.1. Особенности при исследовании архитектуры СПО
2.4.5.2. Особенности при исследовании КВМ СПО
2.5. Особенности метода построения и верификации моделей СПО ИУС
2.5.1. Выбор форматов для этапа построения моделей
2.5.2. Выбор форматов отчетов верификации.
2.5.3. Дополнительные операции темпоральной логики
2.5.4. Образцы требований с различными областями видимости
2.5.5. Интеграция с МБОеу.
2.5.6. Интеграция с системой контроля версий
2.5.7. Классификация элементов моделей
2.5.8. Выбор формата описания элементов моделей.
2.5.9. Таблица описания библиотеки элементов
2.6. Библиотека элементов моделей.
Выводы.
Глава 3. Исследование характеристик методов построения и верификации
моделей СПО ИУС
3.1. Исследование базового и расширенного методов
3.2. Исследование расширенного метода и метода на основе БМУ.
Выводы.
Глава 4. Исследование и разработка моделей СПО ИУС.
4.1. Исследование архитектуры СПО модель драйвера Vi ЫТ
4.2. Исследование критически важного механизма арбитража активности
резервированных модулей
Выводы.
Заключение.
Список литературы