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