已閱讀1頁，還剩76頁未讀， 繼續(xù)免費閱讀
版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領
文檔簡介
1、隨著模型驅動開發(fā)技術的不斷發(fā)展，模型驅動在軟件開發(fā)過程中起著越來越關鍵的作用。基于模型驅動的開發(fā)技術，能夠使得開發(fā)者從整體邏輯框架上去設計軟件系統(tǒng)，而不需要關系具體的細節(jié)，這樣更有利于提高軟件的開發(fā)效率。另一方面，結構化程序設計在軟件開發(fā)過程中所起的作用是巨大的，消除GOTO語句也是程序設計的關鍵。因此，在基于模型的開發(fā)中確保模型的結構化也是非常必要的。本文主要針對模型驅動開發(fā)相關領域，研究了基于程序流程圖的結構化驗證與實時檢測算法。<
2、br> 提出了一種針對標準程序流程圖的結構化驗證算法。該算法是在充分研究程序流程圖不同結構特點的基礎上，利用圖論等相關知識設計而成的。該算法具有以下功能：對程序流程圖中的循環(huán)結構進行結構化驗證；識別程序流程圖中標識CONTINUE、BREAK以及RETURN的流程線，并對其進行結構化驗證；將循環(huán)結構線性化，消除循環(huán)結構對分支結構的影響，同時運用遞歸的方式確定程序流程圖中分支結構的作用域，并對分支結構進行結構化驗證。本文通過大量實例，驗
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
評論
0/150
提交評論