Linux平台下软件的静态测试技术研究与实现  

Research and Implementation of Software Static Testing on Linux Platform

作　　者：贺晓红[1] 高海昌[1] 刘晓宏[1] 冯博琴[1] 朱利[2] 顾刚[1] 

机构地区：[1]西安交通大学电子与信息工程学院,陕西西安710049 [2]西安交通大学软件学院,陕西西安710049

出　　处：《微电子学与计算机》2005年第2期39-42,45,共5页Microelectronics & Computer

基　　金：国家"863"计划资助(2003AA1Z2610)

摘　　要：基于白盒测试的方法和原理,在Linux平台下进行自动测试源码程序技术的研究。文章从静态测试的角度出发,详细阐述了对C/C++语言开发的大多数软件都适用的静态分析方法,并根据分析结果为用户提供被测项目的图形化表示,从而可以充分判断被测项目在整体的设计与实现上正确与否,并为后续动态测试及自动生成测试用例的工作打下了坚实的基础。Based on the methods and principles of White-Box testing, this paper researches automatic testing technologies for softwares on Linux.In this paper, the static analysis methods on most kinds of software which are developed by C/C++ programming language are depicted. On the basis of these analysis, some diagrammatic representations on tested projects will be provided to users.So, users can estimate whether their projects are correct in system design and implementation or not. Also, the static diagrams may lay a foundation for the succeeding dynamic testing and automatic generating test case.

关 键 词：Lex与Yacc 双向邻接链表法 类图 控制流图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]