公开(公告)号：CN118094562A

公开(公告)日：2024-05-28

申请号：CN202410293494.0

申请日：2024-03-14

Applicant: 大连海事大学

Inventor： 李辉 ,  赵凌霄 ,  郭世凯 ,  雷雅彬 ,  李晓晨 ,  江贺

IPC: G06F21/57 ,  G06F18/213 ,  G06F18/24 ,  G06N3/042 ,  G06N3/0499 ,  G06N3/048 ,  G06N3/084

Abstract: 本发明提供了一种基于图神经网络的代码漏洞检测方法，包括如下步骤：S1、获取数据集，将数据集中的代码片段表示为抽象语法树，利用抽象语法树生成控制流图，得到控制流图中的节点和邻接矩阵；S2、将节点和邻接矩阵图嵌入图嵌入到图神经网络模型中，利用图神经网络模型将节点信息和邻接矩阵信息传递给相邻节点，从而利用信息扩散机制来学习图结构数据，根据节点的相连性更新节点状态，得到代码片段的矩阵向量；S3、训练一个多层感知器模型，将矩阵向量输入至MLP模型中，得到预测分数，将预测分数与设定好的阈值相比较来确定代码片段是否有漏洞。本发明基于图的表征相对于序列或树能够显式表征更多维度的代码特征，能够提高软件的开发效率和质量。

公开(公告)号：CN117827682A

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

申请号：CN202410188671.9

申请日：2024-02-20

Applicant: 大连海事大学

Inventor： 郭世凯 ,  王子轩 ,  曾辉 ,  杜娜 ,  张乐欢 ,  任虹燕 ,  王一安 ,  苗煜杨 ,  丰晴 ,  谢瑞华 ,  曹沐园 ,  李晓晨 ,  江贺

IPC: G06F11/36 ,  G06F18/2411 ,  G06N20/10

Abstract: 本发明公开了一种基于支持向量机的测试用例缺陷预测及分类方法，包括：形成测试用例缺陷集，统计测试用例缺陷集中测试用例的模块信息，搭建待测软件测试用例缺陷模块信息矩阵；收集一批待测软件上可正常运行的普通测试用例集，统计普通测试用例集中测试用例的模块信息，搭建待测软件普通测试用例模块信息矩阵；将测试用例缺陷模块信息矩阵与普通测试用例模块信息矩阵按行打乱排序，形成待测软件测试用例矩阵；将待测软件测试用例矩阵分为训练集、测试集与验证集；将训练集输入支持向量机分类模型中训练，得到训练好的支持向量机分类模型；将验证集输入至训练好的支持向量机分类模型进行预测，并将预测分类结果与验证集中结果对比，计算正确率。

公开(公告)号：CN116860594A

公开(公告)日：2023-10-10

申请号：CN202310045476.6

申请日：2023-01-30

Applicant: 大连海事大学

Inventor： 郭世凯 ,  王子轩 ,  张小雪 ,  王一安 ,  杜娜 ,  孙悦琪 ,  李晓晨 ,  江贺

IPC: G06F11/36

Abstract: 本发明公开了一种基于功能等效的Simulink测试方法，于包括：采用随机生成方法批量生成测试用例，对运行成功的测试用例建立测试用例集，收集用于扩大测试用例集的被测软件第三方用例模型；对测试用例集中的模块进行识别获得识别功能模块，对可进行功能拆解、重组以及换位的模块或模块组进行标记，收集覆盖信息并判断模块是否属于信号活路径上；随机选择一个测试用例集中的测试用例进行复制操作，在该测试用例信号活路经中随机选择几个信号线位置插入信号选择模块，并保证原路径畅通；对所述信号选择模块未使用端进行变异操作，对识别功能模块进行变异操作；将经过变异操作的测试用例与复制前的测试用例进行差分测试，同时记录出现的错误。

公开(公告)号：CN117931676A

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

申请号：CN202410170177.X

申请日：2024-02-06

Applicant: 大连海事大学

Inventor： 李辉 ,  赵凌霄 ,  郭世凯 ,  李晓晨 ,  江贺

IPC: G06F11/36 ,  G06F21/57 ,  G06F40/30 ,  G06F16/35 ,  G06F18/15 ,  G06F18/22 ,  G06N3/0455 ,  G06N3/0499 ,  G06N3/084 ,  G06N3/048

Abstract: 本发明提供了一种基于语义感知的补丁正确性评估方法，涉及计算机软件技术领域，包括如下步骤：S1、建立缺陷数据集，在缺陷数据集上收集并生成补丁，同时对缺陷数据集内的缺陷和补丁进行词嵌入，得到预处理后的数据集；S2、对预处理后的数据集中的缺陷和补丁进行特征提取；多头注意力层来转化为向量或矩阵形式的分布式表示，残差和归一化层调整注意力层输出信息以提取缺陷和补丁描述信息；S3、对S2向量或矩阵化后的缺陷和补丁进行余弦相似度计算，得到缺陷和补丁之间的相似度得分；S4、根据相似度得分判断补丁是正确还是错误。本发明提供的技术方案利用自注意力机制可以捕获长距离依赖关系，大大缓解了传统注意力机制的长距离依赖问题。

公开(公告)号：CN116226752A

公开(公告)日：2023-06-06

申请号：CN202310112490.3

申请日：2023-02-14

Applicant: 大连海事大学

Inventor： 李辉 ,  戚学欣 ,  徐志豪 ,  郭世凯 ,  李晓晨 ,  江贺

IPC: G06F18/2415 ,  G06F18/214

