Parasoft C/C++test 作为 Joby Aviation 在开发电动垂直起降(eVTOL)飞行器软件过程中的核心质量保障伙伴,为其提供了全方位的自动化测试解决方案与关键技术支持。它通过深入的静态代码分析、单元测试、组件测试以及严格的编码规范验证,帮助 Joby Aviation 检测代码缺陷,为 eVTOL 飞行器的安全飞行奠定了坚实的基础。
>>点击获取Parasoft C/C++test试用
Joby Aviation,这家成立于2009年的美国高科技企业,以其对电动垂直起降(eVTOL)技术的深刻洞察与不懈追求,正引领着全球空中出行领域的革新。作为该领域的先驱者,Joby Aviation专注于研发并商业化运营其革命性的飞行汽车,旨在通过这一创新解决方案,彻底重塑城市间的交通网络,为用户带来前所未有的出行体验。
来自Joby Aviation官网
挑战和需求
Joby Aviation专注于电动垂直起降(eVTOL)飞行汽车的研发,其软件系统的复杂性和安全性要求极高,特别是在满足RTCA/DO-178B标准的不同开发保证等级(DAL)方面。在白盒测试阶段,Joby Aviation面临的挑战可能包括但不限于:
- 高代码覆盖率要求:根据RTCA/DO-178B标准,不同DAL等级对代码覆盖率有不同的严格要求。Joby Aviation需要确保其测试策略能够覆盖所有可能的执行路径和条件分支,以达到所需的覆盖率水平。
- 复杂的软件架构:白盒测试需要深入理解这些组件的内部逻辑和相互依赖关系,以确保它们能够正确、高效地协同工作。
- 实时性和性能要求:白盒测试需要验证软件在各种操作条件下的响应时间、吞吐量和其他性能指标,以确保它们满足或超过规定的标准。
- 安全性和可靠性:白盒测试需要识别并修复所有可能导致软件故障、崩溃或不安全行为的代码缺陷,包括边界条件错误、资源泄露、并发问题等。
- 遵守标准和规范: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通过其AI驱动的软件测试平台和自动化测试解决方案帮助组织持续提供高质量的软件。Parasoft成熟的技术支持嵌入式、企业和物联网市场,通过将深度代码分析和单元测试,Web UI和API测试,以及服务虚拟化和完整代码覆盖率整合到交付管道中,减少了为提供安全、可靠和合规软件所需的时间、精力和成本。
关于慧都
慧都是一家行业数字化解决方案公司,专注于软件、石油与工业领域,以深入的业务理解和行业经验,帮助企业实现智能化转型与持续竞争优势。在软件工程领域,我们提供开发控件、研发管理、代码开发、部署运维等软件开发全链路所需的产品,提供正版授权采购、技术选型、个性化维保等服务,帮助客户实现技术合规、降本增效与风险可控。
慧都科技作为Parasoft公司在中国区的官方授权合作伙伴,为国内企业提供Parasoft C/C++test产品的正版授权、定制化部署与全生命周期技术支持与服务。我们致力于助力客户精准贯彻功能安全标准、全面提升软件开发效率、有效管控项目风险,最终构建符合国际标准的高质量软件体系。
发表评论