共查询到19条相似文献,搜索用时 125 毫秒
1.
BGP-4协议一致性测试序列生成 总被引:4,自引:3,他引:1
该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入,易于自动化实现,同时生成的测试序列较短,提高了测试效率。 相似文献
2.
本基于多UIO序列提出了一种最优化协议一致性测试生成方法,可以证明本方法生成的测试序列的长度比其它基于UIO序列的测试方法生成的测试序列短。由于本方法采用了形式珈技术,因此生成叠加转换序列所需要的计算时间大大减少了。 相似文献
3.
4.
表示层协议是OSI高层协议的一部分。文中介绍协议一致性测试的研究现状、测试过程及基本测试方法,分析表示层协议一致性测试需求;采用抽象语法表示(ASN.1)与树表格式(TTCN)相结合的形式化描述语法,设计实现了表示层协议核心部分一致性测试系统及测试集;测试系统通过了对ISODE软件表示层协议实现的一致性测试。表示层协议一致性测试系统,是协议一致性测试系统(PCTS)的一个子系统。这个子系统的功能实 相似文献
5.
基于SDL和MSC模型的一致性测试生成方法 总被引:1,自引:0,他引:1
本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套。 相似文献
6.
会话层/表示层协议是OSI高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法,分析会话层/表示层协议一致性测试需求,采用树表格式(TTCN)与抽向语法表示(ASN,1)相结合的形式化描述语言,设计实现了会话层/表示层协议一致性测试系统及测试集。并对ISODE软件中的会话层/表示层协议实现进行了一致性测试,包括基本互连、能力、有效行为、无效行为及定向诊断等。 相似文献
7.
乔海燕 《计算机工程与应用》2009,45(4):26-29
提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可以系统地测试。形式化和测试在函数程序设计语言Haskell中完成。 相似文献
8.
测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支,本文在对目前已有的各种测试集生成方法进行分析的基础上,提出了一种新的测试集自动生成方法并对它的实现TUGEN作了介绍.TUGEN基于一种称为EBE的形式模型,EBE模型只对协议的外部行为进行描述,而且可以从协议的Estelle或LOTOS描述中转化得到.TUGEN以协议的EBE-NF描述作为输入,使用我们新提出的一套测试事例生成策略,最后产生出TTCN.MP格式的测试集.我们用X.25LAPB协议的EBE-NF描述作为例子,对TUGEN 相似文献
9.
介绍了基于TCL的协议冒烟测试系统,对DHCP协议进行形式化分析,生成EFSM图,采用UIO方法生成一致性测试序列,并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试,在实际应用中取得了较好的测试效率,缩短了产品研发周期,降低了风险,提高了产品的可靠性。 相似文献
10.
测试集的生成方法是一致性测试技术的核心.介绍了形式化描述技术在测试集生成过程中的应用,针对PPP协议介绍其协议实现时的状态迁移.使用形式化描述语言SDL对PPP协议进行形式化描述,并以此为基础生成测试集,这些测试集能有效地应用于PPP功能实现模块. 相似文献
11.
12.
13.
在通信协议的一致性测试中,生成较短的测试序列是一个重要问题。提出一种利用UIO生成 BUIO(Backward UIO)的方法,部分UIO直接转换成BUIO,可以降低BUIO的生成费用。对基于UIO和BUIO的启发式测试序列生成方法进行了分析,完善了该方法的生成算法,保证测试序列的自动生成。以ECMA-203协议为例,应用这种算法得到了测试用例,与基于UIO序列和中国邮路算法生成的测试序列进行了比较。 相似文献
14.
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。 相似文献
15.
B itTorrent(BT)是基于Peer-to-Peer(P2P)技术的比较流行文件共享软件,BT protoco l是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,F inite S tate M achine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用U IO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的U IO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作. 相似文献
16.
基于UIO序列的测试方法及UIO生成算法研究 总被引:5,自引:4,他引:1
测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。 相似文献
17.
两种基于UIO序列的测试序列生成算法及比较 总被引:1,自引:1,他引:0
在通信协议一致性测试中,生成测试序列是非常重要的。基于FSM(FiniteStatemachine)的测试序列生成的形式化方法有很多种,其中基于UIO序列(Uniqueinput/outputsequences)的U方法是最常用的。本文主要介绍了两种基于UIO序列的测试序列生成算法,并以TCP协议的FSM图为例,分别应用这两种算法生成了测试序列,进而从错误覆盖度、测试序列的长度、算法复杂度等方面对这两种算法进行了比较研究。 相似文献
18.
19.
基于UIO序列的测试方法已经广泛地应用在协议一致性测试和软件一致性测试方面,如何有效地生成更短的UIO序列一直为人们所关注。提出了一种基于估价函数的启发式生成UIO序列的算法,通过分析比较该算法能更有效地产生UIO序列。 相似文献