3.5. Обеспечение надежности – основной мотив разработки пс

Известны четыре подхода к обеспечению надежности ПС: предупреждение, самообнаружение, самоисправление, обеспечение устойчивости к ошибкам.

Предупреждения ошибок  не допустить их в ПС. Достижение этого лежит на пути решения следующих задач: преодоление сложности, точность перевода, преодоление барьера между пользователем и разработчиком, контроль принимаемых решений. Предупреждение ошибок связано с организацией процессов разработки ПС. И хотя гарантировать отсутствие ошибок невозможно, в рамках этого подхода можно достичь приемлемый уровень надежности ПС.

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