Руководство по надежному программированию

Description

Книга представляет собой систематизированный обзор технологических и организационных методов обеспечения надёжности программных средств на всех стадиях функционирования цикла сложных систем различного назначения. Анализируется комплекс задач, решение которых необходимо для обеспечения надёжности в целом, рассматриваются достоинства и недостатки известных методов, даются рекомендации по их применению. Для работников инженерного профиля и студентов, обладающих начальными знаниями в области надёжностного программирования. Предисловие к русскому изданию 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