請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/25778
標題: | 工業計畫軟體模型的抽象化 Automatic Abstraction of C Programs for the Verification of Industrial Projects |
作者: | Ren-Wei Qiu 邱仁尉 |
指導教授: | 王凡(Farn Wang) |
關鍵字: | 抽象化, abstraction, |
出版年 : | 2006 |
學位: | 碩士 |
摘要: | 軟體驗證越來越重要,特別是對某些重要目的程式以及複雜的系統。因為這些程式太複雜,驗證工具幾乎沒有完善的支援。為驗證這些系統, 我們必須首先對他們做抽象化的運算。經過抽象化的產出將可被應用於model checking, test case generation or simulation等等的技術上。抽象化系統可以被工程師或是由程式自動完成。如果是利用工程師來完成抽象化的工作,將會造成大量的時間及金錢上的成本。為了避免時間及金錢上的成本浪費,由程式自動完成抽象化的工作將是一個選擇。而本篇論文便是以自動化完成抽象化的方式來實作。其產出將可以被應用在其它的驗證軟體上。 Software verification is more and more important, especially some critical purpose programs and complicated systems. Since these programs are too complicated, barely verification tools can support them. For verifying these systems, we have to abstract them first. This throughput would be used to model checking, test case generation or simulation. The work that abstract systems can be realized by programmers or automatically. If this work is accomplished by programmer, we should take more time to train programmers than past. Because this way would take too cost to train programmers, we have to achieve this work automatically to save money and time. The main purpose of this paper is to realize software abstraction automatically and effectively. The output of our work would be the middle code for verification tools. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/25778 |
全文授權: | 未授權 |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-95-1.pdf 目前未授權公開取用 | 1.32 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。