公开(公告)号：CN110334020B

公开(公告)日：2020-08-11

申请号：CN201910548098.7

申请日：2019-06-24

Applicant: 北京科技大学

Inventor： 孙昌爱 ,  唐锦 ,  郭新玲

IPC: G06F11/36

Abstract: 本发明提供一种冗余变异体识别方法及识别装置，能够在不降低变异测试有效性的情况下有效降低变异测试执行过程的时间开销。所述方法包括：将变异体按变异位置分为不同的变异体组；对原程序和变异体组进行代码预处理，使得原程序和变异体组中的变异体能够进行选择符号执行；对预处理后的原程序和变异体做选择符号执行，记录执行后原程序和变异体的符号执行状态；比较原程序和变异体的符号执行状态生成状态改变序列；在每个变异体组中，将重复出现的状态改变序列所属的变异体识别为冗余变异体。本发明涉及软件技术领域。

公开(公告)号：CN110334020A

公开(公告)日：2019-10-15

申请号：CN201910548098.7

申请日：2019-06-24

Applicant: 北京科技大学

Inventor： 孙昌爱 ,  唐锦 ,  郭新玲

IPC: G06F11/36

Abstract: 本发明提供一种冗余变异体识别方法及识别装置，能够在不降低变异测试有效性的情况下有效降低变异测试执行过程的时间开销。所述方法包括：将变异体按变异位置分为不同的变异体组；对原程序和变异体组进行代码预处理，使得原程序和变异体组中的变异体能够进行选择符号执行；对预处理后的原程序和变异体做选择符号执行，记录执行后原程序和变异体的符号执行状态；比较原程序和变异体的符号执行状态生成状态改变序列；在每个变异体组中，将重复出现的状态改变序列所属的变异体识别为冗余变异体。本发明涉及软件技术领域。