协议一致性测试生成的路径叠加方法

基于UIO序列提出了一种新的协议一致性测试生成方法——路径叠加方法。其核心思想是寻找有限状态机中无重复转换的路径作为路径叠加转换序列,在其后连接该序列尾状态的UIO序列,从而验证该序列中所有转换。理论与实验结果表明,由路径叠加算法生成的测试序列长度要比其他基于UIO序列的算法生成的测试序列明显缩短。特别的,利用路径叠加转换序列来替代OUIO方法中对子序列直接叠加而生成的完全叠加转换序列,在检错性不降低的前提下,大大降低了叠加计算的复杂度。     

一种改进的UIO序列生成算法

基于UIO的测试方法都需要先找到FSM状态图中所有状态的UIO序列。Kshirasagar Naik提出一种基于FSM的UIO生成算法，可以避免求UIO树时先求出较长的UIO序列，但该方法采用的推导过程却使得出的UIO序列越来越长。该文利用宽度与深度相结合的方法，对上述算法得出的结果做了进一步处理，缩短了测试序列。     

两种基于UIO序列的测试序列生成算法及比较

在通信协议一致性测试中,生成测试序列是非常重要的。基于FSM(FiniteStatemachine)的测试序列生成的形式化方法有很多种,其中基于UIO序列(Uniqueinput/outputsequences)的U方法是最常用的。本文主要介绍了两种基于UIO序列的测试序列生成算法,并以TCP协议的FSM图为例,分别应用这两种算法生成了测试序列,进而从错误覆盖度、测试序列的长度、算法复杂度等方面对这两种算法进行了比较研究。     

基于UIO的协议测试序列生成方法的改进

文章在FSM模型下基于UIO序列的协议测试生成算法的基础上,介绍了UIO(S)序列和IO(S,K)序列的生成算法.并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.最后,给出了完整的测试序列生成方法.     

基于UIO序列的测试方法及UIO生成算法研究

测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。     

基于多UIO序列的协议一至致性测试生成

本基于多ＵＩＯ序列提出了一种最优化协议一致性测试生成方法，可以证明本方法生成的测试序列的长度比其它基于ＵＩＯ序列的测试方法生成的测试序列短。由于本方法采用了形式珈技术，因此生成叠加转换序列所需要的计算时间大大减少了。     

基于FSM的测试序列生成方法研究

为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重复部分达到最大,测试序列的整体长度被缩短。对测试序列的实验结果表明,算法能够有效降低测试序列的长度。     

一种启发式UIO序列生成算法

基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面,如何有效地生成更短的UIO序列一直为人们所关注。提出了一种基于估价函数的启发式生成UIO序列的算法,通过分析比较该算法能更有效地产生UIO序列。     

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

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

基于UIO的协议一致性测试序列生成方法研究

测试序列的生成是协议一致性测试中重要的研究领域,怎样使生成的测试序列既具有较强的检错能力又具有较广的差错覆盖范围成为许多科研人员研究的重点。文章在介绍了有限状态机族型和唯一输入／输出序列后,对基于UIO的测试序列生成方法进行了分析,然后对该方法进行了优化研究。使用优化后的算法可以缩短测试序列的长度,提高了测试效率和差错...