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

【Abstract】 In the article, several improvements on the abstract execution graph method for microprocessor functional testing, which was presented by C. ROBACH and G. SAUCIER on 1930 IEEE Test Conference, and its conformity algorithm are investigated. The so-called conformity algorithm is an effective algorithm, simple in structure and easy to use. When a microprocessor under test is described by the abstract execution graphs and its in struction set partitioned into classes and groups according to the graph complexity of each instruction, the conformity algorithm is used to check the errors in decoding, sequencing and controlling functions. There are some problems in the original algorithm presented in 1980 IEEE Test Conference. Firstly, the ability to detect functional faults has to be improved, Secondly, the coverage of fault detecting, especially that of multiple faults, bas to be increased. The shortcomings and insufficiencies in the original algorithm are indicated, and some examples to show the influence of the above short comings and insufficiencies are given. An improved conformity algorithm is developed. A functional testing program for MC6800 microprocessor, which was developed on the basis of the improved conformity algorithm, has been proved to be effective.更多还原