O que é cobertura de condição (*condition coverage*)?

Alternativa A - Medida que informa se cada subexpressão booleana em um programa foi avaliada como verdadeira e falsa.

Introdução

A cobertura de teste é uma métrica de teste de "caixa branca" que avalia a extensão em que o código-fonte de um programa foi exercitado. Entre os diversos níveis de granularidade, a Cobertura de Condição (Condition Coverage) foca na avaliação interna das expressões lógicas.

Desenvolvimento

Diferente da cobertura de decisão (ou ramo), que olha apenas para o resultado final de uma estrutura de controle (como um if), a cobertura de condição analisa cada componente booleano individual (condições atômicas). Por exemplo, em uma instrução if (A || B), a cobertura de condição exige testes onde A seja avaliado como Verdadeiro e Falso, e o mesmo para B de forma independente.

Análise

• Correta (A): Define precisamente o escopo das subexpressões booleanas sendo avaliadas em ambos os estados lógicos.
• Incorretas:
  • B: Refere-se à Statement Coverage (Cobertura de Instrução/Linha).
  • C: Refere-se à Branch Coverage (Cobertura de Ramo).
  • D: Refere-se à cobertura de fluxo de dados (uso de variáveis).
  • E: Refere-se à cobertura de funções ou métodos.

Conclusão

A cobertura de condição é fundamental para garantir que todas as variações lógicas dentro de expressões complexas tenham sido exercitadas, reduzindo o risco de erros lógicos ocultos em predicados compostos.

Alternativa A.