Compiler Infrastructure for the industrial software verification in an open environment
Date Issued
2006
Date
2006
Author(s)
Chen, Jia-Fu
DOI
en-US
Abstract
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.
Subjects
軟體測試
編譯結構
software testing
compiler infrastructure
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-95-R92921087-1.pdf
Size
23.31 KB
Format
Adobe PDF
Checksum
(MD5):20e00e3812432dea5ac3af3ed65fef59