Вы здесь

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

Автор: 
Саранцев Павел Вадимович
Тип работы: 
Дис. канд. техн. наук
Год: 
2004
Артикул:
567657
179 грн
Добавить в корзину

Содержимое

СОДЕРЖАНИЕ
Введение
Глава 1. Постановка задач и анализ технических требований
1.1 Анализ технических требований
1.2 Каналообразующая часть шкафа.
1.3 Состав операционной системы i.
1.4 Протоколы сетевого взаимодействия ОС i
1.4.1 i .
1.4.2 .
1.4.3 i .
1.5 Сравнительные характеристики х разрядных систем.
Глава 2. Разработка методик верификации СПО и ППО
2.1 Программные средства испытаний.
2.2 Порядок проведения испытаний.
2.3 Методика испытаний общесистемных функций.
2.4 Запуск и диспетчеризация задач.
Глава 3. Создание стенда тестирования надежности ПО
3.1 Цели проведения испытаний
3.2 Состав стенда тестирования надежности
Глава 4. Процесс верификации компонент СПО и ППО.
4.1 Порядок испытаний
4.2 Методика испытаний сетевых функций.
4.3 Контроль работоспособности сетевых приложений
4.4 Проверка функции зеркалирования серверов.
4.5 Тестирование приемпередачи информации.
4.6 Тестирование реализации функции файлового сервера
4.7 Тестирование работы общесистемных функций
4.8 Выводы по результатам тестирования.
4.9 Детализированное описание порядка проведения испытаний ПП0
4. Аудит исходных текстов СПО i.
4. Верификация исходных текстов ППО
4. Тестирование защищенности от несанкционированного доступа.
Заключение.
Приложения.
Приложение 1. Перечень используемых сокращений
Приложение 2. Верификация программных модулей.
Приложение 3. Схема стенда верификации ПО ОС i.
Приложение 4. Список работающих процессов i.
Приложение 5. Графическое отображение результатов.
Приложение 6. Методика проведения тестирования
Приложение 7.Детализация процесса проведения верификации
Приложение 8. Порядок проведения аудита исходных текстов
Список литературы