JP7295599B1 - A program, system, and method for comprehensively visualizing aspects of data processing executed by a computer according to source code - Google Patents

Abstract

A technique for reducing the burden on a verifier in program testing is provided. A visualization data generation unit 111 acquires source code of a compiled program and assigns line numbers to the source code. Subsequently, the visualization data generation unit 111 determines the syntax type, the line number of the line to be executed next, the line number of the line to be executed when the condition indicated by the conditional statement is true, and the condition indicated by the conditional statement is false. The line number of the line to be executed if , the line number of the end line paired with the conditional line, the line number of the line next to the end line paired with the conditional line, and the statement generated by Identify the line number of the line that declares the area of the variable (subject), the line number of the line that commands the generation of the subject, and the line number of the statement that specifies the execution order. The visualization unit 112 uses the source code, the line number specified by the visualization data generation unit 111, and the data indicating the correspondence relationship between the subject and the variable subject to represent the execution path of the source code and the reference relationship of the data. Generate diagrams. [Selection drawing] Fig. 2

Description

The present invention relates to techniques for testing source code of computer programs.

Generally, there are black-box tests and white-box tests in tests for confirming that a computer processes data as intended according to computer programs (hereinafter simply referred to as "programs").

A black-box test is a test that judges whether a program passes or fails by inputting sample values into the computer and verifying whether the expected values are output without paying attention to the contents of the program. On the other hand, white-box testing focuses on the contents of the program and verifies whether the structure, logic, control flow, etc. of the program are written as intended. be.

For example, there is Patent Document 1 as a patent document disclosing a technique related to a white box test. The test method disclosed in Patent Document 1 extracts the part to be tested and its dependent part from the main code and generates the differential code based on them, so the user can perform the white-box test only with the differential code. is said to be possible. Further, the test method disclosed in Patent Document 1 stores the test result and the hash value of the copy of the test target portion, and based on the hash value, ensures the identity with the main body code. It is said that it is possible to confirm that the test was performed with the contents of , and the verification coverage of the test of the main code.

JP 2021-103354 A

Since the white-box test is a test that exhaustively checks the contents of the program, description errors are less likely to remain in the program. As a result, for example, even if it is possible to perform a white-box test for each module that constitutes a program, performing a white-box test for the entire system that uses many modules will impose a burden on the verifier's ability. exceeding and often practically impossible. The purpose of black box testing is to ensure that the processes leading up to input data and output data operate normally. Therefore, it is often difficult to check whether the program has been created according to the specifications.

In view of the above, the present invention provides a technique for reducing the burden on the verifier in testing programs.

The present invention provides a computer with a process of giving a first line number, which is a line number, to each of a plurality of lines constituting a source code of a compiled program, and For each, if the line is a single syntax, the syntax type, which is the type of the syntax, is specified, and if the line is multiple syntaxes, the multiple syntaxes are decomposed into multiple single syntaxes. Then, for each of the plurality of lines included in the source code, the line number of the line to be executed next to the line is specified. The condition indicated by the conditional statement for each of the syntaxes whose syntax type specified in the process of specifying the second line number and the process of specifying the syntax type among the plurality of syntaxes included in the source code is a conditional statement is true, the third line number is the line number of the line to be executed if the condition indicated by the conditional is true, the fourth line number is the line number of the line to be executed if the condition indicated by the conditional statement is false, and the conditional A process of identifying the fifth line number, which is the line number of the end line paired with the sentence line, and the sixth line number, which is the line number of the line next to the end line; and the process of identifying the syntax type. Identify the line whose syntax type is an imperative sentence with variable generation, and for each identified line, identify the variable generated by the imperative sentence of the line as the subject, and the area of the subject A process of identifying the first coordinate whose components are the line number of the line that declares and the line number of the line that commands the generation of the subject; A process of identifying a line that is an imperative statement specifying, for each of the identified lines, a process of identifying a second coordinate whose component is the line number of the line, and each of the subjects identified in the process of identifying the subject Regarding, a process of identifying a variable subject that is a subject used to generate the subject, the source code, the first line number to the sixth line number, the first coordinate, the second coordinate, Provided is a program for executing a process of generating, as data to be input to a visualization program, data indicating the correspondence between a specified subject and a variable subject used to generate the subject.

