Корректность программных модулей. Надежность программ и программных комплексов

Корректность программных модулей

Корректность определяется функциональной и конструктивной составляющей

Функциональная корректность модулей – получение требуемого результата

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

Так же характеризуются функционально конструктивной корректностью.

Конструктивная корректность данных определяется правилами их структурирования и упорядочивания.

Функциональная корректность данных – соответствие содержанию для реализации функции

Надежность программ

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

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

Основным понятием надежности программы является работоспособность.

Работоспособным является такое состояние программы при котором она способен выполнять заданные функции при соблюдении параметров эксплуатации.

При переходе программы в неработоспособный режим и обратно возникают события ОТКАЗА И ВОССТАНОВЛЕНИЯ.

Отказ – событие, заключающееся в нарушении работоспособности

Восстановление – переход в работоспособное состояние.

Существует устойчивый отказ и самовосстанавливающий отказ.

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

Отказ при запуске, исполнении и открытии программы.

Отказы при запуске

1)  Отсутствие источника исходных данных

2)  Ошибка в данных

3)  Отсутствие системных разрешений на запуск

4)  Ресурсное ограничение

Отказы при исполнении

1)  Ресурсные ограничения (перехват ресурсов программами с более высоким приоритетом)

2)  Искажение данных

3)  Некорректное вмешательство пользователей

4)  Отказы при закрытии программы

5)  Невозможность завершения текущего процесса

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

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

I.