论文部分内容阅读
利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计方法逻辑正确性验证的框架.利用模型检测器给出的反例,对验证的审计方法进行修正.实验结果表明,模型检测方法能验证审计方法逻辑的正确性.
基于模型检测的审计方法逻辑正确性验证
【摘 要】
：
利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计
【机 构】
：
哈尔滨工程大学计算机科学与技术学院,吉林大学计算机科学与技术学院
【出 处】
：
吉林大学学报(理学版)
【发表日期】
：
2017年5期
【基金项目】
：
国家自然科学基金(批准号:71272216);国家科技支撑计划项目(批准号:2012BAH08B02)
其他文献
当前国内对于高边坡的检查以人工为主,主要分为人工检查、定期检查、专项检查等形式,随着高速公路总里程数的增加,现有的检查方法越来越难以满足对边坡的全面细致检查,这对高
目的：将医院现有的普通胃肠机进行数字化升级改造,使之能满足数字胃肠机的基本性能,提高临床诊断水平。方法：增加专用的CCD数字摄像机、自动光圈、设备控制单元和模块硬件以及
献血是一种有助于医学发展的公益行为，但献血过程中容易出现使献血人受到伤害的事件。面对实践中日益多发的献血受害事件，单纯的民法救济路径显现出了明显的缺陷，极易对献血事业
汪老师,多年来,您潜心学问,在马克思主义哲学基础理论、马克思主义哲学中国化等多个领域的研究中取得了学界有目共睹的成就。以往曾有学术刊物就您的学术经历和学术思想作过
【正】 石油作为商品,与其他一切商品一样,其价值是凝结在商品之中的一般的、无差别的人类劳动或抽象人类劳动,其价值量由生产商品的社会必要劳动时间所决定,亦即,石油价值是
随着我国经济的高速发展，我国的高等教育也处于前所未有的高速发展时期：一方面，“精英化”的高等教育逐步向“大众化”过渡，高校招生规模不断扩大，呈现出跳跃式的发展趋势；另一方面，高校的办学财力和实力相比以往有所增强，高校软硬件基础设施所需的投入不断增加。然而，不可否认的是，当前我国高等教育资源严重匮乏，教育经费相对比较紧张，同时由于缺乏有效的成本控制机制，存在有限的、宝贵的教育资源被严重浪费的现象。基
期刊
对现今已有的基于模型检测的测试用例生成方法以及覆盖准则进行了研究,在此基础上设计一个基于模型检测工具Nu SMV生成功能测试用例的方法。首先,从被测系统状态图入手,经过