Issue No. 08 - August (1974 vol. 23)
C.V. Ramamoorthy , Department of Electrical Engineering and Computer Sciences, College of Engineering, University of California
Current architecture for microprogrammable machines vary widely. In order to avoid the applicability of the testing technique to a particular machine example, hardware, microware and microprograms are represented in a general fashion. This representation will account for a composite of features common to a large variety of contemporary machines. Such a general description seems to be absolutely necessary, when a comparison of two microprograms executing on different machines has to be made. After defining the model, correctness and equivalence of loopfree microprograms will be defined. The testing techniques are then developed. In the Appendix are shown two examples of straight line microprograms (for simplicity), to which the developed model is applied.
Automatic testing, loopfree microprogram, microprogramming, microprogram correctness, microprogram equivalence, straight line microprogram.
K. Shankar and C. Ramamoorthy, "Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms," in IEEE Transactions on Computers, vol. 23, no. , pp. 768-782, 1974.