-
公开(公告)号：CN116107876A
公开(公告)日：2023-05-12
申请号：CN202211635827.0
申请日：2022-12-19
Applicant: 大连海事大学
Abstract: 本发明公开了一种基于强化学习实现配置多样化的Simulink编译器测试方法，包括：初始化信息采集；更新配置；特征向量化组件实现CPS模型的特征表示，即表示CPS模型以进行多样性度量；利用强化学习比较新的CPS模型和先前生成的CPS模型之间的特征向量，通过比较，使用强化学习来学习更新配置所带来的奖励，即学习配置以生成不同的CPS模型；利用强化学习学习到的知识推荐配置；根据新的配置生成新的CPS模型，从而生成富有多样性的CPS模型，充分测试Simulink编译器；采用差分测试比较CPS模型在不同仿真模式下的执行轨迹，若执行轨迹相同，则记录该错误信息，完成该CPS模型的测试过程，如果存在差异，则记录差异信息，并认定为发现bug。
-
公开(公告)号：CN116048990A
公开(公告)日：2023-05-02
申请号：CN202310045507.8
申请日：2023-01-30
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于结果回溯的Simulink测试用例约简方法，包括：生成能够体现被测软件中错误或缺陷的测试用例，建立待约简测试用例集，收集用于扩大待约简测试用例集的被测软件第三方真实缺陷反馈案例集；运行待约简测试用例集中的测试用例，依照运行结果对测试用例进行分类；针对运行结果中编译失败的测试用例采取以结果为导向的模块删除等效测试用例约简方案，针对运行结果中成功编译的测试用例采取以结果为导向的数据流等效测试用例约简方案；将与原测试用例集运行结果一致的约简后测试用例集进行汇总，并记录诱发原因报告、上传至被测软件官方技术支持；收集被测软件官方技术支持的意见和建议，优化迭代本方法。
-
公开(公告)号：CN114896144A
公开(公告)日：2022-08-12
申请号：CN202210451298.2
申请日：2022-04-26
Applicant: 大连海事大学
Abstract: 本发明公开了一种基于知识库的CPS模型等价模输入变异测试方法，包括：采用Simulink软件标记测试用例中的所有种类模块的分步区域；建立深度学习模型；对测试用例进行变异时包括基础变异和变异操作；对Simulink软件进行测试，对变体测试用例与其原Simulink测试用例进行差分测试，编译和运行测试用例，获取测试用例中每个模块的输入输出值，对比变体测试用例与原Simulink测试用例的所有输入输出值，如果产生差异，则记录该差异信息。该方法增加了变体测试用例的多样性和随机性；通过嵌套僵尸区域添加大量测试用例模块的方法解决了变体测试用例与原Simulink测试用例差异性过小的问题。
-
公开(公告)号：CN113378178A
公开(公告)日：2021-09-10
申请号：CN202110687688.5
申请日：2021-06-21
Applicant: 大连海事大学
Abstract: 本发明公开了一种基于深度学习的图自信学习软件漏洞检测方法，包括：对源代码进行构图：将唯一的单词表示为顶点，将单词之间的协同表示为边来构造代码的图，获取每个图的连接的边的初始特征以及每个节点的初始特征值；构建深度置信网络模型，将转化为图结构的数据集输入至该模型中，找出数据集中是噪音的样本，把噪音样本从数据集中删除；使用门控图神经网络聚集和传递代码图中相邻代码节点的信息，学习代码节点的特征并进行图级预测从而对软件代码漏洞进行检测。该方法通过深度学习的图自信学习软件漏洞检测方法来训练识别软件漏洞模型，在检测软件漏洞方面取得了良好的效果，提高了在软件性能问题。
-
-
Patent Agency Ranking
公开(公告)号：CN109451037B
公开(公告)日：2021-06-08
申请号：CN201811481963.2
申请日：2018-12-05
Applicant: 大连海事大学
Abstract: 本发明公开了一种CWS容错问题中的错误修复策略的选择方法，包括步骤为：执行某个CWS，执行过程中某个Web服务出现错误时，将该CWS提交给错误修复策略选择算法模块进行处理；错误修复策略选择模块对出错的Web服务进行错误修复策略的选择；获取策略选择算法模块反馈的结果；以及使用反馈结果中的修复策略对出错的Web服务进行修复。通过采用本发明所述的策略选择方法，当需要执行多个CWS，或者CWS中的服务数量较多，出错Web服务出现的概率很高时，能够更快更准地选择最合适的错误修复策略。
-
公开(公告)号：CN120068084A
公开(公告)日：2025-05-30
申请号：CN202510070419.2
申请日：2025-01-16
Applicant: 大连海事大学
IPC: G06F21/57 , G06N3/045 , G06F18/214 , G06F18/213 , G06F18/22 , G06F18/25
Abstract: 本发明提供了一种利用多重注意力机制进行代码漏洞修复检测的方法，包括如下步骤：S1、构建漏洞修复数据集；用CodeBERT对漏洞修复数据集中的代码更改提取嵌入，通过特征提取器获得代码更改的特征；S2、通过计算代码更改的特征之间的相似度，划分出补丁内容相关特征和补丁内容无关特征；S3、得到自注意力组件处理后的特征；S4、将自注意力组件处理后的补丁无关和补丁相关特征映射到同一纬度，输入到匹配注意力组件中进行联合计算，获得注意力权重，通过注意力权重进行加权获得预测结果。本发明引入了多重注意力机制，通过自注意力机制捕获代码片段的全局依赖关系，通过匹配注意力机制分析代码修改前后的差异，进而提高了对漏洞修复的识别精度。
-
公开(公告)号：CN118069510A
公开(公告)日：2024-05-24
申请号：CN202410198676.X
申请日：2024-02-22
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于差分测试的Simulink嵌入式代码生成缺陷检测方法，包括：随机生成Simulink模型，从公开可用的Simulink存储库中收集可用的Simulink模型并组成种子Simulink模型池；对种子Simulink模型进行预处理并构建代表种子Simulink模型的有向图；生成等价变体模型，并使用嵌入式代码生成工具生成模型对应的等价嵌入式代码；采用差分测试检测Simulink嵌入式代码生成中的缺陷。该方法对Simulink模块之间连接的紧密程度进行分区，能够生成更多样复杂的触发缺陷的Simulink模型，从而准确测试嵌入式代码生成过程。
-
公开(公告)号：CN117971695A
公开(公告)日：2024-05-03
申请号：CN202410209824.3
申请日：2024-02-26
Applicant: 大连海事大学
IPC: G06F11/36 , G06F30/3308
Abstract: 本发明公开了一种基于差分测试的仿真软件测试方法，包括：生成测试用例组成测试用例池并进行静态规范化检查，获取全部可用的测试用例组成测试用例池；随机选择一种程序转变机制对测试用例P进行程序转换获得测试用例记为PP，在初始调试动作A上随机选择一种调试动作转变机制对将调试动作A进行调试动作转换，得到的调试动作AA，利用差分测试分析仿真结果：当出现编译错误时，则将错误信息写入bug表，如果没有编译错误，则编译该程序并生成二进制电信号，将生成的二进制电信号与原始程序编译后的二进制电信号进行比较，如果产生差异，则将差异信息写入bug表当中，将测试用例文件保存至异常文件夹，如果没有差异则结束比较程序。
-
公开(公告)号：CN117891747A
公开(公告)日：2024-04-16
申请号：CN202410188669.1
申请日：2024-02-20
Applicant: 大连海事大学
IPC: G06F11/36 , G06N3/088 , G06F16/2455 , G06F16/27
Abstract: 本发明公开了一种基于文本关键字提取的云端测试用例获取方法，包括：生成一批包含特定关键字信息的测试用例集，收集一批以特定关键字信息为主要测试对象的测试用例用于扩充测试用例集；对测试用例集中的测试用例具体功能信息、测试用例模块名称信息以及代码关键字信息进行TF‑IDF算法划分，并依据划分结果对每个测试用例进行标记，生成带标记的测试用例集；将带标记的测试用例集按照标记归类存储至云端数据库；接收来自用户的文本信息，采用TF‑IDF算法提取所述文本信息中的关键字；将关键字输入至云端数据库进行查询，获取带标记的测试用例集中关键字与标记相符的测试用例。
-
-
-
-
-
-
-
-
-
Search Results
75
records
(took 0.02 seconds)
