现代飞机的飞行控制、导航、发动机管理等功能高度依赖嵌入式软件和可编程逻辑器件（FPGA/ASIC）。这些“看不见”的产品，其开发与验证过程必须严格遵循适航当局认可的DO-178C和DO-254标准。上海百检检测中心可协助软硬件开发方执行独立的验证与确认活动。

检测范围

• 飞行控制、航电管理、发动机全权限数字控制（FADEC）等A/B级软件

• 告警显示、通信管理等C/D级软件

• FPGA/CPLD/ASIC等复杂电子硬件

• 机载操作系统、中间件及可重用软件组件

• 软件开发工具和验证工具的鉴定

检测标准

• RTCA DO-178C《机载系统和设备合格审定中的软件考量》

• RTCA DO-248C DO-178C的补充说明资料

• RTCA DO-330《软件工具鉴定考量》

• RTCA DO-254《机载电子硬件的设计保证指南》

主要检测与验证活动

• 低级测试：对硬件板级支持包、驱动层进行接口和时序测试，确保硬件寄存器操作正确。

• 软件高级需求验证：编制验证用例，输入典型值、边界值和异常值，通过功能测试覆盖全部软件需求。

• 代码覆盖率分析：利用嵌入式测试工具，测量语句覆盖、分支覆盖（B级）及修正条件判定覆盖（A级要求），识别死代码和需求遗漏。

• 软硬件集成测试：在目标处理器硬件或仿真平台上，测试中断响应、定时器精度、内存保护等集成特性。

• 鲁棒性测试：注入异常输入、电源突变、时序违例等故障，检验系统的错误处理和恢复能力。

• 工具鉴定测试：对开发或验证中使用的仿真器、自动代码生成工具等进行鉴定，证明其输出可信度。

• 回归测试：对任何修改后的软件/硬件重新执行受影响用例，确保未引入新问题。

检测方法与环境

测试执行通常在目标机环境或通过处理器在回路（PIL）仿真完成，使用逻辑分析仪和协议分析仪捕获硬件时序。代码覆盖率和结构分析依靠经过鉴定的嵌入式软件测试工具实现。所有测试活动均按计划、规程进行，结果纳入问题跟踪系统并形成审核证据。

我们能提供的支持

上海百检检测中心拥有嵌入式软件和电子硬件的独立验证团队，具备开展软件测试、覆盖率分析以及硬件功能测试的能力，可出具满足适航审查要求的验证报告，协助申请方降低审定风险。

温馨提示：以上内容仅供参考，更多检测相关信息请咨询官方客服。