JP2000181700A - Program analyzing device and recording medium - Google Patents

Abstract

PROBLEM TO BE SOLVED: To improve the efficiency of debugging, etc., by retrieving a relative variable or constant from a program according to specified exception conditions and outputting the result. SOLUTION: A direction specifying means 4 specifies a direction wherein a variable or constant in a program 6 affects other variables or constants and conditions of the exception of the variable or constant as a retrieval object and according to the specified conditions, a relative information retrieving means 11 retrieves the corresponding variable and constant from information after the exclusion from a two-term relation table 8 by an excluding means 9 and outputs a relative information list. At this time, the variable or constant as the start point of retrieval in the program 6 is specified. Further, the retrieval is performed from the specified variable or constant at the start point. Further, a constant to be excluded from the program 6 is specified. Further, whether a variable or constant to be operated is handled equally is specified by the program 6.

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

The present invention relates to a program analyzing apparatus for analyzing variables and constants in a program, and a recording medium.

[0002]

2. Description of the Related Art Conventionally, when debugging a program or the like, variables and constants related to each other by an assignment instruction or the like are grouped from a program such as the program shown in FIG. I was trying to fix what I did. Hereinafter, 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.

FIG. 7 shows an explanatory diagram of the prior art. FIG. 7A shows a program example. FIG.
An example of grouping the programs of FIG.

(1) From the assignment statement of (a) in the program of FIG. 7A, the variable group (G
1) (variable MONEY has a relationship with variables MONEY1 and MONEY2 (a relationship of MONEY = MONEY1 + MONEY2), so 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) variable
TODAY, AGE, BIRTH are variables with different meanings (TODAY is today's date, AGE is user's age, BIRTH is birthday date,
AGE (age) is a variable whose meaning is different from other (date)
However, the variable MONEY is assigned to the variable group G3 (the same applies to FIG. 7B and thereafter) due to the presence of, for example, the assignment statement in FIG.
Is added to the variable group G1 and becomes the variable group G4, and the variable MONEY having a different meaning is detected from the variable TODAY.

(3) Further, a variable EDT-Z is a variable for editing zero of a numeric item to a blank, and (d), (e)
Thus, there is a problem that variables having different meanings are substituted and variables having different meanings, such as the variable group G7, are treated as the same group.

As described above, when grouping is performed based on the relation of variables and constants by an assignment statement or the like in a program as shown in FIG. 7B, the variables and constants having different meanings are associated with each other. Variables and constants with different meanings are searched, and some that do not have unnecessary meaning during debugging are mixed, or other variables or variables affected by variables included in assignment statements etc. There was also a problem that it could not be distinguished.

[0008] The present invention solves these problems,
Conventional search by setting the direction in which the variables and constants in the program affect, whether or not to use them as related information, and setting the starting point, searching and displaying the related information list of the variables and constants that match these, etc. Eliminate the hassle of checking and correcting results,
It is an object of the present invention to selectively and quickly and automatically retrieve only variables and constants having a desired relationship, display the related information list, and efficiently perform debugging and the like.

[0009]

Means for solving the problem will be described with reference to FIG. In FIG. 1, a starting point designating means 2 designates a starting point in a program 6 for starting a search.

The exclusion condition designation means 3 designates a variable or a constant to be excluded from the program 6. The direction specifying means 4 specifies a direction in which a variable or a constant is searched in the program 6.

The program 6 is a program to be searched. The binary relation table 8 is a table in which variables, constants, directions thereof, and the like are extracted from the program 6 and registered.

The related information searching means 11 searches for variables and constants from the information except those corresponding to the exclusion condition from the binary relation table 8, and generates a related information list.

Next, the operation will be described. The direction specifying means 4 specifies the direction of the variable or constant affecting other variables or constants from the program 6 and the condition for excluding the variable or constant as a search target, and the related information search means 11 is specified. Based on the condition, the corresponding variable and constant are searched from the information after being excluded from the binary relation table 8 by the exclusion means 9, and a related information list is output.

At this time, a variable or a constant serving as a starting point for starting a search from the program 6 is specified. In addition, a search is made from a variable or a constant at the designated starting point.

Further, a variable or a constant to be excluded from the program 6 is designated. In addition, it is specified from the program 6 whether or not the variable or constant to be operated is treated the same.

Further, an instruction and its direction are designated from the program 6. Further, the variables, constants, and directions in the program 6 are analyzed and registered in the binary relation table 8, and those that match the exclusion conditions are excluded based on the binary relation table 8, and the information after the exclusion is also obtained. And output the related information list.

Further, a search pattern for determining that the source and the destination match each other at the time of search 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 the condition and whether or not to use the related information, and further setting the starting point, searching for and displaying the related information list of the variables and constants that match these, etc. , Eliminating the hassle of reviewing and modifying traditional search results,
Only variables and constants having a desired relationship can be selectively and quickly and automatically searched and displayed as a related information list, so that debugging and the like can be efficiently performed.

[0018]

DESCRIPTION OF THE PREFERRED EMBODIMENTS Embodiments and operations of the present invention will be described in detail with reference to FIGS.

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

The start point designating means 2 designates a start point in the program 6 from which the search is started. For example, the variables "MONEY", "N" to be started in the program shown in FIG.
UMBER ”.

The exclusion condition designation means 3 designates variables and constants to be excluded from the program 6, and includes, for example, constants in the program shown in FIG.
X'80 'is specified.

The direction designation means 4 designates a direction to be searched from the program 6, and designates a forward direction, a backward direction, or the like. Here, the designation in the forward direction is a designation to search for and output a variable or constant that the specified variable affects. The designation in the reverse direction is a designation to search for and output a variable or constant affected by the specified variable.

The search accuracy designation pattern 5 is a pattern for performing a search based on the information after applying the exclusion condition. The whole / selection determination means 10 determines whether to perform a selection display of searching and displaying according to a pattern (see FIG. 5 described later) selected from the search accuracy designation patterns, or a whole display of searching and displaying the entirety without fail. 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 extracting and registering variables and constants that may have the same value from the program 6 and directions in which the values are transmitted (see FIGS. 3 and 4). (B)).

