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

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).

Статическое тестирование

Статическое тестироование : анализирует код требования дизайн

На статическом тестировании используются : метрики Холстеда, Джилба , Чепина

Такие метрики используются для проверки требований, проверки покрытия всех важных элементов, верификации функциональных требований, контроль действий пользователей, включая ввод/вывод

Статическое тестирование

метрики Холстеда