Parasoft助力自动驾驶飞行解决方案创新开发商Ribbit，通过基于C/C++的安全关键型自动驾驶软件的AI驱动测试实现飞速发展

2025 年 9 月 15 日— 人工智能驱动的软件测试解决方案的全球领导者 Parasoft 宣布与 Ribbit 进行创新合作，Ribbit 是一家灵活的加拿大初创公司，开发自主飞行技术，以改变向偏远地区的航空货物交付，用于民用、国防和人道主义应用。Ribbit 没有从头开始建造新的自主飞机，而是采用了独特的“软件优先”战略，专注于使用自主自动驾驶软件和坚固耐用的现成硬件对现有的小型且价格合理的飞机进行改造。核心自主性堆栈采用 C++ 开发，可实现最大程度的控制和安全关键可靠性，Ribbit 使用 Parasoft 的综合测试自动化解决方案进行 C/C++ 软件开发，从而得到支持。

Ribbit 联合创始人兼首席执行官 Carl Pigeon 表示：“Ribbit 与 Parasoft 的合作是我们发展战略的基石，它使我们的工程师能够标准化编码实践并提供一致的产品质量。“这也有利于更有效地让新员工入职。特别是，Parasoft 的静态分析工具就像一位私人导师，为 Ribbit 的代码质量设定了基准。

克服挑战

为了证明其系统在世界上最具挑战性的环境中无需飞行员即可安全飞行，Ribbit 选择了 Parasoft C/C++ 测试来支持快节奏、迭代的设计和原型周期，以及 DO-178C 和 JSF 编码标准的安全优势。尽管无人驾驶飞机的监管存在不确定性，但加拿大交通部等航空当局确信，Ribbit 的改装系统是安全的。Parasoft 的静态分析和合规性功能还在开发早期强制执行 MISRA 和 JSF 规则，使工程师能够尽早发现和修复编码问题。

务实，“用得见”开发

同样重要的是“经过验证”的方法，Ribbit 利用该方法使用机上安全飞行员来测试自主性，然后根据加拿大特殊飞行作证书 （SFOC） 进行远程监督飞行。这使工程师能够收集真实世界的数据，同时保持作灵活性。

分步验证

Parasoft 深厚的航空航天和民航专业知识、TÜV SÜD 认证以及与现有工作流程的无缝集成强制执行编码标准，因此 Ribbit 可以专注于自主性和合规性。Parasoft C/C++test 为 Ribbit 提供的不仅仅是合规性检查，因为工程师利用 VS Code 插件实时捕获问题，而无需上下文切换。此外，Parasoft 的人工智能驱动的违规分类有助于确定最关键修复的优先级，这对于处理多种需求的团队至关重要。借助 Parasoft C/C++ 测试 CT，Ribbit 还通过将测试执行与模拟环境相结合的持续集成管道实现了 90-95% 的测试覆盖率。

Parasoft 嵌入式和安全关键合规性产品战略总监 Ricardo Camacho 表示：“Ribbit 是一个很好的例子，说明创新航空航天公司如何通过将 Parasoft 静态分析集成到其 CI 工作流程中，在不影响安全的情况下快速行动。”例如，在向加拿大交通部展示他们的系统时，Ribbit 可以轻松地指出他们经过 Parasoft 验证的流程作为严格开发的证据，甚至在正式认证之前也是如此。”

创新

的新高度自采用 Parasoft 以来，Ribbit 已获得多份 $1M+ 的国防和人道主义应用政府合同。该公司还完全符合 MISRA 和 JSF，以确保强大可靠的代码库。标准化的编码实践可以更快、更轻松地让新工程师入职，并加快开发周期。然而，最重要的是 Ribbit 能够将 Parasoft 的合规解决方案集成到正在进行的开发工作流程中。因此，Ribbit 继续在自主飞行技术方面达到新的创新高度，同时降低设计、建造、测试和认证新自主飞机所需的成本、复杂性和时间。

其他资源

• Ribbit 案例研究：Ribbit 的安全第一方法如何获得 $1M+ 的政府合同
• Parasoft 和 Ribbit 网络研讨会：在自主飞行中平衡创新与安全的现代方法。
• 了解经过验证的使用策略如何帮助小型团队超越规模更大、资金充足的竞争对手，同时为自主航空领域可扩展、可认证的未来奠定基础。注册参加太平洋夏令时间 9 月 16 日星期二上午 9 点的现场会议。本次会议也将按需提供。

关于 Parasoft

Parasoft 通过其人工智能驱动的软件测试平台和自动化测试解决方案帮助组织持续交付高质量的软件。Parasoft 的成熟技术支持嵌入式、企业和物联网市场，通过将从深度代码分析和单元测试到 Web UI 和 API 测试以及服务虚拟化和完整代码覆盖率的所有内容集成到交付管道中，减少了交付安全、可靠和合规软件的时间、精力和成本。Parasoft 屡获殊荣的报告和分析仪表板将所有这些整合在一起，提供了集中的质量视图，使组织能够自信地交付并在当今最具战略意义的生态系统和开发计划中取得成功——安全、安全关键、敏捷、DevOps 和持续测试。