基于fsm的ipv6邻居发现协议一致性测试分析

《基于fsm的ipv6邻居发现协议一致性测试分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、AbstractAsthenextgenerationInternetProtocol，IPv6hasitsownobvioussuperiorities，suchastheabundantoftheaddresscapacity,thestrengthenedaddressstructure，thefunctionoftheauto-configuration(namelyPlugandPlay)andthestrongersecurity,etc．Whileneighbordiscoveryprotocoli

2、sthemajorcomponentofIPv6．Ithassolvedtheinteroperationproblemamongallnodesonthesamelink．WiththeconstantdevelopmentofIPv6technology,moreandmorecompanieshaveissuedtheirIPv6production．ButIPv6protocolisdescribedbythenaturallanguage，andprovidedintheformoftextinRFC．

3、Thuseverycompanyhasitsowncomprehensionforit，andsomeevenhavetheirwrongunderstand．Asaresulttheinconsistentproblemoftheseproductionsisveryserious．SomoreandmoreresearchersaredevotedtodevelopingtheperfectIPv6protocolconformancesystemstojudgeallkindsofproductions‘c

4、onformance，andensurethemcommunicateeachother．Infact，therapiddevelopmentofthenetworkhasalreadymadetheprotocolconformancetestbecomeoneofthehottopicsinthenetworktechnologyfield．Ononehand，fromthestandardizedangle，inordertoverifytheconsistencyoftheIUT(Implementati

5、onUnderTest)ortheSUT(SystemUnderTcst)，wemustcarryontheconformancetestoftheprotoc01．Otherwise，wecan'trealizetherealstandardizationoftheprotocol；Ontheotherhand，fromtheviewoftheprotocolengineering，theconformancetestisakeysectiontoo．Throughformalspecificationtech

6、nology,theprotocolconformancetestandotherpartsofprotocolengineeringCanbecombinedtogetherorganically．Firstly,thisthesisintroducestherelevantconceptsoftheprotocolconformancetest，SecondlyitexplainsIPv6neighbordiscoveryprotocolandthemethodsoftheprotocolconformanc

7、etestindetail．OnthefoundationofanalyzingNeighborDiscoveryprotocolindetail，itpresentssomeformaldescriptionmethodsoftheprotocolandbuildsthehostmodelofneighbordiscoveryprotocolbasedonFiniteStateMachine．Itresearchesthesystemarchitectureandthetestexecutionofthecon

8、sistencytestofneighbordiscoveryprotocolandbuildscorrespondencetestenvironment．Finally,ItteststhehostmodelimplementationoftheIPv6NeighborDiscoveryprotocolbyusingacustomtestsuiteandgiveouts