Надежность программного обеспечения

Надежность программного обеспечения – это свойство программ, выполнять заданные функции в заданных условиях и на заданной конфигурации вычислительных средств (ЭВМ).

Специфика программного обеспечения обусловлена тем, что наличие в программах неисправностей, приводящих к отказам, практически не связано с процессами старения материалов тех носителей, на которых записаны сами программы:

· Качество и надежность программного обеспечения не зависит от времени и возрастает по мере устранения скрытых ошибок в программных продуктах;

· Отказ программного обеспечения обусловлен несоответствием ПО поставленным задачам либо несоответствием практики использования положениям руководства пользователя;

· Вероятность отказа программного обеспечения зависит от вида выходных данных и времени функционирования;

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

При эксплуатации программного обеспечения встречаются ошибки вида:

· Вычислений;

· Логические ошибки;

· ввода / вывода;

· совместимость программ.

Существует ряд моделей оценки надежности программного обеспечения для расчетов и прогнозирования надежности. Используются модели little wade и verrolome, Джилинского-Моранде, Шуммана, Шика-Вольтвертона и другие. Широко используют аппарат сетей Петри.

Для повышения надежности программного обеспечения используются методы резервирования:

· Несколько версий решения задач;

· Выявление расхождений в двух версиях программ;

· Резервирование ОС;

· Метод контрольных функций;

· Структурный метод тестирования с верификацией программ;

· Функциональные методы тестирования программ со случайным выбором тестов.

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