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

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

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

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

3.5. Борьба со сложностью систем и обеспечение точности перевода

Известны два метода: обеспечение независимости компонент, использование иерархических структур.

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

Обеспечение точности перевода направлено на достижение однозначности интерпретации документов различными разработчиками, а также пользователями ПС. Это требует придерживаться при переводе определенной дисциплины. Используется общая дисциплина решения задач, которая рассматривает перевод как решение некоторой задачи. В соответствии с этим весь процесс перевода разбивается на этапы: 1) уяснение задачи, 2) составление плана, включающего цели и методы решения, 3) выполнение плана, проверка правильности каждого шага, 4) анализ полученного решения, 5) если решение не удовлетворяет, возврат к уяснению задачи.

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