Teste de software é uma atividade dinâmica de V&V (Verificação & Validação). Seu objetivo é executar o programa ou modelo utilizando entradas em particular e verificar se seu comportamento está de acordo com o esperado. No contexto da técnica de teste estrutural, verifica-se que