Os testes de caixa branca, também conhecidos como testes estruturais, focam a estrutura do código do programa, avaliando diferentes fluxos conhecidos como caminhos. Esses testes ajudam a verificar se a estrutura implementada está consistente em relação aos algoritmos elaborados para a solução de um programa frente aos requisitos. Com relação aos métodos de testes de caixa branca, observe as afirmações a seguir.
I. O teste de fluxo do programa é uma técnica de caixa branca que se concentra, exclusivamente, na validade de construções de ciclo.
II. O teste do caminho básico prevê casos de teste que visam testar todas as instruções de um programa ao menos uma vez.
III. O teste de ciclo seleciona caminhos de teste de acordo com a localização de definições e usos de variáveis no programa.
IV. Os testes de condição, também conhecidos como testes de decisão, visam criar casos de teste para testar as condições lógicas do programa.

Está correto o que se afirma em:

a. I, II e IV, apenas.
b. I, II e III, apenas.
c. I e III, apenas.
d. II e IV, apenas.
e. III e IV, apenas.