高 亮，李 蒙，梁晨光，宫久路

(1.北京理工大学机电学院，北京 100081；2.北京航天控制仪器研究所，北京 100039；3.北京宇航系统工程研究所，北京 100076)

0 引言

武器装备的总装测试中，常出现接口时序不匹配导致的电气系统工作故障问题，因此有必要开展接口时序的一致性在线测试方法研究。现有的一致性测试方法分为主动测试和被动测试两类[1]。ISO/IEC 9646标准定义了主动测试的框架和方法[2]，工程应用中一般基于TTCN-3测试框架实现[3-5]，通过生成能够触发故障的测试集作为测试输入，观测输入与输出之间的因果关系实现一致性检测，其缺点是不能在线测试，且只能检测测试集已覆盖的故障类型。被动测试则利用形式化模型描述被测系统行为，通过对比检测发现所有与模型描述不一致的系统行为实现时序一致性的在线测试，常用的模型有Petri网[6]、有限状态机及其扩展模型[7-9]、有向图模型等[10]。相较于主动测试，被动测试方法能够满足接口时序的在线测试需求，且能发现系统长期运行后出现的错误。目前，一致性测试研究集中于数据链路层和应用层，通过测试物理层电气参数实现一致性测试的研究还很缺乏[11]。同上层测试相比，物理层测试能够直接定位故障产生的原因(如：数据链路层可检测到数据误码，但不能分析出造成误码的原因)，发现潜在的时序缺陷，因此，在线物理层测试成为发现和定位接口时序故障的主要技术途径。

目前主流的物理层在线测试方法是通过示波器或逻辑分析仪进行人工测试[12]，存在测试效率低，不能实现长时间连续测试等问题。……