023-68661681
返回
低空经济的浪潮正以前所未有的速度重塑未来交通图景。从城市空中交通（UAM）到无人货运，eVTOL等低空飞行器已成为融合航空、电动交通与人工智能的复杂系统。其核心——飞行控制软件，直接决定了飞行器能否从“可飞”迈向“可用、可信、可商用”。在这一安全至上的领域，软件的微小缺陷都可能导致灾难性后果。
Parasoft是一家领先的自动化软件测试解决方案公司，以其深厚的航空航天背景与专业的工具套件，成为确保低空飞行软件高可靠性、高安全性与合规性的关键赋能者。
一、低空飞行软件测试：超越传统的严峻挑战
- 功能安全极端严苛，需遵循DO-178C等适航标准，任何失误都可能致命。
- 标准符合性复杂，需满足MISRA C/C++等大量编码规范，手动核查效率低下且易错。
- “测试左移”需求迫切，软硬件耦合紧密，缺陷修复成本随阶段指数级增长，必须将测试前置至设计编码阶段。
- 自适应行为验证困难，无人机自主逻辑复杂，传统方法难以生成有效测试用例并评估覆盖度。
二、Parasoft C/C++test：针对安全关键软件的质量工程体系
Parasoft C/C++test是一个经TÜV SÜD认证、覆盖全生命周期的质量工程平台，它能系统性地应对低空飞行软件测试的严峻挑战。
早期缺陷拦截与静态代码分析：
Parasoft作为自动化缺陷预防（ADP）理论的创始者，通过深度集成于IDE的智能分析引擎提供实时编码规范与安全漏洞预警。其静态分析引擎利用数据流分析等技术，在代码执行前即可精确识别资源泄漏、缓冲区溢出等深层运行时错误，将潜在缺陷消灭在编码阶段。这一能力在飞控核心算法开发时尤为关键，确保每一行基础代码的健壮性。
自动化合规、认证支持与证据生成：
Parasoft C/C++test内置经过权威验证的规则库，全面支持MISRA C:2023/C:2025、AUTOSAR C++14、CWE以及针对DO-178C等标准的检查。它能够一键执行扫描，并自动生成详细、可审计的合规报告，直接满足DO-178C认证证据生成的关键需求，例如自动生成包括MC/DC覆盖率在内的结构覆盖率和完整的可追溯性记录，极大简化认证流程。同时，其提供的工具鉴定认证包能有效响应DO-330指南要求，提升鉴定效率。
AI赋能的智能测试、深度验证与场景覆盖：
- 智能单元测试与运行时分析：工具可自动生成并执行单元测试，并通过Parasoft Insure++组件动态监测内存、指针与线程状态，暴露深层缺陷。此能力直接应用于航电系统集成测试，有效检测IMA系统中的线程冲突与死锁问题。
- AI优化与复杂验证：利用AI分析代码变更风险，智能推荐测试用例，优化回归测试策略。结合MIL和HIL测试，其测试管理与覆盖率分析功能可系统性地验证无人机自适应逻辑，应对电池告警、信号丢失等复杂场景。而 Parasoft SOAtest 可支持对低空飞行软件相关接口进行测试，保障接口交互的可靠性；Parasoft Virtualize 可模拟低空飞行软件所需的各类依赖环境，解决测试依赖缺失问题，助力更全面的测试验证。
全流程集成与需求追溯：
支持与CI/CD管道无缝集成，所有质量数据可集中至Parasoft DTP平台，提供统一仪表盘以确保可追溯性。Parasoft CTP 可对测试过程中的相关数据进行采集与分析，辅助优化测试流程；其需求可追溯性管理功能，能构建从需求、代码到测试的双向追踪矩阵，形成符合认证要求。
应对系统集成挑战：支持在仿真环境中进行故障注入、硬件在环等测试，验证软件在极端条件下的容错能力，有效应对低空飞行器硬件多样化与实时性集成的挑战。
低空经济的商业化成功，离不开每一行飞行代码的绝对可靠。Parasoft通过将深度的静态分析、自动化合规验证、AI驱动的测试优化与完整的生命周期质量管理融为一体，为低空飞行软件构筑了一道从编码到认证的主动防御体系，为开发者提供了一条可预测、可重复、可审计的高质量软件交付路径。
▍关于慧都科技
慧都科技（EVGET）成立于2003年，是一家行业数字化解决方案公司，长期专注于软件、油气与制造行业。公司基于深入的业务理解与管理洞察，以系统化的业务建模驱动技术落地，帮助企业实现智能化运营与长期竞争优势。
慧都科技是Parasoft 的中国区的合作伙伴，Parasoft 是全球领先的工业级软件测试与质量保障工具提供商，其产品矩阵覆盖从单元测试、集成测试到合规性验证的全生命周期质量管控，尤其适配航空航天、汽车、医疗、工业自动化等对软件安全性、可靠性要求严苛的行业。
如果你想详细了解上述产品的功能、价格、授权方式、下载试用等，请拨打慧都的客服电话（023-68661681），或直接访问慧都官网（www.evget.com）咨询客服！
发表评论