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

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

ODBC标准符合性测试框架

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

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

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

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

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

一种J2EE服务器端软件测试用例的复用框架研究

JZEE框架实现了多层次的应用程序体系结构,同时也提出了多层次应用程序测试的需要．如何在服务器端多种容器环境内的测试中实现测试用例的复用成为影响测试效率的关键因素．本文通过分析测试JDBC标准符合性的工具CTS,研究了实现服年器端多种容器环境测试用例复用的基表框架．该框架在增加简单的环境辅助类基础上,利用面向对象的继承机制和Java语言的反射机制,实现了多种容器内测试时测试用例复用．经过扩展测试用例,该工具已成功应用于国家863项目数据库标准符合性测试．     

软件测试之我见

随着大量编程语言、操作系统以及硬件平台的涌现,软件测试变得越来越困难,但随之产生了很多简单易用的软件测试工具。软件测试通常以测试用例为基础展开。测试用例设计的优劣决定了软件测试工作的效率。测试用例是测试计划阶段设计的多组测试数据,主要包括用例编号、用例数据,预期结果等。根据测试用例的不同设计方法,软件测试可以分成白盒测试、黑盒测试和灰盒测试。完整的软件测试过程是评估软件质量的一个参考标准。     

可持续性运行软件测试用例的设计思想

笔者提出一种为长期可持续性运行软件服务的软件测试用例设计思想,包括使用恰当的测试模式、合理评估测试时间、制订测试策略等,并以边界值法为例给出了测试用例定性的指标和量化标准,分析了软件开发与测试之间的关系,并讨论了其他相关因素,对相关软件测试人员设计测试用例有一定的参考价值。     

关于蜕变测试和特殊用例测试的实例研究

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.     

基于模型的Web应用二阶SQL注入测试用例集生成

SQL注入漏洞一直以来都是威胁Web应用安全的主要问题之一, 其中二阶SQL注入漏洞相较于一阶SQL注入更加隐蔽且威胁更大, 对其检测通常依赖于测试人员的先验知识与经验. 目前, 在缺乏源码信息的黑盒测试场景下, 还没有针对该漏洞的有效检测手段. 利用基于模型的测试用例生成思想, 提出了一种基于客户端行为模型的测试用例集生成方法(CBMTG), 用于生成检测Web应用二阶SQL注入漏洞的测试用例集. 首先通过初始测试用例集的执行建立迁移与SQL语句的映射关系; 然后通过SQL语句的字段分析建立迁移之间的拓扑关系; 最后通过拓扑关系来指导最终的测试用例集生成. 实验结果表明, 本文方法优于当前主流的二阶SQL注入漏洞检测方法.     

基于黑盒测试的航天嵌入式软件用例设计方法

为了提高测试用例设计的效率,简化测试用例数量,提出了基于黑盒测试的航天嵌入式软件用例设计方法.阐述了确认测试过程中实用的测试用例设计流程,提出了在设计测试输入数据的基础上加强测试逻辑设计的用例设计方法,并结合实际工程经验,给出了测试用例的总体设计思路.最后,对测试遗漏问题及其原因进行了分析,为今后进行更有效的星载软件测试提供了参考.     

OSPFv3协议一致性测试集的设计和实现

设计改进了OSPFv3一致性测试例,使它能在IPv6上顺利运行,采用改进的穿越测试法,通过虚拟测试,利用测试序列包中的地址字段和其它特征字段,采用改进了的TSS语言,仅用一台测试器就搭建了一种逻辑测试结构,实现了多台虚拟测试器的测试拓扑。介绍了测试集的形式化,并对一基于Linux平台的OSPFv3实现的测试结果进行了分析。     

Mobile IPv6 Home Agent协议一致性测试集的设计与实现

描述了Mobile IPv6 HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。     

SDN数据平面软件一致性测试用例生成方法

SDN （Software-Defined Networks）发展的目的在于解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译通过适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试本质上是将面向P4程序的一致性测试用例发送给P4网络设备,其目的在于获取实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.本文重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和一致性测试用例生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simple_switch虚拟交换机为测试对象说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.     

Test suite development with TTCN-3 libraries

This paper presents a methodology for test suite implementation based on Testing and test control notation (TTCN)-3 libraries which has been developed and successfully applied for the implementation of complex, standardized Internet Protocol version 6 (IPv6) conformance test suites at ETSI. It introduces the concept of a TTCN-3 library, discusses benefits and challenges, and examines the effect of some important TTCN-3 language constructs on reuse. Finally, it explains in detail a layered library design approach to test implementation in the context of a IPv6 test suite.     

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

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

IS-ISv6协议一致性测试系统设计与实现

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

iSCSI协议一致性测试研究与实现

不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给出了较为完整的iSCSI协议一致性测试例。使用该测试例对某产品的iSCSI协议实现进行一致性测试,发现了被测实现存在与协议规范不一致的地方。     

NEMO协议一致性测试集的设计与实现

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分，而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点，阐述对网络移动协议一致性测试的思想方法，并使用形式化的测试例描述语言说明了测试例设计与实现过程，给出在Linux实现下的测试结果及分析。     

IPv6中Neighbor Discovery协议及其测试

IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进行IPv6一致性测试的系统。该文提出了逻辑测试结构和虚拟测试器的概念,并在这个测试系统中应用了这两种测试结构和概念,还给出了一个邻居发现协议的测试实例。最后,给出了笔者对一种UNIX系统上实现的邻居发现协议进行一致性测试得到的结果,并对其与标准文本不一致的部分进行了分析说明。