JP2016076080A - Source code analyzing apparatus, source code analyzing method, and program - Google Patents

Abstract

PROBLEM TO BE SOLVED: To easily obtain a range of influence due to modification of a source code.SOLUTION: A structure analysis section 101 extracts blocks from a source code of a program. A variable determination section 102 which determines a reference variable to be referred and a change variable to be changed by processing in each of the extracted blocks. A block relation determination section 104 determines that the blocks have dependency when the blocks have a common variable, and the variable is a change variable in one block, while being a reference variable in the other block.SELECTED DRAWING: Figure 2

Description

  The present invention relates to a source code analyzing apparatus, a source code analyzing method, and a program for analyzing a source code of a program.

  A technique for analyzing the source code and grasping the structure of the program is known. For example, Patent Document 1 describes that an abstract structure tree data having a reserved word as a node is generated by analyzing a source code.

JP 2013-257639 A

  In software development, the source code may change frequently. When the source code is changed, the user needs to visually check the source code and follow the described process, and specify other parts (influence ranges) that need to be changed in accordance with this change. .

  With the technology described in Patent Document 1, although the structure of a program can be grasped from the abstract structure tree data, it is insufficient to know the range of influence due to the change of the source code.

  The present invention has been made in view of the above circumstances, and an object thereof is to provide a source code analysis apparatus and the like that can know the range of influence due to a change in source code.

In order to achieve the above object, the source code analyzing apparatus of the present invention is
Based on a predetermined identifier, structure analysis means for identifying blocks constituting the source code of the program,
Variable discriminating means for discriminating, for each identified block, a change variable that is a variable included in the block and whose value is changed, and a reference variable whose value is referred to;
A block relationship determining unit that includes a common variable between blocks, the variable is a change variable in one block, and a reference variable in the other block;
Is provided.

  According to the present invention, blocks are specified from the source code of the program, and the dependency relationship between the blocks is determined. Therefore, it is possible to know the range of influence due to the change of the source code.

