Engenharia

26/10/2011

VERIFICAÇÃO &
VALIDAÇÃO

VERIFICAÇÃO & VALIDAÇÃO
• Validação: Estamos construindo o produto certo?
• Verificação envolve checar se o software cumpre com suas especificações.

• Verificação: Estamos construindo certo o produto?
• Validação é um processo mais genérico. É necessário assegurar que o software atende às expectativas do cliente. • Mostra que o software faz o que o cliente espera que faça, exatamente como foi especificado.

1

26/10/2011

VERIFICAÇÃO & VALIDAÇÃO
Processo de Validação e Verificação (V&V):
• Inspeções de software: técnicas estáticas (Não requer que o sistema seja executado) consistem em verificação das representações do sistema, documentação, diagramas e código-fonte. • Teste de software: Executar uma implementação do software com dados de teste e executar saída e comportamento operacional afim de verificar se está sendo executado conforme esperado.
• Ex. Testes de defeitos, testes estatísticos.

VERIFICAÇÃO & VALIDAÇÃO
Inspeções de software

2

26/10/2011

VERIFICAÇÃO & VALIDAÇÃO
Processo de Validação e Verificação (V&V):

• A meta definitiva do processo de Validação e Verificação é estabelecer a confiança de que o sistema de software é adequado ao seu propósito, isto é, significa garantir que o sistema é suficientemente bom para o seu propósito. VERIFICAÇÃO & VALIDAÇÃO
• Nível de confiança:
• Função do software (depende de quanto é importante para uma organização)
• Expectativas do usuário.
• Ambiente de mercado.
• A Validação e Verificação são um processo que estabelece a existência de defeitos em um processo de software.
• A operação é um processo que localiza e corrige estes defeitos. 3

26/10/2011

VERIFICAÇÃO & VALIDAÇÃO

VERIFICAÇÃO & VALIDAÇÃO
Plano de teste com planejamento de Validação e Verificação:

4

26/10/2011

VERIFICAÇÃO & VALIDAÇÃO
Métodos formais:
• O uso de especificação matemática formal e da verificação associada é obrigatório