基于ELOTOS的LDP协议一致性测试的研究

《基于ELOTOS的LDP协议一致性测试的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、内蒙古大学硕士学位论文基于E--LOTOS的LDP协议一致性测试的研究姓名：郭晓庆申请学位级别：硕士专业：计算机科学与技术指导教师：赵玉兰20120428内蒙古人学硕十学位论文基于E．LOTOS的LDP协议一致性测试的研究摘要计算机网络技术的迅猛发展，使得网络协议日趋多样和复杂，协议的开发也面临着越来越多的挑战。协议一致性测试是为了验证协议实现与相应的协议标准之间的一致性，是确保各种计算机系统正确互连和互操作的关键。多协议标记交换MPLS(MultiProtocolLabelSwitching)技术是为

2、了解决IP技术发展所面临的传输效率低、无法保证服务质量等主要问题而提出的IP骨干网络技术。标记分发协议LDP(LabelDistributionProtoc01)是MPLS的核心技术，LDP协议交互的是关于标记转发结构的信息，正确地建立，处理和发送这些信息，形成对于MPLS域内网络拓扑结构的正确反映是LDP协议的主要功能。其正确性直接影响到MPLS各科，服务和应用的可靠性。本文首先对LDP协议进行了研究，使用形式描述技术语言E—LOTOS对LDP协议状态机进行了建模。运用协议抽象测试套自动生成系统PAT

3、SAG得到了TTCN一3抽象测试套，然后利用JA、，A语言实现了从TTCN．3抽象测试套到可执行测试例的自动生成；对于协议中非状态机部分，手工得到了可执行测试例。最后，搭建测试平台，使用Cisc07200、QuidwaynetEngine40E和路由模拟软件GNS3对得到的测试例进行了测试，并对实验结果进行分析。关键词：LDP；一致性测试；E．LOTOS；TTCN一3；GNS3一基于E—LoToS的LDP协议一致性测试的研究————————————————————————————————————————

4、————————————————一一一RESEARCHoNCoNFORMANCETESTTlNGOFLDPPRoToCoLBASEDoNE．LOToSABSTRACTWith廿lerapiddeVelopmentofcomputernetworkteclⅡlology，thenetworkprotocolbecomesmoreandmorediVerseauldcomplex．Atthesametime，protocOldevelopmentisalsofacedincreasingchallenges

5、．Protocolconformancetestisusedtoveri矽theconsistencyofpmtocolimplementationaJldpmtoc01s伽1dards．ItisakeytoensurethecorrectintercoIlnectionaIldinteroperabilityofV撕ouscomputersystems．MPLS(MultiPmtoc01LabelSwitching)isakindofIPbackbonenetworkteclulology．Itisu

6、sedtosolVetheproblemsfacedbyIPtechnologydeVelo弘nent．Themainproblemsarethelowtmsmissione蚯ciencyaIldthequalityofse州ce、油ichcannotbeguaranteed．LDP(LabelDistributionProtoc01)isthecoretechnologyofMPLS．LDPprotocolinteracttheinfo咖ationaboutthefonvardstructureoft

7、hemark．ThemainfunctionoftheLDPisestablishing，treating，sendingtheseinfonnationtofomla11accuraterenectionofthedomainnet、VorktopologyofMPLS．Theaccuracyot’LDPaf．fectsthereliabilityofMPLSservicesaJldapplicationsdirectly．Inthepaper，fjrst】y，theLDPprotocolhasbee

8、nstudiedandE-LOTOSisusedtomodeltheFSMofLI)Pprotoc01．ThenusePATSAGtogenerateTTCN一3abstracttestsuite．Secondly，theexecutabletestcasesaregenerated矗omTTCN-3abstracttestsuiteautomaticallyusingJAVA；FortheNon—statemachinepart，thee