文档摘要：模糊测试是一种先进的自动化测试技术,可用于检测程序潜在漏洞.大多数模糊测试技术在处理复杂约束时效果较差.为提高约束求解能力,提出了TurboFuzz技术,使用路径敏感分析建模变量约束关系,并采用模拟退火算法避免陷入局部最优.评估结果显示,TurboFuzz的边覆盖数量超过基于符号执行技术的工具,并求解出其他技术无法处理的约束.在真实程序测试中,TurboFuzz发现了13个新漏洞.研究通过比较不同技术、提出了TurboFuzz优化方案,提升基于变异的模糊测试的效率,使其成为有效的自动化测试技术.TurboFuzz为处理复杂约束开启了新思路,并为符号执行和模糊测试建立了联系.
作者：石永生Author：
作者单位：江苏信息职业技术学院,江苏无锡214153
刊名：电脑编程技巧与维护
Journal：ComputerProgrammingSkills&Maintenance
年，卷(期)：2024, (6)
分类号：
关键词：模糊测试 符号执行 约束求解
机标分类号：TP301.6TP18TP273
在线出版日期：2024年7月2日
基金项目：江苏信息职业技术学院校级质量工程教学科研类项目模糊测试中的变异策略在约束求解上的应用探究[
期刊论文] 电脑编程技巧与维护--2024, (6)石永生模糊测试是一种先进的自动化测试技术,可用于检测程序潜在漏洞.大多数模糊测试技术在处理复杂约束时效果较差.为提高约束求解能力,提出了TurboFuzz技术,使用路径敏感分析建模变量约束关系,并采用模拟退火算法避免陷入局...参考文献和引证文献
参考文献
引证文献
本文读者也读过
相似文献
相关博文
关键词：
|
|
1
