硕士论文-结合程序切片技术的并行面向对象程序模型检查

《硕士论文-结合程序切片技术的并行面向对象程序模型检查》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、上海大学硕士学位论文结合程序切片技术的并行面向对象程序模型检查姓名：高鹏飞申请学位级别：硕士专业：计算机应用指导教师：沈云付20080201」「萌A^wiJL•囁之&H11(EPOSTGRADUATETHESISOFSH>NG=A」UNIVERSITYWiththedevelopmenCofbechnologyofinformat•ion—comJDcxeLsot^ware怜-・b:gradual-yaplfllestomoreandmoreareasoflife・irisavj壬牡c-oprrrrpdr1%^SLsooefns夕£E$are・Formalv

2、erificafionforsourcecodesojSQffwareis.anemclentwaytolmproverhecorrectnessofsoftwaFf6n?tnhdeo^g«-o-5f%-poopi^bEPmtrialcircles・Becauseofhuge8P^opf匸^AH--ryPP-dssac_nkgpou.rJfiiLaylbarrierforcurrenfsfudyofsoffwaresourcecodesverificabionboimproveibseffSofCwaremode1checking-saformaIwayfo

3、rasys;moffinir-resraresroverifyitscorrecrnessbythesearchinginsrates.Softwa「CUsSi孑沖一~17ne()宀吕pchocx片心Preetly.>bstractionisnecessaryrogermode1fromsoftware,Inordertodecreaserhecomp-exiryofmode-checki・ng「OSobject:±r-・・・—orlcntcdcoffcurrcntprograms』atcchnologyofsiicingisproposcdforoojcc

4、Lo•;『•orlenfedConcurrenrprograms・Sbabesinbhesbabespaceofsysfemwi1Ibecufdownwhcnthctcchnologyofs1icinginthcmodclchcckingforobjcctIorientedconcurrentprogramsiStaken•Themainconbribubionsofbhisbhesisareshownasbe1ow：1・Object:—orienredconcurrenr-anguagecompos「earC-hb心5RHErhs-hQolotrq®叫pi

5、r-l-sh「eesearchedinc-udingundererminab・i-ijysr••:t尸h一」communica二on》synchronlzlrlons・Theforma-descrbpr〔d(orn飞Mhf吟By「比护口％o口L〕rLformulaisproO1・°r+s-h9nrc++foreranfCsPOir5cd—hoCnsaufromuarOsCisequiva1enrrorhesourceprograminrheprocessofmodelchecking》4・Based()ntest:ingandverificati()n()n

6、rheslieingandn()n—s1icingMode1checkingsysfems』rhefearures》advantagesanddisadva4b《侮E田/才十冷"p)刖bgYedandanalyzed.Theconceprionandpla沦eP匚SLOM&EU*rbrcedworkBasedollChewdLharrhesra:syskemmodelpcrhser©^:.ngedeywords“ModrienfedconcprogramvsTemparlyinmodelbjecr—odenbecK1nt:eex10?11o原创性声明本人声明

7、：所呈交的论文是本人在导师指导下进行的研究工作。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已发表或撰写过的研究成果。参与同一工作的其他同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。签名：霸屿惨日本论文使用授权说明本人完全了解上海大学有关保留、使用学位论文的规定，即：学校有权保留论文及送交论文复印件，允许论文被查阅和借阅；学校可以公布论文的全部或部分内容。（保密的论文在解密后应遵守此规定）签名：垄型整竺导师上海人学硕上学位论文T既POsTGRADU—(rETHESISOFSHANGHAIUNIVERSITY第一章绪论1.1引言随

8、着信息技术的发展，软件在各个领域中的应用越来越广泛，