公开(公告)号：CN113268429B

公开(公告)日：2025-03-25

申请号：CN202110670451.6

申请日：2021-06-17

Applicant: 大连理工大学

Inventor： 江贺 ,  王尊 ,  周志德 ,  任志磊

IPC: G06F11/3668

Abstract: 本发明属于软件测试技术领域，尤其涉及一种基于多样性导向变异的高级综合工具缺陷检测方法。本发明通过对随机生成的测试用例进行多样性导向变异，得到一系列语句差异性较大的测试用例，以解决在测试高级综合工具过程中高效测试用例产生问题，提高了测试用例多样性，扩大了测试空间，避免了冗余的测试，从而提高高级综合工具缺陷检测效率。

公开(公告)号：CN113010427A

公开(公告)日：2021-06-22

申请号：CN202110301741.3

申请日：2021-03-22

Applicant: 大连理工大学

Inventor： 江贺 ,  王尊 ,  任志磊 ,  周志德

IPC: G06F11/36

Abstract: 本发明属于检测技术以及软件测试技术领域，尤其涉及一种基于等价取模测试的高级综合工具缺陷检测方法。本发明采用了等价取模测试思路，但针对于高级综合工具特点，在等价取模测试在种子代码中删除未执行代码或插入代码的变异操作基础上，增加了对种子代码进行转换的变异操作，并使用仿真器模拟仿真种子代码和变异后代码被待测试高级综合工具综合所得到的两个HDL代码，比较两个HDL代码是否有相同的仿真输出结果来判断待测试高级综合工具是否存在缺陷。本发明方法能够产生有效的高级综合工具测试的测试用例，能够有效检测高级综合工具中存在的缺陷，并能够自动化生成Bug报告，以供开发人员快速修复缺陷。

公开(公告)号：CN114385492A

公开(公告)日：2022-04-22

申请号：CN202111651762.4

申请日：2021-12-30

Applicant: 大连理工大学

Inventor： 江贺 ,  王尊 ,  周志德 ,  任志磊

IPC: G06F11/36 ,  G06F8/41 ,  G06F30/3308

Abstract: 本发明属于软件测试技术领域，尤其涉及一种基于差分测试的高级综合工具优化选项缺陷检测方法。本发明通过对随机生成的测试用例代码进行基于代码特征向量余弦相似度的筛选，得到优化空间差异性较大的测试用例代码，对每个通过筛选的测试用例代码进行基于组合覆盖测试的优化选项选择，得到一系列优化选项组合，将得到优化选项插入到测试用例代码中，使用待检测高级综合工具对测试用例代码进行综合，即可对高级综合工具优化选项缺陷进行检测；本发明解决了高级综合工具优化选项缺陷检测过程中，测试用例产生以及优化选项选择等问题，提高了测试用例多样性，扩大了测试空间，避免了冗余的测试，从而提高高级综合工具优化选项缺陷检测效率。

公开(公告)号：CN114385492B

公开(公告)日：2024-07-12

申请号：CN202111651762.4

申请日：2021-12-30

Applicant: 大连理工大学

Inventor： 江贺 ,  王尊 ,  周志德 ,  任志磊

IPC: G06F11/36 ,  G06F8/41 ,  G06F30/3308

Abstract: 本发明属于软件测试技术领域，尤其涉及一种基于差分测试的高级综合工具优化选项缺陷检测方法。本发明通过对随机生成的测试用例代码进行基于代码特征向量余弦相似度的筛选，得到优化空间差异性较大的测试用例代码，对每个通过筛选的测试用例代码进行基于组合覆盖测试的优化选项选择，得到一系列优化选项组合，将得到优化选项插入到测试用例代码中，使用待检测高级综合工具对测试用例代码进行综合，即可对高级综合工具优化选项缺陷进行检测；本发明解决了高级综合工具优化选项缺陷检测过程中，测试用例产生以及优化选项选择等问题，提高了测试用例多样性，扩大了测试空间，避免了冗余的测试，从而提高高级综合工具优化选项缺陷检测效率。

公开(公告)号：CN113268429A

公开(公告)日：2021-08-17

申请号：CN202110670451.6

申请日：2021-06-17

Applicant: 大连理工大学

Inventor： 江贺 ,  王尊 ,  周志德 ,  任志磊

IPC: G06F11/36

Abstract: 本发明属于软件测试技术领域，尤其涉及一种基于多样性导向变异的高级综合工具缺陷检测方法。本发明通过对随机生成的测试用例进行多样性导向变异，得到一系列语句差异性较大的测试用例，以解决在测试高级综合工具过程中高效测试用例产生问题，提高了测试用例多样性，扩大了测试空间，避免了冗余的测试，从而提高高级综合工具缺陷检测效率。

公开(公告)号：CN113010427B

公开(公告)日：2024-12-06

申请号：CN202110301741.3

申请日：2021-03-22

Applicant: 大连理工大学

Inventor： 江贺 ,  王尊 ,  任志磊 ,  周志德

IPC: G06F11/36

Abstract: 本发明属于检测技术以及软件测试技术领域，尤其涉及一种基于等价取模测试的高级综合工具缺陷检测方法。本发明采用了等价取模测试思路，但针对于高级综合工具特点，在等价取模测试在种子代码中删除未执行代码或插入代码的变异操作基础上，增加了对种子代码进行转换的变异操作，并使用仿真器模拟仿真种子代码和变异后代码被待测试高级综合工具综合所得到的两个HDL代码，比较两个HDL代码是否有相同的仿真输出结果来判断待测试高级综合工具是否存在缺陷。本发明方法能够产生有效的高级综合工具测试的测试用例，能够有效检测高级综合工具中存在的缺陷，并能够自动化生成Bug报告，以供开发人员快速修复缺陷。