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

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

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

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

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

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

协议一致性测试研究进展

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

协议一致性测试集自动生成技术综述

本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法.对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性.最后指出了这一领域中有待进一步研究的若干问题和发展趋势.     

从ESTELLE协议规格说明生成测试序列

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。     

超声波强化提取怀菊总黄酮的试验研究

本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。     

一种新的基于FSM的UIO序列生成算法

在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.     

面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例,这种方法缺乏理论支撑,导致测试覆盖性弱,测试结果缺乏说服力,较难形成行业标准.为了解决上述问题,提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先,通过对GB/T 27930—2015协议的详细解读,分析充电机和BMS之间的通信过程,使用FSM形式化语言描述充电机和BMS之间的充电过程,保证协议的不同实体之间的通信一致性.其次,在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列,进而得到最终的测试用例.在生成测试用例时,采用递归算法考虑前置用例,让每一个测试用例都有完整的输入输出.最后,生成的用例结果表明,基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

非平衡2n-周期二元序列的5-错误序列

线性复杂度和k-错线性复杂度是密钥流序列随机性检测及其稳定性度量的2项重要指标,对衡量密钥流序列密码强度具有极其重要的意义.计算序列k-错线性复杂度的一个行之有效的方法是,分析研究汉明重量最小的错误序列.在此基础之上,给出了5-错线性复杂度不大于2^n－3、等于2^n－2－2m和2^n－2－2m+x时错误序列的计数公式,并通过计算机编程进行了验证.     

Chebyshev混沌序列和m序列的特性比较和分析

首先简要分析了４阶的Ｃｈｅｂｙｓｈｅｖ－Ｍａｐ的统计特性,然后,对产生的序列的平衡性,部分自相关性,互相关性作了相应的实验仿真及数据分析,并通过与ｍ序列的比较,阐明了用混沌模型产生混沌直扩序列取代ｍ序列的可能性。     

蕴含H可图序列

对于给定的图,称是蕴含可图的,如果有一个实现包含作为子图.本文给出了蕴含可图序列的一个充要条件,还给出了最大度为4的可图序列的一个充要条件.     

M—调和插值序列

设{Zv}Cn中单位球B内的一个点列,P（Z,）是泊松核,其中Z∈B,∈S。如果点Zv是分离的,而且它们的分布具有某些规律,那么本文给出了点列{Zv}成为M—调和插值序列的充分必要条件。     

蕴含K5-Z4可图序列的刻划

对于给定的图,称是蕴含可图的,如果有一个实现包含作为子图.Kk,Ck,Pk分别表示K阶完全图,圈长为k的圈和路长为k的路.Z4表示K-4-P2.K5-Z4表示从5阶完全图中删去的4条边.本文刻划了当n≥5时,蕴含K5-Z4的可图序列.     

关于3个拟单项式序列

应用演算方法给出广义Laguerre多项式、Hermite—kamp6deF6et多项式和广义Legendre多项式的乘法算子和微分算子的表达形式．     

P元GMW序列

本文将二元GMW序列推广到P元{0,1,…,P—1},P为素数,并证明了P元GMW序列的周期自相关函数为理想自相关,即自相关旁瓣恒为-1。同时给出了每个序列的等效线性长度,计算了序列的平衡特性和给定结构序列的非平移等价类的个数。最后提出了这种P元序列的实现方案。     

编码序列和非编码序列中核苷酸关联性质的比较研究

定义了核苷酸序列的信息关联和１６种碱基关联，并求得了它们的涨落限。从关联长度和关联强度两个方面研究了编码序列和包含编码区和非编码区的全序列的核苷酸关联性质，并用快速付立叶分析的方法研究了关联的周期性。结果表明，编码序列的信息关联的主极大超过涨落限的７￣１０倍（高等生物），全序列则为１５￣１９倍，主极大强度与进化有一定的相关性，原核大于真核。８０％以上的序列的主极大分布在紧邻和次紧邻范围。当α－ｃｕ     

二重序列空间l←↑pq

讨论0<p,q≤+∞时,二重序列空间l(pq)的结构及完备性.证明了,当1≤p,q<+∞时,l(pq)是Banach空间;当 0<p≤1≤q<+∞时,l (pq)是p-Banach空间;当0<p,q≤1时,l(pq)是h-Banach空间(h=pq).     

递推关系数列的极限

解决了由递推关系式X_(n+2)=PX_(n+1)+qX_n定义的数列{X_n}的极限的计算,并通过特殊的方法解决了一般《数学分析》教科书中的几个著名的递推关系式定义的数列极限的问题,与常规的解法比较,本文的解法简便。