【Parasoft应用案例】在 DO-178C 尺度下，实现航空嵌入式软件测试主动化

对于航空航天行业的软件开发来说，DO-178C 是一份不能绕开的尺度——它界说了机载软件从操持、编码、测试到验证的焦点要求，是 FAA、EASA 等适航机构在认证过程中严格考核的软件规范。
一家负责关键航空导航体系的美国联邦机构（Federal Agency）在为其嵌入式体系获取 DO-178C 认证的过程中，曾遇到一系列实际寻衅：传统的工具无法满意当代开发情况；测试覆盖率网络过程繁琐、输出质料难以整理；差异工具之间缺乏集成，导致工作重复、服从低下。
终极，他们选择了 Parasoft C/C++test 作为同一的主动化测试办理方案，实现了过程主动化、数据规范化和合规质料的快速产出。
Parasoft免费试用申请，请接洽慧都科技>>>
寻衅：传统测试工具“跟不上” DO-178C 的要求

这家联邦机构的软件重要用于空中导航辅助体系，此中：

• 有些模块须要满意 DAL B，有些达 DAL D 等差异安全品级；
  
• 须要完备的 静态分析、单元测试、代码覆盖率统计及测试效果记载；
  
• 项目采取了 Wind River VxWorks 操纵体系，并在 Wind River Workbench 集成开发情况中开发。
  

他们实行过利用旧的代码覆盖体系和分散工具链，但这些工具：
✅ 与 Wind River 生态不敷兼容
❌ 不能满意 DO-178C 的严格覆盖率要求
❌ 工具之间缺乏集成，验证和追溯工作非常耗时
这导致测试与合规证实变成了难啃的“硬骨头”。
办理方案：一个工具搞定全流程

项目组终极将 Parasoft C/C++test 引入开发流程，用于覆盖 DO-178C 所需的关键测试环节：
✔ 静态分析

主动查抄源代码潜伏的标题，包罗编码规范、潜伏缺陷，提前发现风险。
✔ 单元测试

对每个功能单元举行体系验证，确保每个模块在差异输入条件下表现正确。
✔ 代码覆盖率

支持 语句、分支、MC/DC 等多种覆盖范例统计，并将效果整理成可用作合规检察的质料。
这些功能都集成到一个同一的工具链中，镌汰了多工具之间的切换和手动处理处罚本钱。
对项目有什么改变？

通过引入 Parasoft 这一主动化测试框架，该项目团队实现了：

• 兼容 Wind River 工具链，克制由于手工转换或格式不匹配导致的数据丢失；
  
• 主动化产生代码覆盖率数据和验证质料，极大简化了 DO-178C 检察所需质料的预备；
  
• 镌汰重复劳动，提升工程师服从，让开发、测试和审计流程之间衔接自然顺畅。
  

换句话说，实现 DO-178C 合规不再是“做完才补质料”，而是将验证贯穿整个开发过程，让质量和合规一起“流入”开发节奏。
为什么这个案例值得关注？

在已往，DO-178C 每每意味着大量手工工作、反复验证和麋集文档整理，是一种开发之外的“附加任务”。这个联邦机构的实践告诉我们：

• 当代嵌入式软件测试不应靠人工堆积；
  
• 主动化测试和覆盖分析是实现高尺度合规的焦点路径；
  
• 工具链的集成和流程化能真正提升团队实行服从和质量包管本领。
  

对于国内的航空、航天、防务以致包罗汽车、工业控制等安全关键行业的软件团队来说，这个案例具有实际参考意义——尤其是在面对严格行业尺度和合规考核时，将主动化测试从“辅助脚色”提升为“流程焦点”自己，就是一种竞争力提升。
Parasoft免费试用申请，请接洽慧都科技>>>

免责声明：如果侵犯了您的权益，请联系站长及时删除侵权内容，谢谢合作！qidao123.com:ToB企服之家，中国第一个企服评测及软件市场,开放入驻,技术点评得现金.