Основы теории надёжности программного обеспечения

Скачать в pdf «Основы теории надёжности программного обеспечения»




В.А. СМАГИН, А.Н. ДОРОХОВ


ОСНОВЫ ТЕОРИИ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ


Министерство образования и науки Российской Федерации Балтийский государственный технический университет «Военмех»


В.А. СМАГИН, А.Н. ДОРОХОВ


ОСНОВЫ ТЕОРИИ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ


Учебник


Рекомендовано


ГОУ высшего профессионального образования «Санкт-Петербургский государственный университет информационных технологий, механики и оптики» в качестве учебника для студентов вузов, обучающихся по направлениям подготовки «Приборостроение», «Оптотехника», «Фотоника и оптоинформатика» и специальности «Приборы и системы лучевой энергетики»


Регистрационный номер рецензии 430 от 20.07.2009 МГУП


Санкт Петербург 2009


УДК 004.42.052(075.8) С50


Смагин, В.А.


С50    Основы теории надежности программного обеспече


ния: учебник / В.А.Смагин, А.Н. Дорохов; Балт. гос. техн. ун-т. — СПб., 2009. — 304 с.


ISBN 978-5-85546-479-9


Отражены современное состояние и перспективы в области надёжности программных средств. Дана их общая характеристика как объекта эксплуатации. Рассмотрены параметры потоков ошибок, модели и методы расчёта надёжности ПО. Приведены модель отладочных испытаний, методы повышения и обеспечения надёжности многомодульных программных систем. Предложены модель форсированных испытаний и основы точностной теории надёжности ПО. Представлено введение в синергетику и динамическую теорию информации.


Для студентов, обучающихся по направлениям 200100 «Приборостроение», 200200 «Оптотехника», 200600 «Фотоника и оптоинформатика» и изучающих теорию надёжности технических и информационных систем, для инженеров и программистов, связанных с эксплуатацией вычислительной техники, разработкой и сопровождением ПО. Может быть полезен аспирантам, преподавателям и научным сотрудникам.


УДК 004.42.052(075.8)


ISBN 978-5-85546-479-9


Предисловие


Проблема обеспечения высокой надёжности систем, состоящих из большого числа элементов, возникшая в начале 50-х годов прошлого столетия, была в основном успешно решена к 80-м годам. Изучение теории надёжности технических систем практически во всех вузах страны не может удовлетворять требования в подготовке инженеров. Это обусловлено тем, что в отличие от «энергетических» систем прошлого века в настоящее время человечество в значительной степени связано с системами, обладающими высокой информационной насыщенностью — «информационными» системами. Проблема обеспечения их высокой надёжности проявилась на рубеже 80-х годов ХХ в. Её изучение обусловлено широким внедрением в практику информатики, различными дефектами и ошибками при создании, передаче, хранении и преобразовании информации, в программном обеспечении и человеческим фактором.

Скачать в pdf «Основы теории надёжности программного обеспечения»