一种面向程序动态分析的循环摘要生成方法

• 作者: 冯登国 刘海峰 聂楚江 苏璞睿
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 循环 软件测试 漏洞分析 符号计算
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 1110-1117
• 页数: 8页
• 分类号: TP309
• 字数: 6546字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2014.06.012

摘要

动态测试数据生成方法相对于传统Fuzz测试方法能有效的提高软件测试与漏洞分析的效率。本文针对动态测试数据生成过程中对循环进行处理时的路径覆盖效率较低与约束求解困难的问题，提出了一种使用归纳变量构建循环，并通过符号计算提取循环的方法。本文通过将循环应用于软件动态分析过程中，验证了使用循环能有效的提高约束求解与循环路径遍历的效率。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所可信计算与信息保障实验室	243	6305	35.0	71.0
2	刘海峰		16	88	5.0	9.0
3	苏璞睿	中国科学院软件研究所可信计算与信息保障实验室	44	734	17.0	26.0
4	聂楚江	中国科学院软件研究所可信计算与信息保障实验室	2	5	1.0	2.0