According to the data generated by the computer according to the program according to the present invention, a computer executing a general-purpose visualization program can use the data to draw a diagram representing the execution path of the source code and the reference relationship of the data. can. A program verifier can easily find description errors in the source code by looking at the diagram. Further, according to one embodiment of the present invention, the program verifier can confirm the legitimacy of the data generation process by looking at the data items including the generated attributes. As a result, according to the present invention, the burden on the verifier in testing the program is reduced.

The figure which showed the structure of the computer which runs the program concerning one Embodiment of this invention. The figure which showed the functional structure of the data processor concerning one Embodiment of this invention. The figure which illustrated a part of the source code which the acquisition part of the data processing apparatus concerning one Embodiment of this invention acquires. FIG. 4 is a diagram exemplifying a portion of source code to which a first line number (SX) is assigned by the line number assigning unit of the data processing device according to the embodiment of the present invention; The syntax type specifying unit of the data processing device according to the embodiment of the present invention decomposes a line that is a plurality of syntaxes into a plurality of single syntaxes, specifies the syntax type of each syntax, and specifies the specified syntax type. The figure which illustrated the part of the source code by which was matched with each line. The figure which illustrated the part of the source code by which the data type of the subject identified by the data type identification part of the data processing apparatus concerning one Embodiment of this invention was matched with the line of the said subject. An example of a part of the source code in which the second to sixth line numbers (SY, SZ1 to SZ4) specified by the line number specifying unit of the data processing device according to one embodiment of the present invention are associated with each line. figure. The subject specified by the subject specifying unit of the data processing device according to the embodiment of the present invention, the first coordinates ([SX1, SX2]), and the second coordinates ([, SX2] or [SX2, SX2]) are The figure which illustrated the part of the source code matched with each line. The figure which illustrated the part of the source code by which the variable subject according to the subject identified by the variable subject identification part of the data processing apparatus concerning one Embodiment of this invention was matched with the line of the said subject. FIG. 4 illustrates part of an execution mode diagram displayed by a display device using visualization data generated by a data processing device according to an embodiment of the present invention; FIG. The figure which showed the functional structure of the data processing apparatus concerning the example of a changed completely type of this invention. FIG. 10 is an example of a diagram showing the authenticity confirmation information identified by the information identification unit for authenticity confirmation of the data processing apparatus according to the modified example of the present invention in association with each of a plurality of syntaxes included in the source code;

[Embodiment]
A program P according to an embodiment of the present invention and processing performed by a computer according to the program P will be described below.

FIG. 1 is a diagram showing the configuration of a computer 10 that executes a program P. As shown in FIG. The computer 10 is a computer for general terminal devices. The computer 10 includes a processor 101 that performs various data processing according to a program, a memory 102 that stores various data including the program, a communication interface 103 that performs data communication with an external device via a communication network, and an external device. An input/output interface 104 is provided for inputting/outputting data to/from the device without using a communication network.

A display device 20 such as a liquid crystal display and an input device 30 such as a keyboard and a mouse are connected to the input/output interface 104 . Note that the computer 10 may incorporate one or both of the display device 20 and the input device 30 . Also, the computer 10 may store part of the data in an external storage device connected via the communication interface 103 or the input/output interface 104 in addition to the internal memory 102 . Moreover, the display device 20 and the input device 30 may be configured as one device like a touch screen.

In addition to the program P, a visualization program Q is stored in the memory 102 . The visualization program Q is a general-purpose program called a so-called graphing tool. By performing data processing according to the visualization program Q, the computer 10 generates a diagram showing the relationships between a plurality of objects, and causes the display device 20 to display the diagram.

