Caminho Viável
O que é um caminho viável?
Um caminho de fluxo de controle por meio de uma função ou procedimento é possível se houver uma atribuição para valores de entrada que direcionam a execução ao longo do caminho. Também podemos usar uma expressão regular para descrever um conjunto de caminhos.
A análise de caminho viável depende de:
Tipos associados de constantes e declarações de variáveis de uma função.
O caminho do início ao fim.
Métodos:
O caminho pode ser bem analisado usando a técnica de teste White Box, na qual os casos de teste são construídos a partir do código sem referência a requisitos ou especificações. Uma coleção de casos de teste é construída para satisfazer um ou mais critérios de cobertura.
Statement Coverage : Cada afirmação do programa deve ser exercida com um número mínimo de testes.
Decision Coverage : O resultado de cada decisão deve ser considerado verdadeiro ou falso.
Condition Coverage : Além de testar os resultados de cada decisão, devem ser exercitadas as várias maneiras pelas quais cada resultado pode ser alcançado por meio de diferentes valores de subcondições em uma decisão.
Path Coverage : Todos os caminhos do fluxo de controle através do programa são testados.