Testes realizados para verificar a correta implementação do design e conformidade com os requisitos do programa para um elemento de software (por exemplo, unidade de , módulo) ou uma coleção de elementos de software.