摘要: 为了测试一异步时序机,需要两类序列检测单个或一组固定故障。第一类,命名为引导序列,加在第二类之前,置时序电路子某一条件(状态),该条件(状态)由测试码产生算法所规定。第二类序列,即测试序列,用以检验电路申故障的存在。本文描述一个引导序列产生的算法。这个算法使用了向前向后交替追踪的技术。它比试探或者人工检验过程更精确。该算法已用FORTRAN语言实现,作为布尔差分测试码产生程序的一部分。一些例子计算表明,故障复盖超过总故障数的80%。