《（毕业设计论文）《审计证据分析与评价系统》》由会员分享，可在线阅读，更多相关《（毕业设计论文）《审计证据分析与评价系统》（29页珍藏版）》请在金锄头文库上搜索。
1、审计证据分析与评价系统审计证据分析与评价系统【摘要摘要】在信息技术迅速发展的今天，借助计算机这一现代化工具辅助审计技术的发展已成为必然的趋势。因此，开发出一个实用的计算机审计辅助软件，帮助审计工作的有效进行也成为了一个重要课题。审计证据分析与评价系统是计算机辅助审计软件中的一部分，它的主要功能是对审计人员收集到的审计证据，通过基于证据理论从证据客观性、合法性、可靠性、充分性等进行分析，来评价此证据的优、良、中、差，从而更好的指导审计人员，更好的辅助审计工作。本文从审计信息化的现状入手，对系统进行可行性分析。详细描述了系统的总体设计方案，各个功能模块的界面设计，以及系统的运行实现。系统采用 Mi
2、crosoft Visual Studio 2008 作为开发工具，SQL SERVER 2005作为后台数据库，Windows 7 作为开发、测试平台。【关键词关键词】审计证据；证据理论；计算机辅助审计AnalysisAnalysis andand EvaluationEvaluation SystemSystem ofof auditaudit evidenceevidence0607013506070135 20062006 ComputerComputer ClassClass 1 1 ZhouJingZhouJingAbstract：With the rapid developmen
3、t of information technology today, using computer techniques as a modern development tool to assisted audit have become an inevitable trend. Therefore, developing a practical computer assisted audit software to help audit work effectively has become an important issue. Audit evidence analysis and ev
4、aluation system is part of computer-assisted audit software, its main function is to collect the audit staff to audit evidence, through evidence-based theory to analyze the evidence of objectivity, legality, reliability, adequacy, to evaluate whether the evidence is excellent, good, or poor, in orde
5、r to better guide the audit staff and better supporting the audit work. This article is through the present situation of the audit, to analyze the feasibility of the system. To give a detailed description about the system design, each functional module of the interface design, and the system running
6、. System uses Microsoft Visual Studio 2008 as a development tool, SQL SERVER 2005 as back-end database, Windows 7 as a development, test platform.Key words: Audit evidence t; Evidence theory; CAAT目目 录录引言 11. 证据理论 .21.1.Dempster-Shafer 证据理论简介 21.2.基于证据理论的审计证据分析与评价 41.3.算例 52. 系统分析 .72.1.系统总体调查 72.2.需
7、求功能分析 82.3.可行性分析 83. 系统设计 .93.1.系统目标设计 93.2.系统设计思路 93.3.系统功能分析与模块设计 .103.4.数据库设计 .124. 系统实现 144.1.开发工具 .144.2.数据库实现 .154.3.系统的实现与运行 .154.4.系统测试 .235. 总结 245.1.系统功能与作用总结 .245.2.系统的局限性 .245.3.今后努力的方向 .24参考文献: 25致 谢 .26引言引言审计证据是审计的核心问题之一。整个审计过程某种程度上讲就是一个审计证据的规划、收集、评价、处理及运用的过程。在正常的业务执行中，审计证据构成对最终审计结论的支持
8、；一旦遇到针对审计师的法律诉讼，审计证据又会成为审计师寻求责任免除的相当重要的证据来源。同时，审计证据也是考察审计工作及进行审计质量评价的基本资料。审计证据理论是审计意见可接受的理论基础，它不仅是构成审计整体理论的具体组成部分，还是独立审计取信于民的根本。构建审计证据理论既是建立全面完整审计理论、武装从业人士的需要，也是教育社会公众，使之更好地理解与信任审计职业的需要，更是发挥审计证据理论功能的需要。审计证据功能发挥的直接结果是使现有的审计实务得到改善，审计质量得以提高。对于题目“审计证据分析与评价系统”简单来解释即为基于证据理论的审计证据分析与评价。在当今社会生活中审计活动越来越受到人们的重
9、视，面对纷繁复杂的各类审计活动，审计人员的个人素质及技术水平固然对审计活动的结果相当重要，但对于审计人员在执行审计业务中，为了形成审计意见所获取的证据即审计证据的可靠性对于整个审计工作也是具有非常重要的意义。审计意见或审计结论的正确与否，或者说审计工作质量的高低，在很大程度上都取决于审计证据的质量。因此，审计证据的分析与评价，成为一项很重要的活动。证据理论是 Dempster 于 1967 年研究统计问题时提出的，该理论给出上、下概率的概念及合成规则和不满足可加性的概率。Shafer 进一步推广，使之系统化、理论化，故又称为 Dempster-Shafer 证据理论（简称 D-S 或证据理论）
10、 。本文针对审计证据充分性、适当性问题, 提出一种基于证据理论的分析与评价系统，该系统引入证据理论进行充分性、适当性量化，综合审计人员收集的各类审计证据的可靠性进行评价与分析，从而为审计人员完成审计报告提供很好的服务与支持。1. 证据理论证据理论1.1. Dempster-Shafer 证据理论简介证据理论理论的最大特点是在证据中引入不确定性，建立基本的概率分配函数（BPAF） 、信任函数（BEL） 、似真度（PL）函数等满足比概率论弱的公理，降低了传统 BAYES 理论需要完整的先验概率和条件概率知识以及需要统一辨识框架的要求，在区分不确定和不知的情况下，对相互重叠、非互不相容的命题进行证据
11、组合等方面有很大的灵活性。1.1.1. 证据理论的基本概念定义定义 1 识别框架( Frame of discernment)对于一个要评价的问题,假设所有可能的评价结果的集合用 表示,称 为识别框架。则我们关心的任一命题都是 的一个子集。定义定义2 2设 为辩识框架,如果集函数 m 2 0 ,1 (2 为 的幂集,它是 所有子集的集合) 满足 m( ) = 0 , ,此时 m 称为框架 ( )1Am A上的基本概率分配函数,又称为 mass 函数。对,称 m（A）仅为基本概率A 函数分配值。它表示对证据 A 的精确信任程度，是对 A 的支持。但是 m（A）仅为基本概率分配值，而不是 A 的总
12、信度。要得到 A 的总信度，必须将 A 的所有子集 B 的基本概率分配值相加，用信任函数来表示。定义定义 3 3设 Bel :2 0 ,1 为 上的信度函数,定义 Pl :2 0 ,1 , 为 A 的似然函数,表示不怀疑 A 的程度或 A 可靠似真( )1( )Pl ABel A A 的程度。定义定义 4 4由下限函数 Bel( A) 和上限函数 pl( A) 构成的区间Bel( A) ,pl( A) 表示了 A 的不确定区间如下图, 可记为 A( Bel( A) ,pl( A) ) 。图 1-1 证据区间表示1.1.2. Dempster-Shafer 合成法则Dempster-Shafer
13、 合成法则即证据合成法则,它可以融合 2 组或多组来自相互独立的不同信息源的证据,提高对某命题的置信程度,分为 2 个信度函数的组合规则和多个信度函数的组合规则。2 个信度函数的组合规则:设 Bel1 和 Bel2 是同一识别框架 上的 2 个信度函数, m1 和 m2 分别是其对应的基本可信度分配, m1 和 m2 的焦元(若且 m ( A ) 0 , 则称 A 为焦元) 分别为 A1 , A2 , Ak 和 B1 , B2 , A , Bl ,设12()()1ijijABm A m B则由下式定义的函数 m 2 0 , 1 是基本可信度分配,即( )0m A A 1212()() ( )1
14、()()ijijijABAijABm A m B m Am A m B A 多个信度函数的组合规则:设 Bel1 ,Bel2 ,Beln 为同一识别框架 上的信度函数, m1 , m2 ,mN 为对应的基本可信度分配,如果存在且基本可信度分配函数为 m ,则12nBelBelBel（1）12 1n=1122nn,()()()nA AA AAKm A m Am A （2）12 1n=1122nn,()()()m1nA AA AAm A m Am AAAK （），1.2. 基于证据理论的审计证据分析与评价对于在一项审计活动中审计证据的分析与评价，假设对该证据的评价可分为 4 个级别，即 S= S1
15、，S2，S3，S4。其中 S1为优，即该审计证据的证明力最强；S2为良，即该审计证据的证明力很强；S3为中，即该审计证据的证明力一般；S4为差，即该审计证据的证明力不够。假设有 N 名审计人员对审计证据进行评价。于某个审计证据有 U=u1，u2 ，u3，un个指标组成，假设第 m 位审计人员对这些指标按照上述等级进行评分，得到如下评分体系：表 1-1 指标评分体系S1（8-10）S2（6-8）S3（4-6）S4（0-4）u1Vm11Vm12Vm13Vm14unVmn1Vmn2Vmn3Vmn4由于指标评分体系中每个指标在综合评价时的比重不同，不妨设 u1的权重为 a1，u2的权重为 a2，un的
16、权重为 an，此时 ai满足如下条件：11niia（3）对于指标评分表的每列进行加权平均得到证据处于每个等级的概率，即j=1,2,3,4；m=1,2,k 4111/nnijimjimijimijraVaV （4）将 rmj作为第 m 个审计人员关于第 j 个等级的概率评价，由此得到识别框架的基本可信度分配：表 1-2 基本概率分配表A=S1A=S2A=S3A=S4m（A）rm1rm2rm3rm4由于审计人员本身的差异，有时可能会造成证据冲突问题，存在证据冲突的判断是无意义的，要判断审计人员的差异是否存在容许的范围内，首先要计算证据冲突的大小：（5）12 11122,()()()k nkkA AA AAKm A
