к РУССКОМУ ИЗДАНИЮ
Книга Р. Гласса «Руководство по надежному программированию» является оригинальным аналитическим обзором современных методов и средств обеспечения надежности программ. Эта книга может рассматриваться как методическое и справочное пособие по методам разработки сложных комплексов программ высокого качества. В ней обобщены основные концепции технологии и средств создания надежного программного обеспечения. Доминирует практический подход к оценке методов с позиции эффективности их использования при разработке сложных программных комплексов. Четко выделены особенности создания последних большими коллективами специалистов. Показаны различия в разработке этих комплексов и небольших простых программ индивидуального пользования.
Книга логично построена и ориентирована на широкий круг читателей. В ней рассмотрены основные концепции надежности программного обеспечения и особенности достижения необходимой надежности на различных этапах жизненного цикла программ. Значительное место отведено организации проектирования и планированию разработки программных комплексов высокого качества.
Автор подчеркивает и иллюстрирует на примерах важность надежного и корректного функционирования ряда классов сложных программ. Непрерывное возрастание ответственности и усложнение функций, выполняемых комплексами программ обработки информации и управления, приводит к необходимости обеспечения их высоких эксплуатационных характеристик. Требуемое качество программ не удается получить с помощью единственного высокоэффективного метода автоматизированного проектирования, поэтому приходится применять совокупность различных методов и средств.
е
По*г№ все известные и апробированные в настоящее время методы и средства нашли отражение в данной книге. Для разработчиков комплексов программ и технологических систб'м автоматизации их проектирования книга может использоваться как каталог методов при создании конкретных программ.
Большое внимание здесь уделяется практической методологии проектирования сложных комплексов программ. Изложение построено по иерархическому принципу «сверху вниз»: от общих положений к конкретным выводам и рекомендациям. Автор достаточно подробно освещает методы обеспечения качества программ на этапах задания требований, системного и структурного проектирования. Эти этапы, а также методы повышения качества за счет использования рациональной организации разработок, обеспечивающей поэтапный контроль' качества программных изделий, характеризуются высокой эффективностью воздействия на надежность программ. Однако многие коллективы специалистов пренебрегают организационными методами, что приводит к существенному увеличению затрат и длительности создания комплексов программ.
Основная часть книги (гл. 3) посвящена обзору и анализу технологических средств и методов обеспечения надежности программ. Эта часть характеризуется оригинальным стилем изложения и четкой рубрикацией, благодаря чему читателям наглядно, в сопоставимом виде, представляются основные особенности методов и средств автоматизации проектирования программ. Рассмотрено более 40 методов, применяемых на различных этапах проектирования. Указано назначение каждого из них и изложена их сущность. Оценены возможности практического использования методов и технологических средств для их реализации, приведены рекомендации по определению эффективной области применения и примерные стоимости технологических средств. К сожалению, эти оценки носят субъективный и весьма ориентировочный характер, что можно оправдать недостаточной разработанностью методов количественного анализа эффективности и стоимости технологических средств автоматизации проектирования программ. Для каждого рассмотренного метода в конце посвященного ему раз-Дела даётся несколько аннотированных ссылок на литературу и пример вероятного использования.
в
Изложение ведется в основном на качественном уровне, количественные оценки достигаемой надежности программ практически отсутствуют. Расширение и возрастающая роль функций, выполняемых комплексами программ, приводят к необходимости непрерывного повышения и объективного определения качества последних, одной из составляющих которого является надежность. Определение показателей качества программ, их формализация, методы количественного измерения и обеспечение необходимых характеристик качества стали одной из важнейших проблем современного программирования. Для целенаправленного управления качеством комплексов программ необходимо знать факторы, от которых оно зависит, и затраты на его достижение. Эти факторы в целом' определяются технологией, методами и средствами проектирования программ и могут быть в ряде случаев оценены количественно.
На показатели качества проектирования и созданного программного продукта влияют структурная упорядоченность комплекса программ и данных, .степень комплексной автоматизации технологии проектирования программ, документированность создаваемых программных компонент и всего комплекса, квалификация специалистов, методы организации работ и т. д. Все это непосредственно обусловливает трудоемкость разработки, корректность и надежность комплекса программ. В процессе эксплуатации показатели качества в наибольшей степени зависят от корректности постановки функциональных задач комплекса программ, полноты и точности спецификаций на комплекс программ и его компоненты, глубины тестирования и отладки, степени помехозащищенности программ и т. д. Перечисленные факторы можно рассматривать как причины, следствиями которых являются определенные значения показателей качества функционирования программ, а также как самостоятельные частные критерии эффективности проектирования и эксплуатации. Некоторые из приведенных факторов одновременно изменяют несколько показателей качества в противоположных направлениях. Это приводит к появлению ряда сложных оптимизационных задач, решение которых должно обеспечить необходимое качество программ по нескольким критериям при воздействии противоречивых факторов.
Автор неоднократно указывает на то, что достиже-
'' " ? f : '
7
ОГЛАВЛЕНИЕ
Предисловие к русскому изданию........ 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. Методы повышения надежности на этапе задания требований........... . .33
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
Цена: 150руб.
