AFDX网络配置测试技术研究

终端系统作为AFDX网络数据传输的关键部分,其优劣决定着整个AFDX网络的通信性能。为了测试验证端系统功能,评估AFDX网络的传输性能,提出了一种AFDX网络配置测试方法。设计端系统的配置测试规范,建立端系统测试总体框架,对端系统的测试响应机制进行研究,规范化测试流程,生成的配置文件作为算法设计的输入信息。设计激励数据生成算法,建立激励数据生成框架,对数据发送的约束条件进行形式化定义,利用SMT求解器,生成激励数据发送时刻表。激励数据发送时刻表作为输入,利用TestCenter网络测试平台进行仿真实验,实验结果证明该方法能模拟当前AFDX网络配置在高负载数据流下的有效性。