O Teste de Software

Caso de teste=dado de teste+saída esperada

Teste estrutural é técnica de teste de soft q utiliza o cdg fonte, avalia test de condição, test de fluxo de dados e test ciclos=Caixabranca

Compciclomatica=Vg=e – n+2

Tds-nós=cobertura min. Esperada

Tds-caminhos=varias estruturas de decisão e repetcao, muito casos de teste

Tds-aresta=com de decisão assumem VDD ou F

Test-mutação=derivam os requisitos de test a partir dos defeitos mais freq. Cometidos pelos desenvolvedores durante o desenvolvimento soft

Mutação equivalente=quando o program mutante eo prog origin apresentam sempre o msm resultado, pra qlqr caso de teste pertencente ao domínio de entrada

Escoremutação=mut eq/(mut ger-mut mortos)

If(i==10); mut if(i>=10) prog. Mutant é equivalente

If(i>=0) ; mut if(i<=0) prog mutant é morto

J🡨j+x; mult J🡨k+x; prog mutant vivo

+*- op aritmetico

>=! Op relacional

Def (a🡨1)

c-uso, use{}(a🡨b*2)ou(a🡨b)

p-uso(if(a>0))

Curva de nível

F(x,y) = k(0),K(1),K(2),K(3)

Seg. derivada

Fx   fy   fxy

Fxx fyy fyx

Fx= = yx-1 = -yx-2 = -[pic 1][pic 2]

Ln(x)=[pic 3]

F*g = f ’*g+f*g ’

f/g = (f ’*g – f*g ‘) / g2

Reg Cad I

F’ = Fxx’+Fyy’

Reg. Cad II

Fs = FxXs+FyYs

Ft = FxXt+FyYt

Aumenta taxa produçao

Cai a taxa prod

Vetor gradient

Derivada direcinal

(direç do v=(x,y))

Fx        Fy

▼Fp(x,y)=(Fx,Fy)

u=(v(x,y))[pic 4]

Du= ▼Fp (x,y) u(x,y)

Du= (x2+y2)

Aplicaç Vetor Gredient

(esquentar, resfriar)

Fx        Fy

Direção e sentido

▼Fp1 = (Fx= a,Fy= b)

Taxa max p1

▼Fp1(a,b)=[pic 5]

Ponto Critico

Fx        Fy

[pic 6]

Fx=0

Fy=0

x=0 (0,1)(0,-1)

y=0 (1,0)(-1,0)

Pnt crítico (x,y)

D=FxxFyy-Fxy

D        Fxx

>        >        MIN

>        <        MAX

<                Sela

0                -----

Multp. Lagrange

Fx        Gx

Fy        Gy

        Fx= λGx[pic 7]

...