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

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

Оглавление:

Предисловие к русскому изданию
Предисловие

Концепция надёжности программного обеспечения
Введение
Основные термины
Существующее положение дел в области надёжности

Роль надёжности в разработке программного обеспечения
Введение
Жизненный цикл программы
Надёжность в жизненном цикле программного обеспечения
Большие и малые проекты

Технологические средства и методы повышения надёжности программ
Методы повышения надёжности на этапе задания требований
Методы проектирования
Средства программирования
Методы отладки

Организационные средства и методы повышения надёжности
Планирование
Организация
Документация
Оценка надёжности и длительность испытаний

Рекомендации по надёжному программированию
Классификация
Критическое программное обеспечение
Рекомендации
Примеры использования рекомендаций

Примеры выбора методов повышения надёжности программного обеспечения
Фирма A
Фирма B
Фирма C
Заключение

Литература
Литература, добавленная при переводе

Название: Руководство по надежному программированию
Автор: Гласс Р.
Издательство: Финансы и статистика
Год: 1982
Страниц: 256
Формат: DJVU
Размер: 14.6 Mб
Язык: русский