-
公开(公告)号：CN117743803A
公开(公告)日：2024-03-22
申请号：CN202410011643.X
申请日：2024-01-04
Applicant: 大连理工大学
IPC: G06F18/20 , G06F18/213 , G06F18/241 , G06F8/30
Abstract: 本发明属于软件缺陷预测技术领域，提出了一种基于进化特征构建的工作量感知即时缺陷预测方法。该方法主要通过多目标遗传优化算法，以模型预测的准确率与所需的工作量作为目标函数，进行机器学习模型的特征构建，并将构建好的特征应用在机器学习模型上。本发明将工作量感知与特征工程相结合，从而更加灵活地应用在不同的模型上。
-
公开(公告)号：CN113377676A
公开(公告)日：2021-09-10
申请号：CN202110767573.7
申请日：2021-07-07
Applicant: 大连理工大学
Abstract: 本发明属于软件测试领域，涉及一种用于自动生成检测求解器性能缺陷的测试用例的技术，具体为一种基于多目标遗传算法的求解器性能缺陷检测方法。本发明通过使用多目标搜索算法，最大化目标求解器与基准求解器的运行时间差、目标求解器的代码覆盖率来增加搜索过程中的引导信息，缩小发现性能缺陷所需的时间；通过最小化测试用例的复杂度，防止测试用例的体积过度膨胀；同时使用动态追踪文件来计算测试用例间的相似性，保证生成结果集的多样性，使得算法可以寻找到更多的潜在的性能缺陷。本方法适用于求解器开发的每个版本，可以帮助开发人员发现求解器开发过程中的性能缺陷，有效减少由于求解器自身性能缺陷导致在使用过程中出现的不可遇见的错误。
-
公开(公告)号：CN113268248A
公开(公告)日：2021-08-17
申请号：CN202110630233.X
申请日：2021-06-07
Applicant: 大连理工大学
Abstract: 本发明属于软件编译领域，具体为一种软件不可重复编译故障定位及补丁自动生成方法，包括：构建编译环境，得到源码包生成工件；判断两次生成工件是否一致；调用编译追踪程序，对源码包的编译过程追踪；不可重复编译故障定位；获取历史修复补丁并自动生成软件源码包的修复补丁；修复软件源码包；修复软件健全性检测。本发明方法可对软件不可重复编译故障进行定位并自动生成修复补丁，避免了以前修复工作中需要开发人员手动定位和修复的繁琐工作，大大的节省了时间。
-
公开(公告)号：CN113095466A
公开(公告)日：2021-07-09
申请号：CN202110388054.X
申请日：2021-04-12
Applicant: 大连理工大学
Abstract: 本发明提供一种基于元学习模型的可满足性模理论求解器的算法，属于软件工程领域。该方法首先使用多目标演化算法生成多样性SMT实例；再通过元学习模型自动学习SMT实例特征和求解器之间的映射关系以形成元知识库；最终当输入新的SMT实例时，通过已学习到的先验知识预测适合该实例的最佳SMT求解器。本发明生成的SMT实例可以有效分析不同求解器的优势和局限性，并通过学习不同求解器的性能差异，自动且高精度地为给定SMT实例选择一个性能最佳的SMT求解器，极大的节省了时间和资源。
-
公开(公告)号：CN113010427A
公开(公告)日：2021-06-22
申请号：CN202110301741.3
申请日：2021-03-22
Applicant: 大连理工大学
IPC: G06F11/36
Abstract: 本发明属于检测技术以及软件测试技术领域，尤其涉及一种基于等价取模测试的高级综合工具缺陷检测方法。本发明采用了等价取模测试思路，但针对于高级综合工具特点，在等价取模测试在种子代码中删除未执行代码或插入代码的变异操作基础上，增加了对种子代码进行转换的变异操作，并使用仿真器模拟仿真种子代码和变异后代码被待测试高级综合工具综合所得到的两个HDL代码，比较两个HDL代码是否有相同的仿真输出结果来判断待测试高级综合工具是否存在缺陷。本发明方法能够产生有效的高级综合工具测试的测试用例，能够有效检测高级综合工具中存在的缺陷，并能够自动化生成Bug报告，以供开发人员快速修复缺陷。
-
Patent Agency Ranking
公开(公告)号：CN110321116B
公开(公告)日：2021-04-20
申请号：CN201910522358.3
申请日：2019-06-17
Applicant: 大连理工大学
Abstract: 本发明提供一种面向编译优化中计算代价约束问题的高效优化方法，是一种针对其计算代价约束问题的解决方案，属于编译器优化领域。该方法首先将编译优化序列进行二进制编码并设计适应度函数，使用交叉操作和选择操作迭代产生新种群，从而获取最优解。在此迭代过程中，使用编译优化序列以及对应的适应度值构造近似代理函数，针对种群中每个个体局部搜索，并使用局部最优解替代该个体，进而提高进化效率。本发明能够有效地为待编译程序选择最优编译优化序列，并且加快迭代速度，提高算法运行效率。
-
公开(公告)号：CN120010852A
公开(公告)日：2025-05-16
申请号：CN202510077454.7
申请日：2025-01-17
Applicant: 大连理工大学 , 信华信技术股份有限公司
Abstract: 本发明属于智能软件工程的数据增强方法领域，尤其涉及一种基于AST抽象语法树同义替换的代码大模型等价数据增强方法。首先进行数据筛选和静态语法分析检查，之后通过AST抽象语法树提取其代码所含变量名、函数名、类名建立词库进行筛选，在此基础上采用四种等价替换方法进行数据增强，最终将其与原始数据合并，获得最后的增强代码数据集。本发明可用于自动增强代码大模型训练语料，以微调提升大语言模型在垂直领域的性能。
-
公开(公告)号：CN119669073A
公开(公告)日：2025-03-21
申请号：CN202411745548.9
申请日：2024-12-02
Applicant: 大连理工大学
IPC: G06F11/3668
Abstract: 本发明属于软件测试领域，涉及一种基于大语言模型和覆盖率引导的ROS 2软件包缺陷检测方法。该方法通过从待测程序中提取函数信息，利用正则表达式解析出函数的定义和参数特征等信息；预先设置与待测程序相关的验证标准，并从中提取物理约束以及文档约束；将提取的函数信息、物理约束和文档约束整合为精确信息，以填充到提示词模板中并输入到大语言模型，生成初始测试种子；引入突变策略，对生成的种子进行多样化的突变操作，以生成具有更高多样性的测试用例；采用覆盖率引导机制对测试用例进行优化，通过实时监测覆盖率，指导生成新的测试用例；通过缺陷验证机制，能够检测程序崩溃等显性缺陷，并识别违反物理约束或违反文档约束等隐性缺陷。
-
公开(公告)号：CN113010427B
公开(公告)日：2024-12-06
申请号：CN202110301741.3
申请日：2021-03-22
Applicant: 大连理工大学
IPC: G06F11/36
Abstract: 本发明属于检测技术以及软件测试技术领域，尤其涉及一种基于等价取模测试的高级综合工具缺陷检测方法。本发明采用了等价取模测试思路，但针对于高级综合工具特点，在等价取模测试在种子代码中删除未执行代码或插入代码的变异操作基础上，增加了对种子代码进行转换的变异操作，并使用仿真器模拟仿真种子代码和变异后代码被待测试高级综合工具综合所得到的两个HDL代码，比较两个HDL代码是否有相同的仿真输出结果来判断待测试高级综合工具是否存在缺陷。本发明方法能够产生有效的高级综合工具测试的测试用例，能够有效检测高级综合工具中存在的缺陷，并能够自动化生成Bug报告，以供开发人员快速修复缺陷。
-
公开(公告)号：CN114880218B
公开(公告)日：2024-07-30
申请号：CN202210443923.9
申请日：2022-04-26
Applicant: 大连理工大学
Abstract: 本发明属于软件测试领域，具体为一种基于搜索的SMT求解器故障定位方法。首先使用遗传算法搜索变异规则列表对测试程序进行变异，得到一组不触发故障的变异测试程序。然后，使用基于频谱的方法通过比较触发故障的测试程序和不触发故障的变异测试程序的执行路径对可疑文件进行排名，得到文件排名列表。本发明能够对SMT求解器的故障进行定位分析，从而可以帮助开发者更快地找到SMT求解器的故障原因，方便了调试工作，提高了求解器的质量。
-
-
-
-
-
-
-
-
-
Search Results
50
records
(took 0.02 seconds)
