对条件真实性的检查，一般有两种方法。
l、审计人员根据实际情况，设计数据，在被审计单位的开发机上对现行程序进行测试。
2、按文件规定的条件设计小程序，选取条件成立前一天的数据，将测试结果与实际运行结果进行比较。在对该银行的审计中，审计组使用了后一种方法，实现较为容易，效果不错而且不会对被审计单位的计算机系统产生任何影响。
（三）注重对条件实现的数据环境审查
即使条件设置的完整性、正确性和真实性不存在问题，也不能说明程序运行的结果一定没有问题，尤其是在程序运行的结果基于数据完整性情况下。在对公存、贷款利息自动计提的源程序中，审计人员发现由于应收利息登记簿数据的不完整性，导致该单位600多万元的应收利息未转为催收利息，影响了当年的损益。所以审查条件实现的数据完整性是不可缺少的一步。
四、挖掘源程序审计思路的附加值对源程序的审计，除了发现源程序本身的弊端与不足之外，还为缩小审计范围，找出程序内控之外的薄弱环节提供了讯息。所谓的程序内控是指由计算机系统负责控制，并体现内控制度的制约方式。例如：现行存、贷款利息的自动计提；冲正的会计分录只能用红字等等。
当然，计算机不是万能的，很多事情必须由人工去完成。这里程序内控之外的薄弱环节是指的可以由计算机或人工控制的而交人工去完成的业务。例如，在审计对公存、贷款利息自动计提的源程序中，发现贷款利息的计提绝大部分是由计算机完成，但同时也存在部分设置为人工计提的贷款户，而这只需要开户时设为人工计提即可。这就为审计留下了线索。
这里提到的只是源程序审计的附加值的一个方面，还有很多方面值得审计人员去发现。
计算机辅助审计在不断发展和创新，从源程序入手是其具体方法之一，熟悉该方法的思路和做法对利用好该方法将会起到良好的促进作用。 |
