- предметный указатель........,

Автоматические методы сбора данных о надежности 278 Анализатор согласованности единиц измерения 175, 194 - структуры программ 21 Аттестационные испытания системы 187, 198

Динамический анализатор ветвей 20, 189, 190, 195, 200

Донесение о несоответствиях 23, 278, 300, 303, 304, 307

Заключительный обзор 23

Байесовские доверительные границы 254

Безопасность программного обеспечения 267

Внутренняя сдача пакета программ 23 Время отладки 211, 212, 214

Генератор тестовых данных 195 Группа аттестации 301 - испытаний 33, 35, 163

Датчик случайных чисел 225

Демонстрация работоспособности программного обеспечения 34

Дефект программы 13

Динамическая переменная 221

Имитатор 190, 201 Инспекционная проверка 18,з, 184

Испытатель 13, 265 Испытательные средства 271

Категория ошибок39-41, 65- 72

--причинная 66, 67, 78

- - симптоматическая 66, 67,

72, 78 Класс ошибок 40, 41 Компаратор базы данных 197 Компоновочные испытания 187 Конфигурационное управление

61, 73, 275 Критический анализ проектных

решений 299

Логический путь 230, 233, 270

Математическая теория надеж-, ности программного обесле-чения 219, 227, 272, 296

Л1етод. множителей Лагранжа 249

- наименьших квадратов 126, 127, 136, 138 . ..

- нисходящей . итеративной .разработки 82

--однократной разработки 82

- проверки ветвей 184 Метрика программного обеспечения 78

Многоцелевая проверка проектных решений 175

Множество характерных ветвей 262-264

Модель Вейса 216, 226

- Джелинского - Моранды 212-214, 226

- Коркорэна 217, 226

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

. обеспечения 122 .-г Нельсона 219, 226, 227

- сложности программы 121, 122

- Шика - Волвертона 214- 216

- Шумана 210-212, 226 Монитор контрольных примеров 196

Надежность программы 11, 118-121, 222

- системы программного обеспечения 209

Неймановская доверительная граница 251

Нелинейное программировани.е 127, 129, 130, 137

Ниех.одящее проектирование 73, 173

- структурное- программирование 20

Обнаружительный метод выявления ошибок 176, 178, 180, 184, 189 .

Определитель присваиваний и обращений 194

Отказ системы программного обеспечения 208, 209

Оценка максимального правдоподобия 213

- надежности программного обеспечения 223

Ошибки в базе данных 70

- ввода - вывода 44-46, 60; 69, 177

- в документации 56, 57, 63, 71

---интерфейсах программа/

системное программное обеспечение 50, 61

--межпрограммных интерфейсах 49, 50, 61

--операционной системе 48,

60, 61, 71, 73

-- пользовательских интерфейсах 51, 52, 62

- вычислений 41-43, 69, 177

- инициализации базы данных 54, 55, 62

- компоновки 48, 49, В1

- ленточных сопряжений 51, 61

- логические 41, 43, 69, 177

- манипулирования данными 4-6-48, 60. 69, 70, 182, т

- неопознанные 57, 64

- оператора 57, 58, 64

Ошибки определения глобальных переменных 55, 63

- - данных 70

- повторяющиеся 55, 63

- сопряжений 70, 133, 183

- сопряжения с базой данных 52, 53, 62

- типа нарушения технических требований 57, 63

--неясностей 58, 64

Пакетный режим работы 210 Памятка о проводимых изменениях 23, 301, 303, 306 Параметры надежности программного обеспечения 134, 135, 138-140 Паспортизация данных 283 Поверхность отклика 131 Показатели сложности программного обеспечения 122- 125

Показатель 301

- логической сложности 122

- обшей cюжнocти 124

- простоты программы 123

- сложности ввода - вывода 123

- - взаимосвязей 123

-- вычислений 123

Пошаговая детализация 112,

Предварительный обзор проектных решений 23, 303

Предупредительный метод выявления ошибок 176-180, 189

Приемо-сдаточные испытания 270

Проблема 13

Проверка ветвей 22

Прогнозирование надежности программного обеспечения Ш

Прогнозирование числа оши-. бок 126

Прогон программы 220

Программа исследователя системы 210. 217

Программист 12

Программные испытания- 270

Программный ревизор 20, 22

Простая биноминальная выборка 239

Рабочий отказ 220, 268 - цикл 210

Ревизор стандартов программирования 191

Системные испытания 34, 35, 187

Сквозной структурный KouT]jo;ifc 175

Сложность программы внешняя 141

-- внутренняя 141

Соотношение о закрытии проблемы 39, 64

--модификации программного обеспечения 278, 304, 332

Среднее время наработки на дефект 167

Стандарты программирования 182

- проектирования 177 Стендовые испытания 35

Тестирование стержневой логики алгоритма 175, 186

Техника надежности программного обеспечения 209

Требования к программе 209