节点文献
Linux平台下软件的静态测试技术研究与实现
Research and Implementation of Software Static Testing on Linux Platform
【摘要】 基于白盒测试的方法和原理,在Linux平台下进行自动测试源码程序技术的研究。文章从静态测试的角度出发,详细阐述了对C/C++语言开发的大多数软件都适用的静态分析方法,并根据分析结果为用户提供被测项目的图形化表示,从而可以充分判断被测项目在整体的设计与实现上正确与否,并为后续动态测试及自动生成测试用例的工作打下了坚实的基础。
【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.
【Key words】 Lex and Yacc; Bidirectional adjacentList; Class diagram; Control flow diagram;
- 【文献出处】 微电子学与计算机 ,Microelectronics & Computer , 编辑部邮箱 ,2005年02期
- 【分类号】TP311
- 【被引频次】1
- 【下载频次】108