Please use this identifier to cite or link to this item:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/32317
Title: | 開放環境下的工業軟體驗證之編譯基礎結構 Compiler Infrastructure for the industrial software verification in an open environment |
Authors: | Jia-Fu Chen 陳家福 |
Advisor: | 王凡 |
Keyword: | 軟體測試,編譯結構, software testing,compiler infrastructure, |
Publication Year : | 2006 |
Degree: | 碩士 |
Abstract: | 隨著軟體專案的越來越複雜化,相對應的測試和驗證變的越來越重要。在這篇論文中,我將提供且介紹一個軟體測試的基礎架構,在此架構中,我主要的目的是要減少測試軟體開發的成本,以增加研發的速度以及效能。在這裡我定義了一個名為分析表格(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 |
Fulltext Rights: | 有償授權 |
Appears in Collections: | 電機工程學系 |
Files in This Item:
File | Size | Format | |
---|---|---|---|
ntu-95-1.pdf Restricted Access | 574.73 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.