1. 航电实时计算平台测试与验证导论
航电实时计算平台是飞机上承担飞行控制、显示告警、任务管理、通信导航等关键功能的计算基础。它并不是一台“性能更强的通用计算机”，而是一套在严格时间约束、确定性和安全性要求下工作的嵌入式系统。测试与验证（Verification & Validation，V&V）贯穿其研制全过程，目标是回答两个问题：我们是否正确地构建了系统（verification），以及我们是否构建了正确的系统（validation）。本课程围绕这两个问题展开，帮助学习者建立从需求到证据的完整工程思维。
一、课程目标与知识框架
本课程希望学习者最终能够独立完成以下工作：读懂航电实时计算平台的需求与接口定义；针对实时性、确定性和安全性设计可执行的测试用例；搭建半实物或全数字仿真测试环境；采集并分析时间、总线、任务调度等关键数据；依据适航标准组织验证证据并判断是否通过。整体知识框架可以概括为“一个对象、三条主线、四类证据”：对象是航电实时计算平台；三条主线是功能正确性、实时确定性和安全性；四类证据是需求追溯、测试结果、覆盖分析和适航符合性说明。
二、航电系统的特殊性
理解测试与验证，必须先理解航电系统与普通软件系统的差异。第一是实时性：飞控律的解算周期通常在 10～20 ms 量级，姿态更新甚至更快，任务必须在截止期前完成，晚到即失效。第二是确定性：同样的输入在相同状态下必须产生相同的时间行为和输出，不能因为调度抖动、缓存命中或总线竞争而改变。第三是安全性：失效可能导致灾难性后果，因此需要冗余、隔离、健康监控和故障降级。第四是资源受限：机载环境对功耗、重量、散热和认证成本都有严格约束。第五是接口复杂：ARINC 429、ARINC 653、AFDX、CAN、离散量等多种总线并存，时序和协议约束各不相同。
这些特殊性直接决定了测试方法。例如，普通软件可以用“功能是否实现”作为主要判据，而航电平台必须同时给出时间证据：任务的最坏执行时间（WCET）、周期抖动、端到端延迟、总线消息的刷新周期与超时行为。再如，普通软件允许一定概率的偶发失败，而航电平台要求对失效模式有明确的分析和覆盖，包括单点故障、共因故障和级联失效。
三、为什么必须做测试与验证
测试与验证的必要性来自三个方面。其一是需求不可完全形式化：自然语言描述的需求存在歧义，只有通过可执行的测试用例才能暴露理解偏差。其二是实现会引入缺陷：编译器优化、并发调度、硬件时序、驱动行为都可能产生设计阶段未预料的问题。其三是适航审查要求客观证据：审定方不会接受“我们认为没问题”，只接受可追溯、可复现、可审查的验证数据。
四、适航标准概述
航电软件与硬件的验证活动主要受以下标准约束：DO-178C 是机载软件适航审定的核心标准，按软件等级（A～E）规定目标、活动和证据，等级 A 要求最严格，包括 MC/DC 覆盖；DO-254 针对机载电子硬件，强调设计保证；DO-330 规定验证工具鉴定要求；ARINC 653 定义综合模块化航电（IMA）的分区、调度和健康监控接口，是实时计算平台测试的重要依据；ARINC 664 定义 AFDX 网络，涉及虚拟链路、带宽分配和完整性检查。测试人员需要理解这些标准对“证据”的具体要求，而不是只记住标准编号。
五、从需求到证据的验证闭环
一个完整的验证闭环通常包含以下环节：需求分析并建立追溯矩阵；根据需求设计测试用例，明确输入、预期输出和判据；搭建测试环境，包括目标机、仿真器、总线监控和激励设备；执行测试并采集数据；对结果进行判读，区分通过、失败和偏差；进行覆盖分析，确认测试充分性；最后形成符合性说明，支撑适航审查。下面给出一个简化的需求追溯与测试用例示例，帮助理解字段之间的关系。
需求编号: RQ-TIME-012
需求描述: 飞控任务周期应为 20 ms，抖动不超过 ±1 ms
测试用例: TC-TIME-012
激励条件: 加载 80% 额定负载，连续运行 30 min
观测点: 任务开始时间戳、结束时间戳、周期序列
判据: 平均周期 20 ms ±0.2 ms；最大抖动 ≤1 ms；无截止期错过
结果记录: 通过 / 失败 / 偏差说明
覆盖关联: 调度器分支、超时处理分支在这个示例中，需求、用例、观测点、判据和覆盖关联形成了一条可追溯的证据链。实际工程中，这条链会扩展到数百甚至数千条需求，因此需要工具支持，但核心逻辑不变：每一条需求都要有对应的验证活动，每一个验证结果都要能回溯到需求。
六、学习本课程的建议
建议学习者按“概念—方法—工具—案例—复盘”的顺序推进，但不要停留在概念记忆。每学完一个测试方法，尝试找一个真实或假设的平台对象，写出它的输入、输出、时间约束和失效模式，再设计一条可执行的测试用例。遇到总线、调度、覆盖等术语时，回到标准原文或接口文档确认定义，避免望文生义。测试与验证的核心能力不是记住结论，而是能够设计出让别人可以复现、可以审查、可以信任的验证过程。