金宝app仿真软件代码检查器
自动化源代码审查的安全标准
金宝appSimulink Code Inspector™自动将生成的代码与其源模型进行比较，以满足DO-178和其他高完整性标准中的代码审查目标。代码检查器系统地检查模型中的块、状态图、参数和设置，以确定它们在结构上是否等同于生成代码中的操作、操作符和数据。金宝appSimulink代码检查器提供详细的模型到代码和代码到模型的跟踪分析。它生成结构等效性和可追溯性报告，您可以提交给认证机构，以满足DO-178软件编码验证目标。
金宝app对行业标准的支持可以通过DO认证套件(用于DO-178和DO-254)．
开始:
金宝appSimulink Code Inspec金宝apptor™支持一组受约束的建模语义和代码优化，通常用于高完整性的系统模型。Simulink Code Inspector提供的兼容性检查器可以确定金宝app您的模型是否符合约束集。
您可以从Simulink Code Inspector用户界面交互式调用兼容性检查，或者使用MATLAB编程金宝app®命令。您可以在引用模型中放置识别为不兼容的模块和模型的其他部分，然后配置Simulink Code Inspector以在代码检查期间忽略不兼容的引用模型。金宝app然后，您可以对未被自动检查的模型执行手动代码检查。
金宝appSimulink代码检查器用户界面(左)和模型兼容性检查结果(右)。
代码检查独立于代码生成。默认情况下，Simuli金宝appnk代码检查器假设代码已经生成。但是，您可以将检查器配置为生成代码作为代码检查过程的一部分。您还可以指定生成的源代码文件的位置，例如生产构建过程所使用的源代码文件。检查可以通过用户界面或命令行调用。
金宝appSimulink代码检查器在代码检查期间检查以下一般类别:
- 模型接口
- 块的行为
- 阻止连接和执行顺序
- 数据和文件打包
- 局部变量和功能模型元素
执行的具体分析范围从高级的接口评估(如检查是否生成了初始化和step函数)到详细的块执行顺序分析(以确定生成的代码中是否保留了两个块组件之间的数据依赖关系)。
您可以直接在MATLAB中查看检查状态消息，或检查详细的报告，如下一节所述，其中包括细粒度的跟踪分析，带有到设计对象的交互链接。
使用MATLAB命令的成功(验证)代码检查。
使用Sim金宝appulink代码检查器，您可以生成详细说明代码检查结果的报告。您可以指定存储报表的位置。这样可以很容易地将报告归档并包含在完整的认证包中。检查报告首先使用模型校验和、路径名和日期/时间戳确定被检查的确切模型和源代码。然后，它提供执行的验证和每个项的状态的摘要(例如，已验证、部分验证或失败)。详细部分描述了每个文件、函数和生成代码行的验证结果。
代码检查细节包括:
- 函数接口验证
- 模型到代码的验证
- Code-to-model验证
- 临时变量使用
可追溯性的细节包括:
- 模型到代码的可追溯性
- Code-to-model可追溯性
金宝app显示代码到模型验证的Simulink代码检查器详细报告。
RTCA /做- 178的标准机载系统和设备认证中的软件考虑指定源代码验证的目标。Simulink code Inspector提供的自动代码检查减少了满足DO-17金宝app8源代码验证目标所需的时间，如下表所示。目标(3)源代码是可验证的可以完全满足使用Simulink代码检查器与MISRA C金宝app®分析仪提供的Polyspace错误发现者™．此外,目标(4)源代码符合标准可以满足使用工具，如MISRA C分析仪提供的Polyspace Bug Finder。对Simulink代码检查器和金宝app金宝appPolyspace®下载188bet金宝搏产品由DO认证套件(用于DO-178和DO-254)．
DO-178C目标与Simulink代码检查器兼容金宝app
| 附件表 | 客观的 | - 331参考*吗 | 软件水平 |
|---|---|---|---|
| 表MB 5 | (1)源代码符合低级需求 | 部分MB 6.3.4a | A, B, C |
| 表MB 5 | (2)源代码与软件架构一致 | 部分MB 6.3.4b | A, B, C |
| 表MB 5 | (3)源代码可验证 | 部分MB 6.3.4c | A、B |
| 表MB 5 | (5)源代码可以追溯到低级需求 | 部分MB 6.3.4e | A, B, C |
| 表MB 5 | (6)源代码准确，一致** | 部分MB 6.3.4f | A, B, C |
* - 331,基于模型的DO-178C和DO-278A开发与验证补充
**不包括需要编译器和目标代码分析的目标。
做资格工具包。
代码生成设置
消除“删除禁用功能”和“删除重置功能”的限制
金宝app仿真软件模块
单元转换块中支持枚举数据类型和其他单金宝app元转换的附加块
MATLAB功能块
金宝app支持函数调用输出和内置函数标志，函数,rad2deg
代码生成优化
代码检查支持更多的优化金宝app
看到发布说明有关这些特性和相应功能的详细信息。
