Verificação e Validação

Verificação e Validação

1. Verificação

   • Garantir que produto cumpra requisitos especificados

2. Validação

   • Garantir que o software cumpra o uso pretendido

3. Engano

   • Ação humana que produz resultado incorreto

4. Defeito

   • Passo, processo ou definição de dados incorreta no produto

5. Erro

   • Diferença entre o valor computado e o teoricamente correto

6. Falha

   • Inabilidade do sistema de realizar a função requerida
   • Para falha ocorrer
     • Alcançabilidade
       • Ponto do programa que tem defeito deve ser executado
     • Infecção
       • Depois de passar pelo ponto de defeito, o estado do programa deve estar incorreto
     • Propagação
       • O estado do programa deve se propagar, gerando a saída incorreta

7. Revisões de Software

   • Processo para leitura de um artefato visando garantir que ele cumpre sua especificação
   • Pode ser aplicada a qualquer artefato
   • Maneira de usar a diversidade do grupo
   • Oportunidade de treinamento
   • Tem como objetivo descobrir precocemente os defeitos
   • Diminui retrabalho
   • Efetivo para melhorar qualidade do software
   • Tipos de revisões
     • Discussão informal
     • Apresentação
     • Revisões técnicas formais
       • Pequenos grupos
       • Atividades pré-revisão
         • Planejamento
         • Leitura do artefato individualmente
       • Reunião da revisão
         • Registro dos comentários
         • Deve durar menos de duas horas
         • Foco em partes específicas do software
       • Atividades pós-revisão
         • Acompanhamento dos problemas encontrados
       • Walkthrough
         • Realizar um passo a passo do código
         • Atividade de revisão estática
       • Revisão em pares
         • Por dupla de programadores
         • Resultados são publicados em relatório informal
       • Inspeção
         • Uso de checklists
         • Classificação dos defeitos
         • Ênfase na preparação
         • Processo de Inspeção
           • Planejamento
           • Preparação Individual
             • Ler documento para detectar defeitos
               • Técnicas de leitura
                 • Ad-hoc
                 • Checklist
                 • Leitura Baseada em Perspectiva
                 • Stepwise Abstraction
                 • Taxonomia de defeitos
                   • Defeito de Omissão
                   • Defeito de Fato Incorreto
                   • Defeito de Inconsistência
                   • Defeito de Ambiguidade
                   • Defeito de Informação Estranha
           • Reunião de Inspeção
           • Retrabalho
           • Continuação