| Linux平台下软件的静态测试技术研究与实现 |
| |
| 引用本文： | 贺晓红,高海昌,刘晓宏,冯博琴,朱利,顾刚. Linux平台下软件的静态测试技术研究与实现[J]. 微电子学与计算机, 2005, 22(2): 39-42,45 |
| |
| 作者姓名： | 贺晓红 高海昌 刘晓宏 冯博琴 朱利 顾刚 |
| |
| 作者单位： | 1. 西安交通大学电子与信息工程学院,陕西,西安,710049
2. 西安交通大学软件学院,陕西,西安,710049 |
| |
| 基金项目： | 国家“863”计划资助(2003AA1Z2610) |
| |
| 摘 要： | 基于白盒测试的方法和原理，在Linux平台下进行自动测试源码程序技术的研究。文章从静态测试的角度出发．详细阐述了对C／C 语言开发的大多数软件都适用的静态分析方法，并根据分析结果为用户提供被测项目的图形化表示，从而可以充分判断被测项目在整体的设计与实现上正确与否，并为后续动态测试及自动生成测试用例的工作打下了坚实的基础。
|
| 关 键 词： | Lex与Yacc 双向邻接链表法 类图 控制流图 |
| 文章编号： | 1000-7180(2005)02-039-04 |
Research and Implementation of Software Static Testing on Linux Platform |
| |
| HE Xiao-hong,GAO Hai-chang,LIU Xiao-hong,FENG Bo-Qin,ZHU Li,GU Gang. Research and Implementation of Software Static Testing on Linux Platform[J]. Microelectronics & Computer, 2005, 22(2): 39-42,45 |
| |
| Authors: | HE Xiao-hong GAO Hai-chang LIU Xiao-hong FENG Bo-Qin ZHU Li GU Gang |
| |
| Affiliation: | HE Xiao-hong1,GAO Hai-chang1,LIU Xiao-hong1,FENG Bo-qin1,ZHU Li2,GU Gang1 |
| |
| Abstract: | 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. |
| |
| Keywords: | Lex and Yacc Bidirectional adjacentList Class diagram Control flow diagram |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
