1

valldao e verlflcao de
SofLware
lnformLlca lndusLrlal

oLelro
verlflcao e valldao (vv)
ConcelLos bslcos
rocesso de vv
lnspees de SofLware
Anllse LsLLlca AuLomaLlzada
verlflcao e MeLodos lormals
1esLe de SofLware
1esLe de SlsLema
1esLe de ComponenLes
ro[eLo de Casos de 1esLe

verlflcao e valldao
Cb[eLlvo
Assegurar que o sofLware cumpra as suas
especlflcaes e aLenda s necessldades dos
usurlo/cllenLe
Cuando aconLece
Ao longo do processo de desenvolvlmenLo
equlslLos
lnspees de Cdlgo
1esLe de roduLo

verlflcao e valldao
ue acordo com 8oehm (1979)
valldao
LsLamos consLrulndo o produLo correLo?"
C slsLema aLende s expecLaLlvas do cllenLe/usurlo
verlflcao
LsLamos consLrulndo o produLo correLamenLe?"
C sofLware esL de acordo com suas especlflcaes
As especlflcaes do sofLware nem sempre esLo
de acordo com as expecLaLlvas dos usurlos

verlflcao e valldao
rocesso de verlflcao e valldao de
SofLware
LsLabelecer a conflana de que o slsLema esL
adequado ao seu propslLo"
Iuno do software
Cuo crlLlco e o sofLware
ectat|vas dos usur|os
LxpecLaLlvas crescenLes a parLlr da decada de 90
|ente de ercado
ConcorrenLes/Cronograma/reo

verlflcao e valldao
rocesso de verlflcao e valldao de
SofLware
eteco de erros
Abordagens complemenLares
nseo de software verlflcao LsLLlca
verlflcao requlslLos dlagramas cdlgo fonLe
esLrles uLllldade operaclonal desempenho conflabllldade
@este de software verlflcao ulnmlca
LxecuLar lmplemenLao do sofLware com dados de LesLe
ComporLamenLo operaclonal/desempenho e conflabllldade
so observados
7
verlflcao e valldao
1esLe de sofLware
1esLe de valldao
C sofLware e o que o cllenLe dese[a
Lx 1esLes de acelLao
1esLe de defelLos
evelar defelLos no slsLema de acordo com a sua
especlflcao
no exlsLe dellmlLador enLre os Llpos de LesLe

verlflcao e valldao
lnspeo e 1esLes de SofLware
9
verlflcao e valldao
ALlvldades lnLercaladas
rocesso de verlflcao e valldao de SofLware
LsLabelecer a exlsLncla de defelLos no sofLware
ueboqqloq (uepurao)
ocallza e corrlge os defelLos enconLrados
Lrros comuns de programadores (lncremenLo de conLador)
Lrros Llplcos da (dlreclonamenLo de ponLelro em C)
asLrear o programa
lerramenLas de eboqqloq lnLeraLlvas permlLe acompanhar
a execuo passo a passo
Aps a correo revalldar o slsLema
1esLes de regresso
10
verlflcao e valldao
ocallzar
erros
ro[eLar
reparo de
erros
eparar
erros
1esLar
programa
novamenLe
esulLados
dos LesLes
Lspeclflcao
Casos de
LesLe
rocesso de ueboqqloq
11
lane[amenLo de verlflcao e
valldao
Sucesso na lnspeo e nos LesLes
lanos de 1esLe
uocumenLos que evoluem duranLe o processo de
desenvolvlmenLo
LsLabelecer padres para o processo de LesLe
Alocar recursos (hardware/sofLware/pessoal)
LsLabelecer cronogramas
1
lnspees de SofLware
ueLeco de defelLos de programa
ldenLlflcam enLre 0 e 90 dos erros de programa
rocesso formal reallzado em equlpe
AuLor
esponsvel pelo arLefaLo* asslm como por sua correo
lnspeLor
LnconLra erros omlsses e lnconslsLnclas
elLor
ApresenLa o arLefaLo em uma reunlo de lnspeo
elaLor
eglsLra os resulLados da reunlo de lnspeo
Moderador/Moderadorchefe
erencla/aprlmora o processo de lnspeo
*cdlgo ou documenLao
1
lnspees de SofLware
recondles
Lspeclflcao preclsa dlsponlvel
Lqulpe famlllarlzada com o padres
organlzaclonals
verso aLuallzada e compleLa do cdlgo
(complllvel) dlsponlvel
1
lnspees de SofLware
1 C moderador plane[a a lnspeo alocao de pessoal e de recursos
necessrlos
C auLor apresenLa o programa expllcando o que o mesmo se prope a
fazer
Cada membro da equlpe esLuda o programa procurando por erros
Cs erros so apresenLados pelo lelLor e reglsLrados pelo relaLor
C auLor corrlge os problemas ldenLlflcados
C moderador chefe declde sobre a necessldade de conduzlr ouLra
lnspeo
CheckllsL pode auxlllar no processo de lnspeo de sofLware
lnspees so aprlmoradas com a experlncla da equlpe
1
lnspees de SofLware
1
lnspees de SofLware
Anllse esLLlca auLomaLlzada
lerramenLas que auxlllam de forma
auLomaLlzada a lnspeo de sofLware
verlflcao e meLodos formals
epresenLaes maLemLlcas de sofLware para
anllse de especlflcao
Mals uLlllzada em sofLwares crlLlcos devldo ao
lnvesLlmenLo necessrlo
Modelo de processo eootoom" sofLware com
defelLo zero
17
1esLe de SofLware
MeLas
uemonsLrar ao desenvolvedor e ao cllenLe que o
sofLware aLenLe aos requlslLos
1esLe de valldao
1esLe bem sucedldo o slsLema funclona correLamenLe
uescobrlr falhas ou defelLos no sofLware que
apresenLa comporLamenLo lncorreLo no
dese[vel ou no conformldade com a sua
especlflcao
1esLe de defelLo
1esLe bem sucedldo expe um defelLo que causa
funclonamenLo lncorreLo do slsLema
1
1esLe de SofLware
Cs LesLes podem apenas mosLrar a presena
de erros no sua ausncla" ul[ksLra eL al
197
C sofLware e bom o suflclenLe para uso
operaclonal
Conflabllldade de sofLware
19
1esLe de SofLware
Casos de LesLe
LnLradas para o LesLe
uados de LesLe podem ser auLomaLlzados (gerados
auLomaLlcamenLe)
Saldas esperadas do slsLema
reclsam da percepo do lndlvlduo que compreende o
slsLema
C que esL sendo LesLado
Cs LesLes preclsam ser baseados em um
subcon[unLo de casos posslvels de LesLe
1esLes exausLlvos no so posslvels
0
1esLe de SofLware
Modelo de processo de LesLes de sofLware
Projetar casos de teste Preparar dados de teste
Executar programa com
dados de teste
Comparar resultados
para os casos de teste
Casos de teste Dados de teste
Resultados
de teste
Relatrios
de teste
1
1esLe de SofLware
Classlflcao lnlclal
1esLe de slsLema
Lqulpe de LesLe lndependenLe
8aseado em uma especlflcao escrlLa do slsLema
Lnvolve a lnLegrao de dols ou mals componenLes do slsLema
1esLe de componenLe (de unldade)
uesenvolvedor do sofLware
LnLendlmenLo lnLulLlvo de como o sofLware deve operar
Lnvolve o LesLe de componenLes lndlvlduals do slsLema

1esLe de SofLware
@este de s|stea
@este de |ntegrao
Acesso ao cdlgo fonLe descoberLa de defelLos
roblema Crlgem do problema ComponenLes depurados
@este de f
verso do slsLema e LesLada
vallda se o slsLema aLende aos requlslLos funclonalldade
desempenho e conflabllldade
1esLe calxapreLa/1esLe funclonal
roblemas repassados para a equlpe de desenvolvlmenLo
(depurao/correo)
@este de deseenho]@este de carga]@este de estresse
LsLressar o slsLema/lmlLes do slsLema
ueLecLar erros em slLuaes aLlplcas

1esLe de SofLware
1esLe de lnLegrao lncremenLal
1esLe de regresso
A
B
T2
T3
T1 T1
A
D
C
B
T1
T2
T3
T4
T5
B
A
C
T1
T2
T3
T4

1esLe de SofLware
1esLe de teeose

1esLe de SofLware
1esLe de teeose
Lscolher enLradas que forcem o slsLema a gerar Lodas as
mensagens de erros
ro[eLar enLradas que causem overflow dos buffers
epeLlr a mesma enLrada ou serle de enLradas vrlas vezes
lorar a gerao de saldas lnvlldas
lorar os resulLados de clculos a serem mulLo grandes ou
mulLo pequenos
Casos de LesLe baseado em cenrlos
Cenrlos mals provvels
Cenrlos que conslderem enLradas e saldas lnvlldas
asos de uso e d|agraa de seqnc|a podem ser uLels

1esLe de SofLware
@este de coonentes
ComponenLes a serem LesLados
lunes e meLodos lndlvlduals de um ob[eLo
Classes de ob[eLos com vrlos aLrlbuLos e meLodos
ComponenLes composLos que consLlLuem dlferenLes ob[eLos ou funes
lnLerface bem deflnlda para acesso s funclonalldades
@este de |nterface
uesenvolvlmenLo CC
uesenvolvlmenLo baseado em componenLes
7
1esLe de SofLware
@este de coonentes
@este de |nterface
Mau uso de lnLerface
um componenLe chama ouLro e faz mau uso de usa lnLerface
Mau enLendlmenLo da lnLerface
um componenLe chamado perde a especlflcao da lnLerface do componenLe chamado e faz
suposles sobre seu comporLamenLo
Lrros de Llmlng
SlsLemas de Lempo real que usam memrla comparLllhada

1esLe de SofLware
ro[eLo de casos de LesLe (C1)
Crlar um con[unLo de casos de LesLe eflcazes para descobrlr defelLos do
programa e demonsLrar que o slsLema aLende aos requlslLos
Seleclonar caracLerlsLlcas ou componenLes a serem LesLados
Seleclone as enLradas
uocumenLe as saldas
Abordagens
1esLe baseado em requlslLos LesLar os requlslLos
1esLe de parLles parLles de enLradas e de saldas (falxa de valores
com caracLerlsLlcas semelhanLes comporLamenLos semelhanLes)
1esLe esLruLural/calxabranca o conheclmenLo sobre a esLruLura do
programa auxllla na deflnlo dos C1s que exerclLem Lodas as parLes
do programa
1esLe de camlnho (LesLe de meLodo)
8lbllografla
Sommervllle lan Lngenharla de SofLware
Ldlo 007
ressman oger s Lngenharla de SofLware
199