要主动考虑会计复核

    验证金融系统的正确性时，除了按程序本身的逻辑设计用例进行测试，还可以通过金融业务中常用的会计复核机制来实现

  而且有时候，这不仅是一种可选的手段，可能还是一个必须满足的条件：很多金融业务就要求通过审计手段来保证业务的正确。