金宝appSimulink的代码检查
为安全标准自动化源代码审查
代码检查独立于代码生成。默认情况下,Simuli金宝appnk代码检查器假设已经生成了代码。但是,您可以配置检查器来生成代码,作为代码检查过程的一部分。您还可以指定生成的源代码文件的位置,例如生产构建过程使用的那些文件。检查可以通过用户界面或命令行调用。
金宝appSimulink代码检查器在代码检查期间检查以下一般类别:
- 型号接口
- 阻止行为
- 块连接和执行顺序
- 数据和文件打包
- 局部变量和功能模型元素
具体分析从高级别接口的评估执行范围,如检查是否产生初始化和步骤的功能,对块执行次序的详细分析,以确定两个块组件之间的数据依赖性在生成的代码被保留。
您可以直接在MATLAB中查看检查状态消息,或者查看详细的报告,如下一节所述,其中包括与设计对象的交互链接的细粒度可跟踪性分析。
RTCA /做- 178的标准机载系统和设备认证中的软件考虑指定源代码验证的目标。Simulink code Inspector提供的自动化代码检查减少了满足DO-1金宝app78源代码验证目标所需的时间,如下表所示。目标(3)源代码是可验证的可与所提供的MISRAC®分析器一起使用的Simulink金宝app代码检查完全满意Polyspace错误发现者™。此外,目标(4)源代码符合标准可使用工具,如由Polyspace错误查找程序提供的MISRA C分析器来满足。对于Simulink的代码检查和工具资金宝app格支持金宝appPolyspace®下载188bet金宝搏产品是通过提供DO资格的试剂盒(DO-178)。
DO-178C目标与Simulink代码检查器兼容金宝app
附件表 | 客观的 | - 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
**不包括需要编译器和目标代码分析的目标。
代码生成设置
消除删除禁用函数和删除重置函数的限制
金宝app仿真软件模块
支持枚举数据类型的附加块和单元转换块金宝app中的附加单元转换
MATLAB功能块
金宝app对于函数调用输出和内置插件支持标志
,函数
,rad2deg
代码生成优化
更多的优化代码检查支持金宝app
看到发布说明对任何这些特征和对应的功能的详细说明。