航空电子——安全关键
使用CppDepend实现航空电子软件的DO-178C合规
CppDepend如何帮助航空电子团队满足DO-178C目标：结构化代码分析、设计标准执行、可追溯性和DAL A–E验证证据。
DO-178C （机载系统和设备认证中的软件考虑）是商用航空电子软件的主要标准。它根据故障严重程度分配设计保证等级（DAL A–E），并定义规划、开发、验证和配置管理目标。对于最高等级，认证机构期望严格的工具支持验证——包括源代码静态分析。
与静态分析相关的DO-178C目标
- 编码标准合规： 低层级需求必须在强制执行的编码标准下实现（许多项目使用MISRA C或JSF衍生规则）。
- 源代码的准确性和一致性： 低层级需求与代码之间可验证的对应关系。
- 稳健性： 检测不可达代码、数据流异常和超出可审查阈值的复杂度。
- 可追溯性： 每个分析结果必须可重现并与验证记录相关联。
CppDepend如何支持DO-178C项目
- 编码标准执行： 内置MISRA C/C++规则加上自定义CQLinq规则，将您项目特定的编码标准和JSF++风格约束形式化。
- 架构控制： 验证软件分区和组件间依赖是否符合设计——依赖循环自动标记。
- 评审指标： 圈复杂度、耦合度和内聚度指标导出用于SOI审计和参与阶段评审。
- 确定性、可重复的分析： 相同输入，相同结果——认证证据的关键。
- CI集成： 在认证构建流水线中运行与开发人员本地相同的检查。