-
公开(公告)号：CN114791878B
公开(公告)日：2024-07-12
申请号：CN202210348499.X
申请日：2022-04-01
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于可控断言突变的Simulink软件测试方法，包括：生成测试用例组成稳定的测试用例集并对该稳定的测试用例集进行维护，将该测试用例集放入测试用例池中进行规范化检查；分别打开测试用例集的模型并检查其可用性，采用执行路径覆盖法收集模型的覆盖信息，收集模型中每个模块的输入和输出值并保存，根据变量信息合成判断条件，并依据判断条件加入选择模块，根据马尔可夫链蒙特卡罗算法采样合成多样性区域并加入选择模块不执行分支，最终获得新待测用例；将得到的新待测用例存为变体模型，采用差分测试方法比较变体模型与原始模型从而获得软件中存在的缺陷；该方法也可以有效的发现以往方法发现不了的深层次的软件缺陷。
-
公开(公告)号：CN117033189A
公开(公告)日：2023-11-10
申请号：CN202310946923.5
申请日：2023-07-28
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于蜕变关系的FPGA开发工具Debug测试方法，包括：生成测试用例并进行静态规范化检查；在测试用例T进行调试动作转换随机生成n个断点，分别编译运行仿真测试用例T1和测试用例T2，并比较结果；在测试用例T上采用转换机制一或转换机制二对测试用例T进行程序转换获得测试用例TT；分别编译运行仿真测试用例TT1和测试用例TT2，并比较仿真结果；分析仿真结果，当出现编译错误时，则将错误信息写入bug表，如果没有编译错误，则编译该程序并生成二进制电信号，将生成的二进制电信号与原始程序编译后的二进制电信号进行比较，如果产生差异，则将差异信息写入bug表当中，将测试用例文件保存至异常文件夹，如果没有差异则结束比较程序。
-
公开(公告)号：CN116340145A
公开(公告)日：2023-06-27
申请号：CN202310123179.9
申请日：2023-02-16
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于休眠区变异的仿真软件测试方法，包括：将测试用例放入测试用例池进行静态规范化检查，逐个编译测试用例，判读测试用例是否正常编译并生成图形化预处理结果；对完成预处理的测试用例进行时延信息收集，将符合条件的时延拆分为两个新时延；在符合惯性时延条件的新时延后生成新的表达式从而构建休眠区；对休眠区代码进行组合逻辑环路破除操作并生成新的等价变体；采用等效模输入的差分测试方法比较等价变体与测试用例的输出结果以查找编译问题。基于本方法中的测试技术可以生成更多样化的测试变体，在已有的测试条件下已经可以测试出仿真软件的缺陷，保证了在芯片设计及高端制造业领域仿真工具的稳定性。
-
Patent Agency Ranking
公开(公告)号：CN115422042A
公开(公告)日：2022-12-02
申请号：CN202210946320.0
申请日：2022-08-08
Applicant: 大连海事大学
Abstract: 本发明公开了一种基于代码生成的仿真软件测试方法，包括：对预学习的代码文件进行嵌入编码并进行嵌入标记；再对测试用例进行信息提取和特征嵌入；对测试用例进行异构信息编码和语法规则学习生成代码信息；根据生成的代码信息和自然语言规则预测下一个语法规则，并最终得到预测的代码段，将得到的预测代码段组合为预测代码文件；对预测代码文件进行测试。我们使用独特的AST编码器，使生成的代码文件可用性更高技术成熟度更好。并且在生成文件的多样性来看，对于特定语法规则的学习使得我们生成的仿真文件更加准确，这也使得我们的技术对于仿真软件的缺陷有更大的测试空间。
-
公开(公告)号：CN119672352A
公开(公告)日：2025-03-21
申请号：CN202411741395.0
申请日：2024-11-29
Applicant: 大连海事大学
IPC: G06V10/34 , G06V10/42 , G06V10/44 , G06V10/52 , G06V10/80 , G06V20/64 , G06T3/4046 , G06T3/4007 , G06T3/4023
Abstract: 本发明提供一种基于权重点插值的任意倍率点云上采样方法，包括：获取原始点云，并使用权重点插值生成器对原始点云进行插值，得到插值点云；使用距离细化器对插值点云进行细化。本发明在权重点插值阶段，充分考虑了插值点位置的计算，并考虑使用深度学习方法来优化插值点位置分配的权重，并充分考虑了插值后点云的点数和均匀性，利用最远点采样方法对插值点云进行采样；在特征提取阶段，充分考虑了点云的局部特征与全局特征，并结合点云的位置信息与注意力机制对点云进行更好的特征提取。
-
公开(公告)号：CN115470104A
公开(公告)日：2022-12-13
申请号：CN202210983410.7
申请日：2022-08-16
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于等价模变异的仿真软件测试方法，包括：对生成的测试用例进行可用性检查，并判断测试用例是否正常编译，根据路径覆盖收集测试用例的变量数值和时延，根据正常编译的比率生成图形化的预处理结果图；对每一个测试用例插入二分支选择片段；填充二分支选择片段的不执行分支生成新的变体程序；采用马尔可夫链蒙特卡罗法筛选出新变体中复杂度高的变体程序作为等效变体；采用等效模输入方法比较原始测试程序与等效变体之间的区别，从而发现仿真软件存在的缺陷。根据该方法测试出多个有效的仿真软件bug，在一定程度上维护了仿真验证工具的稳定，并且使得仿真验证工具更加的可靠。
-
公开(公告)号：CN116226752A
公开(公告)日：2023-06-06
申请号：CN202310112490.3
申请日：2023-02-14
Applicant: 大连海事大学
IPC: G06F18/2415 , G06F18/214
Abstract: 本发明公开了一种提高JIT缺陷预测性能的方法，包括：获取CLI模型的输入信息，其中输入信息包含由SZZ注释的有噪声标签实例的数据集；采用不平衡数据概率预测组件获得数据集的预测概率矩阵；根据预测概率矩阵使用自信学习组件估计噪声标签和真实标签的联合分布，重新训练自信学习组件中的分类器；基于分类器判断数据集中的缺陷修改是否正确；根据分类器的预测结果，判断未被标签的缺陷修改是否正确。本方法可以使用CLI作为我们的去噪方法，通过将CLI应用于JIT预测，可以获得高质量的训练集，从而使JIT预测模型能够学习到更准确的类别信息，从而提高预测性能。
-
公开(公告)号：CN114791878A
公开(公告)日：2022-07-26
申请号：CN202210348499.X
申请日：2022-04-01
Applicant: 大连海事大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于可控断言突变的Simulink软件测试方法，包括：生成测试用例组成稳定的测试用例集并对该稳定的测试用例集进行维护，将该测试用例集放入测试用例池中进行规范化检查；分别打开测试用例集的模型并检查其可用性，采用执行路径覆盖法收集模型的覆盖信息，收集模型中每个模块的输入和输出值并保存，根据变量信息合成判断条件，并依据判断条件加入选择模块，根据马尔可夫链蒙特卡罗算法采样合成多样性区域并加入选择模块不执行分支，最终获得新待测用例；将得到的新待测用例存为变体模型，采用差分测试方法比较变体模型与原始模型从而获得软件中存在的缺陷；该方法也可以有效的发现以往方法发现不了的深层次的软件缺陷。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.017 seconds)
