路由協(xié)議的一致性測試.pdf

1、中國科學技術(shù)大學碩士學位論文路由協(xié)議的一致性測試姓名：葛猛申請學位級別：碩士專業(yè)：計算機軟件與理論指導(dǎo)教師：趙保華20050501中困科學技術(shù)人學順：論史ABSTRACTConsideringtheinterconnectingandinteroperatingbetweendevicesofvariousvendors，wehavetotesteachcomponentinthecomplicatedcommunicationnetw

2、orksaccordingtOtheprotocolspecificationsWiththegrowingofcomplexityofcommunicationprotocols，specificationbasedconformancetestingisbecomingpartofsoftwaredevelopmentCycleAtthesametime，thehighlyexpandingcomputernetworkresult

3、singreatchangeofthestructureofInternetRoutingprotocolsaremostlyresponsibleforthecorrectoperatingandstablerunningofcomputernetworks，SOconformancetestingofroutingprotocolbecomesthefocusofprotocolengineeringWithroutingproto

4、colstandards，wemakethestudyofvariousconformancetestingtheoriesandtechnologies，andappliedthemonthepracticalworkoftheconformancetestingofroutingprotoc01Intheapplication，wearehighlyconcernedontheuseofformalmethodsindescript

5、ion，validationandimplementationAtlastwecomparetheadvantagesofdi腩renttestingmethodswhenappliedtoroutingprotocoltestingandmakesuggestionontestgenerationmethodbetteraccommodatingroutingprotocolsThemainworkofthepaperincludes

6、thefollowingaspects：1)IntroducethefeaturesofcurrentpopulartestsequencegenerationtechniquesAnddescribeatestsequencegenerationmethodbasedonUIOsequenceandRuralChinesePostmanproblem2)TestBGPprotocolusingmethodbasedonFSMAndpr

7、acticeonthetestsequencegenerationmethodbasedontheU10sequenceandChinaPostmanproblem，anddemonstratebyuseofthestatemachineofBGPThemethodiseasytobeautomatedandgeneratesashortertestsequence3)Inthepracticeonprotocolconformance

8、testbasedonthetestpurpose，selectBGPtopracticetheformaldescriptionoftheprotoc014)Comparetheadvantagesofdiffirentprotocoltestmethodsintheapplicationofroutingprotocoltest，andgiveamorecomprehensiveideaofroutingprotocolconfor