基于通信扩展有限状态机的测试集生成技术

在协议一致性测试中,选择恰当的测试例至关重要。文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术。     

基于扩展有限状态机的一致性测试例生成研究

本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集的覆盖率。     

基于有限状态机的一致性测试例自动生成方法

一致性测试通俗地讲是测试被测设备（ＩＵＴ）是否符合有关标准。随着被测设备类型的增多，用手工方法产生测试例将是不可能的，所以，迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例，用这种方法产生的测试例的数目有一确定的上限。     

基于扩展有限状态机测试序列生成方法研究

扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。     

并发TTCN测试执行器的实现研究

并发TTCN同时拥有多个测试部件的特性，改变了整个测试框架，也带来了如何协调和管理测试部件之间通信的新问题，本文在传统TTCN测试执行模块的基础上为并发TTCN设计了测试执行模块的整体模框架，并进行 了具体的实现。     

基于通信多端口有限状态机的协议互操作性测试生成研究

协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术．文章提出了一种基于通信多端口有限状态机模型的协议互操作忡测试生成方法．首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用单一错误模型对其进行系统的错误覆盖分析,为达到更高的错误覆盖度,进一步提出一种增强的测试生成算法;最后讨论了互操作性测试巾的控制观察问题,选择适当的分布式测试架构,并进而生成分布式同步测试序列．实验结果表明：与原有方法相比,该方法可以有效地提高测试集的错误覆盖,并具备一定的可行性和有效性．     

基于标号变迁系统的测试集自动生成

首先,依据ISO89646的定义,阐述了协议一致性测试的基本概念,然后,介绍标号变迁系统（LTS）的形式化理论的定义和基本性质,利用LTS,给出测试例、测试集以及测试生成的形式化定义,第3,表述了实现关系在测试生成中的地位和作用,定义了输入输出系统,并在输入输出系统以及△变换的基础上引入实现关系ioco,根据实现关系ioco给出了一个测试集自动生成算法,该算法能很好地适用于递归的LTS。     

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

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

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

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

基于EFSM用户自定义故障模型的测试集生成

提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。     

远程IP/ICMP协议一致性测试研究

在 INTERNET迅速发展的今天 ,作为 INTERNET的核心的 IP协议的地位已日趋重要 ,IP协议的一致性测试已成为协议工程学的研究重点 .ICMP协议作为 IP模块的差错报告和控制报文 ,与 IP协议的一致性测试具有十分密切的关系 .测试实践向 IP/ ICMP的测试活动提出了新的要求——远程测试 .在 PITS系统 〔1〕基础上 ,清华大学 CNPT实验室进一步开发了 IP/ ICMP远程测试模块 .本文分析了 IP/ ICMP一致性测试远程化的可行性 ,提出了一种测试方法并加以实现     

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

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

基于随机Petri网模型的网络协议性能测试

分析了协议性能测试需要解决的主要问题,并以随机Petri网为形式化工具,描述了网络协议的服务质量.提出从随机Petri网模型到TTCN(tree and tabular combined notation)测试集的转换规则,并根据随机Petri网模型生成了协议性能测试例.     

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

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

基于MSC的网络游戏软件测试方法研究*

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。     

一种动态的协议一致性测试方法

目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围     

基于一致性测试理论的Statechart描述的测试用例自动生成

本文研究Statechart描述的测试语义和测试用例的自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语...     

基于协议集成测试系统的IP v4协议一致性测试

TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP（Internet protocol）协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.     

关于两两测试的研究

在软件开发过程中软件测试的成本是很高的。但是，在许多情况下两两测试可用于减少测试的成本，并对于许多软件系统在实践中证明是实用和有效的。它要求对于系统的每一对输入参数，这两个参数有效值的每一个组合至少要被一个测试用例覆盖。介绍了两两测试的概念以及生成测试用例的两个算法。最后，对应用两两测试时应注意的一些问题进行了讨论．两两测试的许多思想可以扩展到t路测试．