基于状态机设计的数字系统的一种测试算法

在现今的数字设计中,由于系统的复杂性和对于产品可靠性的更高的要求,测试在当今的设计中的地位与日俱增。本文根据图论中的最短路算法,给出了一种基于状态机设计的数字系统的测试方法,该方法是对测试中的测试时间与故障覆盖的一个较好的折中。