可信密码模块符合性测试方法研究

提出了一种可信密码模块(TCM)符合性测试的形式化方法,采用基于扩展有限状态机(EFSM)模型与测试向量相结合的方式对TCM的标准进行形式化建模.由于该建模方法结合TCM自身特点给出了命令依赖关系图的获取算法以及EFSM模型与测试向量获取算法,所以能够更好地对标准进行形式化建模,并用于测试用例的产生.通过测试结果分析以及与其他相关工作的对比,表明该方法能够有效地产生测试用例,并提高TCM符合性测试的错误检测率.

标准符合性测试初探

阐述标准符合性测试的概念、分类及测试基本流程,通过对国内外符合性测试现状的归纳总结,从相关概念、技术研究、重视程度、平台体系等视角揭示目前我国标准符合性测试存在的诸多问题,为促进标准符合性测试的发展及体系的构建与完善提出相应的对策与建议。

电子健康档案标准符合性测试研究

电子健康档案标准符合性测试是为了推动卫生信息标准化,加快卫生信息标准的宣贯和落地实施。全文分析了电子健康档案信息标准符合性测试的研究背景,确定了标准符合性测试研究的目的、策略和基本原则。通过标准符合性测试方法研究,提出了标准符合性测试技术主要是人工评审和自动化测试两类;测试流程包括测试申请、测试准备、测试实施和测试评级四个阶段。通过标准符合性测试研究和预测试,了解卫生信息标准的应用状况,推进卫生信息标准的落地实施,完善卫生信息标准体系,为实现卫生信息的互联互通和规范化健康档案建设提供支持和保障。

电子病历标准符合性测试方法学研究

为有效评估医疗机构电子病历数据、电子病历共享文档、医院信息平台与相关电子病历信息标准的符合程度,需要研究国内外信息标准符合性的测试方法、评价方法等,探索建立适合我国国情的电子病历信息标准符合性测评的方法学体系,以促进实现"统一高效、互联互通"的卫生信息化建设目标。

国内外卫生信息标准符合性测试工作对比及启示

从政府发挥的作用、认证主体、认证对象、认证测试标准和认证测试过程5个方面对美国、加拿大和我国卫生信息标准符合性测试工作进行对比,从中发现当前我国存在的一些问题并提出未来发展建议。

ODBC标准符合性测试框架

阐述了国产DBMS测评体系中ODBC标准符合性测试的测试框架,并针对实施过程中测试用例的产生、测试用例的独立性和可扩展性及测试结果的易分析性进行了剖析。

加拿大卫生信息标准符合性测试研究

以加拿大Infoway官网、同方知网以及互联网资源为检索源,通过对加拿大Infoway所开展的卫生信息化、卫生标准符合性测试进行调研,从认证主体、认证对象、认证标准、认证过程4个方面对加拿大卫生信息标准符合性测试的开展进行全面剖析,以期为我国卫生信息标准符合性测试工作的开展提供参考和借鉴。

TPM接口命令标准符合性测试的设计与实现

标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明,该方案是有效且切实可行的。

基于XML的标准符合性测试方案

为了更好地提高标准符合性测试效率,对信息化标准的共性进行了研究,提出一个基于XML的标准符合性测试方案。给出了方案各阶段的具体测试策略,包括测试前的准备工作、测试用例的生成方法、测试用例的运行以及运行结果的符合性分析。该方案通过XML技术来格式化标准中的数据类型,对测试用例的生成采用边界值法和等价类划分法,并应用提出的测试结果分析法分析测试用例的运行结果。实验结果说明该方案可以有效提高标准符合性测试效率。

软件无线电标准符合性测试系统设计

随着软件无线电技术的迅速发展,越来越多厂家开展了基于软件无线电标准的技术研究和产品研制。由于各厂家对标准的理解不一致,研制软件产品的实现存在差异,导致未经符合性测试的软件之间不能相互兼容,需花费大量时间来进行波形移植开发和系统集成。针对该问题,提出了一种软件无线电系统标准符合性测试系统的实现方式,给出了系统测试内容、测试方法和实现方式,设计实现了一套软件无线电标准符合性测试系统,并进行了测试验证。测试结果表明,该测试系统可满足从单一软件产品到整机设备产品的符合性测试需求。

电子健康档案符合性测试的提出与设计

卫生信息化建设已然成为世界各国推进卫生服务可及性过程中重要的关注点。在审视我国以电子健康档案和电子病历为核心的卫生信息化建设理论研究和实践探索的基础上,阐述了电子健康档案符合性测试的内涵和基本特征,深入探讨电子健康档案符合性测试点要求和用例设计,并提出电子健康档案符合性测试的基本思路、技术路线和测试管理流程。

