Questão de Engenharia de Software — Conceitos e Tipos de Testes de Software — VUNESP 2023

Teste de Caminho Base (Caminhos Independentes)

Gabarito: letra A. A técnica de Caminhos Independentes, também conhecida como Teste de Caminho Base, é uma técnica de teste estrutural (caixa-branca) que deriva casos de teste a partir do grafo de fluxo de controle do programa, garantindo que cada caminho linearmente independente seja exercitado pelo menos uma vez. Um caminho independente é aquele que introduz, no conjunto de testes, um novo conjunto de comandos ou uma nova condição, assegurando a cobertura de todas as instruções e decisões do código.

A técnica de Caminhos Independentes é uma das principais técnicas de teste estrutural, também chamado de teste de caixa-branca. Diferentemente do teste funcional (caixa-preta), que valida os requisitos sem conhecer a estrutura interna, o teste estrutural foca na estrutura de controle do programa, exercitando comandos, condições e ciclos. O objetivo é garantir que todas as instruções do código sejam executadas pelo menos uma vez e que todas as condições lógicas sejam testadas.

A base da técnica é o grafo de fluxo de controle, que representa os caminhos possíveis de execução do programa. A partir desse grafo, calcula-se a complexidade ciclomática, que define o número de caminhos linearmente independentes. Cada caminho independente é um caminho que adiciona pelo menos um novo comando ou uma nova condição ao conjunto de testes, garantindo que cada decisão seja exercitada em ambas as direções (verdadeiro e falso).

Na prática, imagine um programa com uma estrutura if-else. O grafo de fluxo terá dois caminhos: um que executa o bloco do if e outro que executa o bloco do else. Cada um desses caminhos é independente, pois cada um introduz um conjunto de comandos diferente. Se houver um if aninhado, o número de caminhos independentes aumenta, e a técnica garante que todos sejam testados.

A pegadinha da banca nesta questão é confundir a técnica de Caminhos Independentes com outros conceitos de teste, como testes de desempenho, segurança ou até mesmo com práticas de desenvolvimento como compilação ou equipes de trabalho. As alternativas B, C, D e E são distratores que não têm relação com a definição técnica de caminhos independentes.

Guarde a definição central: caminho independente é aquele que, ao ser exercitado, adiciona um novo comando ou condição ao conjunto de testes. É essa a característica que a alternativa A descreve corretamente.

Alternativa A — ✅ Correta ⟵ GABARITO

A alternativa A define corretamente o conceito de caminho independente: "um caminho independente é aquele que, quando exercitado, introduz, no conjunto de testes, um novo conjunto de comandos ou uma nova condição". Essa é a definição clássica da técnica de Teste de Caminho Base, que busca garantir que cada caminho linearmente independente do grafo de fluxo de controle seja executado, adicionando cobertura a novos comandos ou condições.

Alternativa B — ❌ Incorreta

A alternativa B afirma que caminhos independentes representam trechos de código escritos por equipes diferentes. Isso não tem relação com a técnica de teste. Caminhos independentes são definidos pela estrutura de controle do programa, não pela autoria do código. A banca tenta confundir com a ideia de módulos desenvolvidos por equipes distintas, mas o conceito é puramente estrutural.

Alternativa C — ❌ Incorreta

A alternativa C menciona "tempos máximos de execução" para cada caminho independente, o que não é uma característica da técnica. A técnica de Caminhos Independentes não estabelece restrições de tempo de execução; ela foca na cobertura de comandos e condições. A banca tenta associar a técnica a requisitos de desempenho, que são testados por outras técnicas, como teste de carga ou desempenho.

Alternativa D — ❌ Incorreta

A alternativa D fala em "protocolos de criptografia distintos" para cada caminho independente, o que é totalmente alheio ao conceito. Criptografia é um aspecto de segurança, não de teste estrutural. A banca tenta confundir com testes de segurança, mas a técnica de Caminhos Independentes não envolve criptografia.

Alternativa E — ❌ Incorreta

A alternativa E afirma que caminhos independentes são trechos de código compilados por pelo menos dois compiladores diferentes. Isso não é uma característica da técnica. A compilação com múltiplos compiladores pode ser uma prática de verificação de portabilidade, mas não define caminhos independentes. A banca tenta confundir com testes de portabilidade ou compatibilidade, que não são o foco da técnica.

Gabarito: letra A