Em qualidade de software, a técnica de revisão que executa passo a passo um procedimento ou programa com vistas a encontrar erros, na qual um testador disponibilizará um conjunto de casos e os integrantes da equipe de revisão buscarão simular a execução de um artefato, é conhecida como