請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/32317
標題: | 開放環境下的工業軟體驗證之編譯基礎結構 Compiler Infrastructure for the industrial software verification in an open environment |
作者: | Jia-Fu Chen 陳家福 |
指導教授: | 王凡 |
關鍵字: | 軟體測試,編譯結構, software testing,compiler infrastructure, |
出版年 : | 2006 |
學位: | 碩士 |
摘要: | 隨著軟體專案的越來越複雜化,相對應的測試和驗證變的越來越重要。在這篇論文中,我將提供且介紹一個軟體測試的基礎架構,在此架構中,我主要的目的是要減少測試軟體開發的成本,以增加研發的速度以及效能。在這裡我定義了一個名為分析表格(parsing tables)的中介語言,而此中介語言是可以當作程式語言和狀態機為基礎語言的橋樑。
為了要提供對軟體測試和驗證方面上多用途的功能,我們在分析表格(parsing tables)的規格上有很審慎的去定義。最後在論文的最後,將會簡單的展示一個從C 程式轉到分析表格(parsing tables)例子讓你可以更了解之間的關係。為了要達到自動化的目的,本篇論文中也提供了一個從C程式到分析表格(parsing tables)的轉譯器。 With the explosion of the code in a project, the software testing and verification become more and more important. In this paper, our approach is to build a framework of the software verification development. In order to decrease the cost of the development, we support a parsing table as a middle language between programming language and automata-based language. The specification of the parsing table is defined to support the multipurpose of the software verification and testing. In the last of this paper, we will show you an example from the C code to the parsing table. Furthermore, we support a parser to translate the C program into the parsing table automatically and an optimizer to optimize the parsing table for verification. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/32317 |
全文授權: | 有償授權 |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-95-1.pdf 目前未授權公開取用 | 574.73 kB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。