基于符号执行的软件静态测试研究

• 作者: 刘久富 朱丹丹 梁娟娟 陈柯
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 静态分析 符号执行 抽象语法树 可执行路径
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 42-45,178
• 页数: 5页
• 分类号: TP311
• 字数: 3158字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2013.06.011

摘要

文中基于符号执行理论,设计了一种面向C语言的静态分析方法.通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果.该方法支持基于C语言文法的程序规范性检查,便于代码质量度量.利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
2	梁娟娟	南京航空航天大学自动化学院	4	13	2.0	3.0
3	陈柯	南京航空航天大学自动化学院	3	11	1.0	3.0
4	朱丹丹	南京航空航天大学自动化学院	3	10	1.0	3.0