Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms

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.