金宝app仿真软件代码检查器
为安全标准自动化源代码审查
金宝app仿真软件代码检查器™金宝app支持通常用于高完整性系统模型的一组受限的建模语义和代码优化。Simulink代码检查器提供的兼容性检查器确定您的模型是否符合约束集。金宝app
您可以从Simulink代码检查器用户界面交互式地调用兼容性检查，也可以通过编程方式使用MATLAB金宝app®命令。您可以在被引用的模型中放置被识别为不兼容的块和模型的其他部分，然后配置Simulink Code Inspector以在代码检查期间省略不兼容的被引用模型。金宝app然后，您可以对没有自动评审的模型执行手动代码检查。
金宝appSimulink代码检查器用户界面(左)和模型兼容性检查结果(右)。
代码检查是独立的代码生成的。默认情况下，Simuli金宝appnk的代码检查假定代码已经生成。但是，您可以配置检查生成代码的代码检查过程的一部分。您还可以指定生成的源代码文件，如您制作的构建过程中使用的位置。检查可以通过用户界面或命令行调用。
金宝appSimulink的代码检查期间，检查代码检查以下一般类别：
- 模型接口
- 块的行为
- 块连接和执行顺序
- 数据和文件打包
- 局部变量和功能模型元素
执行的具体分析范围从高级接口评估(如检查是否生成了初始化和步骤函数)到块执行顺序的详细分析(以确定在生成的代码中是否保留了两个块组件之间的数据依赖关系)。
您可以直接MATLAB审查检验状态信息或检查的详细报告，在接下来的部分，它包括与互动环节的设计对象细粒度的溯源分析描述。
使用MATLAB命令成功的(已验证的)代码检查。
标准RTCA / DO-178机载系统和设备认证中的软件考虑指定源代码验证目标。通过Simulink的代码检查所提供的自动代码检查减少用于满足DO-178的源代码验金宝app证目标，如表中所示下方所需的时间。目的（3）源代码是可验证可与所提供的MISRAC®分析器一起使用的Simulink金宝app代码检查完全满意Polyspace Bug的搜索™。此外，目标（4）源代码符合标准可以使用Polyspace Bug Finder提供的MISRA C分析器等工具来满足。对Simulink代码检查器和金宝app金宝appPolyspace®下载188bet金宝搏产品由做试剂盒(适用于DO-178)。
DO-178C目标与Simulink的代码检查兼容金宝app
| 附录A表 | 目的 | DO-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的基于模型的开发与验证补充
**不包括需要编译器和目标代码分析的目标。
做资格工具包。
代码生成设置
消除删除禁用功能的限制和删除复位功能
金宝appSimulink模块
支持在单位换算块枚举数据类型和额外的金宝app单位转换的附加块
MATLAB功能块
金宝app支持函数调用输出和内置函数标志,deg2rad和rad2deg
代码生成优化
代码检查支持更多的优化金宝app
看到发行说明有关这些特性及其相应功能的详细信息。
