O que são os testes de software?

As secções anteriores apresentaram os testes de software e explicaram a sua importância. Vamos agora aprofundar o tema, começando por recordar a definição.

Os testes de software avaliam se as funcionalidades cumprem os requisitos do cliente. Dividem-se em duas grandes categorias.

1. Testes dinâmicos. Testam o programa através da sua execução.
2. Testes estáticos. Consistem em examinar o código e a documentação associada.

É comum combinar testes dinâmicos e estáticos.

Testes de caixa preta

Os testes de caixa preta centram-se no que o software faz, sem examinar a sua implementação interna. Podem ser utilizados em todos os níveis, desde os testes unitários e de integração até aos testes de sistema e de aceitação.

Abrir diagrama em tamanho real ↗

Testes de caixa preta

Nos testes de caixa preta, quem testa centra-se no que o software deve fazer. Os casos de teste baseiam-se nas especificações e nos requisitos, independentemente da lógica interna do programa. São fornecidos dados de entrada válidos e inválidos e verificam-se os resultados obtidos.

Testes de caixa branca

Os testes de caixa branca examinam o código fonte, incluindo a sua lógica interna, implementação e comportamento. Os casos de teste verificam o funcionamento interno do software. Esta abordagem pode ser utilizada em testes unitários, de integração e de sistema. Pode revelar erros de conceção interna difíceis de encontrar por outros meios. Contudo, não identifica requisitos ou especificações em falta.

Abrir diagrama em tamanho real ↗

Testes de caixa branca

Cobertura de instruções

A cobertura de instruções verifica se cada instrução de cada bloco de código é executada pelo menos uma vez e se os seus resultados são observados. Também é conhecida como cobertura de linhas ou de segmentos.

Executar todas as instruções não implica necessariamente testar todas as condições. Por isso, alguns erros podem passar despercebidos mesmo com a cobertura total das instruções.

Cobertura de decisões

A cobertura de decisões, também chamada cobertura de ramos, verifica os resultados de cada decisão, incluindo verdadeiro e falso. Um ramo é um dos possíveis resultados de uma decisão. Obtém-se uma cobertura mais ampla do que com a cobertura de instruções por si só. Eis alguns exemplos de instruções de decisão.

1. Uma instrução IF.
2. Uma instrução de controlo de ciclo, como do-while.
3. Uma instrução CASE com dois ou mais resultados possíveis.

A cobertura de decisões verifica todos os ramos do código. Permite uma verificação mais rigorosa do que a cobertura de instruções por si só.

Cobertura de condições

A cobertura de condições verifica se cada condição booleana individual assume os valores verdadeiro e falso. Estas condições podem desempenhar um papel importante no resultado de uma decisão. A cobertura de condições não garante a cobertura total das decisões.

Cobertura de decisões e condições

Este método combina o teste das decisões com o teste das respetivas condições lógicas individuais. Verifica os resultados verdadeiro e falso de ambas e constitui uma abordagem sólida aos testes de software.

Cobertura de condições múltiplas

A cobertura de condições múltiplas, também conhecida como cobertura de combinações de condições, verifica a saída para diferentes combinações. Vejamos um exemplo.
If (x=true OR y=true)
   Then
Print (“Hello”)
   Else
Print (“Bye”)

Neste exemplo, há quatro combinações possíveis de condições.
Caso de teste 1. x=true; y=true
Caso de teste 2. x=true; y=false
Caso de teste 3. x=false; y=true
Caso de teste 4. x=false; y=false

Da mesma forma, três condições booleanas dão origem a oito combinações possíveis.