万博1manbetxSimulink的代码检查

为安全标准自动化源代码审查

看视频

下载免费试用版

万博1manbetxSimulink代码检查器™自动将生成的代码与其源模型进行比较，以满足DO-178和其他高完整性标准中的代码审查目标。代码检查器系统地检查模型中的块、状态图、参数和设置，以确定它们在结构上是否与生成的代码中的操作、操作符和数据相同。万博1manbetxSimulink代码检查器提供了详细的模型到代码和代码到模型的可跟踪性分析。它生成结构等价性和可跟踪性报告，您可以提交给认证机构以满足DO-178软件编码验证目标。

万博1manbetx对行业标准的支持可通过DO资格的试剂盒（DO-178）。

入门：

模型制备

万博1manbetxSimulink的代码检查^™万博1manbetx支持约束集合建模通常用于高完整性的系统模型的语义和代码优化。通过Simulink的代码检查提供兼容性检查确定是否与约束集模型的要求。万博1manbetx

您可以调用的兼容性从Simulink的代码检查的用户界面交互检查或编程方式使用MATLAB万博1manbetx^®命令。你可以把块和标识为不相容引用模型内的模型的其它部分，然后配置的Simulink代码检查省略期间代码检查不相容参考模型。万博1manbetx然后，您可以执行模式不会自动审查手动代码检查。

万博1manbetxSimulink的代码检查用户界面（左）和模型兼容性检查结果（右）。

代码生成和检查

代码检查独立于代码生成。默认情况下，Simuli万博1manbetxnk代码检查器假设已经生成了代码。但是，您可以配置检查器来生成代码，作为代码检查过程的一部分。您还可以指定生成的源代码文件的位置，例如生产构建过程使用的那些文件。检查可以通过用户界面或命令行调用。

万博1manbetxSimulink代码检查器在代码检查期间检查以下一般类别:

型号接口
阻止行为
块连接和执行顺序
数据和文件打包
局部变量和功能模型元素

具体分析从高级别接口的评估执行范围，如检查是否产生初始化和步骤的功能，对块执行次序的详细分析，以确定两个块组件之间的数据依赖性在生成的代码被保留。

您可以直接在MATLAB中查看检查状态消息，或者查看详细的报告，如下一节所述，其中包括与设计对象的交互链接的细粒度可跟踪性分析。

一个成功的（认证）代码中使用MATLAB命令检查。

报告生成

使用Sim万博1manbetxulink代码检查，您可以生成报告，详细的代码检查结果。您指定报告的存储位置。这使得它易于存档，并在您完整的认证包的报告。检查报告开始于识别检查的精确模型和源代码，使用模型校验和，路径名以及日期/时间戳。然后，它提供所执行的验证的摘要，并且每个项的状态（例如，核实，部分验证，或失败）。的细节部分描述的每个文件，功能，和生成的代码的行的验证结果。

检查代码细节包括：

函数接口验证
模型到代码验证
代码到模型验证
临时变量使用

可追溯性的细节包括:

模型到代码的可跟踪性
Code-to-model可追溯性

万博1manbetx显示代码到模型验证Simulink的代码检查详细报告。

DO-178目标

RTCA /做- 178的标准机载系统和设备认证中的软件考虑指定源代码验证的目标。Simulink code Inspector提供的自动化代码检查减少了满足DO-1万博1manbetx78源代码验证目标所需的时间，如下表所示。目标(3)源代码是可验证的可与所提供的MISRAC®分析器一起使用的Simulink万博1manbetx代码检查完全满意Polyspace错误发现者^™。此外,目标(4)源代码符合标准可使用工具，如由Polyspace错误查找程序提供的MISRA C分析器来满足。对于Simulink的代码检查和工具资万博1manbetx格支持万博1manbetxPolyspace^®s manbetx 845产品是通过提供DO资格的试剂盒（DO-178）。

DO-178C目标与Simulink代码检查器兼容万博1manbetx

附件表	客观的	- 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