-
公开(公告)号：CN119597654A
公开(公告)日：2025-03-11
申请号：CN202411666853.9
申请日：2024-11-21
Applicant: 大连理工大学
IPC: G06F11/3668
Abstract: 本发明属于软件测试领域，涉及一种基于大语言模型和差分测试的ROS 2缺陷检测方法，可用于自动检测ROS 2中的缺陷。该方法通过结合待测程序的语义信息，构造精确的提示词，从而显著提升大语言模型生成种子的效率和质量。同时，引入多种突变策略以增强种子的多样性，从而提高缺陷检测的全面性。本发明支持对使用不同编程语言实现的相同功能模块进行差分测试，这种差异化测试方法能够有效揭示因实现语言差异而引起的行为不一致，确保不同语言实现之间的功能一致性，进而提升系统的稳定性和可靠性。通过与大语言模型的结合，本发明显著减少了人工干预，降低了缺陷检测的成本，并大幅提高了测试的自动化程度和精度。
-
公开(公告)号：CN113377675B
公开(公告)日：2024-12-06
申请号：CN202110767566.7
申请日：2021-07-07
Applicant: 大连理工大学
IPC: G06F11/36
Abstract: 本发明属于软件测试领域，涉及一种用于约简触发SMT求解器性能故障的测试用例的技术，具体为一种基于反馈的SMT求解器性能测试用例约简方法。首先验证输入的测试用例是否可以触发SMT求解器性能故障，然后使用二分搜索法通过比较代码覆盖率相似度对触发SMT求解器性能缺陷的测试用例断言数目进行约简，最后通过顺序替换断言中节点的方法简化测试用例中每一个断言的公式嵌套深度，从而生成最小化的测试用例。本发明能够对触发SMT求解器性能故障的测试用例进行有效约简，使用尽可能简单的测试用例充分满足给定的测试目标，从而提高测试效率、降低测试成本，可以帮助开发者更好地找到SMT求解器相关的性能故障，提高求解器的质量。
-
公开(公告)号：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使用决策树的检测能力有效解决第二个挑战。
-
-
公开(公告)号：CN105204369A
公开(公告)日：2015-12-30
申请号：CN201510695396.0
申请日：2015-10-21
Applicant: 大连理工大学
IPC: G05B15/02 , G05B19/418
CPC classification number: Y02P90/02 , G05B15/02 , G05B19/418 , G05B2219/2642
Abstract: 本发明公开了一种基于Arduino平台的智能家居系统模型，属于嵌入式计算机领域。该模型以Arduino核心控制单元为基础，由监测模块、温控模块、网络及短信模块、报警模块和显示模块等五个模块组成。监测模块由各种传感器组成，对家居环境中温度、湿度和烟雾浓度等环境变量进行采集。温控模块由温度传感器、加热设备和制冷设备共同组成，通过闭环方式将室内温度控制在恒定范围内。网络及短信模块采用ENC28J60将本模型连接到网络，利用Yeelink实现对智能家居模型的监视和远程控制。报警模块由蜂鸣器、气体传感器和人体感应器组成，实时监测家居环境安全。显示模块包括一块液晶显示屏，对采集到的环境相关信息进行显示。
-
Patent Agency Ranking
公开(公告)号：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: 本发明属于软件测试技术领域，尤其涉及一种基于差分测试的高级综合工具优化选项缺陷检测方法。本发明通过对随机生成的测试用例代码进行基于代码特征向量余弦相似度的筛选，得到优化空间差异性较大的测试用例代码，对每个通过筛选的测试用例代码进行基于组合覆盖测试的优化选项选择，得到一系列优化选项组合，将得到优化选项插入到测试用例代码中，使用待检测高级综合工具对测试用例代码进行综合，即可对高级综合工具优化选项缺陷进行检测；本发明解决了高级综合工具优化选项缺陷检测过程中，测试用例产生以及优化选项选择等问题，提高了测试用例多样性，扩大了测试空间，避免了冗余的测试，从而提高高级综合工具优化选项缺陷检测效率。
-
公开(公告)号：CN117931648A
公开(公告)日：2024-04-26
申请号：CN202410007064.8
申请日：2024-01-03
IPC: G06F11/36 , G06F18/241
Abstract: 本发明提供了一种智能故障定位通用框架及其应用方法，用于计算机软件的故障定位任务，该框架实现了高性能、高扩展性的计算组件，框架程序可以根据历史故障数据进行学习，调整权重综合多种类型的故障定位方法。本发明能够有效地加快计算机软件测试过程中的调试过程，进行自动化的故障定位，帮助软件开发维护人员在系统开发维护阶段更快地揭示产品故障的根本原因，提高软件质量，减少人工成本。
-
公开(公告)号：CN113377675A
公开(公告)日：2021-09-10
申请号：CN202110767566.7
申请日：2021-07-07
Applicant: 大连理工大学
IPC: G06F11/36
Abstract: 本发明属于软件测试领域，涉及一种用于约简触发SMT求解器性能故障的测试用例的技术，具体为一种基于反馈的SMT求解器性能测试用例约简方法。首先验证输入的测试用例是否可以触发SMT求解器性能故障，然后使用二分搜索法通过比较代码覆盖率相似度对触发SMT求解器性能缺陷的测试用例断言数目进行约简，最后通过顺序替换断言中节点的方法简化测试用例中每一个断言的公式嵌套深度，从而生成最小化的测试用例。本发明能够对触发SMT求解器性能故障的测试用例进行有效约简，使用尽可能简单的测试用例充分满足给定的测试目标，从而提高测试效率、降低测试成本，可以帮助开发者更好地找到SMT求解器相关的性能故障，提高求解器的质量。
-
-
-
-
-
-
-
-
Search Results
50
records
(took 0.029 seconds)
