Qual é o tipo de teste que focaliza o esforço de verificação na menor unidade de projeto de software, isto é, no componente ou no módulo de software?