This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Index Terms:
Automatic testing, loopfree microprogram, microprogramming, microprogram correctness, microprogram equivalence, straight line microprogram.
Citation:
C.V. Ramamoorthy, K.S. Shankar, "Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms," IEEE Transactions on Computers, vol. 23, no. 8, pp. 768-782, Aug. 1974, doi:10.1109/T-C.1974.224033
Usage of this product signifies your acceptance of the Terms of Use.