摘要
针对武器装备在总装测试中出现的接口时序不匹配,现有测试方法不能实现长期连续自动测试的问题,提出基于层次有向图的时序一致性测试方法。该方法首先通过建立接口时序的层次有向图模型实现标准时序描述,然后利用错误检测算法实现异常时序的检测和定位。实验结果表明,该方法能够对通信周期内单个逻辑性错误的异常时序实现准确检测,对不收敛的异常时序能实现完全检测,适用于单个错误的异常时序检测。
-
单位北京理工大学; 北京宇航系统工程研究所; 北京航天控制仪器研究所