一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

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

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

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

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

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

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

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

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

面向属性约束的自动信任协商模型

针对已有自动信任协商系统策略语言粒度粗糙、不能生成所有信任序列且缺乏评估与择优机制等问题,提出一种面向属性约束的自动信任协商模型--ACATN.其具有如下特点:利用属性约束细化策略语言粒度,不仅有效地保护了敏感服务和证书,而且提高了系统的灵活性;使用全局访问控制策略终止不会成功的协商请求,从而提高协商效率;采用信任序列搜索树描述信任序列的生成过程,基于此树的宽度、深度优先搜索算法在快速生成一个信任序列的同时,能够生成所有的信任序列;通过属性证书披露代价和通信开销评估信任序列,以便于系统选择最优信任序列.结合具体实例对ACATN模型的使用进行了说明.     

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

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

三维几何约束的序列二次规划求解

在利用特征造型系统建立产品等级装配模型的基础上，给出了装配工艺自动规划的算法．讨论了面向装配设计的两类方法，即基于零件装配特征和装配序列分析的评价方法．     

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

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

基于级别权重XML的自动化测试框架

文章针对当前自动化测试工具/框架存在的问题,提出了一种基于级别权重XML的自动化测试框架.框架采用XML 的自动化测试过程数据流模型,用XML语言来描述GUI层次结构、测试类、测试信息、配置文件、测试数据及测试结果等信息;根据测试信息中的级别与权重属性,测试用例生成模块利用级别权重策略自动生成测试脚本与测试数据,测试驱动模块采用级别权重调度算法动态执行测试脚本并生成测试结果;最后给出了简单的测试实例.     

基于属性的Minix3系统调用的建模和测试

面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.     

连续值属性的概念层次自动提取算法

针对数值型属性的特点，通过不同数值分段的分布特性，给出了一种能自动从大型数据库中提取数值型属性的概念层次的有效算法，算法的时间复杂度为O(n)，并通过具体实验对算法进行测试．结果表明，该算法能正确有效地生成概念层次树，为高质量地进行数据挖掘提供了一种行之有救的数据预处理方法．     

装配序列规划及其DFA研究

在利用特征造型系统建立产品等级装配模型的基础上，给出了装配工艺自动规划的算法，讨论了面向装配设计的两类方法，即基于零件装配特征和装配序列分析的评价方法。     

无记忆M序列生成算法的密钥嵌入

给出了一大类距离函数,证明了该类中任何一种距离函数都能够无记忆快速生成M序列。在此基础上,进一步系统给出了无记忆M序列生成算法的密钥嵌入方式,从而基本解决了无记忆M序列生成算法的密钥嵌入问题。     

基于Java语言的面向路径测试用例自动生成框架设计

软件测试是保证软件质量的重要手段,测试自动化是提高测试效率和测试质量的有效途径,测试用例自动生成是测试自动化的重要组成部分．为提高单元测试自动化程度,根据目前较先进的迭代松弛法,提出一个基于Java语言的面向路径测试用例自动生成框架,对该框架的主要思想、核心算法、主要模块及工作流程进行了阐述．该框架可以很好的为给定路径自动生成测试用例．     

产生2元M序列的一个新算法

M序列是非常重要的伪随机序列.给出了2元n级M序列的一个新的递归算法,该算法所需存储空间约为4n比特.而且只要经过一些修改便可生成大量的M序列.     

整机性逻辑图自动生成中某些问题的解决方法

该逻辑图自动生成系统是ＶＨＤＬ语言高级逻辑综合系统中的一个子系统，它从高级逻辑综合的结果提取出网表信息作为输入．文中针对系统实现中遇到的一些问题，提出了具体的解决办法．讨论了自动布局中的定级算法、反馈环的处理及自动布线中的轨道分配等问题．通过对实例的测试，给出了测试结果和验证结论．     

基于遗传算法的面向多样性EFSM测试序列生成方法

为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法.在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试序列间的差异程度.同时在方法中增加测试序列可行性判别机制,以保证最终测试序列均为能产生测试数据的可执行序列.实验结果表明,与未考虑多样性的EFSM测试序列生成方法相比,面向多样性的方法不仅能够生成可执行并满足测试覆盖准则的测试序列集,而且有效减少了测试序列集生成的时间开销,同时缩小了所需最小测试用例集的规模.     

二级属性文法的设计

本文给出一个将文法 G 划分为二级文法的算法,并讨论二种构造二级属性文法的方法,这是二级属性计算器乃至整个编译程序自动生成的基础.     

对时间输入/输出自动机一致性测试的改进

Jan.S等提出了对时间输入／输出自动机（TIOA）模型进行黑盒一致性测试的算法。针对其生成的测试序列数量太大这一问题，提出用可最小化的时间自动机（MTA）模型来描述稠密的实际系统，并用递归算法实现了对测试序列的首部即转换覆盖P的构造。由分析得出结论：使用MTA模型可使上述测试算法生成的测试序列的数量大大减少，从而在不影响其完全性的情况下使该算法更具实用性。