[1]梁娟娟,刘久富,朱丹丹,等.基于符号执行的软件静态测试研究[J].计算机技术与发展,2013,(06):42-45.
　LIANG Juan-juan,LIU Jiu-fu,ZHU Dan-dan,et al.Software Static Test Research Based on Symbolic Execution[J].,2013,(06):42-45.
点击复制

基于符号执行的软件静态测试研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年06期
页码:
42-45
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Software Static Test Research Based on Symbolic Execution
文章编号:
1673-629X（2013）06-0042-04
作者:
梁娟娟; 刘久富; 朱丹丹; 陈柯
南京航空航天大学自动化学院
Author(s):
LIANG Juan-juan; LIU Jiu-fu; ZHU Dan-dan; CHEN Ke
关键词:
静态分析; 符号执行; 抽象语法树; 可执行路径
Keywords:
static analysis; symbolic execution; abstract syntax tree; executable path
文献标志码:
A
摘要:
文中基于符号执行理论,设计了一种面向C语言的静态分析方法.通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果.该方法支持基于C语言文法的程序规范性检查,便于代码质量度量.利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量

相似文献/References:

[1]余为峰 黄松.主成分分析法在软件静态测试中的研究与应用[J].计算机技术与发展,2011,(06):73.
　YU Wei-feng,HUANG Song.Research and Application of Principal Component Analysis to Software Static Testing[J].,2011,(06):73.
[2]徐建. 移动僵尸网络检测方法研究[J].计算机技术与发展,2016,26(12):117.
　XU Jian. Investigation on Mobile Botnets Detecting[J].,2016,26(06):117.
[3]郑尧,王轶骏,薛质. 通过AndroidManifest和API调用追踪的恶意检测[J].计算机技术与发展,2017,27(03):126.
　ZHENG Yao,WANG Yi-jun,XUE Zhi. Android Malware Detection of Calls Tracing with AndroidManifest and API[J].,2017,27(06):126.
[4]李红灵[],詹翊[]. Android恶意程序常用权限分析及统计研究[J].计算机技术与发展,2017,27(11):132.
　LI Hong-ling[],ZHAN Yi[]. Statistics Analysis and Research on Common Permissions of Android Malwares[J].,2017,27(06):132.
[5]黄 松,龚士豪.程序静态分析报告处理方法综述[J].计算机技术与发展,2023,33(01):14.[doi:10. 3969 / j. issn. 1673-629X. 2023. 01. 003]
　HUANG Song,GONG Shi-hao.A Survey of Processing Methods of Program Static Analysis Report[J].,2023,33(06):14.[doi:10. 3969 / j. issn. 1673-629X. 2023. 01. 003]

更新日期/Last Update: 1900-01-01