版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、基于契約式設(shè)計(Design By Contract,DBC)這一理論是由Betrand Meyer提出的。DBC技術(shù)的核心是利用斷言使方法及類的行為受到契約的約束,因此,將DBC與高級語言相結(jié)合的方式成為DBC技術(shù)的發(fā)展趨勢。將DBC技術(shù)與現(xiàn)有的高級語言相結(jié)合的現(xiàn)有已實現(xiàn)技術(shù)中,或多或少的存在著不足之處。同時,DBC與高級語言相結(jié)合的方式不盡相同也帶來了對于環(huán)境的不同的要求,在結(jié)合方式上進行轉(zhuǎn)變,為DBC與高級語言的結(jié)合尋覓新的途徑已
2、成為迫切的需要。 VeriJava是由標準Java語言結(jié)合契約式設(shè)計方式而產(chǎn)生的新語言,這一語言將契約作為語言要素添加入Java語言中,對方法進行編譯和運行時的檢驗,同時也通過類契約,不變量等契約要素,幫助開發(fā)人員在開發(fā)的過程中及時找到設(shè)計錯誤或協(xié)調(diào)溝通問題,促進交流與理解,檢驗與修正開發(fā)過程中所出現(xiàn)的各類設(shè)計錯誤等,使開發(fā)過程更為完善。 本文通過實現(xiàn)一個基于VeriJava語法與語義檢查,驗證的編譯器,試圖通過對方法的
3、先決條件,后置條件以及對類契約,不變量等契約要素的轉(zhuǎn)換進行編譯時與運行時驗證,在邏輯上保證方法的正確性,使其符合軟件設(shè)計的初衷。該編譯器通過轉(zhuǎn)換嵌入在原代碼中的契約,并將其融合在原Java代碼中,為代碼在運行時進行檢查與驗證提供了途徑與方法。 編譯器自身采用Java編寫,在編譯器的設(shè)計與實現(xiàn)過程中采用了多層次的解析方式與轉(zhuǎn)換,并對未來的可擴展工作留下了必要的接口。同時利用了Java面向?qū)ο蟮奶匦詫⒕幾g器的擴展性提升到一定的高度,
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于元數(shù)據(jù)的Java平臺契約式設(shè)計框架研究.pdf
- 基于契約式設(shè)計方法的分析和實現(xiàn).pdf
- 編譯原理課程設(shè)計---編譯器的實現(xiàn)
- 嵌入式JavaScript編譯器的設(shè)計與實現(xiàn).pdf
- 基于即時編譯器的Java語言同步優(yōu)化研究.pdf
- DEMS編譯器的設(shè)計與實現(xiàn).pdf
- sJava編譯器的設(shè)計與實現(xiàn).pdf
- 基于LLVM的交叉編譯器的設(shè)計與實現(xiàn).pdf
- 基于JVM的ANSIC編譯器的設(shè)計與實現(xiàn).pdf
- MSVL編譯器的設(shè)計與實現(xiàn).pdf
- OQL編譯器的設(shè)計與實現(xiàn).pdf
- 網(wǎng)絡(luò)契約式學(xué)習(xí)平臺的設(shè)計與實現(xiàn).pdf
- 編譯原理課程設(shè)計報告--編譯器實現(xiàn)
- 網(wǎng)絡(luò)契約式學(xué)習(xí)平臺的設(shè)計與實現(xiàn)
- NC代碼編譯器的設(shè)計與實現(xiàn).pdf
- 基于Hopen的嵌入式SQL預(yù)編譯器的設(shè)計與實現(xiàn).pdf
- 嵌入式SRAM編譯器的設(shè)計.pdf
- 編譯原理課程設(shè)計____c語言編譯器的實現(xiàn)-
- 基于契約式設(shè)計的VeriJava編程語言設(shè)計.pdf
- 編譯原理課程設(shè)計---簡單編譯器的設(shè)計與實現(xiàn)
評論
0/150
提交評論