Abstract: 本发明公开了一种提高JIT缺陷预测性能的方法，包括：获取CLI模型的输入信息，其中输入信息包含由SZZ注释的有噪声标签实例的数据集；采用不平衡数据概率预测组件获得数据集的预测概率矩阵；根据预测概率矩阵使用自信学习组件估计噪声标签和真实标签的联合分布，重新训练自信学习组件中的分类器；基于分类器判断数据集中的缺陷修改是否正确；根据分类器的预测结果，判断未被标签的缺陷修改是否正确。本方法可以使用CLI作为我们的去噪方法，通过将CLI应用于JIT预测，可以获得高质量的训练集，从而使JIT预测模型能够学习到更准确的类别信息，从而提高预测性能。

公开(公告)号：CN118069510A

公开(公告)日：2024-05-24

申请号：CN202410198676.X

申请日：2024-02-22

Applicant: 大连海事大学

Inventor： 郭世凯 ,  刘佳雪 ,  曾辉 ,  李晓晨 ,  江贺

IPC: G06F11/36

Abstract: 本发明公开了一种基于差分测试的Simulink嵌入式代码生成缺陷检测方法，包括：随机生成Simulink模型，从公开可用的Simulink存储库中收集可用的Simulink模型并组成种子Simulink模型池；对种子Simulink模型进行预处理并构建代表种子Simulink模型的有向图；生成等价变体模型，并使用嵌入式代码生成工具生成模型对应的等价嵌入式代码；采用差分测试检测Simulink嵌入式代码生成中的缺陷。该方法对Simulink模块之间连接的紧密程度进行分区，能够生成更多样复杂的触发缺陷的Simulink模型，从而准确测试嵌入式代码生成过程。

公开(公告)号：CN117971695A

公开(公告)日：2024-05-03

申请号：CN202410209824.3

申请日：2024-02-26

Applicant: 大连海事大学

Inventor： 郭世凯 ,  王晓雨 ,  陈文卓 ,  李晓晨 ,  江贺

IPC: G06F11/36 ,  G06F30/3308

Abstract: 本发明公开了一种基于差分测试的仿真软件测试方法，包括：生成测试用例组成测试用例池并进行静态规范化检查，获取全部可用的测试用例组成测试用例池；随机选择一种程序转变机制对测试用例P进行程序转换获得测试用例记为PP，在初始调试动作A上随机选择一种调试动作转变机制对将调试动作A进行调试动作转换，得到的调试动作AA，利用差分测试分析仿真结果：当出现编译错误时，则将错误信息写入bug表，如果没有编译错误，则编译该程序并生成二进制电信号，将生成的二进制电信号与原始程序编译后的二进制电信号进行比较，如果产生差异，则将差异信息写入bug表当中，将测试用例文件保存至异常文件夹，如果没有差异则结束比较程序。

公开(公告)号：CN117891747A

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

申请号：CN202410188669.1

申请日：2024-02-20

Applicant: 大连海事大学

Inventor： 郭世凯 ,  王子轩 ,  刘昭维 ,  张乐欢 ,  杜娜 ,  苗煜杨 ,  丰晴 ,  谢瑞华 ,  曹沐园 ,  李晓晨 ,  江贺

IPC: G06F11/36 ,  G06N3/088 ,  G06F16/2455 ,  G06F16/27

Abstract: 本发明公开了一种基于文本关键字提取的云端测试用例获取方法，包括：生成一批包含特定关键字信息的测试用例集，收集一批以特定关键字信息为主要测试对象的测试用例用于扩充测试用例集；对测试用例集中的测试用例具体功能信息、测试用例模块名称信息以及代码关键字信息进行TF‑IDF算法划分，并依据划分结果对每个测试用例进行标记，生成带标记的测试用例集；将带标记的测试用例集按照标记归类存储至云端数据库；接收来自用户的文本信息，采用TF‑IDF算法提取所述文本信息中的关键字；将关键字输入至云端数据库进行查询，获取带标记的测试用例集中关键字与标记相符的测试用例。

公开(公告)号：CN117033189A

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

申请号：CN202310946923.5

申请日：2023-07-28

Applicant: 大连海事大学

Inventor： 郭世凯 ,  王晓雨 ,  徐志豪 ,  刘佳雪 ,  李辉 ,  李晓晨 ,  江贺

IPC: G06F11/36

Abstract: 本发明公开了一种基于蜕变关系的FPGA开发工具Debug测试方法，包括：生成测试用例并进行静态规范化检查；在测试用例T进行调试动作转换随机生成n个断点，分别编译运行仿真测试用例T1和测试用例T2，并比较结果；在测试用例T上采用转换机制一或转换机制二对测试用例T进行程序转换获得测试用例TT；分别编译运行仿真测试用例TT1和测试用例TT2，并比较仿真结果；分析仿真结果，当出现编译错误时，则将错误信息写入bug表，如果没有编译错误，则编译该程序并生成二进制电信号，将生成的二进制电信号与原始程序编译后的二进制电信号进行比较，如果产生差异，则将差异信息写入bug表当中，将测试用例文件保存至异常文件夹，如果没有差异则结束比较程序。

公开(公告)号：CN116610570A

公开(公告)日：2023-08-18

申请号：CN202310568700.X

申请日：2023-05-19

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

Inventor： 刘昊 ,  李晓晨 ,  郭世凯 ,  江贺

IPC: G06F11/36 ,  G06F18/241

Abstract: 本发明提供了一种基于蜕变测试的计算机辅助工程软件测试方法，可用于测试基于计算机辅助工程的工业软件，如开源项目OpenFOAM、FDS等；亦可根据特定工业软件的用例特征及领域知识，对本发明的相关步骤进行适配，从而对该特定工业软件进行自动化黑盒测试。本发明能够有效地对基于计算机辅助工程的工业软件进行自动化测试，帮助工业软件开发者在系统测试阶段更好地揭示产品故障，提高软件质量，降低软件开发成本。