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

作     者：梁娟娟 刘久富 朱丹丹 陈柯 LIANG Juan-juan;LIU Jiu-fu;ZHU Dan-dan;CHEN Ke

作者机构：南京航空航天大学自动化学院江苏南京210016 

出 版 物：《计算机技术与发展》 (Computer Technology and Development)

年 卷 期：2013年第23卷第6期

页      面：42-45,178页

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金资助项目(60674100) 南京航空航天大学青年科学创新基金(NS2010069) 

主　　题：静态分析 符号执行 抽象语法树 可执行路径 

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