移动IPv6协议一致性测试研究与实践

分析了移动IPv6协议的一致性测试需求,提出了基于形式化模型的测试集设计方法,设计了基于通用一致性测试系统的参考实现扩展方案,既增强了测试能力,又提高了测试过程可配置和自动化程度,在此基础上对多种实现进行了测试,对结果进行了分析。     

基于XML的软件集成测试自动化方法

本文提出了一种基于XML的集成测试方法,并给出了该方法的实现系统、数据接口的定义及被测系统接口的XML描述技术。该方法集用例设计、测试插装、测试驱动及测试报告生成于一体,系统灵活、可扩展,实现了软件集成测试自动化。     

一个基于XML的自动化类测试框架

针对当前自动化类测试工具/框架存在的问题,提出了一个基于XML的类测试框架。框架采用基于XML的自动化测试过程数据流模型,用XML语言来描述和组织测试用例,自动生成测试驱动程序,自动执行测试并生成测试结果。框架可用于不同语言应用程序的自动化类测试,框架实现测试设计、测试实现和测试执行的分离,利于测试脚本的维护,并保证测试脚本与测试用例的一致性。     

综合网管系统软件测试模型的研究与实现

综合网络管理系统对稳定性、及时性要求很高.论文在功能测试、性能测试和自动化测试等方面对测试流程及重点技术进行理解,通过对综合网管系统的结构和业务进行分析以及对软件测试理论的深入研究,拟定了一套综合网管系统测试解决方案,包括系统测试模型,功能测试模型和性能测试模型,并针对回归测试提出了一个自动化测试模型.提高测试效率,保证软件质量.     

网络协议测试生成方法综述

在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍。同时对基于扩展有限状态机、确定有限状态机、标号变迁系统、外部行为描述等模型的方法也作了介绍。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。     

分布事务服务的一致性测试

作为J2EE应用服务器重要组成部分的分布事务管理器主要用于提供分布环境下的事务处理能力。文章拓宽了协议一致性测试的理论和技术的应用范围，探讨了分布事务服务的一致性测试，也给出了分布事务服务的形式化描述和非基于经验的测试序列的生成方案。     

网络管理接口测试中的一种通用数据串行化表示法

提出了网络管理接口测试中的通用数据串行化表示方法，对基于不同技术的网管接口可能使用到的数据类型的共性进行了分析和抽象，采用一种统一的格式来对不同技术中类似的数据类型值进行表示，并给出了这种表示方法的范式定义。此外，还给出了基于这种通用数据串行化表示法的测试系统中数据编解码模块的重用模型。     

网管接口时延性能指标的定义与测试方法

提出了网管接口时延性能的衡量指标——网管接口操作时延的定义。对IP网中点到点的数据包传输时延进行了研究,提出了在以太网中基于ICM P的网络传输时延的测试方法,并通过实验对此方法进行了验证。将网络传输时延测试方法应用于网管接口测试的实际环境中,得到一种测试网管接口操作时延的可行方法。     

BGP-4协议一致性测试序列生成

该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入,易于自动化实现,同时生成的测试序列较短,提高了测试效率。     

模型驱动的分布式测试执行自动化研究与实现

随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。本文提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,本文提供了部署和调度两个测试模型,其中,部署模型描述了测试执行环境和脚本分发的情况,调度模型描述了远程测试执行机的调度运行顺序;为了能够实现测试执行的自动化,我们设计了一个分布式测试执行框架。最后,通过Web 应用测试的实例验证了该方法能有效减少测试时间。     

基于测试过程流程图编排的接口自动化测试

目前，业界功能接口自动化测试基本依赖于脚本的开发能力，具有学习曲线高、掌握门槛高、投入成本大、响应需求慢、受众范围小的痛点。通过分析这些痛点，本文提出了一种基于测试过程流程图编排的接口自动化测试新模式，该模式具有简单高效的特点，并基于该模式开发了相应的应用，实现了覆盖实时交易接口、清结算接口、数据库测试三个方面的功能接口自动化测试实践应用，从应用实践、应用效果等多个方面探索和验证了该模式的可行性及优势。     

网络协议测试的符号化一致性关系研究

协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。     

OSEK/VDX直接网络管理一致测试方法设计

在深入研究OSEK/VDX网络管理规范的基础上,提出一种针对OSEK直接网络管理的测试方法。根据OSEK NM规范设计直接网络管理测试架构以及测试方案,定义测试报文的数据结构。最后以CANoe总线分析测试软件为基础搭建测试平台,以OSEK直接网络管理的睡眠过程为例进行一致性测试。测试结果表明,该方法能有效地检测OSEK直接网络管理功能与OSEK NM规范的一致性。     

路由协议的符号化测试生成

协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都抽象为动作行为;以该语义模型为基础,扩展了行为之间的关系以及一致性测试关系;给出了基于on-the-fly策略符号测试生成与符号动态执行的算法,在符号动态执行中,使用了统计的聚类算法来进行符号的数据选择.论文最后用具体的测试例说明该算法在OSPFv3协议一致性测试上的应用.     

一种层次递进的动态协议一致性测试方法

在协议一致性测试过程中,不一致性传播问题会导致协议测试执行效率低下,无法达到理想的实际测试覆盖度。为此,在改进已有方法不足的基础上,提出一种层次递进的动态协议一致性测试方法,以递进的方式执行测试用例,利用执行结果对后续测试进行指导,减少不一致性传播对协议测试带来的影响,提高测试效率,扩大实际测试范围。     

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

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

网络管理接口通用功能一致性测试

通过对现有网络管理接口的定义方法和目前网络管理接口功能一致性测试现状的分析, 引入了抽象功能一致性测试流程概念,描述了与实现技术无关的抽象测试流程到与技术相关的可执 行功能测试脚本的转换以及整套方法的工作流程,并对其中所涉及的主要组件的功能进行了说明和 分析。此外,还介绍了功能一致性测试流程库及其相关的应用举例,并给出了部分测试策略与其应用 场合的相关分析。     

跨越Internet的远程异地协议一致性测试研究

在Internet迅速发展的今天,TCP/IP协议族的一致性测试具有重要意义。协议一致性测试研究工作主要集中于两方面:测试组织,测试方法的研究和测试系统的建立;测试集,如何生成高质量的测试集。文章针对跨越Internet的远程异地测试需求,研究了时间透明性问题、测试组织、测试方法和测试系统构成。作者已将这种方法用于PITS系统TCP/IP协议族的远程异地测试子系统的设计。原来为各种本地测试方法所编写的TTCN抽象测试集只需小的修改即可使用。