JP3533098B2 - Program analysis device and recording medium - Google Patents

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a program analysis device and a recording medium for analyzing variables and constants in a program.

[0002]

2. Description of the Related Art Conventionally, when debugging a program, related variables and constants are grouped by a substitution instruction or the like in the program, for example, the program shown in FIG. I was trying to fix what I was doing. The conventional grouping of variables and constants in the program of FIG. 7 and retrieval of related variables and constants based on the group will be briefly described below.

FIG. 7 shows an explanatory view of the prior art. FIG. 7A shows a program example. FIG. 7B is a diagram of FIG.
An example of grouping the programs of (A) is shown.

(1) From the assignment statement of (a) in the program of (A) of FIG. 7 to the variable group (G of FIG. 7B)
1) is created (the variable MONEY has a relationship with the variables MONEY1 and MONEY2 (the relationship MONEY = MONEY1 + MONEY2), so the group G1 is created). When the user inquires a variable having the same meaning as the variable MONEY, the variable group G1 is searched and the variables MONEY1 and MONEY2 are returned.

[0005]

However, (2) Variables
TODAY, AGE, BIRTH are variables with different meanings (TODAY is today's date, AGE is the age of the user, BIRTH is the date of birth,
A variable whose AGE (age) is different from other things (date)
However, due to the existence of the assignment statement of (c) of (A) of FIG. 7 which sets the control code to the variable, the variable MONEY is added to the variable group G3 (the same applies to (B) of FIG. 7).
There is a problem that a variable group G1 including "" is added to form a variable group G4, and a variable MONEY having a different meaning is detected from the variable TODAY.

(3) Further, the variable EDT-Z is a variable for editing the zero of the numerical item into a blank, and is (d), (e).
With such a sentence, variables having different meanings are assigned, and variables having different meanings such as the variable group G7 are treated as the same group.

As described above, if the groups are grouped in relation to variables and constants such as assignment statements in the program as shown in FIG. 7B, the variables and constants having different meanings are associated with each other, and at the time of retrieval. Variables and constants with different meanings will be searched, and even those that do not have unnecessary meaning will be mixed when debugging, and variables that are included in assignment statements etc. will affect other variables or variables that are affected. There was also a problem that it was not possible to distinguish which was which.

The present invention solves these problems by
The direction in which the variables and constants in the program affect, the condition of whether to use related information, and the start point are set, and the related information list of variables and constants that match these is searched for and displayed. Eliminates the trouble of checking and correcting results,
The purpose is to selectively and quickly and automatically retrieve only variables and constants having a desired relation and display them as a relation information list for efficient debugging.

[0009]

[Means for Solving the Problems] Means for solving the problems will be described with reference to FIG. In FIG. 1, the starting point designating means 2 designates the starting point in the program 6 for starting the search.

The exclusion condition specifying means 3 is for specifying variables and constants to be excluded from the program 6. The direction designating means 4 is for designating a direction in which a variable or constant is searched for in the program 6.

The program 6 is a program to be searched. The binary relation table 8 is obtained by extracting and registering variables and constants and their directions from the program 6.

The related information retrieving means 11 retrieves variables and constants from information excluding those corresponding to the exclusion condition from the binary relation table 8 to generate a related information list.

Next, the operation will be described. The direction designating means 4 designates the direction influencing another variable or constant with respect to the variable or constant from the program 6 and the condition for excluding the variable or constant from the search target, and the related information searching means 11 is designated. Based on the conditions, the excluding means 9 searches the relevant variables and constants from the information after being excluded from the binary relation table 8 and outputs the related information list.

At this time, a variable or a constant serving as a starting point for starting the search from the program 6 is designated. Also, the search is performed from the specified starting point variable or constant.

Further, variables or constants to be excluded from the program 6 are designated. Further, whether or not the variables or constants to be calculated are treated in the same manner is specified from the program 6.

Further, an instruction and its direction are specified from the program 6. In addition, variables, constants, and directions in the program 6 are analyzed and registered in the binary relation table 8, those that meet the exclusion conditions are excluded based on the binary relation table 8, and information after exclusion is also included. It is designed to search for and output the related information list.

Further, at the time of search, a search pattern for determining that the source and the destination match is specified, and the search is performed using the specified search pattern. Therefore, by setting the direction in which the variables and constants of the program 6 affect and the related information, and the starting point, and searching and displaying the related information list of variables and constants that match these , Eliminates the trouble of checking and correcting the conventional search results,
Only variables and constants having a desired relationship can be selectively and quickly searched automatically and displayed as a related information list, and debugging and the like can be efficiently performed.

[0018]

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS Next, an embodiment and an operation of the present invention will be sequentially described in detail with reference to FIGS.

FIG. 1 shows a system configuration diagram of the present invention.
In FIG. 1, the user input means 1 is for a user to input various data and operation instructions from the screen.

The starting point designating means 2 is for designating the starting point in the program 6 for starting the search, and for example, the variables "MONEY", "N" to be started in the program of FIG.
UMBER "is specified.

The exclusion condition designating means 3 is for designating variables and constants to be excluded from the program 6, and is, for example, a constant in the program of FIG.
It specifies X'80 '.

The direction designating means 4 is for designating a direction to be searched from the program 6, and is for designating a forward direction or a reverse direction. Here, the designation in the forward direction is a designation to search for and output a variable or constant affected by the designated variable. The designation in the reverse direction is a designation to search for and output a variable or constant affected by the designated variable.

The search accuracy designation pattern 5 is a pattern used when a search is performed based on the information after applying the exclusion condition. The whole / selection determining means 10 determines whether to perform a selection display of searching and displaying according to a pattern (see FIG. 5 to be described later) selected from the search accuracy designating patterns, or a whole display of searching and displaying the whole without exception. To decide.

The program 6 is a program to be searched. The registration means 7 extracts variables, constants and their directions from the program 6 and registers them in the binary relation table 8 (see FIGS. 3 and 4A and 4B).

The binary relation table 8 is obtained by registering variables and constants that may have the same value from the program 6 and the direction in which the value is transmitted (see FIGS. 3 and 4). (See (B)).

The excluding means 9 excludes the corresponding ones from the binary relation table 8 based on the excluding conditions specified by the excluding condition specifying means 3. The related information search means 11 uses the variable of the starting point designated by the starting point designating means 2 as a starting point in the binary relation table 8 after being excluded by the excluding means 9, and relates to the direction designated by the direction designating means 4. A variable and a constant are searched for and the related information list 12 is generated (described later with reference to FIG. 2).

The related information list 12 is a list of related information searched in the specified direction based on the specified start point variable (see (H) in FIG. 4). The display means 13 displays the related information list on the screen.

Next, the operation of the configuration of FIG. 1 will be described in detail according to the order of the flowchart of FIG. FIG. 2 shows a flowchart for explaining the operation of the present invention.

In FIG. 2, S1 creates a file of exclusion constants. For example, as described on the right side: -Exclusion constants: X'80 'and X'8F' are created as a file of exclusion constants.

In step S2, the program is read. S3 is
To analyze. In S4, the variables and constants related to the variables are set to 2
Set in the term relation table. These S2, S3. S4
4 reads the program of FIG. 4A from an external storage device, analyzes it (morphological analysis, syntactic analysis, etc.), extracts variables and constants related to the variables, and outputs them as shown in FIG. A term relation is generated and set in the binary relation table 8 as shown in FIG.

In step S5, the conditions are specified on the screen using a file. For example, as described on the right side, here, as user specified items, 1. All directions from MONEY, forward from NUMBER 2. X'80 'is not applicable 3. Excluding subtraction 4. MOVE is valid only in the forward direction 5. The retrieval accuracy is designated as the variable classification pattern (see FIG. 4C).

In step S6, the variable corresponding to the designated constant is set outside the target. For example, in S5, 2. Since the constant X'80 'was designated as not subject in, correspondingly, it is set as not subject to the sentence in the first line of FIG. 4D as shaded.

In step S7, the line including the designated operator is deleted. This is the operator specified in S5, for example, "3.
Excludes lines that include the subtraction operator specified in Exclude Subtraction. S8 invalidates the designated direction of the designated command. This is the command specified in S5, for example "4.M.
Commands other than those specified as "OVE is valid only in the forward direction"
(The reverse direction of the instruction MOVE on the 5th to 10th lines in FIG. 4E is invalidated).

S9 retrieves non-excluded variables and constants related to the specified direction from the starting point. This is S5 "1. All directions from MONEY, forward from NUMBER"
As specified in, -Search from the starting point variable MONEY in all directions (both forward and backward) -Search from the starting point variable NUMBER in the forward direction.

In step S10, the searched variable is searched for in the direction specified by the starting point, and the searched variable is placed in the starting point list for the next search. In S11, it is determined whether or not there is no list of starting points for the next search. If YES, the variables and constants are displayed in a list in the order found in S12. NO
In the case of, S10 is repeated.

By the above, the program automatically sets 2
After creating the term relation table 8 and excluding unnecessary rows and variables based on the specified conditions (exclusion conditions from 1 to 5 of S5) based on the binomial relation table 8 , A list of useful information (variables and constants) specified by conditions by searching in the specified direction from the specified starting point variable, finding related variables and constants, and generating and displaying a related information list. Can be automatically searched and displayed.

FIG. 3 shows an example of the binary relation table of the present invention. This binary relation table 8 is shown in FIG.
The program is analyzed (morphological analysis, syntactic analysis, etc.) to extract and set variables and constants, and the following information shown in the figure is set in association with each other.

[0038] This binary relation table 8 is automatically generated from the program of FIG. 4A, and the first line is, for example, as shown in FIG.
It is set by analyzing the sentence in the fourth line of (A) of (1), C-BLK is a variable name, and the order is to assign the constant X'80 'to the variable C-BLK (forward direction). -Variable 2 / constant variable name X'80 'is a constant value-VALUE is a sentence type-500 is a line number.

In the same manner, the binary relation table 8 of FIG. 3 can be automatically generated from the program of FIG. 4 (A). FIG. 4 shows an operation explanatory diagram (search) of the present invention.

FIG. 4A shows a program example. FIG. 4B shows how a binary relation is generated. This shows a state in which the program in FIG. 4A is analyzed and a binary relation is generated. Here, the letters represent variables, X'X
X '(XX is an arbitrary numerical value) represents a constant, and the arrow represents a direction.

FIG. 4C shows user-specified items.
The user designation items are the same as those designated in S5 of FIG. 2 described above. 4D is the same as 2B in FIG.
4C shows a state after exclusion based on the user designation item of FIG. Here, the shaded variables and constants are excluded, and the sentence with a thin dotted line is excluded.

FIG. 4E shows a state in which the variable (MONEY, NUMBER) at the starting point designated by the user designation item in FIG. 4C is found and surrounded by a thick line. FIG. 4F shows the result of searching for the first-time association from the variable at the starting point surrounded by the bold line in FIG. 4E by the bold line.

FIG. 4G shows the same as FIG.
The state after the second search is shown. Here, since the search is completed twice, the search result is output as the related information list in (H) of FIG.

FIG. 4H shows a related information list of the search results of FIG. This related information list is shown in Figure 4.
(G) is a list display in an easy-to-see manner. As described above, the program is analyzed to generate the binary relation ((B) in FIG. 4), and the relation is not established based on the exclusion condition (user specified item in (C) in FIG. 4). After excluding variables and the like ((D) of FIG. 4), by searching for variables and constants related to the specified direction from the variables of the specified start point and displaying them in a readable manner as a related information list, It is possible to display a list of only constants, or a list of only relevant variables and constants searched for only in the relevant direction.

FIG. 5 shows an operation explanatory diagram (search pattern designation) of the present invention. This is as shown in the image of the transmission source (upper data size in the second column from the left) and the transmission destination (lower data size in the second column from the left). The pattern in which the transmission and the destination completely match ・ As in the second, the pattern in which the source and the part on the left side of the destination match ・ As in the third, the part in the center of the source and the destination Patterns that match with ・ The fourth pattern that the source and the right part of the destination match, ・ The fifth pattern that the source and multiple destinations match ・ The fifth pattern A pattern in which the ripple source and a part of multiple ripple destinations match (the end of the ripple source matches a part of the right side of the ripple destination) like the sixth. Pattern No. 8 that matches a part of the ripple destination (the beginning of the ripple source matches a part of the left side of the ripple destination) Like the eye, a pattern in which the ripple source and some of the ripple destinations match (the beginning and end of the ripple source match parts of the left and right sides of the ripple destination) ・ As in the ninth pattern, the ripple source We classify each pattern as a pattern that matches a part of the spread destination. Then, for these classification patterns (spread patterns), specify whether to select each related type (transfer, comparison, calculation, redefinition, file, parameter, external area, child item to parent item) in the figure. It is possible to obtain a list of the search results in the specified direction only for the related variables and constants that correspond to whether or not to search by specifying the selective display of and search. Become. Also, by designating the whole display of, it becomes possible to perform a search without fail and display the results without fail (related information of variables and constants).

FIG. 6 shows another operation explanatory diagram of the present invention.
This is an example of obtaining and displaying a related information list of variables and constants when one program calls another program.

FIG. 6A shows an example of a calling program (parent program). Here, the illustrated program PROGRAM1 is a child program in the CALL statement.
(B) program SUB1 is called.

FIG. 6B shows an example of a called program (child program). 6C is a binary relation table 8 generated by analyzing FIGS. 6A and 6B.
Indicates.

FIG. 6D shows the retrieved related item list. In the binary relation table 8 of FIG. 6C, the variable A at the starting point is searched to find related variables and constants and displayed as a list.

As described above, even when there is a relationship between a plurality of programs, the binary relation table 8 of a plurality of programs is generated in the same manner as described with reference to FIGS. 1 to 5.
After excluding the variable / constant according to the specified condition based on the binary relation table 8, it becomes possible to find the related variable and constant by searching according to the specified condition and display them as the related information list. .

[0051]

As described above, according to the present invention,
It adopts a configuration in which the direction in which the variables and constants of the program affect and the condition of whether to use related information and the start point are set, and the related information list of variables and constants that match these is searched and displayed. Therefore, by specifying the search direction and conditions and searching and displaying only related variables and constants, you can eliminate the trouble of checking and correcting the conventional search results.
Only variables and constants having a desired relationship can be selectively and quickly searched automatically and displayed as a related information list for efficient debugging and the like.

[Brief description of drawings]

FIG. 1 is a system configuration diagram of the present invention.

FIG. 2 is a flowchart explaining the operation of the present invention.

FIG. 3 is an example of a binary relation table of the present invention.

FIG. 4 is an operation explanatory diagram (search) of the present invention.

FIG. 5 is an operation explanatory view (search pattern designation) of the present invention.

FIG. 6 is another operation explanatory view of the present invention.

FIG. 7 is an explanatory diagram of a conventional technique.

[Explanation of symbols]

1: User input means 2: Starting point designating means 3: Exclusion condition specifying means 4: Direction designating means 5: Search accuracy specification pattern 6: Program 7: Registration means 8: 2 relation table 9: Exclusion means 10: Whole / selection means 11: Related information search means 12: Related information list 13: Display means

Continuation of the front page (56) Reference JP-A-6-222913 (JP, A) Biotheca, Japan, Hitachi, Ltd., March 31, 1995, 4th edition, p4 Borland Russell, Micros of Word97 Official Manual , Japan, ASCII Corporation, May 11, 1997, first edition, p97-99 (58) Fields investigated (Int.Cl. ⁷ , DB name) G06F 9/06 G06F 11/28

Claims (6)

(57) [Claims] 1. A condition specifying means for specifying a condition for excluding a variable or a constant from a program as a search target, and an instruction, a constant and a direction are analyzed from the program.
A means for registering in the binary relation table , a searching means for searching the related variable or constant in the program based on the binary relation table , and a means for outputting the searched result. Characteristic program analysis device. 2. A specifying means for specifying a variable or a constant as a starting point for starting a search from the program, and the searching means searches from the variable or the constant at the specified starting point. The program analysis device described. 3. The program analyzing apparatus according to claim 1, further comprising a specifying unit for specifying a variable or a constant to be excluded from the program. 4. The program analyzing apparatus according to claim 1, further comprising a specifying unit that specifies an instruction and its direction from the program. 5. When the ripple source and the ripple destination match at the time of the above search
Means that specifies the determined search pattern provided, the program analyzing device according to any one of claims 1 to 4, characterized in that the search using the search pattern is the specified. 6. A condition designating means for designating a condition for excluding a variable or a constant as a search target from a program, and analyzing an instruction, a constant and a direction from the program.
The means for registering in the binary relation table , the searching means for searching the corresponding variable or constant in the program based on the binary relation table , and the program for functioning as the means for outputting the searched result are recorded. Computer-readable recording medium.