It is a figure which shows the structure of the source code analyzer which concerns on embodiment of this invention. It is a figure which shows the function structure of the source code analyzer which concerns on embodiment of this invention. It is a figure which shows the example of a block block diagram. It is a flowchart which shows the procedure of a block structure display process. It is a figure which shows the example of a source code. It is a figure which shows the example from which a block is extracted from a source code. It is a figure which shows the example of block structure data. It is a figure which shows the example of block value data. It is a figure which shows the example of block value data. It is a figure which shows the example of a block block diagram. It is a figure which shows the example of a block block diagram. It is a figure which shows the example by which the part of a source code is displayed on a block block diagram.

  Hereinafter, embodiments of the present invention will be described in detail with reference to the drawings. In the drawings, the same or corresponding parts are denoted by the same reference numerals. Unless otherwise specified, the source code of the exemplified program is assumed to be written in C language. Further, in the illustrated source code, a line number is given on the left side for easy explanation.

  A source code analysis apparatus 1 according to an embodiment of the present invention is an apparatus that analyzes a configuration of a source code of a program and displays an analysis result as a block configuration diagram. As shown in FIG. 1, the source code analysis apparatus 1 includes a communication unit 11, an operation unit 12, a display unit 13, a storage unit 14, an input / output I / F unit 15, and a control unit 16. . Each unit is connected to each other via a bus 17.

  The communication unit 11 includes a communication interface and the like, and communicates with an information processing apparatus (not shown) on the network 2 via the communication network 2. For example, the communication unit 11 may receive the source code to be analyzed from these information processing apparatuses on the communication network 2.

  The operation unit 12 is used to input various information to the source code analysis apparatus 1 and includes an input device such as a keyboard. For example, the user operates the operation unit 12 to instruct creation of a block configuration diagram to be described later.

  The display unit 13 includes a display device such as a liquid crystal display, and displays a block configuration diagram, various screens, and the like.

  The storage unit 14 includes an auxiliary storage device such as a hard disk drive, and stores a control program and various data. For example, the storage unit 14 stores source code 141 to be analyzed, block configuration data 142 and block value data 143 to be described later.

  The input / output I / F unit 15 is an interface for connecting the input / output device 3. For example, the source code 141 to be analyzed may be fetched from the input / output device 3 such as a CD-ROM drive via the input / output I / F unit 15.

  The control unit 16 performs calculation processing of data and controls the communication unit 11, the operation unit 12, the display unit 13, the storage unit 14, and the input / output I / F unit 15 via the bus 17. A central processing unit (16a), a read only memory (ROM) 16b, a random access memory (RAM) 16c, and the like are provided. Specifically, the arithmetic processing and control processing in the control unit 16 are performed by the CPU 16a executing a control program stored in the ROM 16b while temporarily storing various data using the RAM 16c as a work area. Done.

  As shown in FIG. 2, the source code analysis apparatus 1 functionally includes a structure analysis unit 101, a variable determination unit 102, a block specification unit 103, a block relationship determination unit 104, and a configuration diagram creation unit 105. And a configuration diagram display unit 106. Note that the control unit 16 shown in FIG. 1 controls the communication unit 11, the operation unit 12, the display unit 13, the storage unit 14, or the input / output I / F unit 15 shown in FIG. Is realized.

  The structure analysis unit 101 specifies a part enclosed in curly braces ({}) from the source code 141 of the program to be analyzed as a block that is a unit of processing. Further, the structure analysis unit 101 attaches an identification ID (block ID) to each identified block. Further, the structure analysis unit 101 analyzes the identified block type, the hierarchical structure such as the calling relationship and the inclusion relationship between the blocks, and records the analysis result as the block configuration data 142.

  The types of blocks include, for example, blocks describing function processing (function blocks), blocks describing branch processing such as IF statements and SWITCH statements (branch processing blocks), and the like.

  In addition, the calling relationship between blocks means the relationship between the blocks which are calling another function block from a certain block. In addition, the inclusion relationship between blocks means a relationship between blocks in which another block is included in a certain block.

  The variable determination unit 102 determines a change variable and a reference variable for each block specified by the structure analysis unit 101, and records the determination result as block value data 143. Here, the change variable is a variable that is included in the block and whose value is changed by the processing in this block. A reference variable is a variable that is included in a block and whose value is referred to by processing in this block.

  For example, the variable determination unit 102 analyzes the syntax of the source code 141, and uses variables used as arguments of function blocks, variables used in conditional expressions of branch processing blocks, and substitutions described in the blocks. The variable used on the right side of the expression is determined as the reference variable.

  In addition, for example, the variable determination unit 102 analyzes the syntax of the source code 141 and determines the variable used as the return value of the function block and the variable used on the left side of the assignment expression described in the block. Determined as a change variable.

  The block designation unit 103 receives designation of a block for displaying a block configuration diagram from a user.

  The block relationship determination unit 104 refers to the block configuration data 142 to determine lower blocks constituting the block for which the block specification unit 103 has received the specification. Then, the block relationship determination unit 104 determines the dependency relationship between the blocks in which the change of the source code 141 of one block affects the other block in each determined lower block. Specifically, the block relationship determination unit 104 includes a variable that is common among blocks, and when this variable is a change variable in one block and a reference variable in the other block, Is determined to be dependent on the other block.

  Based on the determination result of the block relationship determining unit 104, the configuration diagram creating unit 105 is a block indicating what subordinate block the block received by the block specifying unit 103 is configured and the dependency relationship between the blocks. Create a configuration diagram. The block diagram created by the diagram creating unit 105 is data such as image data.

  Here, an example of a block configuration diagram created by the configuration diagram creation unit 105 is shown in FIG. This block diagram shows the configuration of the block X, and each block is represented by a rectangular figure. From this figure, it can be seen that the block X includes lower blocks A, B, C, and D.

  In this figure, the block A and the block B are connected by an arrow line α. This indicates that the value of the variable α is changed in the block A and is referenced in the block B. That is, it can be understood that the change of the source code 141 of the block A affects the block B, and there is a dependency between the blocks A and B.

  In this figure, block A and block C are connected by an arrow line β. This indicates that the value of the variable β is changed in the block A and is referenced in the block C. That is, it can be seen that the change of the source code 141 of the block A affects the block C, and there is a dependency between the blocks A and C.

  On the other hand, in this figure, the block D is not connected to the other blocks A, B, and C by arrow lines. Therefore, it can be seen that the block D is a relationship (independent relationship) that is not affected by the change of the blocks A, B, and C.

  Returning to FIG. 2, the configuration diagram display unit 106 displays the block configuration diagram created by the configuration diagram creation unit 105.

