[发明专利]一种冗余变异体识别方法及识别装置有效
申请号: | 201910548098.7 | 申请日: | 2019-06-24 |
公开(公告)号: | CN110334020B | 公开(公告)日: | 2020-08-11 |
发明(设计)人: | 孙昌爱;唐锦;郭新玲 | 申请(专利权)人: | 北京科技大学 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京市广友专利事务所有限责任公司 11237 | 代理人: | 张仲波 |
地址: | 100083*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供一种冗余变异体识别方法及识别装置,能够在不降低变异测试有效性的情况下有效降低变异测试执行过程的时间开销。所述方法包括:将变异体按变异位置分为不同的变异体组;对原程序和变异体组进行代码预处理,使得原程序和变异体组中的变异体能够进行选择符号执行;对预处理后的原程序和变异体做选择符号执行,记录执行后原程序和变异体的符号执行状态;比较原程序和变异体的符号执行状态生成状态改变序列;在每个变异体组中,将重复出现的状态改变序列所属的变异体识别为冗余变异体。本发明涉及软件技术领域。 | ||
搜索关键词: | 一种 冗余 异体 识别 方法 装置 | ||
【主权项】:
1.一种冗余变异体识别方法,其特征在于,包括:将变异体按变异位置分为不同的变异体组;对原程序和变异体组进行代码预处理,使得原程序和变异体组中的变异体能够进行选择符号执行;对预处理后的原程序和变异体做选择符号执行,记录执行后原程序和变异体的符号执行状态;比较原程序和变异体的符号执行状态生成状态改变序列;在每个变异体组中,将重复出现的状态改变序列所属的变异体识别为冗余变异体。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京科技大学,未经北京科技大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201910548098.7/,转载请声明来源钻瓜专利网。