《计算机测量与控制杂志》发表论文赏析
作者:邢玉凤
单位:云南经济管理职业学院人文学院 云南
摘要:基于网络信息安全漏洞问题越来越受重视,针对漏洞研究中测试代码覆盖率和漏洞挖掘效率问题,设计并实现了基于混合符号执行的Fuzzing测试系统。该系统采用了指令动态追踪、混合符号执行、约束求解、测试用例生成、动态测试五个模块,通过对系统各个环节优化处理提高效率,并实验验证系统代码覆盖率较传统Fuzzing测试工具也有较大提高,得出了该系统能适用于大型应用软件测试的结论。
关键词:混合符号执行;Fuzzing测试;代码覆盖率
基金资助:云南省教育厅科学研究(编号2013C155)