Методы и средства инженерии программного обеспечения

       

Основные понятия в проблематике надежности ПС


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

Базовые понятия, которые используются в моделях надежности ПС, являются следующие [9–13]. 

Отказ

ПC (failure) – это переход ПС из работающего  состояния в нерабочее или когда получаются результаты, которые не соответствуют  заданным допустимым значениям. Отказ может  быть вызван  внешними факторами (изменениями  элементов среды эксплуатации) и внутренними  – дефектами в самой ПС.

Дефект

(fault) в ПС – это  последствие использования элемента программы,  который может привести к некоторому событию, например, в результате  неверной интерпретации этого элемента компьютером (как ошибка (fault) в программе) или человеком (ошибке (error) исполнителя). Дефект является следствием ошибок разработчика на любом из процессов разработки –  в описании   спецификаций требований, начальных или проектных спецификациях,  эксплуатационной документации и т.п. Дефекты в программе, не выявленные в результате проверок,  является  источником потенциальных ошибок и отказов ПС. Проявление дефекта в виде отказа зависит от того, какой путь будет выполнять специалист, чтобы найти ошибку в коде или во  входных данных. Однако не каждый дефект ПС может вызвать отказ или может быть связан с дефектом в ПС или  среды. Любой отказ  может вызвать  аномалию от проявления внешних ошибок и дефектов.

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

Интенсивность отказов ­ это частота появления отказов или дефектов в ПС при ее  тестировании или эксплуатации.

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

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



Содержание раздела