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

作     者：贺晓红 高海昌 刘晓宏 冯博琴 朱利 顾刚 HE Xiao-hong;GAO Hai-chang;LIU Xiao-hong;FENG Bo-Qin;ZHU Li;GU Gang

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

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

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2005年第22卷第2期

页      码：39-42,45页

摘      要：基于白盒测试的方法和原理,在Linux平台下进行自动测试源码程序技术的研究。文章从静态测试的角度出发,详细阐述了对C/C++语言开发的大多数软件都适用的静态分析方法,并根据分析结果为用户提供被测项目的图形化表示,从而可以充分判断被测项目在整体的设计与实现上正确与否,并为后续动态测试及自动生成测试用例的工作打下了坚实的基础。

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7180.2005.02.011

馆 藏 号：203593252...