Надежность программного обеспечения

Дурникин Д.С.

Трофимова К.В.

Основные понятия

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

Надёжность программного обеспечения - свойство программного обеспечения выполнять предписанные ему требования.

Безотказность ПО – это свойство сохранять работоспособность при использовании его для обработки информации в ИС.

Безотказностью программного обеспечения оценивается вероятность его работы без отказов при определенных условиях внешней среды в течение заданного периода наблюдения.

Под отказом ПО понимается недопустимое отклонение характеристик функционирования этого обеспечения от предъявляемых

требований.

Устойчивость функционирования ПО –

способность ПО ограничивать последствия собственных ошибок и неблагоприятных воздействий внешней среды или противостоять им.

Основные проблемы

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

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

1. Разработка методов оценки и прогнозирования надёжности ПО на основе совокупности количественных показателей и характеристик, идентичных показателям

аппаратурной надёжности; 2. Определение факторов, влияющих на

достижение заданного уровня надёжности ПО;

3. Разработка методов, обеспечивающих достижение заданного уровня надёжности ПО;

4. Совершенствование методов повышения надёжности ПО в процессе проектирования и эксплуатации.

Программные и аппаратурные отказы

Общие черты:

1.Невыполнение объектом заданных функций;

2.Времена до отказов и времена устранения отказов носят

случайный характер; 3. Методы обработки статистических данных об

отказах одинаковы.

Отличия:

1. Отказ аппаратурный зависит либо от времени, либо от объёма выполненной работы, а отказ программный - от той функции, которую выполняет изделие под управлением программы (точнее, от того, с какой вероятностью программа

выйдет на такой участок, который содержит ошибку); 2. Обнаружение и устранение аппаратурного отказа (заменой

отказавшего элемента исправным) не означает, что такой же отказ не повторится при дальнейшей работе изделия, а обнаружение и устранение отказа программного (исправление

программы) означает, что такой отказ в дальнейшем не 3. Программный отказ, обнаруживаемый при автономной повторится; проверке программы, может переходить в разряд

недействующих, если состояние аппаратуры делает её

нечувствительной к данному виду программного отказа; 4. Прогнозировать возникновение аппаратурных отказов

сравнительно легко, а прогнозировать возникновение отдельных программных отказов трудно, а часто и невозможно;

5. Аппаратурные отказы целесообразно подразделять на внезапные и постепенные. Программные отказы нет смысла делить на внезапные и постепенные. Они возникают внезапно, как только программа переходит на такой участок, который содержит “ошибку”.