2023年全國碩士研究生考試考研英語一試題真題(含答案詳解+作文范文)_第1頁
已閱讀1頁,還剩58頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡介

1、隨著計(jì)算機(jī)技術(shù)的發(fā)展,軟件在各個(gè)行業(yè)得到廣泛的應(yīng)用,人們對軟件的質(zhì)量和安全也得到更為廣泛的關(guān)注。對如何提高軟件質(zhì)量的問題人們已經(jīng)從軟件開發(fā)方法、軟件開發(fā)過程管理、軟件開發(fā)工具等多個(gè)方面加以研究,取得了一定的成績。基于合約的軟件開發(fā)是其中十分重要且得到廣泛應(yīng)用的一種技術(shù)。軟件合約是指軟件中必須遵守的規(guī)則。開發(fā)者和執(zhí)行者通過遵守這些合約來保證軟件的質(zhì)量。從不同的層面合約可分為語法合約、數(shù)據(jù)合約、行為合約和服務(wù)合約。程序不變量是數(shù)據(jù)合約的一種

2、形式。程序不變量對于程序演進(jìn)與重構(gòu)、程序測試與排錯(cuò)、輔助定理證明、構(gòu)件升級替換都有重要作用。由于大多數(shù)軟件開發(fā)時(shí)都沒有書寫形式化文檔,程序不變量在程序中很少被清楚地表示出來。如何從程序中發(fā)現(xiàn)這些隱含的沒有被程序員寫出來的程序不變量成為實(shí)現(xiàn)高層次行為合約、提高程序質(zhì)量的關(guān)鍵。
  本文重點(diǎn)研究如何使用動(dòng)態(tài)檢測技術(shù)發(fā)現(xiàn)程序中函數(shù)型似然不變量。論文首先介紹了不變量動(dòng)態(tài)檢測技術(shù)及其主要的兩個(gè)實(shí)現(xiàn)工具:Daikon和DIDUCE,并分析了它

3、們在編配工具和不變量檢測方法上存在的不足。然后運(yùn)用面向?qū)ο蟮能浖_發(fā)方法,設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)新的基于關(guān)系數(shù)據(jù)庫的編配工具。新的編配工具具有易用、靈活等特點(diǎn)。結(jié)合關(guān)系數(shù)據(jù)理論,針對函數(shù)型不變量提出了一個(gè)啟發(fā)式不變量檢測方法。該方法通過函數(shù)推導(dǎo)技術(shù)首先確定待檢變量中是否存在函數(shù)依賴關(guān)系,然后再進(jìn)行函數(shù)解析式推導(dǎo),解決了傳統(tǒng)似然不變量檢測方法中存在的盲目性問題。并對新方法和傳統(tǒng)方法進(jìn)行了對比實(shí)驗(yàn)分析,實(shí)驗(yàn)結(jié)果表明新方法的可靠性與檢測效率明顯優(yōu)于

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論