JPH021578A - Test item generating device - Google Patents

Abstract

PURPOSE:To efficiently generate a detailed and exact test item by dividing logical information into item units and converting the data to a hierarchical structure, bringing this data to mapping as a vector train on an (n) dimensional virtual space and extracting it in accordance with a condition. CONSTITUTION:By a terminal equipment control processing 1, a test item file 6 of a test item and data is generated. By a map generation processing 2, the test item file 6 and a test item condition file are inputted, and an (n)-dimensional map is generated on a virtual space. By a test item optimization processing 3, an optimizing condition file 8 is inputted, and the test item and the data which have been generated by the (n)-dimensional map are optimized. These test item and data are brought to display output to a terminal equipment 5 and a printing device 9.

Description

[Detailed Description of the Invention] [Industrial Field of Application] The present invention relates to test item generation when performing embedding verification, and particularly to test item generation suitable for generating test items for large-scale embedding verification. Regarding equipment.

[Conventional technology]

Conventionally, test items when performing logic verification have been manually extracted by a logic designer or a person in charge of inspection based on their experience.

Incidentally, related technology includes Japanese Patent Application Laid-Open No. 70641.

[Problem to be solved by the invention]

In the above-mentioned conventional technology, test items are artificially created for large-scale logic, so the verification accuracy depends on the experience and knowledge of the test item creator. Furthermore, it was difficult to extract all complete logical verification items.

An object of the present invention is to provide a test item generating device mechanically necessary for logic verification from functional items described in logic specifications.

[Means to solve the problem]

According to the present invention, the m objects are a means for dividing logical information into related item units and creating a hierarchical structure of the data, and a means for converting the hierarchically structured data into a vector sequence on an n-dimensional virtual space. This is achieved by having a means for extracting the vector sequence according to the extraction conditions.

[Effect]

According to the Ichimae Jpi method, an n-dimensional map of valid test items for specified items is created in virtual space using items in the design specifications, and test items are mechanically generated from the n-dimensional map. Then, only valid test items are automatically generated in detail, accurately, and efficiently.

By creating a test program based on the test items, it is possible to improve the degree of resentment.

[Fu example]

Hereinafter, one embodiment of the present invention will be described in detail using the drawings.

FIG. 1 is a processing block diagram schematically showing the flow of processing in the test item automatic generation device according to the present invention.

First, in terminal device control processing 1, according to the operator's instructions, a test item file B containing test items and data is created,
Alternatively, map creation processing 2 is performed.

Next, in map creation process 2, the test item file 6 and the test item condition file 7 are input, and an n-dimensional map (matrix) of valid items with recognized combination items is created for the test items specified by the operator. Next, in test item optimization processing 3, the optimization condition file 8 is input according to the operator's instructions, and the test items and data created using the n-dimensional map are optimized. Create valid items.Optimization is performed when instructed by the operator.Additionally, in test item display/output processing 4,
The test items and data are displayed and output to the terminal device 5 and the printing device t9.

FIG. 2 is a flowchart showing the order of each process in the processing block diagram shown in FIG.

As shown in FIG. 2, first, based on the instructions input by the operator, it is determined whether to create a map (201), and rN
In the case of OJ, the operator inputs items, hierarchizes the input items for each item, and writes it to the test item file (211) f: Execute. “If YESJ, read the test item file for the operator-specified items (20
2) Read the test item condition file (203), compare the test item and test item condition (204), and create an n-dimensional map of valid test items with recognized conditions and combinations of items on all virtual questions. (205) Do. Next, the optimization conditions file is read (206), the items in the map are compared with the optimization conditions (207), the conditions are recognized,
Create the most suitable test items. Next, the test items created above are displayed (208), and it is determined whether to print according to the operator's instructions (209). If L, rYEsJ, print (210) l, and the process ends.

If "NO", the process ends without printing.

FIG. 3 is an explanatory diagram of the test item file 6.

The test item file 6 includes the test item table 301, and the first item is the item inputted by the operator.

2nd term: Up to the 0th term, n layers are stored.

Specifically, the first item is ``advance control'' in the test item table 601, ``instruction J, 'rcJ'', and the second item of the 1st item ``advance control'' is rAl'', r branch control''. Ashish, 2nd
The third term of the term "branch control" is rTarget I J
, rTerget 2 J , =”−, rTerg
et nJ. The same applies to other items.

FIG. 4 is an explanatory diagram of the test item condition file 7.

The test item condition file 7 is the test item condition table 40.
Item 402 and condition 403 are stored.

Specifically, when the item 402 is branch control, the condition 403
, Target x > 10 indicates an acceptable value. Also, if item 402 is a combination of commands C, condition 4
03 indicates that the branch instruction C11 is irreversible.

FIG. 5 is a diagram for explaining an n-dimensional map of test items.

An n-dimensional map is created in virtual space according to the number of items.

At the time of creation, first, the test item table 301 of the test item file 6 and the test item condition table 401 of the test item condition file 7 are read, combination test items are recognized, and only valid test items are created. Specifically, when creating a test item for a combination of command and advance control, the advance control and command are read from the test item table 301 of the test item file 6, and the test item condition table 4 of the test item condition file 7 is read.
Read 01. As test items, the command and advance control items are set as the first order term, the first order term as the second order term, the n-dimensional map of the first term, the n-dimensional map of the second term, ... the n-dimensional map of the 0th term. It is combined with map, but as a condition for branch control
Since Target x > 10 J is not created, the branch control of the n-dimensional map in the fifth term is rTarget.
Items from υ to r Target 10 J.

In addition, when branch control is combined with instructions, instructions other than branch instructions are not valid as test items, so it recognizes that only branch instructions are present, and extracts only valid test items. Create a dimensional map.

FIG. 6 is a diagram for explaining the test item table 601.

The test item table 601 stores items tailored to the n-dimensional map. The example shown in the test item table 601 is a test item for branch control of instruction advance control.
Create test items that combine each data as shown in the figure.

FIG. 7 is a diagram for explaining the optimization condition file 8.

The optimization condition file stores an optimization condition table 701, which is used to create the most optimal test items.

Whether or not to optimize the test items depends on the operator's instructions.

The optimization condition table 701 includes a valid flag 702° item 7032 and a condition 704. Specifically, the valid flag 702 is “1” and the 9 items 703 are “branch control” 1 condition 70
4 is r Target 1, Target 5 J
In this case, Target 1 is the test item for branch control.
, indicates that Target 5 is valid. When invalid, the valid flag 702 is "0".

Based on the data in the optimization condition file, the most optimal test items are extracted from the data in the test item table 601.

Transfer the test item table created above to the terminal device.

By displaying/outputting on a printing device, test items for creating a test program can be automatically generated in detail, accurately, and efficiently.

The above has been specifically explained based on the embodiments of the present invention, but
It goes without saying that the present invention is not limited to the embodiment m1, and may be modified without departing from the gist of the invention. [Effects of the Invention] As explained above, according to the present invention, By recognizing combination items, creating an n-dimensional map of valid items on a virtual wall, combining them, and optimizing them, we can efficiently and automatically perform test items that are more detailed and accurate than ever before. There are effects that can be generated.

This makes it possible to improve the test accuracy of the test program.

[Brief explanation of the drawing]

FIG. 1 is a processing block diagram in a test item automatic generation device according to an embodiment of the present invention, the second factor is a flowchart in the processing block factor shown in FIG. 1, and FIG. 6 is an explanatory diagram of a test item file. , Fig. 4 is an explanatory diagram of the test item condition file, Fig. 5 is a map diagram in the map creation process, Fig. 6 is an explanatory diagram of the test item table, and Fig. 7 is an explanatory diagram of the optimization condition file. It is. 1... Terminal device control processing, 2... Map creation processing,
3... Test item optimization processing, 4... Test item display/
Output processing, 5... terminal device, 6... test item file, 7... test item condition file, 8... optimization condition file, 9... printing device.

Claims (1)

[Claims] 1. In logic verification, there is a means for dividing logical information into related items and structuring the data in a hierarchical structure, a means for mapping the hierarchically structured data as a vector sequence on an n-dimensional virtual space, and a method according to extraction conditions. 1. A test item generation device, comprising means for extracting the vector sequence, and automatically extracting test items necessary for the logic verification.