标准符合性测试的国内外比较及对策分析

国内外标准符合性测试工作在近些年发展迅速,对国内外符合性测试标准在数量、质量上进行对比,进而分析标准符合性测试现阶段的发展情况,探究其发展轨迹和发展特点,并提出我国在标准符合性测试工作方面的问题和对策。

数据标准符合性测试研究初探

随着信息技术的进步以及各行业信息系统的建设和发展,数据质量和互操作性变得越来越重要。为了解决“孤立信息节点”等问题,国内外都研制了各类数据标准,而包括信息分类编码标准在内的数据内容标准又是其中的重中之中。但是,数据标准的制定并不能保证信息系统完全按照标准的要求来建设。因此,数据标准符合性测试受到业界的重视和应用。数据标准符合性测试是利用测试手段验证信息化产品和服务中的数据是否符合标准中的各项规定,能够提高组织信息化的数据质量和互操作性,支撑标准的实施和监督。本文将对国内外数据标准符合性测试的现状进行梳理和分析,针对信息分类编码标准这一最典型的数据标准,提出了信息分类编码标准符合性测试框架,并提出我国开展数据标准符合性测试工作的建议。

审计符合性测试和实质性测试常见问题分析及建议

在风险导向审计模式下,审计人员在对被审计单位风险分析的基础上,采取多样化的审计策略,对被审计单位进行符合性测试和实质性测试。符合性测试又称内部控制测试,内容包括合规合法性控制、授权分权控制、不相容业务相分离控制、业务程序标准化控制、内部核查控制;方法包括检查、观察、穿行测试、重复执行等测试程序。实质性测试是指对被审计单位的账户余额进行测试,测试的方法主要有核对、复核、分析性复核、查询、盘点、观察等方法。但在审计符合性测试和实质性测试中经常出现一些问题,本文对此探讨,并提出建议。

CNONIX标准符合性测试研究

CNONIX标准规范了图书出版行业在信息交互过程中的数据项及其格式,提高了数据质量和使用效率。为了保证第三方软件能够正确地生成符合CNONIX标准的XML文件以及检测一个XML文件是否符合CNONIX标准,提出了相关的标准符合性测试方法;对CNONIX标准中规定的元素属性进行了研究并且分析了其对测试用例的影响;设计了XML文件对于CNONIX标准符合性的检测规则;最后提供了一个应用实例对检测规则予以说明。

美国卫生信息标准符合性测试研究

通过对ONC官网、同方知网以及互联网等有关文献的检索,从认证主体、认证对象、测试方法与过程、认证标准、认证模式及认证过程等方面对美国卫生信息标准的符合性测试进行调研,以期为我国卫生信息标准符合性测试工作的开展提供参考和借鉴。

内部会计控制种类与符合性测试方法

(一) 内部会计控制种类 一、基础控制(Basic Controls) 基础控制是设计一些程序来保证完整、正确记录一切合法的经济业务,保证尽快察觉业务处理过程中和记录中出现的各种错误。通过这些程序能够实现内部会计控制完整性、合法性、正确性、和一致性的目标以及保证获得可靠的财务记录。

谈电算化审计中一般控制的符合性测试

在电算化的审计中,企业的一般控制主要包括:组织和操作控制、硬件和软件的控制、系统环境安全的控制等。一般控制的符合性测试是指对上面所提控制制度的实施情况和遵守情况进行测试。

蒙古文复杂文本布局引擎的标准符合性测试

以蒙古文编码国家标准的研制及其系统实现方面的工作为基础,针对蒙古文复杂文本布局引擎(CTL Engine)及其OpenType字库的系统结构,提出蒙古文复杂文本布局引擎的标准符合性测试(Conformance Test for Standards)方案,定义蒙古文复杂文本布局引擎的测试点及其测试实例,并以关键软件系统为依托测试和分析Uniscribe和HarfBuzz等支持蒙古文的复杂文本布局引擎。

刍议符合性测试在金融内审中的运用

我国金融业的发展,使得金融内部审计对象——金融机构的会计资料和其他有关资料日益增多,因此,要切实发挥金融内部审计的监督职能,如果仍然沿用传统审计方法,势必难以应对。金融内部审计理论和方法迫切需要引入审计风险、审计抽样、符合性测试、制度控制等现代审计理念,为此,笔者在本文中对运用符合性测试的意义、现状与原因、策略作了较为祥尽的阐述。