节点文献

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

Research and Implementation of Software Static Testing on Linux Platform

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 贺晓红高海昌刘晓宏冯博琴朱利顾刚

【Author】 HE Xiao-hong1, GAO Hai-chang1, LIU Xiao-hong1, FENG Bo-qin1, ZHU Li2, GU Gang1(1 School of Electronics and Information Engineering,Xi’an Jiaotong University, Xi’an 710049 China)(2 School of Software Engineering, Xi’an Jiaotong University, Xi’an 710049 China)

【机构】 西安交通大学电子与信息工程学院西安交通大学软件学院西安交通大学电子与信息工程学院 陕西西安710049陕西西安710049陕西西安710049

【摘要】 基于白盒测试的方法和原理,在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.

【基金】 国家“863”计划资助(2003AA1Z2610)
  • 【文献出处】 微电子学与计算机 ,Microelectronics & Computer , 编辑部邮箱 ,2005年02期
  • 【分类号】TP311
  • 【被引频次】1
  • 【下载频次】108
节点文献中: 

本文链接的文献网络图示:

本文的引文网络