1.3. Надежность программного средства

Альтернативой "правильной" программы является надежное ПС. Надежность ПС  это его способность безотказно выполнять определенные функции при заданных условиях в течение заданного периода времени с достаточно большой вероятностью. При этом под отказом в ПС понимают любое проявление в нем ошибки. Надежное ПС не исключает наличия ошибок  важно, чтобы эти ошибки при практическом применении средства в заданных условиях проявлялись достаточно редко. Убедиться, что ПС обладает таким свойством, можно посредством тестирования, а также в ходе его эксплуатации. Таким образом, разрабатывать можно надежные, а не "правильные" ПС.

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