Надежность программного обеспечения (обзор концепций)

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