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

关键词：循环 软件测试 漏洞分析 符号计算 

单位：中国科学院软件研究所可信计算与信息保障实验室; 北京100190; 北京信息安全测评中心; 北京100101