Disciplina: Verificao e Validao

Professora: Vanessa Camargo

Aulas: 3
Agenda
Introduo
O que ?
Caractersticas
Atividades dinmicas e estticas
Verificao e Validao
de Software
Engenheiros de software buscam qualidade (e desenvolvem
atividades de garantia de qualidade e de controle de
qualidade) aplicando mtodos e medidas tcnicas slidas,
conduzindo revises tcnicas formais e efetuando teste de
software bem planejado [Pressman, 2002]
Verificao e validao
Siglas e abreviaes:
V & V Validao e verificao
VVT ou VV & T Validao, verificao e teste
Terminologia
Falta (fault): defeito, deficincia mecnica ou
algortmica que pode gerar uma falha.
Falha (failure): incapacidade de um sistema
desempenhar a funo exigida, violando suas
especificaes, que gera um erro.
Erro (error): item de informao ou estado de
execuo inconsistente (caminho de execuo
incorreto).

Falta Falha Erro

Definies
Verificao
Visa assegurar que o software seja desenvolvido de um
modo apropriado e consistente
Estamos construindo corretamente o produto?
Validao
Visa assegurar que o software corresponda aos
requisitos estabelecidos
Estamos construindo o produto certo?
Teste
Visa examinar o comportamento do software atravs de
sua execuo
Caractersticas
Principal objetivo: assegurar que o SW
cumpra com suas especificaes e
atenda s necessidades dos usurios.
Ocorrem em todo o ciclo de vida do software
Atividades
Estticas
Anlise e checagem de documentos
Inspeo, anlise e verificao formal
Dinmicas
Execuo de cdigo
Testes e verificao automtica
Atividades estticas > Inspeo
O processo de inspeo foi descrito primeiramente
por Michael Fagan e composto por seis fases, que
so: Planejamento, Apresentao, Preparao,
Reunio de Inspeo, Retrabalho,
Acompanhamento.
Atividades estticas > Inspeo
Um grupo de inspeo (3 a 8 participantes) envolve
desenvolvedores de software, entre outros
participantes, em um processo formal de
investigao.
Autor que o desenvolvedor do produto a ser
inspecionado;
Moderador que o membro da equipe que lidera a
inspeo, programa e controla as reunies;
Redator que aquele que tem como funo relatar os
defeitos.
Atividades estticas > Inspeo >
Planejamento
Os inspetores so selecionados e os materiais a
serem revisados so preparados.
Atividades estticas > Inspeo >
Apresentao
O grupo recebe instrues essenciais sobre o
material a ser inspecionado, especialmente sobre o
que deve ser inspecionado.
Atividades estticas > Inspeo >
Preparao
Integrantes do time de inspeo se preparam para
desempenhar o papel designado a cada um.
Atividades estticas > Inspeo >
Reunio
Os defeitos so encontrados, discutidos e
categorizados.
Atividades estticas > Inspeo >
Retrabalho
O autor do documento corrige os defeitos
encontrados pelo time de inspeo.
Atividades estticas > Inspeo >
Acompanhamento
O time de inspeo responsvel por assegurar
que todos os defeitos encontrados foram corrigidos
e nenhum outro tipo de defeito foi introduzido na
fase de Retrabalho.
Pode ser realizado somente pelo moderador.
Atividades dinmicas > Testes
Teste uma atividade essencial para se garantir
qualidade.
Segundo Pressman as atividades de teste
consomem cerca de 40% do tempo e custo de
desenvolvimento.
92% das organizaes desejam melhorar o seu
processo de teste.
Testes so um dos 3 pontos mais votados para
melhoria nas empresas de software.
Atividades dinmicas > Testes >
Etapas
Planejamento
Especificao / projeto de casos de teste
Execuo do programa com os casos de teste
Anlise de resultados
Atividades dinmicas > Testes >
Tcnicas
Tcnica Funcional (Caixa Preta)
Requisitos funcionais do software
Tcnica Estrutural (Caixa Branca)
Estrutura interna do programa
Atividades dinmicas > Testes >
Estratgias
Teste de Unidade
Identificar erros de lgica e de implementao em cada
mdulo do software, separadamente.
Teste de Integrao
Identificar erros associados s interfaces entre os
mdulos do software.
Teste de Validao / Sistema
Verificar se as funes esto de acordo com a
especificao e se todos os elementos do sistema
combinam-se adequadamente.
Verificao e validao
SWEBOK
Dentre as 10 reas de conhecimento, Verificao e
validao est presente na Qualidade de Software,
na sub-rea Processos de Gerncia de Qualidade.
Se existe a Garantia de qualidade de SW, porque
existiu um esforo da Verificao e validao.
Avaliar produtos (finais ou intermedirios) de
software ao longo de todo o ciclo de produtos.
Verificao e validao
SWEBOK
Garantir que os requisitos de software atendam aos
usurios.
A verificao uma tentativa de assegurar que o
produto construdo corretamente.
A validao uma tentativa de assegurar que o
produto est sendo desenvolvido de acordo com as
especificaes.