Надежность программных средств

В книге рассматриваются основные показатели и факторы, определяющие надежность функционирования и безопасность применения сложных программных средств (ПС). Приведены характеристики типичных дефектов и ошибок в программах. Изложены методы и средства тестирования и обеспечения высокого качества модулей и программных компонентов. Представлены рекомендации по предупреждению дефектов и обеспечению надежности в жизненном цикле ПС, по проведению их тестирования сертификации. Рассмотрены способы повышения надежности сложных программных комплексов за счет введения временной, программной и информационной избыточности. Значительное внимание уделено экспериментальным методам определения реальной надежности функционирования ПС, генерации тестов, обработке результатов тестирования и структуре стендов для проведения испытаний надежности программ.

Книга предназначена для специалистов, чья деятельность связана с разработкой, эксплуатацией и сопровождением сложных программных средств и информационных систем.