维哈柯文字库标准符合性检测研究

在调查和分析维哈柯文字库存在问题的基础上,依据国家制定的维哈柯文字符集标准与字形标准,明确了维哈柯文字库标准符合性检测的含义与内容,结合对TrueType字形技术,TrueType字库文件基本构成的详细研究,提出了完整的维哈柯文字库标准符合性检测的方案与算法,并实现了维哈柯文字库标准符合性检测工具的开发.实验结果表明检测方案完整、可行,能较好地解决维哈柯文字库标准符合性检测问题,对其它文字的字库标准符合性检测也具有一定的借鉴意义.     

基于ISO/IEC10646标准的藏文操作系统若干问题研究

长期以来尚未有完整的藏文操作系统,原因是藏文文字的特性要求特定的文字处理。本文基于ISOPIEC 10646 的藏文字符集标准,结合藏文正字法要求,详细分析了藏文操作系统实现中的关键问题: (1) 藏文字符集方案比较与藏文存储; (2) 藏文输入; (3) 藏文显现。藏文显现是公认的“瓶颈”问题。对此,本文提出基于音节划分、使用OpenType 字体及相应的文本引擎来解决藏文“叠加”字符的显现。此方案应用于Qt 库的实验及相关测试证明基于ISOPIEC 10646 标准的藏文操作系统实现是较合理的方案。     

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

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

我国字库建设取得重要突破

我国字库建设取得重要突破。全国首套宋体、仿宋、楷体、黑体 4种字体完全符合 GB1 80 3 0 -2 0 0 0国家标准《中软东文字库》的要求 ,日前被我国软件专家开发完成 ,率先通过国家信息处理产品标准符合性检测中心的产品符合性测试 ,正式投放市场。此次发布的 GB1 80 3 0 -2 0 0 0标准共收集了约 2万 7千 5百个汉字、字符 ,采用单 /双 4字节混合编码 ,并给出该编码与 U-NICODE双字节 6万 4千多个编码的对应表。此标准的实施为制定国际统一的应用软件中文接口标准的规范化创造了条件。由中国计算机软件与技术服务总公司与长沙东文软件有限…     

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

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

SQL标准符合性测试相关问题探讨

介绍了SQL标准及其符合性测试的现状,通过分析美国国家标准与技术研究所SQL测试集的局限性,对基于该测试集的SQL标准符合性测试的实施提出了若干建议.     

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。     

2000年符合性测试规范

为解决2000年题,信息产业部于1999年2月12日发布了《中华人民共和国电子行业标准SJ/Tl1201-1999:2000年符合性测试规范》,于3月1日起实施。该标准基于2000年问题解决方案,定义了与2000年符合性有关的术语,提供了2000年问题测试策略和测试报告,为成功地解决2000年问题提供指导。标准主要用于我国2000年符合性认证的测试及国内各单位进行2000年符合性自查测试。本标准由信息产业部提出,由中国电子技术标准化研究所、计算机与微电子发展研究中心、华北计算机研究所共同起草。 标准的附录A-D(2000年符合性调查表、2000年问题的补救措施、2000年符合性测试的关键日期及测试报告参考格式)部分从略,感兴趣的读者可到中国电子技术标准化研究所直接购买标准文本。     

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

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

软件企业CMMI与ISO9001的符合性验证研究

随着科学信息技术的快速发展,软件产品占据了越来越多的市场,软件研究单位也开始面临却来越严峻的挑战。本文主要介绍分析CMMI模型与ISO9001标准的异同,分析软件企业分别采用CMMI与ISO9001的项目管理的主要环节,探讨软件企业采用CMMI与ISO9001的符合性问题。     

协议一致性抽象测试集的设计研究

协议一致性测试是验证计算机网络协议实现与其国际标准相一致的重要技术。在一致性测试中，抽象测试集的地位十分重要。对不同协议标准化抽象测试集的研究导致了一致性测试的国际标准，是近几年国际上研究的热门话题。本文首先介绍了协议一致性抽象测试集的基本概念的结构，然后阐述抽象测试认样生的一般过程，最后对我们正在研究的３Ｘ协议一致性测试集的设计进行介绍。     

基于TTCN-3的宽带载波通信一致性测试系统设计

电力线载波通信技术正在从窄带向宽带发展,宽带载波通信已成为近年来电力线载波通信研发和应用的热点,为保证不同厂商研发的宽带电力线载波通信设备符合协议规范要求并能够互联互通,对其进行一致性测试十分必要。基于TTCN-3测试框架和Titan开发平台设计了宽带载波通信协议一致性测试系统,提出了一致性测试系统软件和硬件设计方案,阐述了测试系统各部分的实现机制及关键技术。在深入研究宽带载波通信协议的基础上,针对物理层、链路层和应用层分别设计了不同的测试用例,构建测试环境并进行一致性测试,可对被测系统协议实现的正确性进行判决。对推进宽带电力线通信的标准化和互联互通具有积极意义。     

信息安全等级测评系统设计

阐述了信息安全等级测评过程、模型和测试方法。探讨了使用TTCN-3核心语言将测评标准转换为测试套的可能性,提出了用一致性测试模型进行信息安全等级测评的方法。根据一致性测试模型,给出了信息安全等级测评系统的设计方案。这一方案用强描述性规范化语言把权威的标准条款定义为测评标准库,再通过高层描述语言的通用转换平台转化为测试任务,然后由分布式的测评管理平台调度测评执行平台进行测评。     

STEP一到性测试系统的开发

STEP AP 203（ISO10303－203－1994）是表达3D机械产品设计阶段的产品数据的国际标准,它提供了一种独立于任何特定系统的信息通信的中性机制,然而,如果不对应用系统进行确定其是否与标准相一致的测试,则产品数据交换的目标就不能完全达到,文中在给出STEP一致性测试的系统方法的基础上,通过已开发的STEP AP 203一致性测试系统,来说明如何实现STEP一致性测试。     

Proposing a test model for the computer graphics metafile

The Computer Graphics Metafile (CGM) is an international standard (CGM-ISO 8632) concerned with the storage and transfer of graphical data. It is specified in four parts, which describe the abstract specification and three encodings. The conformance testing of standards, in particular language standards and osi, is a rapidly growing area with many projects being undertaken worldwide. This paper proposes a strategy for testing implementations of the cgm. The first area considered is testing for conformance to the standard. The conclusion is soon reached that, due to the conformance statements within the cgm standard, only analysis (syntax and consistency checking) of the format of the metafile can be achieved. In order to provide more useful and practical information on cgm implementations, further testing is required. Hence, evaluation testing is introduced, and a model is described that could be used to give information on the capability of cgm generators and interpreters.     

An approach to concurrent TTCN test generation

The basis of distributed system conformance testing is to test the conformance of each entity with its standard.This paper addresses the approach to entity conformance testing based on concurrent TTCN.First a preliminary framework for entity conformance testing is introduced and a specification model CEBE is presented.Then a test generation method,which could directly derive concurrent TTCN test suite from CEBE,is proposed.     

邻居发现协议的形式化测试

Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .