共享 Simulink 缓存文件以便更快地进行分析
您可以共享Simulink®缓存文件,以便更快地进行Simulink Design Verifier™分析。当你分析一个模型时,Simulink Design Verifier会执行兼容性检查并创建包含模型表示信息的Simulink缓存文件。如果模型没有变化,Simulink Design Verifier 将重用 Simulink 缓存文件中的模型表示,而无需再次执行兼容性检查。有关更多信息,请参阅 共享 Simulink 缓存文件以加快仿真速度 和 用于分析的模型表示 。
存储 Simulink 缓存文件
Simulink 缓存文件存储在 Simulink预设项 > 常规 对话框中 仿真缓存文件夹 下指定的位置。默认情况下,Simulink缓存文件存储在当前工作目录中。
Simulink缓存的文件名与模型的文件名相同,但带有.slxc
文件扩展名。
重复使用 Simulink 缓存文件
您可以重复使用 Simulink 缓存文件来加快 Simulink Design Verifier 的分析速度,以供您自己或他人稍后使用。当您执行Simulink Design Verifier分析时,软件会根据重建模型表示选项确定是否重建模型表示。默认情况下,此选项设置为如果检测到更改,如果模型没有变化,软件将重新使用Simulink缓存文件中的模型表示进行分析。
如果将重新编译模型表示设置为始终或者软件在分析过程中检测到模型中的任何变化,则软件会重建模型表示并更新Simulink缓存文件。
注意
Simulink 缓存文件积累了创建该版本的模型表示构建工件并且依赖于平台。此缓存文件不支持跨版本兼容性。
要了解特定 Simulink 缓存包含的内容,请双击 Simulink 缓存文件。该报告包含支持的版本、平台和模型表示的信息。
例如,假设一个团队正在研究大型模型并使用源代码控制系统来管理设计文件。为了减少Simulink Design Verifier分析的时间,团队遵循以下步骤:
开发人员从源代码控制系统中提取最新版本的Simulink模型。
执行Simulink Design Verifier测试用例生成分析,并将最新版本的Simulink缓存文件共享到源代码控制系统,将生成的测试用例共享到构建档案。
测试工程师从源代码控制系统中提取模型的最新版本和Simulink缓存文件。另外,从构建档案中提取现有的测试用例。
利用现有的测试用例对同一模型进行测试用例扩展。如果在模型中未检测到任何变化,则将重新使用来自 Simulink 缓存文件的模型表示进行分析。有关详细示例,请参阅 通过重用模型表示来扩展现有测试用例 。
如果测试工程师更改了影响兼容性结果的模型或Simulink Design Verifier选项,则会重建模型表示并更新Simulink缓存文件。有关利用模型表示重用的 Simulink Design Verifier 选项的更多信息,请参阅 重用模型表示进行分析 。