4.2.5.Оценка вероятности проявления дефектов при многократном выполнении фсо

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

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

4.2.6.Оценка характеристик потоков инициирующих событий

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

4.2.7.Оценка показателей надежности системы с учетом случайного потока инициирующих событий

В режиме МКЦП в качестве показателей надежности могут использоваться вероятность безотказной работы, коэффициент готовности, коэффициент оперативной готовности. Для безотказной работы системы требуется успешное выполнение всех циклов, инициированных в течение установленного календарного времени. Поскольку число ИС является случайной величиной, модель надежности учитывает интенсивность потока ИС и вероятность проявления дефектов при однократном выполнении ФСО:

Коэффициент готовности с определяется средним значением интервала между соседними проявлениями дефектов и средним временем устранения обнаруженного дефекта. Коэффициент оперативной готовности зависит от коэффициента готовности и вероятности успешного однократного выполнения ФСО и вычисляется по формуле

4.3.Факторные модели

При проектной оценке надежности факторные модели являются вспомогательными, предназначенными для вычисления параметров, необходимых при формировании модели надежности и определения вида зависимостей (10.9)−(10.11). К факторным относят модели распределения исходного числа дефектов по полю программ и данных, модели эффективности автономной и комплексной отладки, модели режимов применения, характеризующие потоки входных наборов данных, модели потоков инициирующих событий.

4.3.1.Модели распределения числа дефектов в алгоритмах и базах данных

На ранних стадиях проектирования в качестве исходных данных при оценке числа дефектов используют количество входов и выходов в структурной единице

ПО и уровень языка программирования. По этим данным рассчитывают потенциальный объем программы [10], [11]:

где − суммарное количество независимых входов и выходов.

Зависимость (10.1) имеет вид

Здесь − удельный объем программы, равный среднему объему программы, приходящемуся на один дефект;

− уровень языка. Для естественного язык и близких к нему объектно-ориентированных языков программирования для языка типа ассемблера .

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

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