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

挑战和需求

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提供了符合航空电子行业严格安全性和可靠性要求的解决方案。

案例总结

Parasoft作为业界领先的软件测试解决方案提供商，与Joby Aviation携手，在后者开发尖端电动垂直起降（eVTOL）飞行器的过程中，为其软件测试环节带来了显著的优化与提升。

在功能安全领域，Parasoft C/C++test严格遵守RTCA/DO-178B等国际航空安全标准，通过严格的软件安全需求验证与全面的故障模拟测试，确保了Joby Aviation的软件系统达到并超越ASIL最高安全等级要求，为eVTOL飞行器的安全飞行奠定了坚实的基础。

在未来，Parasoft将继续与业界伙伴紧密合作，共同推动航空科技的进步，引领未来出行方式的变革。

关于Parasoft

Parasoft通过其AI驱动的软件测试平台和自动化测试解决方案帮助组织持续提供高质量的软件。Parasoft成熟的技术支持嵌入式、企业和物联网市场，通过将深度代码分析和单元测试，Web UI和API测试，以及服务虚拟化和完整代码覆盖率整合到交付管道中，减少了为提供安全、可靠和合规软件所需的时间、精力和成本。Parasoft屡获殊荣的报告和分析仪表板汇集了所有以上所述，提供了集中的质量视图，使组织能够自信地交付并成功实施当今最具战略性的生态系统和发展举措——信息安全、功能安全、敏捷、DevOps和持续测试。

Parasoft | 业务咨询
赵晨怡 Saliha Zhao
Parasoft中国营运总监
电话｜021-60932819-212
手机｜18930203323
邮箱｜Saliha.Zhao@parasoft.com