(Block configuration display processing)
Next, the operation of the source code analysis apparatus 1 will be described using the flowchart of FIG. The user operates the operation unit 12 of the source code analysis device 1 to specify the target source code 141 and instruct to create a block configuration diagram. In response to this instruction, the source code analyzing apparatus 1 starts block configuration display processing for the designated source code 141. The user may specify a plurality of source codes 141.

  First, the structure analysis unit 101 of the source code analysis device 1 extracts a block from the analysis target source code 141 based on a specific identifier (step S10). At this time, the structure analysis unit 101 assigns a block ID for identification to each extracted block.

  Subsequently, the structure analysis unit 101 analyzes the hierarchical structure of the extracted block and records it as block configuration data 142 (step S20).

  Subsequently, the variable determining unit 102 determines, for each extracted block, whether each variable included in the block is a reference variable or a changed variable, and records it as block value data 143 (step S30).

  Subsequently, the block designating unit 103 receives from the user designation of a block whose configuration is to be displayed from among the blocks extracted in step S10, for example, by displaying a block selection screen (step S40). In the following description, the block received in step S40 is also referred to as a designated block.

  Subsequently, the block relationship determination unit 104 determines a lower block included in the designated block from the hierarchical structure between the blocks indicated by the block configuration data 142 (step S50).

  Subsequently, the block relationship determination unit 104 refers to the block value data 143 to determine the dependency relationship between the blocks in each block determined in step S50 (step S60). For example, when it is found from the block value data 143 that the value of the variable a is changed in the block A and the value of the variable a is referenced in the block B, the block relationship determination unit 104 changes the block A in the block B. Therefore, it is determined that there is a dependency between the blocks A and B.

  Subsequently, the configuration diagram creation unit 105 represents a block configuration diagram that represents what block the specified block is configured based on the result of step S50 and also represents the dependency relationship between the blocks determined in step S60. Create (step S70). For example, from the results of steps S50 and S60, the blocks included in the designated block are blocks A and B, and the value of the variable a is changed in the block A and the value of the variable a is referenced in the block B is in a dependency relationship. Consider the case where you know. In this case, the configuration diagram creation unit 105 arranges the graphics corresponding to the blocks A and B horizontally as a block configuration diagram, and connects the two graphics with an arrow line with a variable a from the block A to the block B. Create a configuration diagram.

  Subsequently, the configuration diagram display unit 106 displays the created block configuration diagram (step S80). This is the end of the block configuration display process.

