-
题名基于蚁群算法的猜测符号执行的路径搜索
被引量：3
- 1
-
-
作者
李航
臧洌
甘露
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2018年第6期145-150,共6页
-
文摘
符号执行作为一种基本的程序分析技术,已被广泛应用于软件测试领域。研究表明,即使在现有的查询优化技术的支持下,约束求解也仍然是符号执行中最耗时的部分。猜测符号执行的思想是将多次约束求解合并成一次求解,从而减少约束求解消耗的时间。但是,猜测的成功率受猜测深度和路径搜索方向的影响,尤其是路径搜索的方向在较大程度上决定了整体猜测的成功率。因此,引导路径搜索向成功率高的方向进行,对提高猜测符号执行的整体效率至关重要。在猜测符号执行的路径搜索过程中引入蚁群算法,根据节点条件信息初次确定分支路径的权重,在多次迭代中根据分支路径的覆盖情况更新权重,通过权重决定路径搜索的方向。实验表明,该方法有效提升了猜测符号执行的效率。
-
关键词
蚁群算法
猜测符号执行
约束求解
路径搜索
-
Keywords
Antcolony algorithm
speculative symbolic execution
Constraint solving
Path search
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
