电子数据分析是数据式审计的核心流程。但是，从实务上来看，存在两个问题，一是电子数据审计分析究竟要分析些什么问题，没有一个逻辑框架；二是对电子数据分析发现的疑点进行核实之后，仍然无法对总体形成结论，只能报告已经发现的事实。上述两个问题的存在，使得数据式审计带有浓厚的经验色彩且难以形成总体性结论，也严重制约了数据式审计的效率效果。事实上，上述两个问题是紧密相关的，正是因为电子数据分析的内容没有一个具有周延性的逻辑框架，即使核实了发现的疑点，也不能对总体形成结论。 从理论上来看，一些文献认知到电子数据审计分析是命题验证，要以审计目标为起点，但是，如何以审计目标为起点？要验证哪些命题？尚未有文献提出明确的框架。 本文以审计主题和审计目标为起点，提出一个具有周延性审计命题的确定方法，作为电子数据审计分析的内容框架，有了这个具有周延性的审计内容框架，一方面解决了“电子数据审计分析究竟要分析些什么问题”的问题，这里的审计命题就是要分析的问题；另一方面，由于这些审计命题具有周延性，对所有的这些命题获取证据之后，就能对总体形成结论，从而解决了“对电子数据分析发现的疑点进行核实之后，仍然无法对总体形成结论”的问题。通过上述两个问题的解决，使数据式审计与经典审计理论融为一体。 二、文献综述 关于电子数据审计分析的研究文献不少，从研究主题来说，主要有二类，一是电子数据审计分析的技术属性和基本思路，二是电子数据审计分析的技术方法，本文的研究内容主要与前一类相关，文献综述也集焦于这一方面。 关于电子数据审计分析的技术属性有两种观点，一种观点认为，电子数据审计分析是数据发掘过程，是采用一定的方法对数据进行分析，以确定审计重点、发现问题线索，在进行电子数据分析之前，并不存在一个需要对哪些问题进行分析的框架，主要是审计人员基于其经验和现有数据，构造各种可能的审计分析模型，例如，冯国富、刘军指出，“在当前的审计实务中，还存在大量从数据集入手构造审计分析模型的现象，一些审计人员往往倾向于在提供的被审电子数据上下功夫，依据自身经验和知识，从所提供的表格字段中挖掘部分数据项之间的逻辑关联，这种方法具有经验性、盲目性和片面性”，这里所描述的现状，事实上就是将电子数据审计作为发掘过程；柳巧玲、黄作明和丛秋实指出，“如何从审计客体海量的、结构化的、非结构化的数据中确定审计重点、审计内容以及审计范围，是审计数据分析所要解决的核心问题”，这里对电子数据审计分析的表述，很大程度有将电子数据审计分析作为发掘过程的意味；审计署发布的《数据审计指南——计算机审计实务公告第33号》指出，“审计人员应当充分利用历史积累数据，以及数据准备阶段形成的基础表，采用适当的组织方式、方法、技术和工具进行数据分析，以便更高效地选择审计项目、确定审计重点，发现问题线索、得出审计结论”，这里虽然没有明确提出电子数据审计分析是一个发掘过程，但是，“选择审计项目、确定审计重点，发现问题线索、得出审计结论”这个过程明显地具有数据发掘的意味；还有的文献明确表示，“电子数据审计不是验证型审计，而是发掘型审计，其审计目标是把隐没在海量的、异构的、杂乱无章的电子数据中的信息集中、萃取和提炼出来，揭示其内在规律，为评价审计客体经济活动和相关资料的真实性、合法性、效益性提供有力的线索或直接的证据”。 另外一种观点认为，电子数据审计分析是一个命题验证过程，电子数据审计分析是有的放矢，是为了验证特定的命题而进行的数据分析，为此，必须先有一个需要验证的命题体系，在此基础上，构建对上述命题进行验证的审计分析模型，不少的文献提出要以审计目标为基础来分析电子数据，这些文献虽然没有明确提出电子数据审计分析是命题验证过程，但是，在很大程度上有将电子数据审计分析作为验证过程的意味。 由于对电子数据审计分析的技术属性有不同的认知，对电子数据审计分析的基本思路也有两种情形，一种情形是以审计目标为基础来提出电子数据审计分析的基本流程；另外一种情形是不以审计目标为基础，而是从电子数据审计分析的方向出发，提出电子数据审计分析的基本流程。这两种电子数据审计分析思路的根本区别在于是否以审计目标为电子数据分析的起点。 上述文献综述显示，对电子数据审计分析的技术属性及基本思路都存在差异，并且，对电子数据审计分析技术属性的认知会影响其对电子数据审计分析基本思路的认知。然而，即使认知到电子数据审计分析是命题验证，要以审计目标为起点，那么，如何以审计目标为起点？要验证哪些命题？尚未有文献提出清晰的框架，本文拟致力于此。 三、审计的技术逻辑：审计命题分解和验证过程 电子数据审计分析是服务于审计的数据分析，所以，审计的技术属性会影响电子数据审计分析的技术属性，如果审计是一个命题验证过程，则电子数据审计分析也必须服务于这个命题验证过程，在数据式审计模式下，电子数据审计分析是其核心流程，自然也就要以需要验证的审计命题为基础来进行数据分析，自然也就成为命题验证过程，而需要验证的命题则成为其数据分析的逻辑起点。审计有不少的基础性问题，“审计什么”和“怎么审计”是其中最重要的问题，这两个问题又密切相关，“审计什么”的不同，会决定“怎么审计”也存在不同，从技术逻辑来说，“审计什么”是一个命题分解过程，而“怎么审计”这是一个命题验证过程，命题验证当然是验证分解过程分解出来的命题，所以，命题分解过程的选择决定命题验证过程的选择。问题的关键是，审计命题如何分解？如何验证？尽管人们对审计本质的认知有差异，并且有多种审计主体和审计业务，但是，从审计一般的技术逻辑来说，审计命题分解和命题验证的基本过程如图1所示，下面，我们概要地说明这个过程。
