10.16208/j.issn1000-7024.2016.06.018
基于KLEE的软件漏洞测试用例自动生成技术
为解决KLEE中 STP求解器无法对非线性求解约束条件求解的问题,将改进的遗传算法应用于 KLEE 中自动生成软件漏洞测试用例。通过改进遗传算法,将其应用于求解非线性方程并编程实现求解模块;通过 KLEE的改进,让其能够调用遗传算法求解模块与STP求解器共同运行;通过接口的对接,完成KLEE中两个求解模块的并行运行,自动生成软件漏洞的测试用例。对比实验自动生成测试用例数据与原来KLEE的求解数据,对比结果表明了改进的遗传算法可应用于KLEE自动生成测试用例,其具有可行性、正确性、有效性。
测试用例、软件漏洞挖掘、改进的遗传算法、KLEE、约束求解
37
TP311.5(计算技术、计算机技术)
云南民族大学云南省高校物联网应用技术重点实验室开放基金
2016-07-06(万方平台首次上网日期,不代表论文的发表时间)
共6页
1515-1519,1525