使用Polyspace^®来识别Simulink模型中潜在的bug、运行时错误和编码标准违反。在验证和验证过程的两个不同步骤中使用Polyspace。

在生成代码之前，检测并解决模型中自定义代码可能引入的问题。的C函数块,C调用者块,S函数Block包含自定义代码。看到在Simulink模型中对自定义代码运行Polyspace Analysis。

在代码生成之后，分析生成代码中可能没有在模型中捕捉到的代码特定问题，例如由于模型未测试的部分或不正确的代码生成选项而导致的错误。看到运行Polyspace Analysis on with Embedded Coder生成的代码。

集成Polyspace和MATLAB后^®，您可以直接从Simulink工具条运行Polyspace分析，或者使用MATLAB脚本自动进行Polyspace分析。看到将Polyspace与MATLAB和Simulink集成和使用MATLAB脚本运行Polyspace Analysis。或者，从Simulink模型生成选项文件，并使用这些选项文件在系统命令行中对生成的代码运行Polyspace分析。看到使用打包的选项文件对生成的代码运行Polyspace分析。