Parasoft助力安全关键自动驾驶系统斩获百万级政府合同

📅 2026/7/1 8:17:51 👁️ 次浏览

在航空航天等高安全级别行业中软件质量与合规性直接关系到飞行安全与业务成败。近期全球嵌入式软件测试知名厂商Parasoft携手加拿大创新航空企业Ribbit通过AI 驱动的自动化测试方案为其自主飞行控制软件提供全流程质量保障帮助 Ribbit 同时实现安全性、合规性和研发高效推进这一实践对于嵌入式安全关键系统研发具有重要借鉴价值。最新版本自动化测试解决方案Parasoft下载请联系Parasoft官方合作伙伴慧都科技背景安全至上创新驱动无人机运输Ribbit 致力于开发用于民用、国防与人道主义救援的自主飞行控制系统核心任务是将现有小型飞机快速改造为高度自动化的空中运输平台。然而这类安全关键系统需要在满足严格的行业标准如 MISRA、JSF、DO-178C前提下完成高质量、高可靠性的代码开发与验证同时在快速迭代的敏捷开发环境中保持敏捷与合规兼顾。挑战高标准安全性、严格合规性与快速交付Ribbit 在软件开发过程中遇到了多重挑战安全与合规要求极高—— 必须证明系统在极端环境下的飞行安全性符合行业与监管机构的严格标准监管环境不确定性—— 航空监管机构例如 Transport Canada的规定仍在演进团队需要在不断变化的框架内确保开发质量可靠无忧开发效率与质量的矛盾—— 如何在保证开发速度的同时满足高标准的安全合规性这是嵌入式安全关键软件开发中的核心难题解决方案集成 Parasoft 自动化测试工具到研发流程为应对上述挑战Ribbit 选择将Parasoft C/Ctest与C/Ctest CT纳入其开发与 CI/CD 自动化测试流程静态代码分析与合规检查从研发之初就内嵌 MISRA 和 JSF 等编码标准检查提前识别并修复潜在缺陷AI 驱动的违规优先级评估利用 AI 辅助分析自动将最关键的问题置顶优先修复提高实验效率实时 IDE 集成通过与主流开发环境集成工程师在编码阶段即可获得质量反馈减少上下文切换CI 集成测试覆盖率提升通过集成测试覆盖工具在持续集成流水线中实现 90–95% 的代码覆盖显著提升可靠性这一整合使得质量检查在开发流程中被“左移”不仅提升了代码质量还使得开发团队在敏捷研发中保持高合规性。成效安全合规稳健推进研发效率显著提升与Parasoft的合作带来了显著成果获得多个百万美元级政府合同显著提升企业市场信任与业务规模

相关新闻