JPH0243639A - Covering rate measuring instrument - Google Patents

Abstract

PURPOSE:To obviously find by which instruction addresses not to be covered are many by displaying a position on the list of an address not to pass through. CONSTITUTION:The number of passing addresses is stored as an information table 1, the designated-range address information is stored as an information table 2, and the control information to make a sequential number on a list of the measured program correspond for respective addresses is stored as a table 3. The address excluding the address information of the table 1 from the address information of the table 2 is stored as an information table 4. In the address information of the table 2, the address information included in a table 3 is prepared. Thus, it can be easily known from which branch passing is not executed.

Description

DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to a coverage measuring device, and particularly to a coverage measuring device that investigates addresses that are not covered.

[Conventional technology]

Conventionally, this type of coverage measuring device only measures addresses of firmware executed on a program under test and calculates coverage for addresses in a specified range.

[Problem to be solved by the invention]

The above-mentioned conventional coverage measuring device only has the addresses that have passed as address information, so for addresses that have not been passed, it is difficult to determine whether the addresses were really not passed or did not actually exist in the first place. I couldn't tell if it was an address. In addition, it took a lot of time to find out which instructions had a pattern in which the instructions were not being passed often, and to search the list for addresses that were not being passed since there were no relationships on the list. Furthermore, there is a drawback that it is not easy to grasp which branches are not being followed.

[Means to solve the problem]

The coverage measurement device of the present invention has a configuration in which the coverage measurement device reads the address of firmware executed on the program under test and stores the passed address in the memory as data.
a first means for storing the number of addresses passed through as an information table 1; a second means for storing address information in a specified range as an information table 2; a third means for storing control information in which a number is associated with each address as a table 3; and an information table 4 for storing address information obtained by removing the address information in the table 1 from the address information in the table 2; and a fifth means for generating address information included in the table 3 among the address information in the table 4 as a table 5. do.

〔Example〕

Next, the present invention will be explained with reference to the drawings.

FIG. 1 is a block diagram mainly showing the flow of data in one embodiment of the present invention.

The transit address information taken in from the central processing unit 1 is
The coverage rate measurement control unit 31 in the coverage rate measurement device 3 is thus decoded and passed through the passing address control unit 3 as passing address information.
2.

Next, the address information that matches the specified address information taken in from the input control device 2 and stored in the specified address control unit 33 is removed from the specified address information, and the address information that is not removed, i.e. The unpassed address information is stored in the unpassed address information section 35.

The sequential line numbered address information on the list of programs to be measured stored in the line numbered address control unit 34 and imported from the input control device 2 in advance is compared with the unpassed address information, and a match is found. The address information is stored in the line numbered unpassed address control section 36.

Finally, the address information stored in the unpassed address control section 36 with line number is outputted through the output control device 4.

〔Effect of the invention〕

As explained above, the present invention displays addresses that actually exist and have not passed through, so there is no need to check whether or not addresses that have not passed through actually exist, unlike in the past. Since the position (sequential number) of the address that is not covered on the list is displayed, the address that did not pass can be identified for each instruction, and it can be seen which instruction has a large number of addresses that are not covered. moreover,
By sorting the list in order of sequential numbers, it is possible to easily know which branch the branch has not been passed through.

[Brief explanation of the drawing]

FIG. 1 is a block diagram of one embodiment of the present invention. 1...Central processing unit, 2...Input control device, 3...
- Coverage rate measuring device, 4... Output control device, 31...
Coverage rate measurement control unit, 32... Passing address control unit, 3
3... Designated address control unit, 34... Address control unit with line number, 35... Unpassed address control unit,
36...Unpassed address control unit with line number.

Claims (1)

[Claims] In a coverage measurement device that reads addresses of firmware executed on a program under test and stores the passed addresses in a memory as data, the passed addresses and the number of passed addresses are stored as an information table 1. A first means for storing address information in a specified range, and a second means for storing address information in a specified range as an information table 2.
means for storing, as a table 3, control information in which sequential numbers on the list of the program under test are associated with each address; a fourth means for storing address information excluding the address information of as an information table 4; and generating address information included in the table 3 among the address information of the table 4 as a table 5; A coverage measuring device characterized in that a fifth means is configured.