万博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代码检查，您可以生成报告，详细的代码检查结果。您指定报告的存储位置。这使得它易于存档，并在您完整的认证包的报告。检查报告开始于识别检查的精确模型和源代码，使用模型校验和，路径名以及日期/时间戳。然后，它提供所执行的验证的摘要，并且每个项的状态（例如，核实，部分验证，或失败）。的细节部分描述的每个文件，功能，和生成的代码的行的验证结果。
检查代码细节包括：
- 功能接口验证
- 模型到代码验证
- 代码到模型验证
- 临时变量的使用
可追溯性细节包括：
- 模型到代码的可跟踪性
- 代码到模型的可追溯性
万博1manbetx显示代码到模型验证Simulink的代码检查详细报告。
标准RTCA / DO-178机载系统和设备认证中的软件考虑指定源代码验证目标。通过Simulink的代码检查所提供的自动代码检查减少用于满足DO-178的源代码验万博1manbetx证目标，如表中所示下方所需的时间。目的（3）源代码是可验证可与所提供的MISRAC®分析器一起使用的Simulink万博1manbetx代码检查完全满意Polyspace Bug的搜索™。此外，目标（4）源代码符合标准可使用工具，如由Polyspace错误查找程序提供的MISRA C分析器来满足。对于Simulink的代码检查和工具资万博1manbetx格支持万博1manbetxPolyspace®s manbetx 845产品是通过提供DO资格的试剂盒（DO-178）。
DO-178C目标与Simulink的代码检查兼容万博1manbetx
| 附录A表 | 目的 | 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
**不包括需要编译器和目标代码分析的目标。
DO资格套件。
代码生成设置
消除删除禁用功能的限制和删除复位功能
万博1manbetxSimulink模块
支持在单位换算块枚举数据类型和额外的万博1manbetx单位转换的附加块
MATLAB功能块
万博1manbetx对于函数调用输出和内置插件支持标志，deg2rad和rad2deg
代码生成优化
更多的优化代码检查支持万博1manbetx
看到发行说明对任何这些特征和对应的功能的详细说明。
