主要内容

本页采用了机器翻译。点击此处可查看最新英文版本。

模型顾问检查以验证是否符合安全编码标准

如果您有 Embedded Coder®Simulink® Check™,您可以检查您的 Simulink 模型和编译的代码是否符合安全编码标准。要检查您的型号:

  1. 打开模型顾问。

  2. 导航至按任务 > 安全编码建模指南 (CERT C、CWE、ISO/IEC TS 17961)

  3. 运行文件夹中的检查。

要查看模型顾问检查,请参阅适用于 CERT C、SWE 和 ISO/IEC TS 17961 编码标准的模型顾问检查 (Simulink Check)

如果您拥有 Polyspace® Bug Finder™ 产品许可证,您可以根据这些安全编码标准评估您的代码。有关详细信息,请参阅:

另请参阅

|