国防——战斗机
使用CppDepend的JSF++ AV（联合攻击战斗机飞行器）C++编码标准
CppDepend如何执行JSF Air Vehicle C++编码标准（JSF++）：规则自动化、MISRA衍生检查以及安全关键航空电子C++的架构控制。
JSF++ AV （联合攻击战斗机飞行器编码标准，洛克希德·马丁，2005）是安全关键航空电子领域最具影响力的C++编码标准之一。它为F-35项目编写，定义了221条规则，涵盖语言子集、异常处理、内存管理、模板和确定性。它深刻影响了MISRA C++:2008，至今仍是DO-178C下运行C++的国防项目的参考标准。
JSF++ AV规则的关键主题
- 可预测的行为： 无未定义或实现定义的行为；严格的初始化和类型安全规则。
- 确定性的资源使用： 严格控制动态内存——仅在定义的阶段分配、无泄漏、有界使用。
- 异常纪律： 异常仅在严格模式下使用（或禁止），以保持控制流可分析。
- 可审查的代码： 对复杂度、函数大小和耦合的限制，使代码保持人类和工具可验证。
CppDepend如何自动化JSF++风格的执行
- 自定义CQLinq规则： 将JSF++ AV规则（及您项目的裁剪）形式化为可执行查询——不再依赖手动检查清单。
- 内置MISRA C++： JSF++与MISRA C++:2008共享大部分基因——内置规则集立即覆盖共同核心。
- 架构控制： 执行任务软件、平台服务和驱动程序之间的分层。
- 质量门： 使JSF++合规成为CI中阻止合并的标准，并为遗留代码设置基线。
- 审计证据： 用于项目评审的可导出逐条规则合规报告。