(Concrete example)
Next, a specific example when the block configuration display process is performed on the source code 141 shown in FIG. 5 will be described.

  In this case, nine blocks enclosed in curly brackets ({}) are extracted from the source code 141 as shown by the broken line in FIG. It is assumed that block IDs B1, B11, B111, B112, B113, B12, B121, B122, and B123 are assigned to each block. In the following description, a block whose block ID is Bn is also referred to as a block Bn.

  Note that the structural analysis unit 101 extracts a portion that is not enclosed in the same curly braces ({}), such as a conditional expression portion and a processing portion of branch processing, as the same block. For example, the conditional expression part “if (int a2> 0)” of the IF statement on the 8th line of the source code 141 shown in FIG. 6 is the same curly brace ({ }) But not extracted as the same block B111.

  Subsequently, after the blocks are extracted, the block hierarchical data 142 shown in FIG. 7 is created by analyzing the hierarchical structure of the blocks by the process of step S20.

  The block configuration data 142 is described in XML (Extensible Markup Language), and a hierarchical structure between blocks is recorded by adding a “Block” tag to each block. The element “id” of the “Block” tag indicates the block ID of this block. The element “file” indicates the file name of the source file in which this block is described, and the element “line” indicates the number of lines in the source file in which this block is described. The element “type” indicates the type of this block.

  Subsequently, by the process of step S30, the reference variable and the change variable are determined for each block, and block value data 143 as shown in FIGS. The block value data 143 is created in XML, and a “UsedValue” tag is attached to the reference variable and a “ChangedValue” tag is attached to the change variable.

  For example, in the block B111 described in the 8th to 10th lines of the source code 141 shown in FIG. 6, the value of the variable a2 is referred to in the conditional expression of the IF statement in the 8th line. Therefore, a2 is determined as a reference variable. In the ninth line, the value of the variable a1 is changed (assigned) to 10. Therefore, the change variable is determined as a1. Then, block value data 143 representing these discrimination results is created as shown in FIG.

  Similarly, block value data 143 shown in FIGS. 8B and 8C is created from blocks B112 and B113 shown in FIG. Further, as shown in FIG. 8D, the block value data 143 of the block B11 is created so as to include all the reference variables and change variables of the lower blocks B111 to B113.

  Similarly, block value data 143 shown in FIGS. 9A to 9D is created from the blocks B121 to B123 and B12, respectively. In the 26th line of block B122 shown in FIG. 6, the value of variable b1 is referred to and assigned (changed). Therefore, in the block value data 143 shown in FIG. 9B, the variable b1 is recorded as a reference variable and a change variable.

  Next, consider a case where the block B11 is designated in the process of step S40.

  In this case, lower block B111, B112, 113 included in the designated block B11 is specified from the block configuration data 142 shown in FIG. 7 (step S50). Further, from the block value data 143 of the block B111 shown in FIG. 8A and the block value data 143 of the block B112 shown in FIG. 8B, a common variable a1 is present between the block B111 and the block B112. Yes, since it is a change variable in block B111 and a reference variable in block B112, it is determined that there is a dependency between these blocks (step S60). Then, a block configuration diagram of the block B11 as shown in FIG. 10 is created and displayed (steps S70 and S80).

  From this block diagram, the user can see that the block B11 is composed of three blocks B111, B112, and B113. The block B111 and the block B112 are arranged side by side and connected by an arrow line a1. Therefore, since the variable a whose value is changed in the block B111 is referred to in the block B112, it can be seen that changing the block B111 affects the block B112. The block B113 is not connected to the blocks B111 and B112 by an arrow line. Therefore, it can be seen that the block B113 is not affected by the change of the blocks B111 and B112.

  Next, consider a case where block B12 is designated in the process of step S40. In this case, the lower block of the block B12 and the dependency relationship between the blocks are similarly specified (steps S50 and S60), and a block configuration diagram of the block B12 as shown in FIG. 11 is created and displayed (steps). S70, S80).

  From this figure, the user can see that the block B12 is composed of three blocks B121, B122, and B123. The blocks B121, B122, and B123 are arranged side by side, and the blocks B121 and B122 and the blocks B122 and B123 are connected by the same arrow line b1. Therefore, it can be seen that the variable b1 whose value has been changed in the block B121 is referred to and changed in the block B122 and further referred to in the block B123. Therefore, it can be seen that the change of the block B121 affects the block B122, and further, the change of the block B122 affects the block B123.

  Thus, according to the present invention, a block is specified from the source code, and a change variable whose value is changed for each block and a reference variable whose value is referred to are determined. Then, when a variable common to the blocks is included and this variable is a change variable in one block and a reference variable in the other block, it is determined that there is a dependency between the blocks. For this reason, since other blocks that are affected by the change of the source code of the block can be known from the determined dependency relationship, the user can easily know the range of influence by the change of the source code.

  Further, according to the present invention, a block configuration diagram representing the determined dependency relationship is created and displayed. More specifically, in the present invention, a block configuration diagram is created and displayed in a form in which the blocks in the dependency relationship are connected by an arrow line with a variable name commonly referred to and changed. Therefore, the user can more easily know the influence range due to the block change from the created block configuration diagram.

  Further, according to the present invention, the hierarchical structure between the blocks is specified, and the block configuration representing the configuration of the lower blocks included in the specific block (specified block) specified by the user and the dependency relationship between the blocks A diagram is created. Therefore, even for a large-scale source program composed of a large number of blocks, the user can specify only the block whose configuration is to be known and easily know its configuration and dependency.

  In addition, this invention is not limited to the said embodiment, Of course, the various correction in the part which does not deviate from the summary of this invention is possible.

  For example, as shown in FIG. 12, when a block designation is received from the displayed block configuration diagram via the operation unit 12, the corresponding source code portion is identified and displayed with reference to the block configuration data 142 May be. In this example, when the block B111 is designated, the corresponding source code portion (shown in FIG. 6) is determined from the value of the element “line” of the “Block” tag of the block B111 shown in the block configuration data 142 shown in FIG. The 8th to 10th lines of the source code) are identified and displayed in a balloon.

  In the above embodiment, examples of the block configuration data 142 and the block value data 143 described in XML have been shown. However, the block configuration data 142 and the block value data 143 are stored in other markup languages and other formats. You may create it. For example, the block configuration data 142 and the block value data 143 may be created using a table in a table format.

  Moreover, in the said embodiment, as shown in FIG. 10, the block ID was attached | subjected and displayed on the figure showing the block of a block block diagram. However, information other than the block ID may be displayed. For example, the processing name or function name indicated by the block, a part of the corresponding source code, a comment sentence, or the like may be displayed.

  In the above embodiment, the block configuration display process creates a block diagram of the block (designated block) for which the block designation unit 103 has accepted the designation, but creates a block diagram of all the blocks extracted from the source code. Alternatively, a block configuration diagram set in advance may be created. In this case, the block specifying unit 103 need not be provided.

  Further, in the above embodiment, in the block configuration display process, the structure analysis unit 101 identifies the hierarchical structure of the block, and the configuration of the designated block (the lower block included in the designated block) is shown in the block configuration diagram. However, the structure analysis unit 101 may only specify the blocks from the source code and create a block configuration diagram showing the dependency between the specified blocks.

  The block configuration diagram shown in the above embodiment is merely an example, and the present invention can be applied to the creation of all types of block configuration diagrams that can display the block configuration of the source code. For example, a diagram showing a block structure and a dependency relationship between blocks in a text format is also included in the block configuration diagram of the present invention.

  In the above embodiment, the source code written in C language has been described as an example. However, the present invention can also be applied to source code written in other languages such as JAVA (registered trademark) and C ++. . In that case, a block may be extracted from the source code according to a rule suitable for the format of each language.

  In addition, for example, by applying an operation program that defines the operation of the source code analysis apparatus 1 according to the present embodiment to an existing personal computer, an information terminal device, or the like, the personal computer or the like can be used as the source code analysis apparatus according to the present invention. It is also possible to function as 1.

  Further, such a program distribution method is arbitrary, and can be read by a computer such as a CD-ROM (Compact Disk Read-Only Memory), a DVD (Digital Versatile Disk), an MO (Magneto Optical Disk), or a memory card. It may be distributed by being stored in a recording medium, or distributed via a communication network such as the Internet.

