软件静态测试中C/C++抽象语法树的生成

摘要：

为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链. 这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

关键词： 编译器 抽象语法树 定义使用链 《符号表》

作者: 于屏岗 张威 肖庆

作者单位: 北京装甲兵工程学院信息工程系(北京)

会议类型: 国内会议

会议名称: 中国兵工学会第十二届测试技术学术年会

会议地点: 广西北海

会议语种:中文

页码: 47-50

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）