The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1974 vol.23)
pp: 768-782
C.V. Ramamoorthy , Department of Electrical Engineering and Computer Sciences, College of Engineering, University of California
ABSTRACT
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.
INDEX TERMS
Automatic testing, loopfree microprogram, microprogramming, microprogram correctness, microprogram equivalence, straight line microprogram.
CITATION
C.V. Ramamoorthy, "Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms", IEEE Transactions on Computers, vol.23, no. 8, pp. 768-782, August 1974, doi:10.1109/T-C.1974.224033
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool