一种Simulink代码生成工具测试方法技术

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

【技术实现步骤摘要】
一种Simulink代码生成工具测试方法


[0001]本专利技术涉及软件测试领域，尤其涉及一种基于等价优化变异策略的Simulink 代码生成工具测试。

技术介绍

[0002]信息物理系统(Cyber Physical System)开发工具链广泛用于CPS数据流模型的设计、仿真和验证,实现计算、通信与物理系统的一体化设计，可使系统更加可靠、高效、实时协同，具有重要而广泛的应用前景。
[0003]因此测试并发现它们中的bug至关重要。目前针对CPS工具链的bug测试工作，不论是通过构建新的CPS模型，还是通过对已有CPS模型进行变异，目的都是生成对编译器施压的模型,主要针对模型编译的过程，并不涉及CPS模型到目标语言(C语言)的代码生成器的转换过程。
[0004]例如MathWorks的Simulink等商业CPS工具链，采用基于模型设计(Modelbased design)的方法，使工程师能够通过直接通过使用图形框图建立快速原型，从而更快对系统进行建模，仿真和分析。网络物理系统开发人员严重依赖复杂的开发环境或工具链，他们使用这本文档来自技高网...

【技术保护点】

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

【专利技术属性】
技术研发人员：郭世凯，成烘仪，王富强，李辉，陈荣，
申请(专利权)人：大连海事大学，
类型：发明
国别省市：