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

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

Здесь
y
V
– удельный объём программы, равный среднему объёму программы, приходящемуся на один дефект;
l
–
уровень языка. Для естественного языка и близких к нему объектно-ориентированных языков программирования
l
= 2,16,
для языка типа ассемблер
l
= 0,88.
По разработанным текстам программ можно найти параметры программ, и тогда исходное число дефектов находят по
формуле:
и y
/ ;
N V V
=
2
log ,
V A n
=
1 2
= +
,
1 2 1 2 2 2
log log
A n n n n
= +
,
1
с
.
к пп
,
n n n
= +
2
м
.
п мет
,
k
n n n n
= + +
(7.14)
где
V
–
наблюдаемый
объём
программы
;
A
–
теоретическая
длина
программы
;
n
–
словарь
языка
;
1
n
–
число
операций
;
2
n
–
число
операндов
;
с.к
n
–
количество
используемых
словарных
конструкций
;
пп
n
–
количество
подпрограмм
;
м.п
n
–
количество
массивов
переменных
;
мет
n
–
количество
локальных
меток
;
k
n
–
количество
констант
;
y
3000
V
=
.
Формулу
(7.14)
используют
и
для
расчёта
ИЧД
в
базах
данных
.
В
этом
случае
V
–
объём
в
байтах
,
y
V
=
17 850.
Модели распределения дефектов в базах данных.
При
отсутствии
специальных
знаний
о
возможном
распределении
дефектов
в
базах
данных
естественной
является
модель
равномерного
распределения
числа
дефектов
n
по
полю
данных
объёмом
0
V
.
Если
для
выполнения
конкретной
ФСО
используется
только
часть
этого
объёма
,
а
именно
данные
объёма
0
V V
<
,
то
в
объёме
V
оказывается
случайное
число
дефектов
,
задаваемое
некоторым
распределением
.
При
построении
распределения
можно
использовать
дискретную
или
непрерывную
модели
.
Если
база
данных
структурирована
и
в
ней
выделены
структурные
единицы
(
кластеры
,
теги
и
др
.)
примерно
одинакового
объёма
v
,
причём
0
/
V v
много
больше
,
чем
n
,
то
с
высокой
вероятностью
в
каждой
структурной
единице
будет
не
более
одного
дефекта
.
Тогда
число
дефектов
в
объёме
V
имеет
гипергеометрическое
распределение
0
( , , ) / ,
m n m n
m M N M N
P V V n C C C
−
−
=
,
V
M
v
=
0
;
V
N
v
=
(7.15)
max(0, ) min( , ).
n M N m n M
+ − ≤ ≤
Если
база
данных
не
структурирована
,
то
используется
биномиальная
модель
0
( , , ) ,
m m n m
m n
P V V n C q p
−
=
1 ,
p q
= −
0
/ .
q V V
=
(7.16)
Эта
модель
допускает
наличие
в
одном
фрагменте
данных
объёма
v
более
одного
дефекта
.
При
больших
0
V
и
малых
v
распределения
(7.15)
и
(7.16)
близки
друг
к
другу
.
Модели эффективности отладки.
Для
прогнозирования
момента
обнаружения
(
проявления
)
дефекта
можно
использовать
экспоненциальную
,
вейбулловскую
или
степенную
модели
.
Тогда
зависимости
можно
трактовать
как
функции
распределения
времени
обнаружения
дефекта
.
Однако
они
не
учитывают
такой
важный
параметр
,
как
исходное
число
дефектов
.
Используя
главную
идею
моделей
о
нелинейной
зависимости
числа
обнаруженных
дефектов
от
времени
отладки
,
можно
рассчитывать
ОЧД
с
помощью
формул
:
0
( ) exp( / ), 0;
n
N N a a
τ = − τ τ >
(7.17)
1/
0
( ) (1 ( / ) ), 1;
m
n
N N m
τ = − τ τ >
(7.18)
0
( ) exp( ( / ) ), 0,8 1,2
m
n
N N a m
τ = − τ τ ≤ ≤
, (7.19)
где
, ,
n
m a
τ
–
параметры
моделей
.
Значения
параметров
определяют
на
основании
опыта
отладки
других
программных
изделий
и
уточняют
по
результатам
отладки
после
обнаружения
первого
и
второго
дефектов
в
данном
программном
изделии
.
Рассмотрим
ещё
одну
модель
отладки
ПО
,
основанную
на
понятии
конгруэнтного
множества
(
КМ
).
Пусть
имеется
комбинационная
логическая
структура
со
входным
вектором
1 2
( , , ..., )
n
X x x x
=
и
выходным
вектором
1 2
( , , ..., )
r
Y y y y
=
.
В
комбинационной
схеме
каждому
набору
X
соответствует
определённый
набор
Y
,
не
зависящий
от
внутреннего
состояния
системы
при
правильной
её
работе
.
Обнаружение
дефекта
происходит
по
несовпадению
фактического
значения
вектора
Y
с
правильным
значением
.
Назовём
конгруэнтным
множеством
подмножество
i
E
множества
E
значений
вектора
X
,
обладающее
следующим
свойством
:
предъявление
любого
значения
из
i
E
способно
обнаружить
дефект
определённого
типа
.
Логическим
индикатором
КМ
является
минимальная
дизъюнктивная
нормальная
форма
,
содержащая
все
элементарные
конъюнкции
логических
переменных
без
отрицания
.
Число
r
называют
рангом
КМ
.
Например
,
логический
индикатор
КМ

Страницы