1 source code analysis device, 2 communication network, 3 input / output device, 11 communication unit, 12 operation unit, 13 display unit, 14 storage unit, 15 input / output I / F unit, 16 control unit, 16a CPU, 16b ROM, 16c RAM, 17 buses, 101 structure analysis unit, 102 variable discrimination unit, 103 block designation unit, 104 block relation discrimination unit, 105 configuration diagram creation unit, 106 configuration diagram display unit, 141 source code, 142 block configuration data, 143 block value data

Claims (10)

Based on a predetermined identifier, structure analysis means for identifying blocks constituting the source code of the program,
Variable discriminating means for discriminating, for each identified block, a change variable that is a variable included in the block and whose value is changed, and a reference variable whose value is referred to;
A block relationship determining unit that includes a common variable between blocks, the variable is a change variable in one block, and a reference variable in the other block;
A source code analyzing apparatus. The structure analyzing means further specifies a hierarchical structure of the block,
The block relationship determining means determines the dependency relationship for each block below a specific block in the specified hierarchical structure.
The source code analysis apparatus according to claim 1. A block designating unit for accepting designation of the specific block;
The source code analysis apparatus according to claim 2. Comprising a block diagram creating means for creating a block diagram showing a dependency relationship between the blocks determined by the block relationship determining means;
The source code analysis apparatus according to any one of claims 1 to 3. The configuration diagram creating means includes:
Create a block configuration diagram that connects arrows corresponding to the blocks determined to be in the dependency relationship,
The source code analysis apparatus according to claim 4. The configuration diagram creating means creates a block configuration diagram including the variable name of the variable that is commonly included among the blocks in the dependency relationship, on the one hand the change variable and the reference variable on the other side,
The source code analysis apparatus according to claim 5. Display means for displaying a block configuration diagram created by the configuration diagram creation means;
The source code analyzer according to any one of claims 4 to 6. The display means displays a portion of the source code corresponding to the designated block when the designation of the block displayed in the block configuration diagram is received.
The source code analysis apparatus according to claim 7. The structure analysis means identifies the blocks constituting the source code of the program based on a predetermined identifier,
The variable determining means determines, for each identified block, a variable that is a variable included in the block and whose value is changed, and a reference variable whose value is referenced,
The block relationship determining means determines that the block is in a dependency relationship when the variable includes a common variable among the blocks, the variable is a change variable in one block, and a reference variable in the other block.
Source code analysis method. Computer
Structural analysis means for analyzing the source code of the program and identifying the blocks constituting the source code,
Variable determination means for determining, for each identified block, a change variable that is included in the block and whose value is changed, and a reference variable whose value is referred to;
Block relationship determining means for determining between blocks in a relationship in which one change affects the other based on the determination result by the variable determining means;
Program to function as.

Images