A a verificação da lógica de programação para certificar que as instruções dadas ao computador são as mesmas já identificadas nas documentações do sistema.
B a inclusão de lógicas de auditoria nos sistemas quando são desenvolvidos.
C o uso de um programa especialmente desenvolvido para processar transações e dados anteriormente executados numa rotina normal e operacional com o objetivo de verifi car se os resultados são idênticos.
D a simulação de operações normais com o objetivo de estimular a verificação de resultados recorrentes que são inconsistentes.
E o desenvolvimento e implementação de uma trilha de auditoria para acompanhar certos pontos da lógica do processamento de algumas transações.