- •Введение
- •I. Основные понятия теории надежности программного обеспечения
- •1.1. Программное обеспечение как сложный объект
- •1.2. Жизненный цикл программных средств
- •1.3. Отказы пс
- •II. Модели и методы оценки надежности по
- •2.1. Особенности моделей оценки надежности по
- •2.2. Марковская модель для системы готовности и надежности
- •2.3. Модели надежности программы с дискретно понижающейся частотой (интенсивностью) проявления ошибок
- •2.4. Модель надежности программы с дискретным увеличением времени наработки на отказ
- •2.5. Экспоненциальная модель надежности программ
- •2.6. Экспоненциальная модель Шумана
- •2.7. Экспоненциальная модель Джелинского-Моранды.
- •2.8. Геометрическая модель Моранды
- •2.9. Модель Шика-Волвертона
- •2.10. Обобщение моделей Джелинского-Моранды и Шика-Волвертона
- •2.11. Модель надежности на основе распределения Вейбулла
- •2.12. Модель последовательности испытаний Бернулли
- •2.13. Оценка надежности программ по числу прогонов (модель Нельсона)
- •2.14. Структурная модель роста надежности (модель Иыуду)
- •III. Способы повышения надежности по
- •3.1. Виды избыточности в программах
- •3.2. Методы введения структурной избыточности в программы
- •3.3. Математические модели оперативного контроля и восстановления функционирования комплекса программ
- •Библиографический список
- •Усенко Ольга Александровна Модели и методы оценки надежности программного обеспечения информационных систем
Библиографический список
Половко А.М., Гуров С.В. Основы теории надежности. – СПб.: БХВ-Петербург, 2006. – 704 с.
Петров В.Н., Избачков Ю.С. Информационные системы. – СПб.: Питер, 2005. – 635 с.
Волкова В.Н., Кузина Б.И. Информационные системы: Учебное пособие. – СПб.: СПб ГТУ, 2004. – 224 с.
Липаев В.В. Проектирование программных средств: Учеб. пособие. – М.: Высшая школа, 1990. – 303 с.
Самойленко А.П. Надежность, эргономика, качество автоматизированных систем обработки информации и управления: Учебное пособие. – Таганрог: Изд-во ТРТУ, 2004. – 176 с.
Глас Р. Руководство по надежному программированию. –М.: Финансы и статистика, 1982.
Турский В. Методология программирования. – М.: Мир, 1981.
Липаев В.В. Надежность программного обеспечения АСУ. – М.: Энергоиздат, 1981. – 240 с.
Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. – М.: Мир, 1981. – 323 с.
Шураков В.В., Алферова З.В., Лихачева Г.Н. Программное обеспечение ЭВМ: Учеб. пособие. – М.: Статистика, 1979. – 376 с.
Феллер В. Введение в теорию вероятностей и ее приложения, Т.1. – М.: Мир, 1967.
Романюк С.Г. Оценка надежности программного обеспечения romanjuk@systud.msk.su
Усенко Ольга Александровна Модели и методы оценки надежности программного обеспечения информационных систем
Учебное пособие
Ответственный за выпуск Усенко О.А.
Редактор Проценко И.А.
Корректор Чиканенко Л.В.
ЛР№ 020565 от 23 июня 1997 г. Подписано к печати 20.07.2007 г.
Формат 6084 1/16
Бумага офсетная. Печать офсетная.
Усл.печ.л. – 5,9. Уч.-изд.л. – 5,6.
Заказ № Тираж 150 экз.
C
Издательство Технологического института Южного федерального университета
ГСП17А, Таганрог, 28, пер. Некрасовский, 44
Типография Технологического института Южного федерального университета
ГСП17А, Таганрог, 28, ул. Энгельса, 1
