[发明专利]一种基于代码精简与误报过滤的编译器模糊测试方法有效
申请号: | 202110510418.7 | 申请日: | 2021-05-11 |
公开(公告)号: | CN113238937B | 公开(公告)日: | 2023-02-03 |
发明(设计)人: | 叶贵鑫;瞿兴;姚厚友;王媛;弋雯;汤战勇;房鼎益 | 申请(专利权)人: | 西北大学 |
主分类号: | G06F11/36 | 分类号: | G06F11/36;G06F8/41;G06N5/01 |
代理公司: | 西安恒泰知识产权代理事务所 61216 | 代理人: | 史玫 |
地址: | 710069 *** | 国省代码: | 陕西;61 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于代码精简和误报过滤的编译器模糊测试方法。所公开的方法包括使用多个编译器对测试用例集进行差分测试,在多个编译器每执行完一个测试用例后,如果编译器的执行结果不一致,将这个用例标记为可疑用例;之后利用基于语法块或基于代码行的代码精简技术对可疑用例内容进行精简构建可疑用例集;再以决策树的形式,利用误报过滤数据库对可疑用例的执行结果进行过滤构成误报过滤数据库,最后通过人工分析可疑用例集和误报过滤数据库发现bug。本发明的方法实现了高效,快速,准确的定位出错位置,减少了测试人员发现编译器漏洞的时间,提高了编译器测试的效率。 | ||
搜索关键词: | 一种 基于 代码 精简 过滤 编译器 模糊 测试 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于西北大学,未经西北大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202110510418.7/,转载请声明来源钻瓜专利网。