申请/专利权人：大连海事大学

申请日：2022-04-01

公开（公告）日：2024-06-28

公开（公告）号：CN114911694B

主分类号：G06F11/36

分类号：G06F11/36;G06N3/006;G06N7/01

优先权：

专利状态码：有效-授权

法律状态：2024.06.28#授权;2022.09.02#实质审查的生效;2022.08.16#公开

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

主权项：1.一种基于等价优化变异策略的simulink代码生成工具测试方法，其特征在于包括：采集并生成测试用例筛选种子模型；采用PSO粒子群算法对测试用例库的模型进行优化；对筛选后得到的种子模型进行参数配置和链接时优化得到重构模型，将该重构模型作为新待测用例；对新待测用例参数进行配置：按次序加载一个种子模型，并将该模型参数信息和配置信息输入到参数配置组件，参数配置组件采用PSO粒子群算法，搜索可用的模型参数组合，并将得到的参数序列作为模型新的参数配置，将获取新配置的用例作为一组待测用例；链接时优化模型结构重构过程：按照次序加载一个种子模型，并将模型输入到LTO重构组件，该LTO重构组件遍历种子模型中的模块信息，并进行随机采样，将采样得到的模块组合成为独立的原子子系统，同时检查是否包含代数环，如果不包含则完成结构重构过程得到新待测用例，如果包含则删除该模型并重复LTO模型重构过程，直到获取到新待测用例或者达到最大重构次数；利用Simulink代码生成工具为重构模型和原种子模型生成对应目标异构代码；采用差分测试比较重构模型、原种子模型和对应异构c语言代码文件，执行程序的执行轨迹，对种子模型和待测用例分别选择普通仿真模式和SIL仿真模式进行编译运行，若编译出现错误，则记录该错误信息，否则分别保存用例中每个模块的输入输出值，分别比较种子模型和待测用例的普通模式和SIL模式的输入输出值，如果三者等价，则完成该用例的测试过程，如果存在差异，则记录差异信息，并认定为发现bug。

全文数据：

权利要求：

百度查询： 大连海事大学 一种Simulink代码生成工具测试方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD