Teste Estrutural

Teste Estrutural

1. Baseia-se no conhecimento da estrutura interna (implementação) do software para derivar os requisistos de teste

2. Também conhecida como Técnica Caixa-Branca

3. Critérios do Teste Estrutural

   • Teste de Condições
     • Requer que cada condição em uma decisão assuma todos os valores possíveis ao menos uma vez
   • Teste de decisões/condições
     • Requer que cada condição e cada decisão assumam todos os valores de saída possíveis ao menos uma vez e que cada ponto de entrada seja invocado ao menos uma vez
   • Teste de condições Múltiplas
     • Requer que todas as possíveis combinações de saída de uma condição em cada decisão e todos os pontos de entrada sejam exercitados ao menos uma vez
   • Teste de Laços
     • Requer que em ao menos uma execução, o laço
       • Não seja executado
       • Seja executado exatamente uma vez
       • Seja repetido em mais de uma vez
     • Variações
       • Seja repetido em max vezes
       • Seja repetido em max -1 vezes
       • Seja repetido em max + 1 vezes
   • Mais conhecidos
     • Critérios baseados em fluxo de dados
       • Outros critérios de fluxo de dados
         • Variações
           • Todos-c-usos-alguns-p-usos
           • Todos-p-usos-c-usos
           • Todos-p-usos
         • Critérios potenciais-usos
           • Requer associações independente do uso explícito de uma variável definida
         • Todos DU-caminhos
           • Requer que todos os usos de uma variável definida sejam executados por todos os caminhos livres de definição e livres de laço que executem os pares def-uso
       • Utilizam o Grafo Def-Uso para derivar os requisitos de teste
         • Uso
           • Quando a variável é referenciada e tem o seu valor consultado
             • Uso predicativo (p-uso)
               • A variável é usada em uma condição
             • Uso computacional (c-uso)
               • A variável é usada em uma computação
         • Definição
           • Quando uma variável recebe um valor
       • Os casos de testes são gerados analisando o comportamento das variáveis do programa
         • Requer o teste das interações que envolvam definições de variáveis e seus possíveis usos subsequentes
       • São complementares aos critérios baseados no fluxo de controle
       • Todos-usos
         • Requer que todos os usos de uma variável definida sejam executados
           • O uso deve ser alcançado por um caminho livre de definição
       • Todas-definições
         • Requer que cada definição seja exercitada pelo menos uma vez por um de seus usos
           • O uso deve ser alcançado por um caminho livre de definição
     • Critérios baseados na complexidade
       • Teste do caminho básico (critério de McCabe)
         • O conjunto de casos de testes que exercita os caminhos básicos também exercita todos-nós e todas-arestas
         • O conjunto não é único
         • Requer a execução de cada caminho independente ao menos uma vez
         • Complexidade ciclomática
           • Cálculo
             • C = arestas - nós + 2 ou C = p + 1, sendo p o número de nós com decisão binária
           • Medida de complexidade de código
         • Limitar o número de caminhos a serem executados identificando os caminhos independentes
           • Número mínimo de caminhos independentes, sem laços, é dado pela complexidade ciclomática
           • Cada caminho independente contém pelo menos uma nova aresta do GFC
     • Critérios baseados em fluxo de controle
       • Grafo de Fluxo de Controle (GFC)
         • Estruturas de repetição
         • Estruturas condicionais
         • Comandos e sequência de comandos
       • Todos-caminhos
         • Teste de Caminhos
           • Requer que cada caminho do grafo seja executado ao menos uma vez
       • Todas-arestas
         • Teste de Decisões
           • Requer que cada decisão seja executada ao mesmo uma vez
       • Todos-nós
         • Teste de Comandos
           • Requer que cada comando seja executado ao menos uma vez