The exclusion unit 9 excludes a corresponding item from the binary relation table 8 based on the exclusion condition specified by the exclusion condition specification unit 3. The related information search means 11 uses the variable of the start point specified by the start point specifying means 2 as a start point in the binary relation table 8 after being excluded by the exclusion means 9, and relates to the direction specified by the direction specifying means 4. A variable and a constant are searched to generate a related information list 12 (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 variable of the specified starting point (see FIG. 4H). The display unit 13 displays a related information list on a 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 is a flowchart illustrating the operation of the present invention.

In FIG. 2, S1 creates an exclusion constant file. For example, as described on the right side: Excluded constants: X'80 'and X'8F' are created as files of excluded constants.

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

In step S5, 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 X'80 'is not applicable. 3. Excluding subtraction MOVE is valid only in the forward direction. The retrieval accuracy is specified as a variable classification pattern (see FIG. 4C).

In step S6, a variable corresponding to the designated constant is set to a non-target variable. For example, S5-2. In response to this, the constant X'80 'is designated as a non-target, and accordingly, the target is set to a non-target as if the sentence on the first line in FIG. 4D is shaded.

In step S7, a line containing the specified operator is deleted. This corresponds to the operator specified in S5, for example, “3.
Excludes lines containing subtraction, which is the operator specified in Exclude Subtraction. S8 invalidates the designated direction of the designated instruction. This corresponds to the instruction specified in S5, for example, "4.M
MOVE command other than "OVE is valid only in forward direction"
Is invalidated (the reverse direction of the instruction MOVE in the fifth to tenth lines of FIG. 4E is invalidated).

In step S9, a search is made for variables and constants that have not been excluded from the start point and are related to the specified direction. This is S5 "1. All directions from MONEY, forward from NUMBER"
As specified in ・ Search in all directions (both forward and reverse) from the variable MONEY at the start point ・ Search in the forward direction from the variable NUMBER at the start point.

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

As described above, the program automatically
After the term relation table 8 is created, unnecessary rows and variables are excluded from the target based on the specified conditions (exclusion conditions of 1. to 5. of S5) based on the term relation table 8. List of useful information (variables and constants) specified by conditions by searching in the specified direction from the variable of the specified starting point, 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 a binary relation table according to the present invention. This binary relation table 8 is shown in FIG.
Is analyzed (morphological analysis, syntax analysis, etc.) to extract and set variables and constants, and is set by associating the following information shown in the figure.

[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.
(A) is set by analyzing the sentence on the fourth line in (A). C-BLK is a variable name. The order is the direction of assigning 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.

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

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

FIG. 4C shows user-specified items.
The user specification items are the same as those specified in S5 of FIG. 2 described above. (D) of FIG. 4 corresponds to 2 of (B) of FIG.
The state after the item relation is excluded based on the user designation item in FIG. 4C is shown. Here, variables and constants in shaded portions are excluded, and sentences indicated by light dotted lines are excluded.

FIG. 4E shows a state in which the variable (MONEY, NUMBER) at the start 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 association from the variable at the start point surrounded by the thick line in FIG.

FIG. 4 (G) is the same as FIG.
This shows the state after the second search. Here, since the search has been 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 result of FIG. 4G. This related information list is shown in FIG.
(G) of the search result is displayed in a list in an easy-to-view manner. As described above, the program is analyzed to generate a binary relation ((B) in FIG. 4), and it is not necessary to associate the relation based on the exclusion condition (the user-specified item in (C) in FIG. 4). After excluding variables and the like ((D) in FIG. 4), by searching for variables and constants related to the specified direction from the variable at the specified starting point and displaying them in a related information list in an easy-to-read manner, the related variables and It is possible to display a list of only constants, and to display a list of only related variables and constants searched only in the relevant direction.

FIG. 5 is a diagram for explaining the operation of the present invention (search pattern designation). As shown in the image, 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) are as follows. A pattern in which the spillover destination and the spillover destination completely match ・ A pattern in which the spillover source matches the part on the left side of the spillover destination as in the second case ・ A third part in the center of the spillover source and the spillover destination・ A pattern in which the transmission source and a part of the right side of the transmission destination match as in the fourth pattern ・ A pattern in which the transmission source and multiple transmission destinations match as in the fifth pattern ・ No. A pattern in which the source and some of the destinations match as in the sixth (the end of the source matches the right part of the destination). ・ As in the seventh, the source and the multiple A pattern in which the part of the transmission destination matches (the beginning of the transmission source matches the part on the left side of the transmission destination) As shown in the eighth example, the pattern in which the transmission source coincides with a part of the multiple transmission destinations (the beginning and end of the transmission source coincide with the left and right parts of the transmission destination). It is classified as a pattern that matches the part of the destination from the original part. Then, for these classification patterns (spreading patterns), specify whether or not to use each related type (transfer, comparison, calculation, redefinition, file, parameter, external area, child item to parent item) in the figure. By specifying the selection display and causing the search to be performed and displaying the results in a list, it is possible to obtain a list of the results obtained by searching only the relevant variables and constants corresponding to whether or not to perform the search in the specified direction. Become. In addition, by specifying the entire display of, it is possible to perform a search without omission and display a result without omission (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 a certain 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 a CALL statement.
(B) of the program SUB1.

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

FIG. 6D shows a related item list searched. This is a list of the binary relation table 8 shown in FIG. 6C, which is searched from the variable A at the starting point to find related variables and constants.

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

[0051]

As described above, according to the present invention,
It adopts a configuration that sets the direction in which the variables and constants of the program affect the information and whether or not it is related information, sets the starting point, and searches and displays the related information list of variables and constants that match these. Therefore, by specifying the search direction and conditions, only relevant variables and constants are searched and displayed, eliminating the trouble of checking and correcting conventional search results,
Only variables and constants having a desired relationship can be selectively and quickly and automatically searched and displayed as a related information list, so that debugging and the like can be performed efficiently.

[Brief description of the drawings]

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

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

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

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

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

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

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

[Explanation of symbols]

 1: User input means 2: Start point designation means 3: Exclusion condition designation means 4: Direction designation means 5: Search precision designation pattern 6: Program 7: Registration means 8: Binary relation table 9: Exclusion means 10: All / selection means 11: Related information search means 12: Related information list 13: Display means

 ────────────────────────────────────────────────── ─── Continuation of the front page (72) Inventor Akihiko Matsuo 4-1-1, Kamiodanaka, Nakahara-ku, Kawasaki-shi, Kanagawa F-term in Fujitsu Limited (Reference) 5B076 EC02

Claims (8)

[Claims] 1. A condition specifying means for specifying a condition for excluding a variable or a constant as a search target, a search means for searching for a related variable or constant from a program based on the specified exclusion condition, and And a means for outputting a result of the program analysis. 2. A method according to claim 1, further comprising: designating means for designating a variable or a constant as a starting point from which the search is started from the program, wherein the searching means searches from the variable or the constant at the designated starting point. A program analyzer as described. 3. The program analyzing apparatus according to claim 1, further comprising a designating means for designating a variable or a constant to be excluded from the program. 4. A program analysis device according to claim 1, further comprising a designation means for designating whether a variable or a constant to be operated is treated in the program as the same. apparatus. 5. The program analyzing apparatus according to claim 1, further comprising a designating means for designating an instruction and its direction from the program. 6. A registering means for analyzing variables, constants, and directions in the program and registering them in a binary relation table, wherein the retrieval means performs a search based on the binary relation table. The program analysis device according to claim 1. 7. The apparatus according to claim 1, further comprising means for designating a search pattern for determining that the source and the destination match each other at the time of the search, wherein the search is performed using the specified search pattern. A program analyzer according to any one of the above. 8. A direction specifying means for specifying a direction in which a variable or a constant affects another variable or a constant from a program; a condition specifying means for specifying a condition for excluding a variable or a constant as a search target; A computer-readable recording medium recording a program for functioning as search means for searching for a corresponding variable and constant from a program based on the obtained direction and the conditions, and means for outputting the searched result.