审计是审计机关依法独立检查被审计单位的会计凭证、会计账簿、会计报表以及其他与财政收支、财务收支有关的资料和资产，监督财政收支、财务收支真实、合法和效益的行为。它是基于经济监督的需要而产生的。

审计程序的类型有：

1、检查记录或文件

检查记录或文件是指注册会计师对被审计单位内部或外部生成的，以纸质、电子或其他介质形式存在的记录或文件进行审查。检查记录或文件的目的是对财务报表所包含或应包含的信息进行验证。

2、检查有形资产

检查有形资产是指注册会计师对资产实物进行审查。检查有形资产程序主要适用于存货和现金，也适用于有价证券、应收票据和固定资产等。检查有形资产可为其存在性提供可靠的审计证据，但不一定能够为权利和义务或计价认定提供可靠的审计证据。

3、观察

观察是指注册会计师察看相关人员正在从事的活动或执行的程序。例如，对客户执行的存货盘点或控制活动进行观察。

观察提供的审计证据仅限于观察发生的时点，并且在相关人员已知被观察时，相关人员从事活动或执行程序可能与日常的做法不同，从而会影响注册会计师对真实情况的了解。因此，注册会计师有必要获取其他类型的佐证证据。

4、询问

询问是指注册会计师以书面或口头方式，向被审计单位内部或外部的知情人员获取财务信息和非财务信息，并对答复进行评价的过程。询问本身不足以发现认定层次存在的重大错报，也不足以测试内部控制运行的有效性，注册会计师还应当实施其他审计程序以获取充分、适当的审计证据。

5、函证

函证是指注册会计师为了获取影响财务报表或相关披露认定的项目的信息，通过直接来自第三方的对有关信息和现存状况的声明，获取和评价审计证据的过程。例如对应收账款余额或银行存款的函证。通过函证获取的证据可靠性较高，因此，函证是受到高度重视并经常被使用的一种重要程序。

6、重新计算

重新计算是指注册会计师以人工方式或使用计算机辅助审计技术，对记录或文件中的数据计算的准确性进行核对。重新计算通常包括计算销售发票和存货的总金额，加总日记账和明细账，检查折旧费用和预付费用的计算，检查应纳税额的计算等。

7、重新执行

重新执行是指注册会计师以人工方式或使用计算机辅助审计技术，重新独立执行作为被审计单位内部控制组成部分的程序或控制。例如，注册会计师利用被审计单位的银行存款日记账和银行对账单，重新编制银行存款余额调节表，并与被审计单位编制的银行存款余额调节表进行比较。

8、分析程序

分析程序是指注册会计师通过研究不同财务数据之间以及财务数据与非财务数据之间的内在关系，对财务信息作出评价。分析程序还包括调查识别出的、与其他相关信息不一致或与预期数据严重偏离的波动和关系。

审计师可以通过单独或组合执行上述程序完成风险评估和实质性程序，并不适合控制测试。