对微处理机测试的抽象执行图法及其一致性算法的改进

摘要

本文在扼要说明了法国ROBACH和SAUCIER专家在1980IEEE Test Conference上提出的微处理机功能测试的抽象执行图法之后,着重考察了该法原来的一致性算法存在的问题,指出其故障检查能力有待于提高和故障复盖率有待于增大。提出了对一致性算法的若干改进,并根据改进的算法编制了MC6800微处理机的功能测试程序。经过试用,证明MC6800的功能测试程序性能良好。文中给出了一些证明原一致性算法的缺陷的例子。