книги / Надежность программного обеспечения систем обработки данных

ОГЛАВЛЕНИЕ

Введение

Р а з д е в

I

3

ОСНОВНЫЕ КОНЦЕПЦИИ НАДЕЖНОСТИ ПРОГРАММНО:

3

ГО ОБЕСПЕЧЕНИЯ

Глава I. Основные рпрдоелемия и понятия

5

I

I

Определена* ‘надежности

программногообеспеченна

в

12

Показатели надёжности

16.

1 3

Задачи проектирования программного обеспечения, с за­

22

данным уровнем надежности

Глава

2

Факторы, определяющие

надежность программного

24

2 1

обеспечения

2

Группа

общих -факторов

с

разработкой

.

25

2

Факторы,

связанные

программного

2 3

обеспечения

38

Эксплуатационные факторы

46

Глава 3

Причины Ошибок в программном

обеспечении

47

3 1

Источники

ошибок программного

обеспечения

48

3

2

Классификация программных' ошибок

55

3 3

Подходы к обеспечению надежности

65

Глава 4. Экономические аспекты обеспечения надежности

73

4 1

Специфические

особенности

программного

обеспечения

. 73

4

2 Цикл жизни

программного обеспечения

61

4

3 Факторы,

определяющие

затраты

на разработку прог

88

4 4

рам много

обеспечения

разработкипрограммного

Методы

оценки, стоимости

91

обеспечения

Р а э д е л П

ТЕХНОЛОГИЧЕСКИЕ МЕТОДЫ И СРЕДСТВА ОБЕСПЕЧЕ­

98

НИЯ НАДЕЖНОСТИ

Глава 5.

Обеспечение надежности иа начальном этане проекти­

100

рования

5 1

Формулировка требоввиий к системе программного обес

101

5 2

печения

целей

Описание

проекта

107

5.3

Внешние спецификации

114

Глава в

Обеспечение надежности при внешнем проектировании

123

6 I

Задачи обеспечения надежности На этапевнешнего про­

6

ектирования

систем

' 1 2 3

2 Архитектура

‘. 1 2 6

6 3

Структура программы

129

Глава

7

Обеспечение

надежности

ири

разработке модулей

138

7 I

Задачи

обеспечения надежности

138

7

2 Проектирование и кодирование модулей

141

7 3

Стиль

программирования

148

Глава 8

Обеспечение надежности

в

процессе контроля

153

8 1

Задачи

проведения контроля

программ

153

8

2 Методы

выполнения интеграции и контроля

159.

8

3 Гарантии

качества

165