高級Petri網(wǎng)的測試方法研究.pdf

1、湖北大學碩士學位論文高級Petri網(wǎng)的測試方法研究姓名：劉艷申請學位級別：碩士專業(yè)：系統(tǒng)分析與集成指導教師：周雙娥20070501AbstractPetrinetshavebeenextensivdyusedinthemodelingandanalysisofconcurrentanddistributedsystemsTheverificationandvalidationofPetrinetsaleofpanicul盯importa

2、nceinthedevelopmentofconcurrentanddistributedsystemsBesidesformalanalysistechniquestestinghasbeenproventobeeffectiveindetectingsystem鋤侶andiseasytoapplyAnapproachoftestingPetrinetssystematicallyandeffectivelyistodevelopte

3、stcriteriaSOthattestadequacy啪bemfa蛐l(wèi)edobjectivelyInthis弘咿％wemainlytestahighlevelPeUinetPredicate／Transitionnet(Pr／tnet)，Pr／tnetissuitablefordefiningcontrol，datafunctionanddynamicbehaviourofbasicconcmrentsystemFirstlythis

4、paperexplainsthebasicknowledgeaboutPetrinetandtestingOnhighlevelPetrinets，itdiscussesthesyntaxandstaticsemantic，dynamicsemanticsandobservablebehaviourNextitpresentsgtatoorientedtestingandhansitionorientedtastingafterexpl

5、ainingthebasicknowledgeaboutPetrinetandtestingSecondlyitinvestigatesthemedlodofobservingandrecordingtestingresults，andgivesasetofcoveragecriteriatomeasI玳testadequacyThirdlyitgivesanexampleofdiningphilosophers’problemAcco

6、rdingthetechnologiesofmodelingthediningphilosophers’problem’sPrfrmodelhasbeenestablishedFourthlyitteststhemodelusingstateorientedtestingandtransitionorientedtestingmethodThenitintroducesamodelchoikertoolSPIN(SimplePmmela

7、Interpreter)Spinisapopularopensourcesoftwaretoolthat啪beusedfortheformalverificationofdistributedsoftwaresystemsSpinsupportsahighlevellanguagetospecifysystemsdescriptiOtiS，calledPROgELA(aPROcessMEtaLAnguage)Sixthlyinthisp

8、aperdiningphilosophers’problem’sPr／rnetistranslatedintoequivalentSpinmodels—Promelaprograms，andrunstheprograminXspmwhichneedstheenvironmentofvimmlLinuxunderCygwinInsimulation，itcannoticethatindiningphilosophers’problem’s