基于KLEE的软件漏洞测试用例自动生成技术

摘要：

为解决KLEE中 STP求解器无法对非线性求解约束条件求解的问题，将改进的遗传算法应用于 KLEE 中自动生成软件漏洞测试用例。通过改进遗传算法，将其应用于求解非线性方程并编程实现求解模块；通过 KLEE的改进，让其能够调用遗传算法求解模块与STP求解器共同运行；通过接口的对接，完成KLEE中两个求解模块的并行运行，自动生成软件漏洞的测试用例。对比实验自动生成测试用例数据与原来KLEE的求解数据，对比结果表明了改进的遗传算法可应用于KLEE自动生成测试用例，其具有可行性、正确性、有效性。

关键词：测试用例、软件漏洞挖掘、改进的遗传算法、KLEE、约束求解

所属期刊栏目：37

分类号：TP311.5(计算技术、计算机技术)

资助基金：云南民族大学云南省高校物联网应用技术重点实验室开放基金

在线出版日期：2016-07-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1515-1519,1525