Browse Prior Art Database

Architecture Verification Program Automatic Test Case Generation

IP.com Disclosure Number: IPCOM000060843D
Original Publication Date: 1986-May-01
Included in the Prior Art Database: 2005-Mar-09
Document File: 2 page(s) / 61K

Publishing Venue

IBM

Related People

Treu, AE: AUTHOR [+2]

Abstract

A technique is described whereby an architecture verification program (AVP), used in the development of computers, will randomly select test cases and develop any number of test cases for each operational code of the computer. The AVP is unique in that it will define the limits of allowable architectural variations through the use of a random data generator, so as to provide complete automatic testing configurations of each instruction. Also, the AVP can be modified easily, should a change in the computer architecture be required, so as to continue the automatic verification and testing process of the design. The AVP information flow, as shown in Fig. 1, provides test cases that normally have structural content due to the architectural definitions required in the design of the computer.

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 54% of the total text.

Page 1 of 2

Architecture Verification Program Automatic Test Case Generation

A technique is described whereby an architecture verification program (AVP), used in the development of computers, will randomly select test cases and develop any number of test cases for each operational code of the computer. The AVP is unique in that it will define the limits of allowable architectural variations through the use of a random data generator, so as to provide complete automatic testing configurations of each instruction. Also, the AVP can be modified easily, should a change in the computer architecture be required, so as to continue the automatic verification and testing process of the design. The AVP information flow, as shown in Fig. 1, provides test cases that normally have structural content due to the architectural definitions required in the design of the computer. The test cases allow the AVP to monitor the testing process during the evaluation of the system environment. The AVP utilizes five basic modules and are controlled by a main module, as shown in Fig. 2. The main module has the ability to give control to one of the five modules after having generated the number of test cases specified by the user. The first module is called once during the AVP generating process to provide mnemonic or opcode requirements. The second module is called once for each mnemonic within a group of AVPs so as to generate AVPs for all mnemonics in the group of computer instructions. The third mo...