Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>
X
Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>
Reading Time: < 1 minute海上生明月，九天揽星河。2025年4月24日是第十个中国航天日，也是航天领域的一个重要时刻。Parasoft作为一家从NASA JPL实验室走出的企业，在航空航天软件测试解决方案领域积累了丰富经验，一直专注于确保软件的高质量与高可靠性。
为了更好地了解低空飞行领域的发展以及适航认证的挑战，我们特别邀请到了玖镕信息科技副总经理解群女士，与我们一起探讨低空飞行领域的技术突破和适航认证的挑战。
近年来，低空经济蓬勃发展，无人机物流、eVTOL等应用已经逐渐融入我们的生活。这些低空飞行器的软件技术需要满足哪些新要求呢？
解群女士指出，低空飞行器的核心在于“安全”与“效率”。像eVTOL这样的低空飞行器软件，需要实现路径规划、避障、通信等高并发任务的执行，同时在复杂的城市环境中实时处理海量数据。这要求软件具有高安全性和高可靠性，并通过适航性认证，确保产品研制过程的规范性和工具链的完备性。
解群女士分享了多年积累的适航认证项目经验，总结了以下三点关键要素：
需求可追溯性：从高层需求到代码实现，再到测试用例，建立双向追踪矩阵。在eVTOL飞行控制软件的开发中，需求覆盖率直接关系到认证材料的完备性。像Parasoft的“需求可追溯性报告”功能，能够确保每条需求的设计、实现和验证均被覆盖。
自动化测试与覆盖率分析：在极端场景模拟中，工具需要支持传感器故障注入和电磁干扰测试，验证软件的容错性。静态分析（如MISRA C/C++规范检查）和动态测试（如MC/DC覆盖率分析），可以帮助快速定位代码缺陷。
工具鉴定支持：DO-178C补充了软件工具鉴定指南DO-330，对机载软件项目中使用的各类工具提出了鉴定要求。面对数据耦合分析这一难点，玖镕科技采用双向逼近方法，结合自动化工具减少人工干预，避免因模块间数据流异常导致系统性风险。同时，Parasoft提供了相应的工具鉴定认证包，提升了效率，例如在飞行管理系统的开发中，使工具鉴定时间缩短了30%。
解群女士介绍，玖镕信息科技的核心解决方案围绕产品全生命周期质量保障工作展开，涵盖以下三个维度：
软件验证：提供满足 DO-178C标准要求的软件验证服务，包括高层需求和低层需求验证，需求覆盖率分析、代码审查和包括MC/DC在内的结构覆盖率分析。
工具鉴定：提供开发工具、验证工具和支持工具的鉴定服务。针对低空飞行器的复杂需求，自主开发了源码测试工具、航电系统综合测试平台、以及实时仿真引擎，这些工具与平台均支持国产操作系统和嵌入式系统环境，确保硬件适配与系统集成的可靠性。
认证咨询：专注帮助企业解决适航取证过程中的技术难题，协助其通过中国民航局CAAC、美国FAA、欧洲EASA等适航性认证，促进企业合规性建设，助力产品落地。
低空飞行器常面临硬件适配和系统集成的挑战。以eVTOL为例，其操作系统需适配多种硬件平台，同时满足实时性要求。玖镕信息科技借鉴航空领域的经验，采用操作系统适航化和硬件在环测试的方法来解决这些问题。推荐选择已经经过DO-178C认证成熟的嵌入式系统（如Wind River VxWorks），并通过“适航鉴定包”固化验证证据，降低重复审查成本。在仿真环境中进行故障注入（如电磁干扰、信号延迟），验证软件的容错能力。Parasoft的工具在这方面支持多种故障注入，大幅提升测试效率。
对于低空飞行领域的未来技术融合趋势，解群女士认为将聚焦于三个方向：
标准协同与经验迁移：航天领域的适航经验（如嫦娥工程的软件验证流程）可转化为低空飞行的行业标准，推动跨领域技术共享。
智能化测试工具：伴随AI技术的不断发展，以AI驱动的测试工具（如Parasoft的自动化缺陷预测）将会进一步提升测试效率，缩短认证周期。
在第十个中国航天日这个特别的日子里，我们再次感受到航天与低空飞行共同承载着人类对天空的向往。无论是探索深空还是服务城市，软件的安全性与创新性始终是重要的基础。期待与Parasoft和玖镕信息科技等行业伙伴共同努力，开创“星辰大海”与“低空经济”交汇的新篇章，迈向更辽阔的宇宙与更智慧的天空！
上海玖镕信息科技有限公司总部位于国家级科创高地——紫竹国家高新技术产业开发区，下设武汉、北京两大区域分支机构。作为一家以高安全高可靠性技术为核心的高新技术企业，公司深耕军民融合领域，形成了一支由行业资深专家领衔的专业化团队。公司聚焦“数字化+智能化”双轮驱动战略，构建四大核心业务板块：测试设备与系统集成、智能装备与仿真系统、软件测评与安全评估、民机技术与适航认证， 秉承"科技强国，智造报国"理念，玖镕科技持续深化在装备数字化、智能化领域的技术创新，致力于成为中国制造体系值得信赖的一站式解决方案服务商，助力国家高端装备制造业高质量发展。
Parasoft通过其AI驱动的软件测试平台和自动化测试解决方案帮助组织持续提供高质量的软件。Parasoft成熟的技术支持嵌入式、企业和物联网市场，通过将深度代码分析和单元测试，Web UI和API测试，以及服务虚拟化和完整代码覆盖率整合到交付管道中，减少了为提供安全、可靠和合规软件所需的时间、精力和成本。Parasoft屡获殊荣的报告和分析仪表板汇集了所有以上所述，提供了集中的质量视图，使组织能够自信地交付，并在当今最具战略性的生态系统和开发计划中取得成功——信息安全、功能安全、敏捷、DevOps和持续测试。