Пример оценки тестируемости

Пусть граф вызовов имеет вид:

i=2

Mx=4

A(i=1 A()

Mx=1

i=1,2,3 i=2

Mx=5

Mx=0

Mx=2

i=4

M _j, j=0,1

i=4,5 i=5

i=6 i=3

	Mx=3
		Mx=6

i=6

Для данного графа N_В=6, C(M_x=0)=3, C(M_x=1)=3, C(M_x=2)=2, C(M_x=3)=1, n=3. n=0

Тогда A(M₀)=1, A(M₁)=A(M₂)= A(M₃)=∑ A(M _x=0)/ C(M_x=0)=1/3 x=0

n=3

A(M₄)=∑ A(M _x)/ C(M _x)=1/3:3+1/3:2+1/3:1=11/18 ТТТТТx=1

n=2

A(M₅)=∑ A(M _x)/ C(M _x)=1/3:3+1/3:2=5/18 ТТТТТТТТТТx=1

n=1

A(M₆)=∑ A(M _x)/ C(M _x)=1/3:3=1/9

x=1

P_i=1=[ ∑1/ A(M _j)]^-1=[1/ A(M ₀)+1/ A(M ₁)+ 1/A(M₄)]^-1=

j=1

=[1/1+1:1/3+1:11/18]^-1=11/62

P_i=2=[1/ A(M ₀)+1/ A(M ₁)+ 1/A(M₅)]^-1= [1/1+1:1/3+1:5/18]^-1=5/38

P_i=3=[1/ A(M ₀)+1/ A(M ₁)+ 1/A(M₆)]^-1= [1/1+1:1/3+1:1/9]^-1=1/13

P_i=4=[1/ A(M ₀)+1/ A(M ₂)+ 1/A(M₄)]^-1= [1/1+1:1/3+1:18/11]^-1=11/62

P_i=5=[1/ A(M ₀)+1/ A(M ₂)+ 1/A(M₅)]^-1= [1/1+1:1/3+1:18/5]^-1=5/38

P_i=6=[1/ A(M ₀)+1/ A(M ₂)+ 1/A(M₄)]^-1= [1/1+1:1/3+1:18/11]^-1=11/62

N_{в 6}

T=[1/N_в·∑1/P_I]^-1=[1/6 ·∑1/P_I]^-1=[7,52]^-1=0,133.

i=1 i=1