公开(公告)号：CN105335379A

公开(公告)日：2016-02-17

申请号：CN201410293660.3

申请日：2014-06-26

Applicant: 国际商业机器公司

Inventor： 苟鹏飞 ,  刘丹 ,  刘洋 ,  李阳 ,  B·霍佩

IPC: G06F17/30

CPC classification number: G06F17/5081

Abstract: 本发明公开了一种突变测试中对突变、测试用例、随机种子的组合排序的方法和设备，该方法包括：根据测试用例目标的信号，对编译后的待测试集成电路获得与该测试用例目标的信号相关的逻辑门及相关的逻辑门上的突变；计算所述突变与所述测试用例目标的信号之间的距离；对编译后的待测试集成电路进行电路仿真，获得突变、测试用例、随机种子的组合对应的激活周期数；获得突变、测试用例的组合对应的激活周期数方差；以及根据所述距离，所述激活周期数，以及所述激活周期数方差，对突变、测试用例、随机种子的组合排序。该方法和设备能够减少突变仿真选择等价突变的概率。

公开(公告)号：CN105335379B

公开(公告)日：2018-11-02

申请号：CN201410293660.3

申请日：2014-06-26

Applicant: 国际商业机器公司

Inventor： 苟鹏飞 ,  刘丹 ,  刘洋 ,  李阳 ,  B·霍佩

IPC: G06F17/30

Abstract: 本发明公开了一种突变测试中对突变、测试用例、随机种子的组合排序的方法和设备，该方法包括：根据测试用例目标的信号，对编译后的待测试集成电路获得与该测试用例目标的信号相关的逻辑门及相关的逻辑门上的突变；计算所述突变与所述测试用例目标的信号之间的距离；对编译后的待测试集成电路进行电路仿真，获得突变、测试用例、随机种子的组合对应的激活周期数；获得突变、测试用例的组合对应的激活周期数方差；以及根据所述距离，所述激活周期数，以及所述激活周期数方差，对突变、测试用例、随机种子的组合排序。该方法和设备能够减少突变仿真选择等价突变的概率。