Способы повышения оперативной надежности ПО
При временной избыточности ( см. п.. 2.1), если имеет место сбой ПО (или аппаратуры), можно повторить выполнение программного модуля.
Для организации программного резервирования [6.6] подготавливаются две или несколько версий решения одной и той же задачи. Желательно, чтобы эти версии значительно отличались друг от друга, т.е. основывались на различных алгоритмах или, по крайней мере, выполнялись разными программистами. Маловероятно, что возможные ошибки различных версий программ совпадут. Далее параллельно или последовательно во времени рассматривают выполнение версий ПО непосредственно в процессе эксплуатации. Если версий программ две, то говорят о дуальном программировании, иначе (при нескольких подготовленных вариантах ПО) выполняется n- версионное программирование.
При дуальном программировании, если обнаруживается расхождение результатов ( результаты сравниваются соответствующими аппаратными или программными средствами), необходимо определить по каким-либо дополнительным критериям, какой из результатов правильный и отбросить другой результат. При n- версионном программировании правильный результат выбирается по мажоритарному признаку (см. п. 5).
Программное резервирование требует избыток оборудования или времени для вычислений, если версии ПО выполняются последовательно во времени. Такое программирование целесообразно использовать, если имеет место нагруженное резервирование аппаратуры АСОИУ.
Часто используется модифицированное дуальное программирование, где наряду с достаточно точной, но сложной программой, используется менее точная, но простая резервная программа. Если при одинаковых исходных данных результаты работы двух ПО отличаются на величину, большую допустимой погрешности, предполагают, что имеет место отказ в основной программе, как менее надежной. В качестве правильного результата принимается результат, полученный при помощи резервной программы.
Рассмотренные методы резервирования применимы как для программ пользователя, так и для операционных систем. Так, для мультипрограммной обработки используются виртуальные машины, которые создают для пользователя иллюзию работы каждой программы на отдельной машине со своей ОС. Все методы программного резервирования не экономичны, как в смысле использования труда программиста, так и в смысле затрат памяти ЭВМ, аппаратуры и времени.
Существует более экономный способ повышения надежности ПО – метод контрольных функций. При этом методе наряду с вычисляемой функцией по иной программе определяется другая функция, находящаяся с основной функцией в определенных соотношениях. Эти соотношения позволяют не только обнаружить отказ в ПО, но и восстановить искаженный результат. Простейшим примером применения метода контрольных функций является вычисление функций sin x и cos x по отдельным программам. Контрольным соотношением в данном случае будет соотношение sin2x+cos2x=1.
Метод контрольных функций, рассмотренный в общем виде, является обобщением методов избыточного кодирования с обнаружением и исправлением ошибок. Он позволяет исправлять не элемент кода, а вычисляемую функцию, содержащую ошибку.
6.1. Липаев В.В. Надежность программного обеспечения . – М.: Наука, 1998
6.2. Орлов С.А. Технологии разработки программного обеспечения: Учебник для вузов.- СПб: Питер, 2004
6.3. Майерс Г. Надежность программного обеспечения. – М.: Мир, 1980
6.4. Липаев В.В. Методы обеспечения качества крупномасштабных программных средств. – М.: Сантег, 2003
6.5. Пальчун Б.П., Юсупов Р.М. Оценка надежности программного обеспечения. – С-Пб.: Наука, 1994
6.6. Иыуду К.А. Надежность контроль и диагностика вычислительных машин и систем. - М.: Высшая школа, 1989
6.7. Капбертсон Р.,Браун К.,Кобб Г. Быстрое тестирование: Пер. с англ.- М.: Издательский дом « Вильямс», 2002
6.8. Гнеденко Б.В., Беляев Ю.К., Соловьев А.Д. Математические основы теории надежности. - М.: Наука, 1966