1、東南大學博士學位論文協(xié)議一致性測試研究及測控系統(tǒng)形式化協(xié)議設計技術姓名：高翔申請學位級別：博士專業(yè)：精密儀器及機械指導教師：黃惟一20070201東南大學博t學位論文AbstractWiththedevelopmentofthenetworktechnique，constructingmodernmeasurementandcontrolsystemhasbecomeacrucialtaskfurmodernmeasurementand

2、controlengineerAsweknowthecommunicationprotocolhasplayedapredominantroleinnetworkasresulthowtodesignacommunicationprotocol。whichnotonlycorrectinfunctionandintegratedinlogic，butalsoc卸bevalidated，testedandimplementedinsyst

3、emicmannerhasbecomeaverychallengeableproblemThispapercommitstointroducingprotocolengineeringintothefieldofmeasurementandcontrol，whichhasbecomeaburgeoninginterdisciplinarysubjectinrecentyearsProtocolengineeringis徹integrat

4、edandformalprotocoldevelopmentprocedureFormalprotocoltheoryisanimportantsubfieldintheprotocolengineering；thispaperdiscussestheprotocolformaldesignindetailbyintegratingaseriesofsimplyexamplesformeasurementandcontrolsystem

5、whichincludesprotocoltextdesigntechnique。protocolformaldescriptiontechniqueformaldescriptionbasedprotocolvalidationprotocolimplementationandconformancetestingtechniqueereInadditionthispaperfocusesontheprotocolconformance

6、testingTodate，thetraditionalformalmodelfurprotocolconformancetestingisfinitestatemechanismThispaperdiscussesthesequencegeneratingtechnique，implementingtechniqueandtestingmethodofprotocolconformancetestingbasedonthemodelo

7、fthefinitestatemechanismAtfirsttraditionalUIOsequencegeneratingtechniquesarcresearchedandcomparedandanewMUlegeneratingmethodisproposedtoapplyitsuccessfullytothedynamicprotocolconformancetestingInthecaseoftestingsequence—

8、generatingalgorithm，animprovedshortestsequencegeneratingalgorithmfurUIOisdevelopedbasedonthecomparisonamongthetraditionaltestingsequencealgorithmsBesidesthatanewconformancetestingsequencemethodispresentedbasedonBUIOconce

9、ptioninwhichthenewmethodtakesadvantageofMBUIOsequence。MUIOsequenceandoverlaptechnique，enlargestheapplicationfieldbyintegratingBUIOwithUIOsequenceInthecaseoftestingsequencegenerationallefficientandrobustUIOtestingsequence

10、generatingmethodisproposedbasedonFSMbytransformingthemathematicalmodelandemployingtheLPt001ThefollowingresearchintheoryandexperimentscanprovethattheLPcangettheoptimalsolutionintermsofnonconveringFSMAndthenthispaperanalyz

11、esthedefectsofthetraditionalstatictestingmethod，andproposesadynamicprotocolconformancetestingalgorithmInthisalgorithm，thedynamicgenerationiscombinedwithdynamicimplementationbymakinguseofconceptionoftestingtreetoeliminate