针对软件中2路并发行为完全覆盖的测试方法

针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网（testing-oriented colored Petri net, ToCPN)。根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网（colored Petri net, CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状态匹配算法及一系列路径搜索算法,基于以上算法构建出针对2路并发行为的测试序列生成方法。该方法针对待测行为自动生成测试序列,对待测行为所在的2路并发行为的全部执行组合实现完全覆盖且不存在任何冗余,一定程度上解决了软件测试中的状态爆炸问题。对上述算法的有效性提供了证明,并结合测试实践,分析说明了该方法具备明显强于随机漫步（random walk)等其他方法的效果。     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

基于分层有限状态自动机的一致性测试生成

为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者发现(MLD)协议为例说明了该方法的应用.该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高.     

Web应用工作流的CPN建模及测试序列生成

为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减少测试序列的冗余度.为了展示该方法的有效性,以物流管理系统中的下订单业务为例,使用CPN对工作流建模,并对CPN模型进行正确性验证,之后采用扩展-深度优先遍历算法得到下订单业务的测试序列集,进而证实了扩展-深度优先遍历算法可以减少测试序列的冗余.     

基于T-时延离散Petri网的小卫星测试序列生成方法

通过分析小卫星测试中被测对象组成,建立测试对象与T-时延离散Petri网(T-timed discrete Petri nets,TTDPN)映射关系,给出被测对象的TTDPN描述.提出TTDPN的矩阵表示方法,并证明关系矩阵与TTDPN模型间的若干性质.设计基于小卫星TTDPN模型的测试序列动态生成算法,解决了现有小卫星测试系统中测试序列执行效率低的问题.为验证算法的有效性和性能,在相同模型下将文中算法与传统测试序列生成算法进行仿真对比.结果表明,该算法能够根据用户需求,针对模型中可达状态,动态地生成测试序列,能够满足小卫星测试系统高可靠性要求.     

列控系统RBC测试序列优化生成方法

目前,列控系统测试序列大多由人工编写而成,在测试项的有效性和测试案例覆盖的全面性等方面存在较多问题.针对传统蚁群算法收敛速度慢和易发生停滞现象等缺点,提出一种基于改进蚁群算法（Modified-Ant Colony Optimization,M-ACO）的测试序列优化生成方法,以RBC单电台切换场景为例,根据CTCS-3级列控系统技术规范构建RBC切换有色Petri网（Colored Petri Net,CPN）模型,由该模型生成状态空间可达图和可扩展标记语言（Extensible Markup Language,XML）文件,采用路径搜索算法生成满足全节点覆盖的测试案例集,根据各测试案例的开始条件和结束条件将测试案例串联后生成测试序列,再应用M-ACO算法生成优化测试序列.最后与序列优选算法及传统蚁群算法进行对比,结果表明：该方法降低了测试的复杂程度,测试利用率较未改进的蚁群算法提高了38.53%,适合复杂系统的测试.     

改进的基于唯一输入输出序列的测试序列自动生成算法

协议一致性测试中,测试序列一般只能做到半自动生成,其全自动生成问题一直没有得到完全解决.针对此,提出一种改进的基于UIO序列(Unique input/output sequences)的测试序列自动生成算法,并且用C语言程序实现了该算法,从而实现了测试序列的全自动生成.将该算法自动生成的测试序列与测试数据相结合,生成了SM-RL(short message relay layer)协议优化的一致性测试套.与优化前相比,新测试套有了明显的改进,提高了测试工作的效率.     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

一种综合数据流和控制流的协议测试集自动生成法

为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。     

网络移动IPv6协议测试生成的研究与实现

协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。     

一种基于测试序列失败树的动态测试方法

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集，而实际测试范围可能被缩小，同时测试结果受到测试序列间、测试序列内的影响等问题，提出了一种构造测试序列失败树（TSFT）并用其指导动态测试的方法．该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响，通过TSFT指导测试序列的动态执行，同时还考虑了引导序列和验证序列对测试结果的影响，在避开TSFT的前提下，可在引导序列和验证序列集合中进行搜索和替换，动态地生成新的有效测试序列．实验结果表明，所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响，较明显地提高了实际的测试效率和测试覆盖率．     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

用路由软件组建BGP4+协议一致性测试平台

IPV 6协议是下一代互联网协议.BGP 4 协议是支持IPV 6的多协议扩展的外部网关路由选择协议.简要介绍了BGP 4 协议和路由软件Zebra.对BGP 4 协议一致性测试平台的结构进行讨论,给出了一个用路由软件Zebra组建支持IPV 6的BGP 4 协议一致性测试平台的例子.