O teste de software que garante o atendimento aos requisitos, ou seja, que verifica se os requisitos estão corretamente codificados, são conhecidos como: