协议测试套自动生成系统的设计与研究

《协议测试套自动生成系统的设计与研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、JSSN1009—31)44E—mail：xgl@cccc．net．cnComputerKnowledgeandTechnology电脑知识与技术http：／／www．dnzs．net．cnVo1．6，No．28，October2010，PP．8018-8020Teh+86—55l一56909635690964协议测试套自动生成系统的设计与研究骞少禹，贾文钢(1．赤峰市气象局，内蒙古赤峰024000；2．内蒙古工业大学，内蒙古呼和浩特010051)摘要：该文讨论了一种协议测试套的自动生成方法及测试

2、套生成系统的实现。该系统使用E—LOTOS作为协议的形式化描述规范．然后基于UIO序列和Dijkstra算法等技术自动生成基于TTCN一3描述的测试套。将该系统应用于对BGP一4协议的一致性测试中，自动生成了BGP-4协议状态机的测试套，提高了效率并且扩大了覆盖面。关键词：测试套；BGP-4；UIo；TTCN一3中图分类号：TP311文献标识码：A文章编号：1009—3044(2010)28—8018—03TheDesignandResearchonAutomationGeneratedSyste

3、mofProtocolTestSuiteQIANShao—yu，JIAwen—gan(1．BureauofMeteorology，Chifeng024000，China；2．InnerMongoliaUnive~ityofTechnology，Hohhot010051，China)Abstract：AmethodofTestSuiteautomationgeneratingandtheimplementofTestSuitegeneratingsystemwerediscussedinthepap

4、er．E—LOTOSwasusedtOdescribeprotocolinthissystem，thenusedUIOsequenceandDijkstraalgorithmtOgeneratetestsuitethatTTCN一3described．ApphedthesystemtOtheconformancetestofBGP～4protocol，anditproducedthetestsuiteoftheFSMoftheBGP一4automafcally．Thereforeithadenha

5、ncedtheeficiencyandexpandedthecoverage．．Keywords：testsuite；BGP一4：UIO；TTCN一3协议一致性测试是指验证某个被测系统能否在特定的条件下正确执行协议要求的功能．它主要包括测试方法、测试工具和测试经验等几个方面1-1。其中的核心是测试方法，主要有两方面的工作，包括测试系统和测试例生成。对于协议的测试，首先要有一个测试系统，但是比测试系统更为关键的也是更困难的是测试例的产生，测试套(测试例的集合)包含多组测试序列，是一致性测试的核心和主

6、线。手工产生测试例的方法主要有两方面的困难：一是手工生成的主观性和非标准性；二是随着网络技术的发展，出现大量的协议和协议产品，依靠手工生成测试例不仅速度慢而且代价大，远远滞后于协议与协议实现的发展。因此自动生成测试例不仅可以极大地节省人力．缩短时间，还可提供覆盖范围广且数量众多的测试例。这种方法的研究国外开展的比国内早，我国对网络的测试还处于起步阶段。各个方面与国外的差距都比较大，从网络设备测试到网络系统测试都相当薄弱。典型的自动产生方法是基于有限状态机(FSM)模型的。本文对自动产生测试例的方法

7、进行了深入研究，即首先对协议进行E—LOTOStn形式化描述，然后设计出一个在E—LOTOS上自动生成TrCN一3pl测试套的系统，并对Interact上的一个标准路由协议BGP一4口l进行了应用。1形式描述技术语言E—LoToS简介协议一致性测试中的关键技术之一是形式化技术，它具有两个基本特征：一是抽象性，准确性；二是有利于对其正确性和完整性进行验证和实现。目前可采用的形式化描述技术主要有有限状态机FSM(FiniteStateMachines)、Petri网、时序逻辑TL(TemporalLo

8、gic)和进程代数(theAlgebraofProcess)等。FSM因为简单直观而得到了广泛应用，但是它却不利于协议验证的实现。Petri网是FSM的变种，在协议工程中应用的很少。TL太过抽象，不利于描述协议的逻辑结构，很难在协议工程中得以应用。而进程代数不但可以严密地描述协议的逻辑结构和协议的时序性，并且有利于协议验证的进行。LOTOS的基本思想是通过定义系统外部可见行为的交互作用时序来描述系统，随着计算机网络和技术的发展，形式描述语言FDL(FormalDescription