開放環境下的工業軟體驗證之編譯基礎結構

Compiler Infrastructure for the industrial software verification in an open environment

陳家福(Jia-Fu Chen)

指導教授 ： 王凡

國立臺灣大學/電機資訊學院/電機工程學研究所/碩士(2006年)

https://doi.org/10.6342/NTU.2006.02491

摘要

隨著軟體專案的越來越複雜化，相對應的測試和驗證變的越來越重要。在這篇論文中，我將提供且介紹一個軟體測試的基礎架構，在此架構中，我主要的目的是要減少測試軟體開發的成本，以增加研發的速度以及效能。在這裡我定義了一個名為分析表格(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.

並列關鍵字

software testing ； compiler infrastructure

參考文獻

[Beizer90] B. Beizer, Software Testing Techniques. Second edition. 1990

[Hetzel88] Hetzel, William C., The Complete Guide to Software Testing, 2nd ed. Publication info: Wellesley, Mass. : QED Information Sciences, 1988. ISBN: 0894352423.Physical description: ix, 280

[Kaner93] C. Kaner, Testing Computer Software. 1993.

[Pan99]J. Pan, Software Testing, Spring 1999

[Wang04a]F. Wang, Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions, 10th AMAST, Stirling, UK, July 2004, LNCS, Springer-Verlag, 2004.