对微处理机测试的抽象执行图法及其一致性算法的改进 |
| |
引用本文: | 刘家松,陈庆方.对微处理机测试的抽象执行图法及其一致性算法的改进[J].天津大学学报(自然科学与工程技术版),1986(3). |
| |
作者姓名: | 刘家松 陈庆方 |
| |
作者单位: | 天津大学
(刘家松),天津纺织工学院(陈庆方) |
| |
摘 要: | 本文在扼要说明了法国ROBACH和SAUCIER专家在1980IEEE Test Conference上提出的微处理机功能测试的抽象执行图法之后,着重考察了该法原来的一致性算法存在的问题,指出其故障检查能力有待于提高和故障复盖率有待于增大。提出了对一致性算法的若干改进,并根据改进的算法编制了MC6800微处理机的功能测试程序。经过试用,证明MC6800的功能测试程序性能良好。文中给出了一些证明原一致性算法的缺陷的例子。
|
本文献已被 CNKI 等数据库收录! |
|