Методы повышения надежности ПО

Известны четыре подхода обеспечению надежности:

• предупреждение ошибок;
• обнаружение ошибок и исправление ошибок;
• обеспечение устойчивости к ошибкам.

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

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

1)Методы борьбы со сложностью -одна из главных причин низкой надежности программного обеспечения. Известны два общих метода борьбы со сложностью систем:

1.Обеспечения независимости компонент системы-разбиение системы на такие части, между которыми должны остаться по возможности меньше связей. Одним из воплощений этого метода является модульное программирование.

2.Использование в системах иерархических структур позволяет локализовать связи между компонентами, допуская их лишь между компонентами, принадлежащими смежным уровням иерархии-разбиение большой системы на подсистемы.

2)Обеспечение точности перевода направлено на достижение однозначности интерпретации документов различными разработчиками

3)Преодоление барьера между пользователем и разработчиком, т.е. ПС должны выполнять функции, ожидаемые пользователем от неё.

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

Смежный контроль

Рекомендуется применять смежный контроль- сочетание статических и динамических методов контроля. Это означает, что нужно не только контролировать документ как таковой, но и проверять, какой процесс обработки данных он описывает. Это отражает одну из специфических особенность ПС (статическая форма, динамическое содержание).

2) Обнаружение и исправление ошибок в программе

ПО как объект тестирования имеет ряд особенностей:

-отсутствие полностью определенного эталона, которому должны соответствовать все результаты тестирования проверяемой программы;

-высокая сложность программ и, как следствие, невозможность построения тестовых наборов, достаточных для их исчерпывающей проверки;

-невысокая степень формализации критериев качества процесса тестирования и, как следствие, качества объектов тестирования;

-наличие в программах вычислительных и логических компонент, а также компонент, характеризующихся стохастическим и динамическим поведением.

Тестирование - основной метод обнаружения ошибок при отладке программ.

3). Самообнаружение ошибки в программе означает, что программа содержит средства обнаружения отказа в процессе ее выполнения.

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

Дата добавления: 2015-07-08