Книга представляет собой систематизированный обзор технологических и организационных методов обеспечения надёжности программных средств на всех стадиях функционирования цикла сложных систем различного назначения. Анализируется комплекс задач, решение которых необходимо для обеспечения надёжности в целом, рассматриваются достоинства и недостатки известных методов, даются рекомендации по их применению.
Для работников инженерного профиля и студентов, обладающих начальными знаниями в области надёжностного программирования.
Author(s): Гласс Р
Publisher: Финансы и статистика
Year: 1982
Language: Russian
Commentary: увеличил контрастность, подчистил мусор
Pages: 256
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
