半岛外围网上直营

国防和航空航天业的领军企业，八十多年来一直致力于军用和民用航空器的制造。在此期间，从构建机电系统发展到为各种平台设计和开发先进的硬件和软件航空系统。在过去的 50 年里，其航空电子部门持续秉持一种开发文化，旨在实现、维护并交付安全、可靠且安全的航空系统。

>>点击获取Parasoft C/C++test试用

这家领先的航空电子公司专注于开发符合DO-178C标准的航空电子系统，涵盖飞机态势感知、无线电与音频管理、数据采集及机载计算机系统等领域。在软件开发中，引入了Parasoft C/C++test——一套用于静态代码分析、单元测试和覆盖度验证的自动化测试平台，以确保代码符合DO-178C等航空安全标准。所制造的组件包括飞行控制与驱动系统等最高安全关键等级设备，并向其他OEM厂商提供相关系统。

挑战

该公司面在编码标准方面面临的两大主要挑战。

1.   引入编码标准以符合 DO-178C 要求并通过审计。

2.   寻找可自定义的测试工具来执行其公司规则和标准。

符合 DO-178C 标准

目前，该公司必须按照最严格的航空电子过程标准 RTCA DO-178C DAL A 来设计、开发和测试其飞行控制系统。DO-178C 验证和确认阶段要求进行静态代码分析并使用编码标准。采用编码标准来符合 DO-178C 至关重要。

满足航空认证机构的要求是最重要的。如果系统未通过 DO-178C 附带的审计要求并获得认证，则不允许交付系统。这些审计义务旨在确保安全。他们验证了所有 DO-178C 要求的满足情况，并证明团队遵循了健全的软件开发实践，并且测试结果合格。

测试自定义编码标准

这家航空电子公司对于如何编写代码有其自身的最佳实践和高标准。因此，软件开发团队基于多年积累的成熟编码实践，构建并部署了自家的编码标准，并辅以 MISRA C 和 ISO C90 等现有行业标准。

采用这些自定义标准可以避免导致不良的和不可预测行为的编码结构。还确保所有项目和组的代码具备以下特性：

• 可读性
• 一致性
• 可维护性
• 可测试性
• 安全性
• 保障性
• 可靠性

为了提高代码审查流程的效率，需要一种工具来自动化并协助执行代码分析和编码规范检查。其中要求包括：

• 执行所有自定义编码规则和指南。
• 能够记录团队的尽职调查，以备后续审计
• 可追溯性，这也是 DO-178C 的要求。

挑战在于找到一款允许公司自定义编码规则和指南的测试工具。该公司需要的解决方案不仅仅是开箱即用的功能。

解决方案

由于需要完全自定义编码标准规则集，航空电子公司选择了Parasoft C/C++测试解决方案，以自动化其安全关键软件的编码标准分析、审查和执行。他们依赖于 Parasoft 对 MISRA C、DO-178C 以及其自身定制规则集的支持

定制编码标准和自动化测试的目的是提高整体开发效率，并使代码更易于审查、调试、更新和维护。

航空电子公司还需要一个能集成到其安全关键开发流程中的解决方案。Parasoft C/C++test可无缝集成到其开发工作流程中，自动化其编码标准和审查流程。

解决方案优势

该航空电子公司将Parasoft C/C++test实施到其安全关键软件开发过程中，取得了显著效益：

• 向开发人员提供持续反馈。
• 自动执行代码审查过程。
• 启用规则自定义。
• 为长生命周期软件做好准备。
• 工具鉴定

结果

随着 Parasoft C/C++test 完全集成到软件开发流程中，航空电子公司创建了一个自定义的静态程序分析规则集，用以根据其专注于安全关键的编码标准来评估全公司范围的软件。

通过将工具和流程纳入开发工作流程的一部分，他们可以在编码过程中立即获得反馈，有助于开发人员遵守自定义标准并帮助新开发人员快速上手。

通过将Parasoft C/C++test深度融合至开发流程，该航空电子系统构建起一套自动化、可定制且符合DO-178C最高安全要求的代码质量保障体系。这一解决方案已成为其开发流程中不可或缺的关键组成部分，确保持续交付安全、可靠的航空系统。

关于慧都

慧都是一家行业数字化解决方案公司，专注于软件、石油与工业领域，以深入的业务理解和行业经验，帮助企业实现智能化转型与持续竞争优势。在软件工程领域，我们提供开发控件、研发管理、代码开发、部署运维等软件开发全链路所需的产品，提供正版授权采购、技术选型、个性化维保等服务，帮助客户实现技术合规、降本增效与风险可控。

慧都科技作为Parasoft公司在中国区的官方授权合作伙伴，为国内企业提供Parasoft C/C++test产品的正版授权、定制化部署与全生命周期技术支持与服务。我们致力于助力客户精准贯彻功能安全标准、全面提升软件开发效率、有效管控项目风险，最终构建符合国际标准的高质量软件体系。