Parasoft助力Joby Aviation符合DO-178B标准

Joby Aviation，这家成立于2009年的美国高科技企业，以其对电动垂直起降（eVTOL）技术的深刻洞察与不懈追求，正引领着全球空中出行领域的革新。作为该领域的先驱者，Joby Aviation专注于研发并商业化运营其革命性的飞行汽车，旨在通过这一创新解决方案，彻底重塑城市间的交通网络，为用户带来前所未有的出行体验。

（图片来源Joby Aviation官网）

一.挑战和需求

Joby Aviation专注于电动垂直起降（eVTOL）飞行汽车的研发，其软件系统的复杂性和安全性要求极高，特别是在满足RTCA/DO-178B标准的不同开发保证等级（DAL）方面。在白盒测试阶段，Joby Aviation面临的挑战可能包括但不限于：

高代码覆盖率要求：根据RTCA/DO-178B标准，不同DAL等级对代码覆盖率有不同的严格要求。Joby Aviation需要确保其测试策略能够覆盖所有可能的执行路径和条件分支，以达到所需的覆盖率水平，这对于大型、复杂的航空电子软件项目而言是一项艰巨的任务。

复杂的软件架构：eVTOL飞行汽车的软件系统通常包含多个组件和子系统，这些组件之间通过复杂的接口进行交互。白盒测试需要深入理解这些组件的内部逻辑和相互依赖关系，以确保它们能够正确、高效地协同工作。

实时性和性能要求：航空电子软件对实时性和性能有极高的要求。白盒测试需要验证软件在各种操作条件下的响应时间、吞吐量和其他性能指标，以确保它们满足或超过规定的标准。

安全性和可靠性：作为航空领域的软件，安全性和可靠性是首要考虑的因素。白盒测试需要识别并修复所有可能导致软件故障、崩溃或不安全行为的代码缺陷，包括边界条件错误、资源泄露、并发问题等。

遵守标准和规范：Joby Aviation必须确保其软件开发和测试过程严格遵守DO-178B标准以及其他相关的航空电子标准和规范。这要求测试团队具备深厚的行业知识和经验，能够正确理解和应用这些标准和规范。

二.技术要求和解决方案

在应对Joby Aviation在白盒测试过程中面临的复杂挑战与高标准需求时，Parasoft C/C++test以其全面的功能特性提供了强有力的支持。

Parasoft C/C++test不仅提供了包括函数、行语句、块路径、分支、判定、MC/DC等在内的详尽代码覆盖指标，确保Joby Aviation能够达成RTCA/DO-178B标准所要求的高代码覆盖率，还通过其自动打桩框架简化了测试环境的搭建，降低了对其他模块或组件的依赖。

对于复杂的软件架构，C/C++test的静态分析功能能够深入扫描代码，提前发现和修复潜在错误，同时通过其易于扩展和协作的特性，支持跨项目和团队的高效开发。

在实时性和性能方面，Parasoft C/C++test的运行时错误检测功能实时监控软件运行状况，确保性能问题和错误能够被及时发现和修复，而其与主流IDE的无缝集成则进一步提升了开发效率和代码质量。尤为重要的是，Parasoft C/C++test参照了多项国际安全标准并通过了相关认证，为Joby Aviation提供了符合航空电子行业严格安全性和可靠性要求的解决方案。