FIG. 2 is a diagram showing the functional configuration of the data processing device 11 implemented when the computer 10 executes the program P and the visualization program Q. As shown in FIG. That is, when the processor 101 of the computer 10 executes data processing according to the program P and the visualization program Q persistently stored in the memory 102, the data processing device 11 having the components shown in FIG. 2 is realized. The functional configuration of the data processing device 11 shown in FIG. 2 will be described below.

The data processing device 11 roughly includes a visualization data generation unit 111 and a visualization unit 112 . The visualization data generator 111 is implemented by executing the program P by the computer 10 . On the other hand, the visualization unit 112 is implemented by executing the visualization program Q by the computer 10 .

The visualization data generation unit 111 includes a storage unit 1110, an acquisition unit 1111, a line number assignment unit 1112, a data type identification unit 1113, a syntax type identification unit 1114, a line number identification unit 1115, a subject identification unit 1116, and a variable subject identification unit 1117. , a data generator 1118 and a data output unit 1119 .

Storage unit 1110 stores various data. The data stored in the storage unit 1110 includes source code acquired by the acquisition unit 1111, intermediate data generated by the line number assignment unit 1112 to the data type identification unit 1113, and final data (visualization data) generated by the data generation unit 1118. is included.

The acquisition unit 1111 acquires the source code S of the compiled program R from an external device.

FIG. 3 is a diagram exemplifying part of the source code S acquired by the acquisition unit 1111. As shown in FIG. The source code S illustrated in FIG. 3 is written in COBOL, but the programming language used for writing the source code S is not limited to COBOL.

The line number assigning unit 1112 assigns a first line number (hereinafter referred to as “SX”), which is a line number, to each of a plurality of lines forming the source code S acquired by the acquiring unit 1111 . FIG. 4 is a diagram exemplifying a part of SX assigned to the source code S by the line number assigning unit 1112. As shown in FIG.

The syntax type identifying unit 1114 identifies, for each of a plurality of lines included in the source code S, a syntax type that is the type of the syntax if the line is a single syntax, and determines that the line is a plurality of syntaxes. In some cases, after decomposing the plurality of syntaxes into a plurality of single syntaxes, a syntax type, which is the type of each of the plurality of single syntaxes, is specified.

Note that the syntax means a statement corresponding to one unit of data processing functions (addition, subtraction, multiplication, division, function call, etc.) provided in a computer.

In FIG. 5, the syntax type identifying unit 1114 decomposes a line of multiple syntaxes into a plurality of single syntaxes, specifies the syntax type of each syntax, and associates the specified syntax type with each line. 3 is a diagram exemplifying a part of the source code S obtained; FIG.

For example, in FIG. 5, the line "UNTIL EMPNO = 999." in which SX is 33 in the source code S has a syntax with a syntax type of "call statement", a syntax with a syntax type of "conditional statement (true)", Since the line has one syntax with the syntax type "conditional statement (false)", it is decomposed into different lines.

Note that the syntax type differs for each programming language. For example, in COBOL, the syntax types are fixed statement, fixed value statement, assignment statement, pseudo assignment, input statement, pseudo input, output statement, pseudo output, area statement, area argument, conditional statement (true), conditional statement (false ), repeat statement start, repeat statement end, function call, user-defined function call, translation statement, comment statement, control statement, endif, then, else, control condition, call statement, section end, section start, control input, Control output, paragraph, conditional input, paragraph end, and so on.

The data type identification unit 1113 identifies the data type of each subject that is a variable generated by the imperative sentence.

FIG. 6 is a diagram exemplifying part of the source code S in which the data type specified by the data type specifying unit 1113 is associated with the subject line of the data type. In the example of FIG. 6, the PICTURE character string (PIC), which is a character string representing the data type in COBOL, is described in the data type column. For example, the data type "X(3)" in the row with 21 in the SX column of the list in FIG. 6 means a data type of three alphanumeric characters. Therefore, when the source code S is written in a programming language other than COBOL, the data type describes the data type of the representation format according to the programming language.

