进一步审计程序主要包括控制测试和实质性程序，其中实质性程序包括细节测试和实质性分析程序。
控制测试和实质性程序最大的区别就是要看测试的目的，
如果目的是为了测试控制的运行有效性，则属于是控制测试，
如果目的是为了直接检查认定层次的重大错报，则就属于实质性程序。
实质性程序中的细节测试，用于对于各类交易、账户余额、列报的具体细节进行测试，直接找错报、涉及到每一个业务、每一个环节、具体凭证。
而控制测试的目的是测试控制运行的有效性。细节测试与控制测试是两个完全不同的概念。
比如：
如果是检查销售发票或发运凭证上相关人员的授权签字，就是控制测试；
如果是检查销售发票上金额记录的准确性（涉及应收账款或是其他相关项目的准确性认定，看其是否有重大错报），就是实质性程序中的细节测试。
实质性程序包括实质性分析程序和细节测试，实质性分析程序的本质仍然是分析程序，比如针对应收账款周转率进行分析，就属于实质性分析程序的运用。
而细节测试是针对认定层次的细节进行测试，从而直接发现认定层次的重大错报，比如函证程序、重新计算，就属于典型的细节测试程序。
穿行测试是了解内部控制的程序，是询问、观察和检查程序的综合运用。