出处：按学科分类—经济 辽宁人民出版社《新编会计大辞典》第961页（210字）
是一种对电算系统的应用程序进行审查的方法。
由审计人员通过复查应用程序的逻辑流程，弄清程序是怎样进行处理的，如何进行控制的，判断程序的处理和控制功能是否恰当的方法。使用时，审计人员应查阅被审程序的文档资料。再复查被审程序的源程序表，判断其逻辑流程是否正确、有无漏洞。此方法要求审计员精通被审程序的程序语言和编程序技术。
同时，还须注意真正用于处理的程序与被查的程序是否一样。