-
公开(公告)号:CN118642957A
公开(公告)日:2024-09-13
申请号:CN202410776410.9
申请日:2024-06-17
Applicant: 大连理工大学
Abstract: 本发明属于软件测试领域,涉及一种基于消息传递神经网络的深度学习编译器测试加速方法,可用于优化深度学习编译器测试用例的执行顺序,从而提高测试效率。本方法由数据预处理、数据集构建、预测器和调度器四个模块组成。数据预处理模块负责从深度学习模型中提取算子特征、边特征及结构特征,并转换为消息传递神经网络的输入;数据集构建模块利用NNSmith等模型生成工具,生成大量的深度学习模型,使用数据预处理模块提取每个模型的特征,并判断每个模型是否触发了目标编译器的错误;预测器负责利用模型的特征信息预测一个模型是否会引发目标编译器的错误;调度器模块负责对测试用例集合中的模型进行排序,决定将哪些模型输入给目标编译器。
-
公开(公告)号:CN114153721B
公开(公告)日:2024-06-14
申请号:CN202111352689.0
申请日:2021-11-16
Applicant: 大连理工大学
IPC: G06F11/36
Abstract: 本发明提供一种基于决策树算法的API误用检测方法,属于软件工程技术领域。API复用已有的软件框架或类库,可有效地提高软件开发效率。若违反了这些规约就会造成API误用,目前检测技术面临两个方面挑战:1)难以获取API使用规约;2)难以同时检测多种不同类型的API误用。该方法首先从代码托管工具上收集开源项目,从中提取出API使用示例。将API使用示例转换为AUG图,从图中挖掘API使用规约,有效解决第一个挑战。基于API使用规约信息构建API使用决策树,通过融入剪枝策略提高API使用决策树的泛化能力。在误用检测阶段,采用粗粒度和细粒度相结合的方式,提高API使用决策树的检测能力有效解决第二个挑战。
-
公开(公告)号:CN117093338A
公开(公告)日:2023-11-21
申请号:CN202310727571.4
申请日:2023-06-19
Applicant: 大连理工大学
IPC: G06F9/48 , G06N3/0464 , G06N3/086 , G06N3/126 , G06N5/04
Abstract: 本发明提供一种基于代理模型和遗传算法的CNN算子间调度方法,属于深度学习模型推理优化领域。本发明首先根据被调度的CNN模型,获得CNN中的算子和数据依赖关系等信息;为遗传算法设计适应度函数并使用代理模型,以避免在遗传算法运行过程中,测量解的适应度时,对CNN推理时延在硬件上的实际测量,从而极大缩短了遗传算法的运行时间开销;使用基于代理模型的遗传算法,搜索出一系列能减少CNN推理时延的调度。本方法搜索得到的调度可在GPU上实际部署运行,并获得其真实推理时延。
-
-
公开(公告)号:CN113064821B
公开(公告)日:2025-01-17
申请号:CN202110331114.4
申请日:2021-03-29
Applicant: 大连理工大学
IPC: G06F11/362 , G06F8/41 , G06N3/126
Abstract: 本发明提供了一种基于搜索的编译器优化序列故障定位方法,可用于C/C++语言的编译器优化序列故障定位,如开源编译器LLVM等;亦可根据特定编程语言的编译器特性,对本发明的相关步骤进行适配,从而定位该特定编程语言的编译器优化序列故障。本发明能够有效地对编译器优化序列故障进行分析定位,从而帮助编译器开发者更好、更快地理解与修复编译器优化序列相关的故障,提高编译器的质量。
-
公开(公告)号:CN114385492B
公开(公告)日:2024-07-12
申请号:CN202111651762.4
申请日:2021-12-30
Applicant: 大连理工大学
IPC: G06F11/36 , G06F8/41 , G06F30/3308
Abstract: 本发明属于软件测试技术领域,尤其涉及一种基于差分测试的高级综合工具优化选项缺陷检测方法。本发明通过对随机生成的测试用例代码进行基于代码特征向量余弦相似度的筛选,得到优化空间差异性较大的测试用例代码,对每个通过筛选的测试用例代码进行基于组合覆盖测试的优化选项选择,得到一系列优化选项组合,将得到优化选项插入到测试用例代码中,使用待检测高级综合工具对测试用例代码进行综合,即可对高级综合工具优化选项缺陷进行检测;本发明解决了高级综合工具优化选项缺陷检测过程中,测试用例产生以及优化选项选择等问题,提高了测试用例多样性,扩大了测试空间,避免了冗余的测试,从而提高高级综合工具优化选项缺陷检测效率。
-
公开(公告)号:CN116775243A
公开(公告)日:2023-09-19
申请号:CN202310730568.8
申请日:2023-06-19
Applicant: 大连理工大学
IPC: G06F9/48 , G06N3/0464 , G06N3/126 , G06N5/04
Abstract: 本发明提供一种基于遗传算法的多目标CNN算子间调度方法,属于深度学习模型推理优化领域。本发明首先根据被调度的CNN模型,获得CNN计算图;为遗传算法设计适应度函数、帕累托支配关系定义并设定各项超参数;然后使用遗传算法对调度空间中的解进行多目标的优化,最终得到若干个帕累托解集;最后,本方法搜索得到的调度可在GPU上实际部署运行。本发明能够对CNN进行多目标的算子间调度,即同时考虑对PMF和推理时延的优化,最终给出搜索到的帕累托解集。
-
-
公开(公告)号:CN113051161A
公开(公告)日:2021-06-29
申请号:CN202110301729.2
申请日:2021-03-22
Applicant: 大连理工大学
Abstract: 本发明提供一种基于历史代码变更信息的API误用检测方法,属于软件工程技术领域。该方法首先从代码托管工具上拉取开源项目的历史代码变更信息,提取出API误用相关的修复信息。利用程序修复前后AUG来逆向提取程序变异算子,而不是通过人工设计变异算子,有效且高效地生成大量包含API误用的程序集。API误用集作为测试用例通过测试套件后,分析终止跟踪堆栈中的信息,如果终止堆栈跟踪信息不是目标API误用引起的,或者还包含由其他API误用引起的信息,则说明原始程序中包含API误用。避免了从大量程序中学习正确的API使用模式,提高了API误用检测的效率。
-
-
-
-
-
-
-
-