航空行业案例：为航空公司提供航空电子系统，通过DO-178C标准验证

Parasoft是构建高质量软件的最佳解决方案。从开发到质量检查，Parasoft的技术通过集成静态和运行时分析，单元、功能和API测试，以及服务虚拟化，在不牺牲质量和安全性的情况下加快软件交付，节约交付成本。

那么Parasoft究竟能够运用在哪些领域？是否对于您的项目有帮助呢？本文小编给大家带来一个真实案例——国防和航空航天工业的领导者，提供安全、可靠的航空电子系统，DO-178C标准验证。（PDF版点击此处下载）

>>如果您想使用Parasoft测试是否满足项目要求，可联系客服或填写表单申请试用。

企业背景

国防和航空航天工业的领导者，在八十多年的时间里一直在建造军用和民用航空飞机。在这段时间里，他们从建造机电系统发展到为各种平台设计和开发先进的硬件和软件航空系统。在过去的50年里，航空电子组一直在培养一种实现、维护和提供安全、可靠的航空系统的发展文化。

这家领先的航空电子公司制造的部件包括具有最高安全关键要求的飞行控制和执行系统。该公司专门为飞机态势安全和意识、无线电和音频管理、数据采集和机载计算机系统创建符合DO-178C标准的航空电子系统。此外，他们还制造温度和振动传感器。

挑战

该公司面临着围绕编码标准的两个主要挑战：

• 纳入编码标准以符合DO-178C并通过审计。
  
• 找到一个可定制的测试工具来执行其公司的规则和标准。

遵守DO-178C标准

目前，公司必须按照最严格的航空电子工艺标准，即RTCA DO-178C DAL A来设计、开发和测试他们的飞行控制系统。DO-178C的部分验证和确认阶段要求应用静态代码分析和使用编码标准。使用编码标准来遵守DO-178C是至关重要的。

测试自定义编码标准

对于如何编写代码，航空电子公司有自己的最佳实践和高标准。因此，软件开发团队根据多年来积累的成熟的编码实践建立并部署了自己的编码标准，并以现有的行业标准（如MISRA C和ISO C90）对其进行了扩充。

采用这些定制的标准，可以避免导致不需要的和不可预测的行为的编码结构。

为了提高他们的代码审查过程的效率，该团队需要一个工具来自动化并协助执行代码分析和编码执行。对该工具的其他要求包括：

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

解决方案

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

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

该公司还需要一个能够整合到他们的安全关键开发流程的解决方案。Parasoft C/C++test顺利地融入了他们的开发工作流程，使他们的编码标准和审查过程自动化。

Parasoft的优势

这家航空电子公司将Parasoft C/C++test实施到他们的安全关键软件开发过程中，产生了显著的效益。

为开发人员提供持续的反馈。在开发过程中，团队使用该解决方案来分析正在开发的代码，并在开发人员工作时获得直接反馈。他们可以得到关于编码标准符合性和早期缺陷检测的即时反馈。

帮助加入新的开发 职员。新人员可以快速了解公司的标准。由于工具的即时支持和反馈，新员工可以快速学习编码标准。

启用规则定制。我们的客户开发了他们自己的静态分析规则集，以满足他们的航空航天项目的具体要求。Parasoft C/C++测试规则定制功能是创建这些规则的一个重要特征。

为软件的长生命周期做准备。在飞机工业中，软件需要为飞行准备30年或更长时间。这意味着维护和更新是一个重要的设计和实施考虑。知道他们的代码符合企业标准，意味着对未来的开发者来说，代码更具有可读性和可维护性。

鉴定工具。安全关键标准要求开发过程中使用的工具符合所开发的产品所隐含的质量标准。在这种情况下，该公司希望根据DO-178C，补充DO-330，软件工具鉴定考虑因素补充，对Parasoft C/C++test进行鉴定。Parasoft为这一标准和其他标准提供了资格认证套件。和其他标准，这有助于减少执行必要测试和文件的工作量和时间。

Parasoft——领先的自动化测试工具，满足绝大多数行业标准

Parasoft是一家专门提供软件测试解决方案的公司，帮助企业打造无缺陷的软件。

从开发到质量检查，Parasoft的技术通过集成静态和运行时分析，单元、功能和API测试，以及服务虚拟化，在不牺牲质量和安全性的情况下加快软件交付，节约交付成本。

强大的报告和分析功能可帮助用户快速查明有风险的代码区域，并了解新代码更改如何影响其软件质量，而突破性的技术将人工智能和机器学习添加到软件测试中，使组织更容易采用和扩展跨开发和测试团队的有效的软件测试实践。

Parasoft针对C/C++、Java、.NET和嵌入式的开发测试都有着30多年的深入研究，很多全国500强企业使用Parasoft的产品实现了软件快速、高质量的交付。

获取Parasoft资料或申请试用可加QQ：2867205852