Книrа представляет собоЙ систематизированный обзор техноло-
гических и орrанизационных методов обеспечения надежности про-
гpaммных средств на всех стадиях функционирования цикла слож-
ных систем различноrо назначения. Анализируется комплекс задач,
решение которых необходимо для обеспечения надежности в целом,
рассматриваются достоинства н недостатки известных методов, даются
рекомендации по их применению.
Для работников инженерноrо профиля и студентов, обладающих
начальными знаниями в области надежностноrо проектирования.
Author(s): Гласс Роберт (Robert L. Glass)
Publisher: Финансы и статистика
Year: 1982
Language: Russian
Commentary: обрезаны поля, +OCR
Pages: 257
City: Москва
Предисловие к русскому изданию 5
Предисловие 11
Г л а в а 1. Концепция надежности программного обеспечения 13
1.1. Введение 13
1.2. Основные термины 14
1.3. Существующее положение дел в области надежности 16
Г л а в а 2. Роль надежности в разработке программного обеспечения 19
2.1. Введение 19
2.2. Жизненный цикл программы 20
2.3. Надежность в жизненном цикле программного обеспечения 26
2.4. Большие и малые проекты 32
Г л а в а 3. Технологические средства и методы повышения надежности программ 37
3.1. Методы повышения надежности на этапе задания требований 38
3.2. Методы проектирования 54
3.3. Средства программирования 82
3.4. Методы отладки 99
Г л а в а 4. Организационные средства и методы повышения надежности 197
4.1. Планирование 198
4.2. Организация 203
4.3. Документация 217
4.4. Оценка надежности и длительность испытаний . . 222
Г л а в а 5. Рекомендации по надежному программированию 229
5.1. Классификация 230
5.2. Критическое программное обеспечение 231
5.3. Рекомендации 232
5.4. Примеры использования рекомендаций 242
5.5. Необходимо ли иметь собственное мнение о ценности методов? 245
Г л а в а 6. Примеры выбора методов повышения надежности программного обеспечения 248
6.1. Фирма А 248
6.2. Фирма В 250
6.3. Фирма С 252
6.4. Заключение 253
Г л а в а 7. Литература 254
Литература, добавленная при переводе 254
