公开(公告)号：CN117931648A

公开(公告)日：2024-04-26

申请号：CN202410007064.8

申请日：2024-01-03

Applicant: 大连理工大学 ,  大连海事大学

Inventor： 董萍初 ,  江贺 ,  李晓晨 ,  郭世凯 ,  任志磊

IPC: G06F11/36 ,  G06F18/241

Abstract: 本发明提供了一种智能故障定位通用框架及其应用方法，用于计算机软件的故障定位任务，该框架实现了高性能、高扩展性的计算组件，框架程序可以根据历史故障数据进行学习，调整权重综合多种类型的故障定位方法。本发明能够有效地加快计算机软件测试过程中的调试过程，进行自动化的故障定位，帮助软件开发维护人员在系统开发维护阶段更快地揭示产品故障的根本原因，提高软件质量，减少人工成本。

公开(公告)号：CN113377675A

公开(公告)日：2021-09-10

申请号：CN202110767566.7

申请日：2021-07-07

Applicant: 大连理工大学

Inventor： 任志磊 ,  王笑爽 ,  范晓飞 ,  周奕 ,  江贺

IPC: G06F11/36

Abstract: 本发明属于软件测试领域，涉及一种用于约简触发SMT求解器性能故障的测试用例的技术，具体为一种基于反馈的SMT求解器性能测试用例约简方法。首先验证输入的测试用例是否可以触发SMT求解器性能故障，然后使用二分搜索法通过比较代码覆盖率相似度对触发SMT求解器性能缺陷的测试用例断言数目进行约简，最后通过顺序替换断言中节点的方法简化测试用例中每一个断言的公式嵌套深度，从而生成最小化的测试用例。本发明能够对触发SMT求解器性能故障的测试用例进行有效约简，使用尽可能简单的测试用例充分满足给定的测试目标，从而提高测试效率、降低测试成本，可以帮助开发者更好地找到SMT求解器相关的性能故障，提高求解器的质量。

公开(公告)号：CN113268429A

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

申请号：CN202110670451.6

申请日：2021-06-17

Applicant: 大连理工大学

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

IPC: G06F11/36

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

公开(公告)号：CN113051161A

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

申请号：CN202110301729.2

申请日：2021-03-22

Applicant: 大连理工大学

Inventor： 江贺 ,  李康乐 ,  周志德 ,  任志磊

IPC: G06F11/36 ,  G06F8/71

Abstract: 本发明提供一种基于历史代码变更信息的API误用检测方法，属于软件工程技术领域。该方法首先从代码托管工具上拉取开源项目的历史代码变更信息，提取出API误用相关的修复信息。利用程序修复前后AUG来逆向提取程序变异算子，而不是通过人工设计变异算子，有效且高效地生成大量包含API误用的程序集。API误用集作为测试用例通过测试套件后，分析终止跟踪堆栈中的信息，如果终止堆栈跟踪信息不是目标API误用引起的，或者还包含由其他API误用引起的信息，则说明原始程序中包含API误用。避免了从大量程序中学习正确的API使用模式，提高了API误用检测的效率。

公开(公告)号：CN110704065B

公开(公告)日：2021-04-20

申请号：CN201910952281.3

申请日：2019-10-09

Applicant: 大连理工大学

Inventor： 江贺 ,  唐艺璇 ,  任志磊 ,  孔维强

IPC: G06F8/41 ,  G06F11/36

Abstract: 基于非法程序输入的编译器前端差分测试方法，属于软件编译领域。该方法首先将自动生成的测试用例表示为抽象语法树,即AST树；然后通过循环删除AST树的节点及其子节点构造非法测试用例，将其作为编译器的输入，并收集编译之后的警告信息和错误信息；通过对多个不同版本和不同类别编译器的警告信息和错误信息的比较，收集导致信息不一致和信息缺失的非法测试用例；最后将收集到的非法测试用例进行约减并提交bug报告。本发明能够有效测试编译器前端的的正确性与健壮性，一旦发现了触发编译器前端bug的非法测试用例，在对该测试用例进行约减之后可直接提交给开发者修复。

公开(公告)号：CN109977019B

