Введение
Глава 1. Постановка задач и анализ технических требований 10
1.1 Анализ технических требований 11
1.2 Каналообразующая часть шкафа 14
1.3 Состав операционной системы "Linem" 22
1.4 Протоколы сетевого взаимодействия ОС "Linem" 24
1.4.1 FTP (File Transfer Protocol) 26
1.4.2 Telnet 27
1.4.3 SNMP(Simple Network Management Protocol) 28
1.5 Сравнительные характеристики 32-х разрядных систем 32
Глава 2. Разработка методик верификации СПО и ППО 34
2.1 Программные средства испытаний 35
2.2 Порядок проведения испытаний 36
2.3 Методика испытаний общесистемных функций 38
2.4 Запуск и диспетчеризация задач 39
Глава 3. Создание стенда тестирования надежности ПО 40
3.1 Цели проведения испытаний 41
3.2 Состав стенда тестирования надежности 43
Глава 4. Процесс верификации компонент СПО и ППО 45
4.1 Порядок испытаний 45
4.2 Методика испытаний сетевых функций 46
4.3 Контроль работоспособности сетевых приложений 47
4.4 Проверка функции зеркалирования серверов . 48
4.5 Тестирование прием-передачи информации 50
4.6 Тестирование реализации функции файлового сервера 51
4.7 Тестирование работы общесистемных функций 52
4.8 Выводы по результатам тестирования 53
4.9 Детализированное описание порядка проведения испытаний 11110...54
4.10 Аудит исходных текстов СПО «Linem» 56
4.11 Верификация исходных текстов ППО 59
4.12 Тестирование защищенности от несанкционированного доступа...63
Заключение 68
Приложения 69
