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

• 作者: 于屏岗 张威 肖庆
• 来源期刊: 测试技术学报
• 学科: 工学
• 关键词: 抽象语法树 编译器前端 定义使用链 符号表
• 年，卷（期）: 2004,（z5）
• 所属期刊栏目: 动态建模与仿真
• 页码范围: 47-50
• 页数: 4页
• 分类号: TJ0
• 字数: 3303字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7449.2004.z5.014

摘要

本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张威	北京装甲兵工程学院信息工程系	4	5	2.0	2.0
2	于屏岗	北京装甲兵工程学院信息工程系	1	2	1.0	1.0
3	肖庆	北京装甲兵工程学院信息工程系	4	23	2.0	4.0