金宝appSimulink代码检查员
自动执行安全标准的源代码审查
金宝appSimulink代码Inspector™金宝app支持经常用于高完整性系统模型的约束式语义和代码优化集。Simulink代码检查器提供的兼容性检查器确定您的模型是否符合约束集。金宝app
您可以从Simulink代码检测器用户界面交互地或以编程方式使用MATLAB来调用兼容性检查兼容性金宝app®命令。您可以将块和其他部分放置在引用的模型中识别为不兼容的模型的块和其他部分，然后配置Simulink代码检查器以省略代码检查期间不兼容的引用模型。金宝app然后，您可以对未自动审核的模型执行手动代码检查。
金宝appSimulink代码检查器用户界面（左）和型号兼容性检查结果（右）。
代码检查与代码生成无关。默认情况下，Simuli金宝appnk代码检查器假定已生成代码。但是，您可以将检查器配置为生成代码作为代码检查过程的一部分。您还可以指定生成的源代码文件的位置，例如生产构建进程使用的位置。可以通过用户界面或命令行调用检查。
金宝appSimulink代码检查员在代码检查期间检查以下一般类别：
- 型号界面
- 块行为
- 块连接和执行顺序
- 数据和文件包装
- 局部变量和功能模型元素
特定分析从高级接口评估执行的范围，例如检查是否生成初始化和步骤功能，以确定块执行顺序的详细分析，以确定是否在生成的代码中保留了两个块组件之间的数据依赖性。
您可以直接在MATLAB中查看检查状态消息，或者检查详细报告，如下一节所述，其中包括与设计对象的交互式链接的细粒度可追溯性分析。
使用MATLAB命令的成功（已验证）代码检查。
标准RTCA / DO-178机载系统和设备认证中的软件考虑指定源代码验证的目标。Simulink代码检查器提供的自动代码检查减少了满足DO-178源代码验证目标所需金宝app的时间，如下表所示。目标（3）源代码是可验证的可以完全满意使用Simulink代码检查员与Misra C金宝app一起使用®分析仪提供Polyspace Bug Finder™。此外，目标（4）源代码符合标准可以使用PolySpace Bug Finder提供的Misra C分析器等工具满意。用于Simulink代码检查器的刀具资金宝app格支持金宝app波尔盖斯®下载188bet金宝搏产品提供做资格套件（对于DO-178和DO-254）。
DO-178C与Simulink代码检查器兼容的目标金宝app
| 附件一表 | 客观的 | DO-331参考* | 软件级别 |
|---|---|---|---|
| 表MB A-5 | （1）源代码符合低级要求 | 部分MB 6.3.4a | A，B，C |
| 表MB A-5 | （2）源代码符合软件架构 | 部分MB 6.3.4b. | A，B，C |
| 表MB A-5 | （3）源代码是可验证的 | 部分MB 6.3.4C | A，B |
| 表MB A-5 | （5）源代码可追溯到低级要求 | 部分MB 6.3.4e. | A，B，C |
| 表MB A-5 | （6）源代码准确且一致** | 部分MB 6.3.4f. | A，B，C |
* do-331，基于模型的开发和验证补充到DO-178C和DO-278A
**不涵盖需要编译器和对象代码分析的目标。
做资格套件。
