Please enable JavaScript.

Coggle requires JavaScript to display documents.

Teste estrutural - Coggle Diagram

- - - - Critérios todos-nós
      - Requer que cada comando seja executado ao menos uma vez
    - - Requer que cada decisão seja executada ao menos uma vez
      - Critério todas-arestas
    - - Requer que cada condição em uma decisão assuma todos os valores possíveis ao menos uma vez
    - - 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
    - - Requer que todas as possíveis combinações possíveis de saída de uma condição em cada decisão e todos os pontos de entrada sejam exercitados ao menos uma vez
    - - Requer que cada caminho do grafo seja executado ao menos uma vez
      - Critério todos-caminhos
    - - Requer que em ao menos uma execução, o laço
        
        Seja executado exatamente uma vez
        
        Seja repetido em mais de uma vez
        
        Não seja executado
      - Variações
        
        Seja repetido em max - 1 vezes
        
        Seja repetido em max + 1 vezes
        
        Seja repetido em max vezes
  - - - Limitar o número de caminhos a serem executados identificando os caminhos independentes
      - Cada caminho independente contém pelo menos uma nova aresta do GFC
      - Número mínimo de caminhos independentes, sem laços, é dado pela complexidade ciclomática (McCabe)
      - Requer a execução de cada caminho independente ao menos uma vez
      - Passo-a-passo
        
        1- Calcular complexidade ciclomática
        
        2- Escolha um caminho básico
        
        3- A partir do caminho básico, altere a saída do i-ésimo comando de decisão e mantenha o máximo possível do caminho inalterado
        
        Continue até que o conjunto completo de caminhos seja atingido
    - - Medida de complexidade de código
      - Cálculos
        
        C = p + 1, sendo p o número de nós com decisão binária
        
        C = arestas - nós + 2
  - - - Extensão do GFC
      - Contém informações a respeito da definição e uso de variáveis
      - Definição
        
        Quando uma variável recebe um valor
      - Uso
        
        Quando a variável é referenciada e tem o seu valor consultado
        
        Uso computacional (c-uso): a variável é usada em uma computação
        
        Uso predicativo (p-uso): a variável é utilizada em uma condiçã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
      - 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
      - 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
      - Potenciais-usos
        
        Requer associações independente do uso explícito de uma variável definida
      - Variações
        
        Todos-c-usos-alguns-p-usos
        
        Todos-p-usos-alguns-c-usos
        
        Todos-p-usos
    - - 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