简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:在对以往跳变同步技术进行梳理分析的基础上,针对军事信息网络的实际情况,借鉴分布式时间戳(DistributedTimestampSynchronization,DTS)技术,提出分布式改进型PTP同步(DistributedImprovedPTP(PrecisionTimeProtocol)Synchronization,DIPS)技术,通过改进型IEEE1588v2协议进行全网时间同步,并利用GPS/北斗授时系统和本地高精度晶振对主时钟进行智能时钟纠正,不仅提高了时间同步精度,而且有效提高了系统可靠性,可很好地适应复杂恶劣的军事斗争环境。