- Артикул:00-01047330
- Автор: Тейер Т., Липов М., Нельсон Э.
- Обложка: Мягкий переплет
- Издательство: МИР (все книги издательства)
- Город: Москва
- Страниц: 323
- Формат: 84х108 1/32
- Год: 1981
- Вес: 406 г
В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения ЭВМ и изложены методы выявления причин их возникновения.
Основное внимание уделено построению математических моделей программного обеспечения, позволяющих оценивать его надежность.
Для разработчиков программного обеспечения, инженеров-математиков, обслуживающих ЭВМ, а также студентов и аспирантов, изучающих системное и прикладное программное обеспечение.
Оглавление
Предисловие редактора перевода
Предисловие
Глава 1. Цели исследования и описание исходных данных
1.1. Основные понятия и определения
1.2. Цели исследования
1.3. Методика исследования
1.4. Данные по проектам
1.5. Сведения о затруднениях при проектировании
1.6. Информация Уведомлений о проблемах (ошибках)
1.7. Характеристики программного обеспечения
1.8. Характеристики процесса испытаний для Проектов 2, 3, 4 и 5
1.9. Данные о персонале
1.10. Характеристики использования ЭВМ
Глава 2. Классификация ошибок
2.1. Формирование перечня категорий ошибок для Проектов 2, 3 и 4
2.2. Рекомендации по выбору способа классификации ошибок
2.3. Рекомендации по формированию перечня категорий
2.4. Идентификация категории ошибки
2.5. Формирование перечня категорий ошибок по Проекту 5
2.6. Эволюция перечней категорий ошибок
Глава 3. Эмпирические данные о надежности программного обеспечения
3.1. Принципы анализа и основополагающая информация
3.2. Анализ эмпирических данных
3.3. Феноменологический подход к проблеме надежности программного обеспечения
Глава 4. Регрессионный анализ экспериментальных данных
4.1. Обобщенная регрессионная модель
4.2. Особенности обобщенной регрессионной модели
4.3. Результаты регрессионного анализа (фаза 4)
4.4. Анализ причин ошибок и признаков их проявления
4.5. Вспомогательные исследования
4.6. Сравнение данных, полученных для разных проектов
4.7. Средства и методы создания систем программного обеспечения
Глава 5. Модели надежности программного обеспечения
5.1. Введение
5.2. Анализ моделей
Глава 6. Приложения и развитие математической теории надежности программного обеспечения
6.1. Анализ данных о надежности программного обеспечения Проекта 5
6.2. Разбиение совокупности входных данных на подмножества
6.3. Оценка неопределенности данных о надежности
6.4. Анализ эффекта устранения ошибок в программном обеспечении
6.5. Использование зависимости надежности от структурных характеристик программ
6.6. Оценка надежности программного обеспечения по данным испытаний
6.7. Обеспечение защиты программ
6.8. Разработка прогрессивных методов написания надежных программ
6.9. Разработка усовершенствованных методов испытаний программного обеспечения
Глава 7. Организация сбора данных о надежности
7.1. Установленные факты
7.2. Рекомендации по совершенствованию процесса сбора данных
7.3. Выгоды сбора и анализа данных о надежности программного обеспечения
7.4. Выводы и рекомендации
Приложение А. Терминологический словарь
Список сокращений
Приложение В. Образцы форм для сбора данных
Литература
Предметный указатель