公开(公告)号：CN114911694B

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

申请号：CN202210349093.3

申请日：2022-04-01

Applicant: 大连海事大学

Inventor： 郭世凯 ,  成烘仪 ,  王富强 ,  李辉 ,  陈荣

IPC: G06F11/36 ,  G06N3/006 ,  G06N7/01

Abstract: 本发明公开了一种基于等价优化变异策略的simulink代码生成工具测试方法，包括：采集并生成测试用例；采用PSO粒子群算法对测试用例库的模型进行优化；对筛选后得到的种子模型进行参数配置和链接时优化得到重构模型，链接时优化模型结构重构过程：利用Simulink代码生成工具为重构模型和原种子模型生成对应目标异构代码；采用差分测试比较重构模型、原种子模型和对应异构c语言代码文件，执行程序的执行轨迹，对种子模型和待测用例进行编译运行，若编译出现错误，则记录该错误信息，分别比较种子模型和待测用例的普通模式和SIL模式的输入输出值，如果三者等价，则完成该用例的测试过程，如果存在差异，并认定为发现bug。

公开(公告)号：CN114911694A

公开(公告)日：2022-08-16

申请号：CN202210349093.3

申请日：2022-04-01

Applicant: 大连海事大学

Inventor： 郭世凯 ,  成烘仪 ,  王富强 ,  李辉 ,  陈荣

IPC: G06F11/36 ,  G06N3/00 ,  G06N7/00

Abstract: 本发明公开了一种基于等价优化变异策略的simulink代码生成工具测试方法，包括：采集并生成测试用例；采用PSO粒子群算法对测试用例库的模型进行优化；对筛选后得到的种子模型进行参数配置和链接时优化得到重构模型，链接时优化模型结构重构过程：利用Simulink代码生成工具为重构模型和原种子模型生成对应目标异构代码；采用差分测试比较重构模型、原种子模型和对应异构c语言代码文件，执行程序的执行轨迹，对种子模型和待测用例进行编译运行，若编译出现错误，则记录该错误信息，分别比较种子模型和待测用例的普通模式和SIL模式的输入输出值，如果三者等价，则完成该用例的测试过程，如果存在差异，并认定为发现bug。