For each of the plurality of lines included in the source code S acquired by the acquisition unit 1111, the line number specifying unit 1115 determines a second line number (hereinafter referred to as "SY") that is the line number of the line to be executed next to the line. ) are specified, and the specified line numbers are associated with each line of the source code S.

In addition to identifying SY, the line number identifying unit 1115 identifies the following third to sixth line numbers, and associates the identified line numbers with each line of the source code S.

Third line number (hereinafter referred to as "SZ1"): a line executed when the condition indicated by the conditional statement is true for each of the statements whose syntax type is conditional statement specified by the syntax type specifying unit 1114 line number.

Fourth line number (hereinafter referred to as "SZ2"): a line that is executed when the condition indicated by the conditional statement is false for each of the statements whose syntax type is a conditional statement specified by the syntax type specifying unit 1114. line number.

Fifth line number (hereinafter referred to as "SZ3"): For each syntax whose syntax type specified by the syntax type specifying unit 1114 is a conditional statement, the line number of the end line paired with the conditional statement line.

Sixth line number (hereinafter referred to as "SZ4"): For each of the syntaxes whose syntax type is conditional statement specified by the syntax type specifying unit 1114, the line number.

FIG. 7 is a diagram exemplifying part of the source code S in which SY and SZ1 to SZ4 specified by the line number specifying unit 1115 are associated with each line.

The subject identifying unit 1116 identifies lines whose syntax type is an imperative sentence with variable generation, and for each of the identified lines, identifies a variable generated by the imperative sentence of the line as the subject, and The first coordinate ([SX1, SX2]).

In addition, the subject identification unit 1116 identifies lines whose syntax type is an imperative statement specifying the order of execution, and for each of the identified lines, the second coordinate ( [, SX2] or [SX2, SX2]).

FIG. 8 shows a source in which the subject specified by the subject specifying unit 1116, the first coordinates ([SX1, SX2]), and the second coordinates ([, SX2] or [SX2, SX2]) are associated with each line. FIG. 3 is a diagram exemplifying a portion of code S; In FIG. 8, the subject and the first coordinate are included in the "subject (variable)" column, and the second coordinate is included in the "statement to determine execution order" column.

For each subject, the variable subject identifying unit 1117 identifies a variable subject (each of them if there are multiple subjects) that is the subject used to generate the subject.

FIG. 9 is a diagram exemplifying a part of the source code S in which the variable subject corresponding to the subject specified by the variable subject specifying unit 1117 is associated with the line of the subject.

The data generator 1118 generates the source code S, the first line number (SX), the second line number (SY), the third line number to the sixth line number (SZ1 to SZ4), the first coordinates ([SX1, SX2 ]), the second coordinate ([, SX2] or [SX2, SX2]), data indicating the correspondence between the subject and the variable subject used to generate the subject, and data including data indicating the data type of the subject is generated as data to be input to the visualization program (hereinafter referred to as “visualization data”).

The data output unit 1119 outputs the visualization data generated by the data generation unit 1118 to the visualization unit 112 .

The visualization unit 112 uses the visualization data output from the visualization data generation unit 111 to generate a diagram representing the execution path of the source code S and the reference relationship of the data (hereinafter referred to as “execution mode diagram G”). Then, the generated execution mode diagram G is output to the display device 20, and the execution mode diagram G is displayed on the display device 20. FIG.

FIG. 10 illustrates a part of the execution mode diagram G displayed by the display device 20. As shown in FIG. The execution mode diagram G includes display bodies (rectangular display bodies in the example of FIG. 10) corresponding to each of a plurality of syntaxes included in the source code S, and arrows indicating the order of execution of statements corresponding to those syntaxes. , where data references are made between those constructs, contain arrows pointing from the referencing syntactic representation of the data to the referencing syntactic representation. In addition, the content of the line of the syntax is displayed on the display corresponding to the syntax. In addition, the data type of the subject (in FIG. 11, ◯◯ part of “PIC: ◯◯”) is displayed on the display corresponding to the subject. As mentioned above, "PIC" means a character string (PICTURE character string) representing a data type in COBOL. Therefore, when the source code S is written in a programming language other than COBOL, the data type corresponding to the programming language is displayed in the execution aspect diagram G instead of PIC.

A verifier who tests the program R looks at the execution mode diagram G and sees the execution mode of the source code S of the program R, that is, the order of statements executed by the computer according to the source code S, and the syntax between them It is possible to easily grasp the reference relationship of the transferred data. Therefore, the verifier can easily determine whether or not the execution mode of the source code S shown in the execution mode diagram G complies with the program R specifications. The execution mode diagram G also displays the data type of the subject. As a result, the burden of testing program R on the verifier is reduced.

[Modification]
The embodiment described above is one embodiment of the present invention, and can be variously modified within the scope of the technical idea of the present invention. Examples of these modifications are shown below. Note that two or more of the following modifications may be combined as appropriate.

(1) The data processing device 11 may have a function of extracting a syntax requiring confirmation from among multiple syntaxes included in the source code S based on the visualization data.

FIG. 11 is a diagram showing the functional configuration of a data processing device 11 according to this modification (hereinafter referred to as "modification (1)"). The data processing device 11 according to Modification (1) includes a visualization data generation unit 111 and a visualization unit 112 included in the data processing device 11 according to the above-described embodiment, and a confirmation required syntax extraction unit 113 .

The confirmation-required syntax extraction unit 113 includes an authenticity confirmation information identification unit 1131 and a syntax extraction unit 1132 .

The authenticity confirmation information specifying unit 1131 acquires visualization data output from the data output unit 1119 of the visualization data generation unit 111, and based on the visualization data, each of a plurality of syntaxes included in the source code S , the syntax is a syntax in which neither the reference destination nor the reference source exists (hereinafter referred to as "floating island syntax"), or a syntax in which the reference source exists but the reference destination does not exist (hereinafter referred to as "no output line syntax") , a syntax in which the referent exists but the referrer does not exist (hereinafter referred to as a "syntax without input line"), or a syntax in which the referrer only follows the order of execution instructions (hereinafter referred to as a "recursive syntax"). is specified as information for authenticity confirmation.

FIG. 12 is an example of a diagram showing each of a plurality of syntaxes included in the source code S in association with the authenticity confirmation information identified by the information identification unit 1131 for confirmation of authenticity.

The syntax extracting unit 1132 selects a syntax to be confirmed from among a plurality of syntaxes included in the source code S based on the combination of the syntax type and the authenticity confirmation information specified by the authenticity confirmation information specifying unit 1131. is extracted as checkable syntax. Examples of the confirmation-required syntax include the following syntax.

Region statements without input lines Region arguments without input lines Fixed statements without input lines Constant statements without input lines Input statements without input lines Pseudo-inputs without input lines Assignment statements without input and/or output lines Input Pseudo assignment without line and/or output line Output statement without output line Pseudo output without output line

The syntax extraction unit 1132 outputs confirmation required syntax data indicating the extracted confirmation required syntax to the visualization unit 112 .

Based on the confirmation-required syntax data received from the confirmation-required syntax extraction unit 113, the visualization unit 112 changes the execution mode diagram G so that the part corresponding to the syntax requiring confirmation is represented in a different manner from the other parts. The display device 20 is caused to display the execution mode diagram G thus obtained. Here, the different aspect may be any of bold display, blinking display, display in different colors, display surrounded by a frame, and the like. A verifier can easily test the source code S by confirming whether there is any problem with the syntax represented in the execution mode diagram G in a manner different from that of other parts.

In addition, the visualization unit 112 causes the display device 20 to display, for example, a list of confirmation-required syntaxes (or a list of syntaxes that display the confirmation-required syntaxes in a different manner from other syntaxes), and The part corresponding to the syntax selected by the verifier from the list may be changed so as to be displayed in a different manner from the other parts, and the changed execution mode diagram G may be displayed on the display device 20 .

(2) The present invention provides a program exemplified by the program P described above, a system exemplified by the data processing apparatus 11 that performs processing according to the program P described above, and a method performed by a computer according to the program P described above.

DESCRIPTION OF SYMBOLS 10... Computer, 11... Data processing apparatus, 20... Display apparatus, 30... Input device, 101... Processor, 102... Memory, 103... Communication interface, 104... Input/output interface, 111... Data generation part for visualization, 112... Visualization Section 113 Check-required syntax extraction section 1110 Storage section 1111 Acquisition section 1112 Line number assignment section 1113 Data type identification section 1114 Syntax type identification section 1115 Line number identification section 1116 Subject identification unit 1117 Variable subject identification unit 1118 Data generation unit 1119 Data output unit 1131 Authenticity confirmation information identification unit 1132 Syntax extraction unit.

Claims (7)

to the computer,
a process of assigning a first line number, which is a line number, to each of a plurality of lines constituting source code of a compiled program;
For each of a plurality of lines included in the source code, if the line is a single syntax, specifying the syntax type, which is the type of the syntax, and if the line is a plurality of syntaxes, the multiple syntaxes is decomposed into a plurality of single syntaxes, and then identifying the syntax type that is the type of each of the plurality of single syntaxes;
A process of identifying a second line number, which is the line number of the line to be executed next to the line, for each of the plurality of lines included in the source code;
A line executed when the condition indicated by the conditional statement is true for each of the plurality of statements included in the source code, with respect to each of the statements whose syntax type is a conditional statement specified in the processing for specifying the syntax type. 3rd line number which is the line number of , 4th line number which is the line number of the line to be executed when the condition indicated by the conditional statement is false, and the end line number which is paired with the conditional statement line a process of identifying the fifth line number, which is the line number, and the sixth line number, which is the line number of the line next to the end line;
Identifying a line in which the syntax type identified in the process of identifying the syntax type is an imperative sentence with variable generation, and identifying a variable generated by the imperative sentence of the identified line as a subject for each of the identified lines. A process of specifying a first coordinate whose components are the line number of the line declaring the area of the subject and the line number of the line commanding the generation of the subject;
Identifying lines in which the syntax type identified in the processing for identifying the syntax type is an imperative statement specifying an execution order, and identifying, for each of the identified lines, a second coordinate whose component is the line number of the line. processing;
A process of identifying a variable subject, which is a subject used to generate the subject, for each of the subjects identified in the subject identifying process;
Data indicating the source code, the first line number to the sixth line number, the first coordinate, the second coordinate, and the correspondence relationship between the specified subject and the variable subject used to generate the subject. A program for executing a process of generating and as data to be input to a visualization program. to the computer running the visualization program;
2. The program according to claim 1, for causing a display device to display a diagram showing the execution path of the source code and the reference relationship of data using data input to the visualization program. to said computer;
Based on the data input to the visualization program, for each of a plurality of syntaxes included in the source code, the syntax is a syntax in which neither the reference destination nor the referencing source exists, or the reference source exists but the reference destination exists. syntax that does not exist, a syntax that has a reference destination but no referencing entity, a syntax that refers to its own syntax, or a syntax that refers only to the referencing entity that follows the order of execution instructions. the process of identifying as information;
2. The program according to claim 1, for extracting a syntax requiring confirmation from among a plurality of syntaxes included in the source code, based on the combination of the syntax type and the authenticity confirmation information. . to the computer running the visualization program;
FIG. 4 is a diagram showing the execution path of the source code using the data input to the visualization program, wherein the part corresponding to the syntax requiring confirmation extracted in the extraction process is shown in a different manner from the other parts; 4. The program according to claim 3, for executing a process of displaying on a display device. to said computer;
for each subject identified in the subject identifying process, executing a process of identifying the data type of the subject;
generating data to be input to the visualization program including data indicating the data type in the process of generating data to be input to the visualization program;
to the computer running the visualization program;
2. The process of displaying, on a display device, a diagram representing the execution path of the source code, the reference relationship of the data, and the data type of the subject using the data input to the visualization program. program. By running the program
a process of assigning a first line number, which is a line number, to each of a plurality of lines constituting source code of a compiled program;
For each of a plurality of lines included in the source code, if the line is a single syntax, specifying the syntax type, which is the type of the syntax, and if the line is a plurality of syntaxes, the multiple syntaxes is decomposed into a plurality of single syntaxes, and then identifying the syntax type that is the type of each of the plurality of single syntaxes;
A process of identifying a second line number, which is the line number of the line to be executed next to the line, for each of the plurality of lines included in the source code;
A line executed when the condition indicated by the conditional statement is true for each of the plurality of statements included in the source code, with respect to each of the statements whose syntax type is a conditional statement specified in the processing for specifying the syntax type. 3rd line number which is the line number of , 4th line number which is the line number of the line to be executed when the condition indicated by the conditional statement is false, and the end line number which is paired with the conditional statement line a process of identifying the fifth line number, which is the line number, and the sixth line number, which is the line number of the line next to the end line;
Identifying a line in which the syntax type identified in the process of identifying the syntax type is an imperative sentence with variable generation, and identifying a variable generated by the imperative sentence of the identified line as a subject for each of the identified lines. A process of specifying a first coordinate whose components are the line number of the line declaring the area of the subject and the line number of the line commanding the generation of the subject;
Identifying lines in which the syntax type identified in the processing for identifying the syntax type is an imperative statement specifying an execution order, and identifying, for each of the identified lines, a second coordinate whose component is the line number of the line. processing;
A process of identifying a variable subject, which is a subject used to generate the subject, for each of the subjects identified in the subject identifying process;
Data indicating the source code, the first line number to the sixth line number, the first coordinate, the second coordinate, and the correspondence relationship between the specified subject and the variable subject used to generate the subject. and as data to be input to the visualization program. the computer
assigning a first line number, which is a line number, to each of a plurality of lines constituting source code of a compiled program;
For each of a plurality of lines included in the source code, if the line is a single syntax, specifying the syntax type, which is the type of the syntax, and if the line is a plurality of syntaxes, the multiple syntaxes into a plurality of single syntaxes, and then identifying a syntax type that is the type of each of the plurality of single syntaxes;
identifying, for each of a plurality of lines included in the source code, a second line number that is the line number of the line to be executed next to the line;
a line executed when the condition indicated by the conditional statement is true for each of the plurality of statements included in the source code, with respect to each of the statements whose syntax type is the conditional statement specified in the step of specifying the syntax type; 3rd line number which is the line number of , 4th line number which is the line number of the line to be executed when the condition indicated by the conditional statement is false, and the end line number which is paired with the conditional statement line identifying the fifth line number, which is the line number, and the sixth line number, which is the line number of the line next to the end line;
Identifying lines in which the syntax type identified in the step of identifying the syntax type is an imperative sentence accompanied by the generation of a variable, and for each of the identified lines, identifying a variable generated by the imperative sentence of the line as a subject. and identifying a first coordinate whose components are the line number of the line declaring the domain of the subject and the line number of the line commanding the generation of the subject;
Identifying lines in which the syntax type identified in the step of identifying the syntax type is an imperative statement specifying an execution order, and identifying a second coordinate having a line number of the line as a component for each of the identified lines. a step;
for each subject identified in the step of identifying subjects, identifying a variable subject that is the subject used to generate the subject;
Data indicating the source code, the first line number to the sixth line number, the first coordinate, the second coordinate, and the correspondence relationship between the specified subject and the variable subject used to generate the subject. and generating as data input to a visualization program.

Images