公开(公告)日：2021-04-20

申请号：CN201910255386.3

申请日：2019-04-01

Applicant: 大连理工大学

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

IPC: G06F11/36

Abstract: 本发明提供了一种基于增量采样的编译器优化序列测试方法，可用于测试C/C++语言的编译器，如开源编译器Gcc、Clang等；亦可根据特定编程语言的编译器特性，对本发明的相关步骤进行适配，从而测试该特定编程语言的编译器。本发明的有益效果：本发明能够有效地对编译器优化序列进行测试，帮助编译器开发者更好地找到编译器优化序列相关的故障，提高编译器的质量。

公开(公告)号：CN110321116A

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

申请号：CN201910522358.3

申请日：2019-06-17

Applicant: 大连理工大学

Inventor： 江贺 ,  高国军 ,  任志磊

IPC: G06F8/30 ,  G06F8/41

Abstract: 本发明提供一种面向编译优化中计算代价约束问题的高效优化方法，是一种针对其计算代价约束问题的解决方案，属于编译器优化领域。该方法首先将编译优化序列进行二进制编码并设计适应度函数，使用交叉操作和选择操作迭代产生新种群，从而获取最优解。在此迭代过程中，使用编译优化序列以及对应的适应度值构造近似代理函数，针对种群中每个个体局部搜索，并使用局部最优解替代该个体，进而提高进化效率。本发明能够有效地为待编译程序选择最优编译优化序列，并且加快迭代速度，提高算法运行效率。

公开(公告)号：CN113268248B

公开(公告)日：2025-01-10

申请号：CN202110630233.X

申请日：2021-06-07

Applicant: 大连理工大学

Inventor： 任志磊 ,  孙世伟 ,  江贺

IPC: G06F8/41 ,  G06F8/70 ,  G06F11/07

Abstract: 本发明属于软件编译领域，具体为一种软件不可重复编译故障定位及补丁自动生成方法，包括：构建编译环境，得到源码包生成工件；判断两次生成工件是否一致；调用编译追踪程序，对源码包的编译过程追踪；不可重复编译故障定位；获取历史修复补丁并自动生成软件源码包的修复补丁；修复软件源码包；修复软件健全性检测。本发明方法可对软件不可重复编译故障进行定位并自动生成修复补丁，避免了以前修复工作中需要开发人员手动定位和修复的繁琐工作，大大的节省了时间。

公开(公告)号：CN113051161B

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

申请号：CN202110301729.2

申请日：2021-03-22

Applicant: 大连理工大学

Inventor： 江贺 ,  李康乐 ,  周志德 ,  任志磊

IPC: G06F11/36 ,  G06F8/71

Abstract: 本发明提供一种基于历史代码变更信息的API误用检测方法，属于软件工程技术领域。该方法首先从代码托管工具上拉取开源项目的历史代码变更信息，提取出API误用相关的修复信息。利用程序修复前后AUG来逆向提取程序变异算子，而不是通过人工设计变异算子，有效且高效地生成大量包含API误用的程序集。API误用集作为测试用例通过测试套件后，分析终止跟踪堆栈中的信息，如果终止堆栈跟踪信息不是目标API误用引起的，或者还包含由其他API误用引起的信息，则说明原始程序中包含API误用。避免了从大量程序中学习正确的API使用模式，提高了API误用检测的效率。

公开(公告)号：CN114385491B

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

申请号：CN202111651709.4

申请日：2021-12-30

Applicant: 大连理工大学

Inventor： 江贺 ,  陈乐 ,  周志德 ,  任志磊

IPC: G06F11/36 ,  G06F8/41 ,  G06N3/0442 ,  G06N3/08

Abstract: 本发明属于软件测试技术领域，尤其涉及一种用于检查JS转译器缺陷的技术，具体为一种基于深度学习的JavaScript转译器缺陷检测方法。本发明方法可以对JavaScript转译器进行缺陷检测，通过深度学习学习测试用例的语法特性并生成新的测试用例，避免了以往检测过程中需要开发人员手动编写测试用例或传统方法生成大量无用的语法盲的测试用例，大大的节省了时间的同时提高了测试效率。