Модель Нельсона

Ci – переменная, принимающая значение 0 , если получен(при данном конкретном прогоне программы) приемлемый результат и 1 – если получен отказ.

Кроме того R можно определить :

R = 1 – N0 / N

где N – общее число тестов

N 0 – количество тестов , которые привели к отказам.

Модель Нельсона

Задача. Общее число тестов 20. Число тестов, которые привели к отказам 10. Определить R (вероятность того, что события , которые не приведут к отказам). Определить R , если число тестовых наборов увеличить до 30.

R= 1 – 10/20 = 0,5

Если число тестовых наборов 30 , то R= 1 – 10 /30 = 0,7

Т.о. увеличивая число тестовых наборов , можно увеличить значительно R.

Увеличивая N (т.к. N стоит в знаменателе) , то вычитаемое уменьшается , следовательно R увеличивается.

Модель Нельсона

Эвристические модели

Эвристические модели

Найти число оставшихся ошибок и сделать вывод необходимости продолжения тестирования или его завершения.

N=( 35* 20 )/ 12= 58,3

N ост = 58,3 – (35 +20 -12)= 58,3 – 43= 15

Эвристические модели

Метрики Чепина

Метрики Чепина позволяют исходя из анализа типа переменных, используемых в программе сделать вывод о сложности программы.

Все переменные разбиваются на следующие типы:

P – вводимые для расчета переменные и обеспечивающие вывод данных переменные

M - модифицируемые в программе переменные или созданные внутри программы переменные С – переменные участвующие в управлении работой программы

Метрики Чепина

T – не используемые в программе переменные Тогда метрика (которая учитывает все переменные): Q= a1*P + a2* M + a3* C + a4* T

Где a1, a2 , a3, a4 – весовые коэффициенты

Чепин предложил(исходя из опыта анализа различных программ) следующие весовые коэффициенты : a1=1 , a2= 2 , a3=3 , a4 =0,5

Тогда метрика будет:

Q= P + 2*M + 3* C + 0,5 * T

Модель Гоэл-Окимото

Позволяет рассчитать количество ошибок во времени . Т.е. модель Гоэл- Окумото относится к динамическим моделям непрерывного

времени.

Скорость изменения ошибок подчиняется уравнению

dm(t)/dt = b *( a – m(t))

Решения такого уравнения является:

m (t) = a * (1- exp( -bt) )

где a – количество ошибок до тестирования;

b – частота обнаружения ошибок .

Модель Гоэл-Окимото

модель позволяет определить доверительные интервалы для числа отказов N(t) в момент времени t

m – z* Sqr(m ) < N(t) < m + z* Sqr (m)

где z- процентиль (задающий точность определения )

Задача.

В результате проведенных по дня тестирований получены результаты:

a= 53,1 ; b= 0,0898 . Определить m(t) в моменты времени t : 1 c ; 4 c ; 10c ; 20 c. Определить доверительный интервал для N(t).