JPS63193235A - Inspecting method for condition code - Google Patents

Abstract

PURPOSE:To secure the inspection of a setting function for the condition code of an instruction to be tested by storing the condition code set by the instruction to be tested in a specific area of a main storage by an interrupting function and inspecting it directly. CONSTITUTION:An interrupting means 1 stores the condition code set by the instruction to be tested and the state of another computer system in a storage means 2. The condition code in the state of a computer system can be inspected by an inspecting means 3 according to the storage contents. The setting function for the condition code of the instruction to be tested is securely inspected.

Description

[Detailed description of the invention] [Heat transfer] The basic function of a computer is to store the state of a computer system in a predetermined area by interrupts, and by directly inspecting the stored data using basic instructions. , it is possible to check the condition code set function of various instructions.

[Industrial application field]

The present invention relates to a method for testing the functionality of a computer system,
In particular, it relates to a method of testing the function of setting condition codes of various instructions.

In recent years, EDP processing has become popular in various businesses, and in the current information society where all kinds of information is processed by numerous computer systems in all types of industries, computer system failures can cause social chaos. , therefore,
Testing programs to ensure reliable functionality confirmation at the time of factory shipment and early detection of failure points in the field are becoming increasingly important. Therefore, there is a need for an effective testing method that starts by testing the basic functions and instructions of a computer, and then directly and reliably tests other functions in sequence based on these verified functions.

[Conventional technology]

A conventional method for testing condition codes set by instructions under test is shown in the schematic flowchart of a test program in FIG.

■In order to confirm that the instruction under test sets a new condition code, execute an instruction that has already been checked, so that the condition has a value different from the condition code expected to be set by the instruction under test. Set the code.

(2) Execute the instruction under test, such as an addition instruction, using various operands. The instruction execution result and expected condition code are:

■Execute a conditional branch instruction with a branch condition set so that the branch is established for the expected condition code.

■If it branches, the condition code was set normally, so proceed to the next check.

■If it does not branch, an incorrect condition code was set, so proceed to error processing.

In this way, the normality of the condition code sent by the instruction under test is determined based on the branch result of the conditional branch instruction.

[Problem that the invention seeks to solve]

As described above, according to the conventional method, a conditional branch instruction is placed next to the instruction under test, and the correctness or failure of the condition code set function of the instruction under test is determined based on the branch result of the conditional branch instruction, which has a complex function. It is not possible to directly check the condition code set by the instruction under test, and it is not known whether the conditional branch instruction operates based on the value of the condition code that was set correctly.Also, the conditional branch instruction itself operates correctly and functions. The problem is that it is not clear whether the goal has been achieved.

[Means for solving problems]

FIG. 1 shows a block diagram of the principle of the present invention.

In the figure, 1 indicates an interrupt means that generates an interrupt following execution of the instruction under test and instructs to store the state of the computer system at the time of occurrence of the interrupt; 2 indicates a storage means for storing the state of the computer system based on the storage instruction; and 3 indicates This is a checking means for checking the condition code in the state of the computer system stored in the storage means 2.

Therefore, the interrupt means 1 is configured to store the condition code set by the instruction under test and other states of the computer system in the storage means 2, and the checking means 3 is configured to check the value of the stored condition code. .

[Effect]

According to the present invention, the interrupting means 1 stores the condition code sent by the instruction under test in the storage means 2, and the checking means 3 directly checks the condition code based on the stored contents. The code set function can be reliably tested.

〔Example〕

Embodiments of the present invention will be described below with reference to the flowchart shown in FIG. The same reference numerals indicate the same objects throughout the figures. Components in FIG. 2 that correspond to those in FIG. 1 are surrounded by dashed lines.

In the figure, 1a is an interrupt mechanism, 2a is a storage section, and 3a is a test section.

■In order to confirm that the instruction under test sets a new condition code, execute an instruction that has already been checked, so that the condition has a value different from the condition code expected to be set by the instruction under test. Set the code.

■Execute the instruction under test.

■Monitoring program call command (SVC: 5upe
The interrupt mechanism 2a operates by executing ``rvi-sor Cal+'', and the interrupt mechanism 18 records the state of the computer system including the condition code set by the instruction under test! Store it in a predetermined area of the device.

(2) The storage unit 2a stores condition codes stored by the interrupt mechanism 1a.

(2) The inspection unit 3a repeatedly executes a counting branch instruction having a simple function to inspect the condition code in the storage unit 2a.

By executing this instruction, 1 is subtracted from the value of the condition code,
If the result is zero, proceed to the next instruction, and if the result is not zero, branch. Therefore, by executing the test up to three times, the value of the condition code is determined and whether the condition code expected by the instruction under test is set. It is confirmed whether or not.

Therefore, the condition code of the execution result of the instruction under test is
a is not indirectly checked by a conditional branch instruction, but by directly checking the condition code stored in a predetermined area of the storage unit 2a by the interrupt mechanism 1a.
It is possible to reliably test the condition code setting function of the instruction under test. In addition, by having the conditional code set by the instruction whose test has been completed in this way determined by the conditional branch instruction, the normality of the conditional branch instruction can be reliably tested.

〔Effect of the invention〕

As explained above, according to the present invention, the condition code set by the instruction under test is stored in a predetermined area of the main memory using the interrupt function, which is a basic function, and directly tested. This has the effect that the code set function can be reliably inspected.

[Brief explanation of the drawing]

FIG. 1 is a block diagram of the principle of the present invention, and FIG. 2 is a flowchart showing an embodiment of the present invention. FIG. 3 is a flowchart of a conventional example. In the figure, 1 is an interrupt means, 1a is an interrupt mechanism, 2 is a storage means, 2a is a storage section, 3 is an inspection means, 3a is an inspection section,

Claims (1)

[Claims] In a method for testing a condition code set to reflect the execution result of a computer instruction, an interrupt is generated following execution of the instruction under test, and the state of the computer system at the time of the interrupt is instructed to be stored. Interrupt means (
1), storage means (2) for storing the state of the computer system based on the storage instruction, and inspection means (3) for checking the condition code in the state of the computer system stored in the storage means (2). ) is provided.