logo
Разработка и стандартизация ПС и ИТ

16. Понятия функциональной пригодности, корректности и надежности программных средств.

Функциональная пригодность - это набор атрибутов, определяющий назначе-ние, номенклатуру, необходимые и достаточные функции ПС, заданные техническим заданием (ТЗ) заказчика или потенциального пользователя.

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

Корректность программы – характеристика ПС, которая определена только в области изменения исходных данных, заданных требованиями спецификации, и не за-висит от динамики функционирования программы в реальном времени. Степень некор-ректности программ тем самым определяется вероятностью попадания реальных ис-ходных данных в область, которая задана требованиями спецификации и технического задания, но не была проверена при тестировании и испытаниях.

Надежная программа – это, прежде всего, программа, которая должна обеспе-чивать достаточно низкую вероятность отказа в процессе функционирования в реаль-ном масштабе времени. Высокую надежность программ обеспечивают:

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

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