Inspeção de software

UNIVERSIDADE ESTADUAL PAULISTA INSTITUTO DE BIOCIÊNCIAS, LETRAS E CIÊNCIAS EXATAS DEPARTAMENTO DE CIÊNCIAS DE COMPUTAÇÃO E ESTATÍSTICA

Verificação e validação

Engenharia de Software 2o. Semestre de 2005

Slide 1

Verificação e validação q Asseguram que o software cumpra com suas especificações e atenda às necessidades dos usuários

Slide 2

Objetivos q q q q

Introduzir verificação e validação de software. Descrever o processo de inspeção de programa Explicar análise estática. Introduzir o processo de desenvolvimento de software Cleanroom

Slide 3

Verificação vs validação q q q

q

Verificação: ”Estamos construindo certo o produto?" O software cumpre com suas especificações Validação: ”Estamos construindo o produto certo?" O software deve estar de acordo com o que o usuário deseja.

Slide 4

O processo V & V q q

É um processo que engloba todo o ciclo de vida - V & V deve ser aplicado em cada estágio no processo de desenvolvimento. Tem dois objetivos principais:
• • a descoberta de defeitos no sistema Assegurar se o sistema é ou não utilizável em uma situação operacional.

Slide 5

Verificação estática e dinâmica q Inspeções de software - preocupadas com a análise estática das representações do sistema para descobrir problemas (verificação estática))
• pode ser complementadas por alguma análise automática do texto de origem de um sistema ou dos documentos associados.

q

Teste de software - preocupado com a execução e observação do comportamento do produto (verificação dinâmica).
• O sistema é executado com dados de teste e o seu comportamento operacional é observado.
Slide 6

Teste de programas q q

q

q

Pode revelar a presença de erros e NÃO a ausência Um teste bem sucedido é um teste que descobre um ou mais erros. É a única técnica de validação para requisitos não funcionais (desempenho, confiabilidade) Deve ser usado em conjunto com a verificação estática para uma cobertura total das