As técnicas ou procedimentos de auditoria que consistem na digitação de dados no sistema de computadores de uma empresa e a comparação dos resultados obtidos com os predeterminados, denominam-se: