АНАЛИЗ НЕКОТОРЫХ ПОДХОДОВ К КОЛИЧЕСТВЕННОЙ ОЦЕНКЕ НАДЕЖНОСТИ ПРОГРАММНЫХ СРЕДСТВ
Работа является продолжением предыдущих работ авторов по затрагиваемой тематике, опубликованных ранее в настоящем журнале. В работе основное внимание уделяется вопросам построения количественных оценок факторов (подхарактеристик), определенных в рамках существующих документов по стандартизации надежности ПС (таких как завершенность, отказоустойчивость, восстанавливаемость и готовность ПС) на уровне соответствующих метрик. Проводится содержательный анализ предлагаемых в стандарте ISO/IEC 25023 подходов к определению количественных значений соответствующих метрик с точки зрения возможностей их практического применения с учётом специфики функционирования АСУ специального назначения (АСУ СН), предназначенных для использования в полевых условиях. В части внешней метрики оценки завершенности ПС отмечается, что для предлагаемой в ISO/IEC 25023 оценки этой величины характерны значительные погрешности в определении среднего времени безотказной работы ПС. Это связано с тем, что интенсивность возникающих отказов уменьшается по мере устранения обнаруженных дефектов ПС, а операционное время, соответственно возрастает. Подобные эффекты необходимо учитывать при оценке завершенности ПС. Далее, учитывая важность обеспечения отказоустойчивости в рассматриваемых АСУ СН целесообразно расширить перечень внутренних метрик, включив сюда учет средств восстановления процесса при ошибках на входе, сбоях оборудования, неверных действиях человека и т.п. В свете этого предлагаются определенные уточнения как в отношении выбора совокупности метрик для оценки отдельных факторов надежности ПС, так и в плане построения соответствующих расчетных процедур для вычисления количественных значений метрик. В частности, предлагается, что процедура расчёта значений внешней метрики завершенности должна учитывать зависимость этой оценки от процесса устранения обнаруженных в ПС ошибок. Перспективным в этом плане представляется подход, основанный на учете количества прогонов ПС на различных исходных данных до проявления дефекта в процессе тестирования ПС, изложенный одним из авторов.