Надежность информационных систем. Громов Ю.Ю - 46 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

7.1. Условная вероятность обнаружения дефекта в КМ
r
-го ранга
r
( )
r
Q m
m
= 0
m
= 1
m
= 2
m
= 3
m
= 4
m
= 5
1 0,5 1 1 1 1 1
2 0,25 0,75 1 1 1 1
3 0,125 0,50 0,875 1 1 1
4 0,0625 0,3125 0,6875 0,9325 1 1
5 0,03125 0,1875 0,5000 0,8175 0,96875 1
7.2. Безусловная вероятность обнаружения дефекта
Модель
1
( ,( ))
Q m
β
m
= 0
m
= 1
m
= 2
m
= 3
m
= 4
m
= 5
КМ 0,194 0,55 0,813 0,950 0,994 1
Экспонента 0,125 0,55 0,881 0,969 0,984 0,986
Степенная 0,290 0,55 0,781 0,929 0,989 1
Средняя 0,207 0,55 0,831 0,949 0,986 0,993
Зависимость вероятности
1
Q
от
L
, как и в моделях (7.17) – (7.19), нелинейная. Для сравнения в табл. 7.2 приведены
результаты расчётов для экспоненциальной и степенной моделей. Для определения параметров
a
и
m
используется точка
L
=
6:
1/
1 exp ( 6 / 32) 0,55; (6 / 32) 0,55
m
a
− − = =
.
Отсюда
а
= 4,26,
m
= 2,8. Из таблицы 7.2 видно, что почти всюду экспоненциальная и степенная модели дают
двустороннюю оценку значения, полученного по модели КМ. Поэтому среднее арифметическое этих значений довольно
близко к значениям модели КМ. Максимальное относительное отклонение (при
m
= 2) не превышает 10%. Среднее
остаточное число дефектов, рассчитанное по формуле (7.25), уменьшается более чем вдвое уже при коэффициенте полноты
тестирования
п п
/ 6 / 32 0,19
K L L
= = =
и в 20 раз при
п
K
=
(табл. 7.3).
Нижняя гарантированная оценка вероятности безотказной работы, рассчитанная по формуле (7.27), составляет 0,66 при
m
= 2 и 0,9 при
m
= 3. Для баз данных можно рассмотреть две стратегии отладки:
1. Отладка всего объёма
0
V
проводится автономно и независимо от ФСО. Если на каждом шаге тестирования
проверяется объём
v
, а исходное число дефектов
и
N
известно, то количество дефектов в объёме
v
имеет биномиальное
распределение с параметрами
и
N
и
0
/
q v V
=
. При отладке происходит "просеивание" дефектов с вероятностью, равной
коэффициенту эффективности отладки
а
. Значение
а
оценивается по статистическим данным предыдущих опытов отладки.
Остаточное число дефектов определяют по формулам
0 и
, 1
N N a
= β β = −
. Если отладка разделена на автономную и
комплексную, то остаточное число дефектов после автономной и комплексной отладки
АО
0
АО и
,
N N
= β
КО АО
0
КО 0 и
,
N N N
= β = β
АО КО
1
р
= − α = β β
. (7.29)
2. Отладка проводится только в той части
V
общего объёма
0
V
, которая используется при выполнении конкретной
ФСО. Дефекты обнаруживаются в процессе многократного выполнения ФСО на тестовых задачах или в процессе
эксплуатации.
7.3. Среднее остаточное число дефектов
Модель
0
( )
N m
m
= 1
m
= 2
m
= 3
m
= 4
КМ
Средняя
0,9
0,9
0,375
0,278
0,100
0,102
0,0075
0,027
Модели потоков инициирующих событий. Запуск ФСО в режиме МКЦП происходит либо по расписанию, либо при
появлении случайных событий определённого типа. Первый способ возникает при опросе пассивных дискретных датчиков
(ДД), при появлении регулярных сигналов от смежных систем или команд от оперативного персонала. Случайные
инициирующие события (ИнС) возникают по сигналам инициативных ДД, логических схем сравнения показаний аналоговых
датчиков (АД) с уставками. Инициирующим событием является любое изменение состояния ДД, достижение аналоговым
параметром уровня уставки, изменение состояния любого исполнительного механизма (самопроизвольное или по командам
дистанционного управления). В реальных условиях потоки инициирующих событий определяются динамикой изменения

Страницы