JP4872357B2 - Program test support system, method and program - Google Patents

Description

  The present invention relates to a program test support system, method and program for supporting a program test, and more particularly to a program test support system, method and program for supporting a program test of only a specified portion of a program.

  Conventionally, various methods for supporting a program test have been considered.

  FIG. 16 is a functional configuration diagram for explaining an example of a conventional debugging method for supporting a program test.

  As shown in FIG. 16, the conventional example includes a test program execution unit 1100 and a variable value input unit 1120, and the test program execution unit 1100 includes a variable reference management unit 1101. In the system configured as described above, the program under test 1110 is executed by the program under test execution unit 1100. The program under test execution unit 1100 refers to the variable reference management unit 1101 when there is a reference to a variable, and if the variable is not set in the variable reference management unit 1101, the variable is input to the user via the variable input unit 1120. The user is prompted to input the value, and the execution is continued with the value as the value of the variable (see, for example, Patent Document 1).

  FIG. 17 is a diagram for explaining another example of a conventional program test support method.

  As shown in FIG. 17, the conventional example includes a test range designation unit 1200 and a test program generation unit 1210. In the system configured as described above, when a desired portion of the program under test 1220 is designated by the test range designation unit 1200, the test range designation unit 1200 refers to the instruction sequence in the designated range and the command sequence. The extracted variable definition is extracted, and an instruction sequence and a variable definition extraction file 1230 are generated. Then, the test program generation unit 1210 generates a test program 1250 with the instruction sequence, the variable definition extraction file 1230, and the test data 1240 as inputs (see, for example, Patent Document 2).

  FIG. 18 is a diagram for explaining another example of a conventional program debugging system that supports a program test.

As shown in FIG. 18, the conventional example includes a block delimiter setting unit 1801 and a block execution unit 1802. In the system configured as described above, the block delimiter setting unit 1801 sets the block delimiters 1811 and 1812 of the program under test 1810, and the block execution unit 1802 starts the next block from the execution start line 1815 of the program under test 1810. Steps up to a break 1812 are executed (see, for example, Patent Document 3).
JP 2001-229044 A JP 2000-339192 A (page 9, FIG. 1) JP 2002-278791 A

  However, the conventional techniques described above have the following problems.

  (1) Since there is no function for starting the program under test from an arbitrary point, the test cannot be started from the place where the test is desired. In particular, when intensively covering a part that is likely to be complicated to implement, it is time consuming and inefficient to give an appropriate input to the program under test and make transition to that part.

  (2) When information necessary for creating a test program is acquired from the program under test, the test program is recreated every time the program under test is modified, and the test program cannot be created efficiently. In addition, when a test program is generated based on information obtained from the program under test and the test program is edited to complete the test program, it is necessary to edit the test program every time it is regenerated. In addition, there is a possibility of introducing bugs into the test program itself.

  (3) The setting and verification of variables necessary for performing a program test must be performed every time the test is performed, which takes time and effort.

  The present invention has been made in view of the problems of the prior art as described above, and can test only a desired portion of a program under test, and the program under test has been edited. A program test support system and method that can be tested without being affected by editing, and can be tested without the need for setting and verifying variables necessary for testing. And to provide a program.

In order to achieve the above object, the present invention provides:
A test program for designating a range for executing the test of the program under test according to a test program for testing the program under test and for setting a value of a variable to be given to the designated range of the program under test Execution means, a range designated by the test program execution means for the program under test, a value of a variable given to the designated range, and a variable that is a result of executing the designated range A test program execution means for managing the value of the variable, and the test program execution means obtains the value of a variable that is managed by the test program execution means and that is a result of executing the specified range And verifying the value of the variable by comparing it with a value preset in the test program. In the program test support system,
The test program execution means includes
According to the test program, execution range designation means for designating a range for executing the test of the program under test;
According to the test program, variable value setting means for setting a value of a variable to be given to a range specified by the execution range specifying means in the program to be tested;
The value of a variable that is managed by the program under test execution unit and that is a result of executing the range specified by the execution range specifying unit is acquired, and the value of the variable is preset by the test program Variable value verification means for verifying by comparing with a value;
According to the test program, the test execution range of the program under test is analyzed, the test end point of the execution range specified by the test program is set as a success end position, and the transition to the success end position is not caused by an error of the program under test. An execution range analyzing means for deriving the path when it exists ,
The execution range designating unit designates the success end position of the test of the program under test according to the test program, and enters an entrance of a path that is derived by the execution range analysis unit and does not transition to the success end position. Specify as failure end position,
The test program execution means includes:
An execution position control means for controlling a place where the execution of the test of the program under test is started based on the range designated by the execution range designation means;
Execution stop means for stopping execution of the program under test at the success end position or the failure end position specified by the execution range specifying means;
Variable management means for managing the value of the variable set by the variable value setting means for the program under test and the value of the variable that is the result of executing the range specified by the execution range specifying means It is characterized by.

  In the present invention configured as described above, in the test program execution means, the range for executing the test of the program under test is specified according to the test program, and the variable is given to the specified range of the program under test The value of is set. In the program under test execution means, the place where the test execution of the program under test is started is controlled based on the range specified by the test program execution means, and the program under test is executed under the control of the test program execution means. The In the execution state of the program under test, the value of the variable referred to in the range specified for the program under test and the value of the variable that is the result of executing the specified range are managed in the program under test execution means. The Then, execution of the program under test stops at the end point of the specified range. Thereafter, in the test program execution means, the value of a variable that is the result of executing the range specified for the program under test is acquired from the test program execution means, and the value of the variable is a value preset in the test program and It is verified by comparing.

  Since the present invention is configured as described above, the following effects can be obtained.

  (1) In a test program, selection of a range to be tested in a program under test, setting of a variable value as an input to the test range and verification of a variable value as an output can be described, and the program under test execution means Since only the test range of the program under test specified by the test program can be executed and the value of the variable in the test range can be obtained, only a desired portion of the test program can be tested. .

  (2) Not only does it not be necessary to recreate the test program according to the modification of the program under test, but also the possibility of fixing bugs in the test program can be reduced by fixing the test program code. Creation and implementation can be performed efficiently.

  (3) The range under which the program under test is operated, the setting of variable values, and verification can be consolidated into the test program and can be executed by the test program execution means, so there is no need to constantly monitor the execution of the program under test. Just by looking at the test execution result, the success or failure of the test becomes possible.

  Embodiments of the present invention will be described below with reference to the drawings.

(First embodiment)
FIG. 1 is a diagram showing a first embodiment of a program test support system of the present invention.

  In this embodiment, as shown in FIG. 1, a computer 100 that operates by program control and becomes a central processing unit, a processor, a data processing unit, etc., a test program storage unit 150 in which a test program 151 is stored, and a program to be tested 161 And a test program storage unit 160 in which is stored.

  The computer 100 extracts the test program 151 from the test program storage unit 150, extracts the test program 161 from the test program storage unit 160, and the test program execution unit 110 that executes the test of the program under test 161 according to the test program 151. A test program execution unit 120 that executes the test program 161 under the control of the test program execution unit 110.

  The test program 151 determines which part of the program under test 161 is a test target, what variable value is assigned to the test target part, and what variable value is obtained as a result of executing the test target part. Including what you expect to be.

  The test program execution unit 110 includes an execution range specification unit 111 that specifies a range in which the test of the test target program 161 is executed according to the test program 151, and an execution range specification unit 111 of the test target program 161 according to the test program 151. A variable value setting unit 112 that sets a value of a variable to be assigned to a specified range, and a variable value that is a result of executing the range specified by the execution range specifying unit 111 for the program under test 161, And a variable value verifying unit 113 for verifying by comparing with a preset value.

  The program under test execution unit 120 includes an execution position control unit 121 that controls a place where the test execution of the program under test 161 is started based on the range specified by the execution range specification unit 111, and the execution range specification unit 111. An execution stop unit 122 that stops execution of the program under test 161 at the end point of the specified range, a value of a variable that is referenced in the range specified by the execution range specification unit 111 for the program under test 161, and the execution A variable management unit 123 that manages the value of a variable that is a result of executing the range specified by the range specification unit 111, and from the specified location in the program under test 161 by the execution position control unit 121. When execution of the program under test 161 is started and the program under test 161 is designated by the execution stopping means 122 In to end the execution of the test program 161.

  Hereinafter, processing in the program test support system configured as described above will be described.

  FIG. 2 is a flowchart for explaining processing in the program test support system shown in FIG.

  First, in the execution range specifying unit 111 of the test program execution unit 110, the execution range of the test program 161 extracted from the test program storage unit 160 is set according to the content of the test program 151 extracted from the test program storage unit 150. The execution start position is specified to the execution position control unit 121 of the test program execution unit 120, and the execution end position is specified to the execution stop unit 122 of the test program execution unit 120 (step A1). As described above, since the test program 151 includes which part of the program under test 161 is to be tested, the execution range designating unit 111 performs the test according to the contents of the test program 151. The execution range of the test program 161 can be set.

  Next, in the variable value setting unit 112 of the test program execution unit 110, the execution range designation is specified in the test program 161 extracted from the test program storage unit 160 according to the content of the test program 151 extracted from the test program storage unit 150. The variable value to be given to the range specified by the unit 111 is set and notified to the variable management unit 123 of the program under test execution unit 120 (step A2). As described above, since the test program 151 includes what variable value is assigned to the test target portion, the variable value setting unit 112 sets the test program 161 according to the contents of the test program 151. The variable value to be assigned can be set.

  Next, in the program under test execution unit 120, the program under test 161 is step-executed from the execution start position designated by the execution range designation unit 111 and controlled by the execution position control unit 121 (step A3).

  If the value of the variable set by the variable value setting unit 112 and not held by the variable management unit 123 is acquired during the execution of the program under test 161 (step A4), the test is regarded as a failure and is terminated. (Step A5).

  On the other hand, when the program under test 161 is executed and reaches the execution end position specified by the execution range specification unit 111 (step A6), the execution stop unit 122 stops the execution of the program under test 161, and the test The variable value verification unit 113 of the program execution unit 110 acquires the variable value to be verified from the variable management unit 123, verifies whether the variable value is as expected, and ends (step A7). As described above, since the test program 151 includes what variable value is expected as a result of executing the test target portion, the variable value verification unit 113 performs variable management. The value of the variable acquired from the unit 123 is verified by comparing it with a value preset in the test program 151.

  As described above, in the present embodiment, since the test program execution start position, end position and referenceable variables can be controlled from the test program, only a desired portion in the test program is tested. be able to. Further, since the test program is not generated from the program under test, it is not necessary to regenerate the test program even if the program under test is edited. As a result, the test program can be fixed, and the time required for test creation and execution can be shortened.

(Second Embodiment)
FIG. 3 is a diagram showing a second embodiment of the program test support system of the present invention.

  In this embodiment, as shown in FIG. 3, a computer 200 that operates by program control and becomes a central processing unit, a processor, a data processing unit, etc., a test program storage unit 250 in which a test program 251 is stored, and a test program 261 Is stored in the program under test storage unit 260.

  The computer 200 extracts the test program 251 from the test program storage unit 250, extracts the test program 261 from the test program storage unit 260, and the test program execution unit 210 that executes the test of the test program 261 according to the test program 251, A program under test execution unit 220 that executes the program under test 261 under the control of the test program execution unit 210.

  The test program 251 determines which part of the program under test 261 is to be tested, what variable value is assigned to the test target part, and what variable value as a result of executing the test target part. Including what you expect to be.

  The test program execution unit 210 analyzes the test execution range of the program under test 261 in accordance with the test program 251, and there is an error in the program under test 261 such as conditional branching, looping, exception sending, etc. in the execution flow of the program under test 261. The execution range analysis unit 214 for extracting a list of execution positions that should not be reached and that should not be reached, and deriving a path that does not change to the test end point due to an error in the test program 261; An execution range designation unit 211 that designates the test execution start position and the success end position of the test 261, and designates the test failure end position of the program under test 261 based on the path derived by the execution range analysis unit 214; In accordance with the test program 251 The variable value setting unit 212 that sets the value of the variable to be assigned to the range specified by the execution range specifying unit 211 in the gram 261 and the range specified by the execution range specifying unit 211 for the program under test 261 were executed. A variable value verification unit 213 that verifies the value of the variable as a result by comparing the value with a value set in advance in the test program 251.

  The program under test execution unit 220 includes an execution position control unit 221 that controls a place where the test execution of the program under test 261 is started based on the range specified by the execution range specification unit 211, and an execution range specification unit 211. An execution stop unit 222 that stops the execution of the program under test 261 at the end point of the specified range, the value of the variable that is referenced in the range specified by the execution range specification unit 211 for the program under test 261, and the execution A variable management unit 223 that manages the value of a variable that is a result of executing the range specified by the range specification unit 211. From the location specified in the program under test 261 by the execution position control means 221. When execution of the program under test 261 is started and the program under test 261 is designated by the execution stopping means 222 In to end the execution of the test program 261. At this time, when the execution of the program under test 261 is terminated at the failure end position designated by the execution range designation unit 211, the test program execution unit 210 is notified that the test has failed, and the process is terminated.

  Hereinafter, processing in the program test support system configured as described above will be described.

  FIG. 4 is a flowchart for explaining processing in the program test support system shown in FIG.

  First, the execution range analysis unit 214 of the test program execution unit 210 analyzes the execution range of the test program 261 extracted from the test program storage unit 260 in accordance with the contents of the test program 251 extracted from the test program storage unit 250. An execution position that can transition to an execution position that is out of the test range due to an error in the program under test 261 or the like is extracted (step B1).

  Next, in the execution range designation unit 211 of the test program execution unit 210, the execution start position of the test program execution program 261 is controlled according to the contents of the test program 251 extracted from the test program storage unit 250. Designated to the unit 221 and designated to the execution stop unit 222 of the program under test execution unit 220 for the successful end position of the test of the program under test 261 and derived by the execution range analysis unit 214 Based on the path, the test failure end position of the program under test 261 is designated (step B2). As described above, since the test program 251 includes which part of the program under test 261 is to be tested, the execution range analysis unit 214 performs processing according to the contents of the test program 251. The execution range of the test program 261 can be analyzed.

  Next, in the variable value setting unit 212 of the test program execution unit 210, an execution range designation is specified in the test program 261 extracted from the test program storage unit 260 in accordance with the contents of the test program 251 extracted from the test program storage unit 250. The variable value assigned to the range designated by the unit 211 is set and notified to the variable management unit 223 of the program under test execution unit 220 (step B3). As described above, since the test program 251 includes what variable values are assigned to the test target portion, the variable value setting unit 212 sets the test program 261 according to the contents of the test program 251. The variable value to be assigned can be set.

  Next, in the program under test execution unit 220, the program under test 261 is step-executed from the execution start position designated by the execution range designation unit 211 and controlled by the execution position control unit 221 (step B4).

  During execution of the program under test 261, the value of the variable set by the variable value setting unit 212 and not held by the variable management unit 223 is acquired (step B 5), or the execution is stopped from the execution range specifying unit 211. When the failure end position designated in the unit 222 is reached (step B6), the test is regarded as a failure and is ended (step B7).

  On the other hand, when the program under test 261 is executed and reaches the success end position designated by the execution range designation unit 211 (step B8), the execution stop unit 222 stops the execution of the program under test 261, and the test The variable value verification unit 213 of the program execution unit 210 acquires the variable value to be verified from the variable management unit 223, verifies whether the variable value is as expected, and ends (step B9). As described above, since the test program 251 includes what variable value is expected as a result of executing the test target portion, the variable value verification unit 213 uses variable management. The value of the variable acquired from the unit 223 is verified by comparing with the value set in advance by the test program 251.

  As described above, in the present embodiment, in addition to the effects of the first embodiment, the test should not be reached, but the execution position that can be reached due to an error in the program under test can be terminated as a failure. Since it is configured, if there is an error in the program under test, execution can be immediately terminated. As a result, the efficiency of test creation and execution can be further improved.

  In the following, the operation of the above-described embodiment will be described using specific examples.

Example 1
FIG. 5 is a diagram showing an embodiment of the program test support system shown in FIG.

  The program test support system of the present invention is implemented as a program 1010 that is read into a memory 1002 of a computer 1000 and operates by operating a CPU 1002, for example, as shown in FIG. In this embodiment, the test program and the program under test are stored on the storage device 1003 or the memory 1002. As a program to be tested, for example, a program written in a business process execution language such as WS-BPEL or a program written in a programming language such as Java, C, or C ++ can be applied. Then, an instruction to create and start a test is issued through an input device 1004 such as a mouse, a keyboard, or a touch panel.

  FIG. 6 is a diagram showing a specific example of the test program, and FIG. 7 is a diagram showing a specific example of the test program.

  In the following, an embodiment will be described by using the test program as shown in FIG. 7 by using the test program as shown in FIG.

  The content of the test program is specified by “test1” as an identifier of the test range, and the variable y is input to the test range, and the value is “<a> <b> 1 </ b> <a> ”, and as a result of execution, 1 is set in the variable c.

  8 and 9 are diagrams showing a state in which the test program shown in FIG. 6 is embedded in the test target program shown in FIG.

  In the program under test, the range to be verified by the test program is annotated as shown in the fourth and eleventh lines of FIG. 8 and a label indicating the place is embedded, and the execution of the program is not affected as shown in FIG. Realize by embedding elements. That is, any means may be used as long as it is a means that can uniquely identify the location in the program under test and that does not affect the execution of the program.

  When the test program is read by the test program execution unit and there is an instruction for designating the test range in the first line of FIG. 6, the execution position control unit is set to be executed from the start position identified as “test1”. To control the execution start position, skip the instruction sequence from the beginning of the program under test to the start location without executing it, or jump to the start location implicitly at the beginning of the program under test. As a method to add or execute automatically. In addition, the execution stop unit can be implemented by setting a breakpoint at a location that is the execution stop position in the program under test, or by an execution stop instruction at a location that is implicitly executed by the test program execution unit. Is realized as a method of inserting

  Then, when the test program execution unit reads an instruction to set a value for the variable y in the second line of FIG. 6, the value of the variable y is notified to the test program execution unit.

  FIG. 10 is a diagram illustrating a specific example of variable management.

  For example, as shown in FIG. 10, the variable management unit is realized by storing a pair of a variable name and its value in a memory or a storage device. The variable management unit may be realized by using a mechanism such as a blocking queue that waits for setting of a variable value and reference of the variable value. Next, when there is an instruction for instructing the variable value to be verified by the test program on the third line in FIG. 6, the verification is performed after the execution of the program under test is completed.

  In the following, execution processing of a program under test written so as to specify a location in the format shown in FIG. 8 will be described.

  Execution of the program under test is started from the fifth line by the designation from the test program. Then, the variable y is referred to in the seventh line. Here, since the value of the variable y is set to “<a> <b> 1 </ b> <a>” by the test program, the value is executed using this value. Thus, “1” is set to the variable c.

  FIG. 11 is a diagram illustrating an example of a program under test that includes an error.

  If the program to be tested should refer to the variable y as shown in the seventh line of FIG. 11, if the variable x is referred to, the test program does not set the variable x. Exit as a failure.

  Finally, the 11th line shown in FIG. 8 shows that it is the end of the test range, the execution of the program under test is aborted here, the verification of the variable c on the 3rd line of the test program is performed, and the process ends. .

(Example 2)
In this example, an implementation example of the execution range analysis unit shown in the second embodiment will be described as a difference from the first example.

  FIG. 12 is a diagram showing a state in which the test program shown in FIG. 6 is embedded in the program to be tested shown in FIG. FIG. 13 and FIG. 14 are diagrams showing specific examples of the execution range analysis.

  As an implementation method of the execution range analysis in the program under test shown in FIG. 12, an analysis tree as shown in FIG. 13 is constructed from the information regarding the test range specified by the test program and the structure of the program under test.

  By following the arrows in the analysis tree shown in FIG. 13, it is detected that there is a possibility of transition from switch to otherwise due to an error in the program under test. Based on this, as shown in FIG. 14, it is derived that a failure end point is required at the entrance of a path designated as an end point and a path that does not reach the success end point. Then, the execution stop position of the program under test is set according to the analysis tree shown in FIG.

  FIG. 15 is a diagram illustrating an example of a program under test that includes an error.

  For example, if the program under test should be c == 1 as shown in the 13th line of FIG. 15 and c == 0, the execution is executed at the time when another of the 17th line is to be executed. Stopped and reported as failed.

It is a figure which shows 1st Embodiment of the program test support system of this invention. It is a flowchart for demonstrating the process in the program test support system shown in FIG. It is a figure which shows 2nd Embodiment of the program test assistance system of this invention. It is a flowchart for demonstrating the process in the program test support system shown in FIG. It is a figure which shows one Example of the program test support system shown in FIG. It is a figure which shows the specific example of a test program. It is a figure which shows the specific example of a to-be-tested program. FIG. 8 is a diagram showing a state in which the test program shown in FIG. 6 is embedded in the program under test shown in FIG. 7. FIG. 8 is a diagram showing a state in which the test program shown in FIG. 6 is embedded in the program under test shown in FIG. 7. It is a figure which shows the specific example of variable management. It is a figure which shows an example of the to-be-tested program containing the error. FIG. 8 is a diagram showing a state in which the test program shown in FIG. 6 is embedded in the program to be tested shown in FIG. It is a figure which shows the specific example of an execution range analysis. It is a figure which shows the specific example of an execution range analysis. It is a figure which shows an example of the to-be-tested program containing the error. It is a functional block diagram for demonstrating an example of the conventional debugging method which supports a program test. It is a figure for demonstrating the other example of the conventional program test support method. It is a figure for demonstrating the other example of the conventional program debug system which supports a program test.

Explanation of symbols

100, 200 Computer 110, 210 Test program execution unit 111, 211 Execution range specification unit 112, 212 Variable value setting unit 113, 213 Variable value verification unit 120, 220 Test program execution unit 121, 221 Execution position control unit 122, 222 Execution stop unit 123, 223 Variable management unit 150, 250 Test program storage unit 151, 251 Test program 160, 260 Test program storage unit 161, 261 Test program 214 Execution analysis unit 1000 Computer system 1001 CPU
1002 Memory 1003 Storage device 1004 Input device 1005 Output device 1010 Partial test creation execution program

Claims (3)

A test program for designating a range for executing the test of the program under test according to a test program for testing the program under test and for setting a value of a variable to be given to the designated range of the program under test Execution means, a range designated by the test program execution means for the program under test, a value of a variable given to the designated range, and a variable that is a result of executing the designated range A test program execution means for managing the value of the variable, and the test program execution means obtains the value of a variable that is managed by the test program execution means and that is a result of executing the specified range And verifying the value of the variable by comparing it with a value preset in the test program. In the program test support system,
The test program execution means includes
According to the test program, execution range designation means for designating a range for executing the test of the program under test;
According to the test program, variable value setting means for setting a value of a variable to be given to a range specified by the execution range specifying means in the program to be tested;
The value of a variable that is managed by the program under test execution unit and that is a result of executing the range specified by the execution range specifying unit is acquired, and the value of the variable is preset by the test program Variable value verification means for verifying by comparing with a value;
According to the test program, the test execution range of the program under test is analyzed, the test end point of the execution range specified by the test program is set as a success end position, and the transition to the success end position is not caused by an error of the program under test. An execution range analyzing means for deriving the path when it exists ,
The execution range designating unit designates the success end position of the test of the program under test according to the test program, and enters an entrance of a path that is derived by the execution range analysis unit and does not transition to the success end position. Specify as failure end position,
The test program execution means includes:
An execution position control means for controlling a place where the execution of the test of the program under test is started based on the range designated by the execution range designation means;
Execution stop means for stopping execution of the program under test at the success end position or the failure end position specified by the execution range specifying means;
Variable management means for managing the value of the variable set by the variable value setting means for the program under test and the value of the variable that is the result of executing the range specified by the execution range specifying means Program test support system characterized by Using a program test support system comprising test program execution means for executing a test of a program under test according to a test program, and test program execution means for executing the test program under control of the test program execution means A method for executing a test of the program under test,
The test program execution means analyzes the test execution range of the program under test according to the test program , sets the test end point of the execution range specified by the test program as a successful end position, and causes an error in the program under test. A process of deriving a path that does not transition to the successful end position ;
The test program execution means designates a range for executing a test of the program under test according to the test program;
The test program executing means, in accordance with the test program, the with designating the success completion position of the test of the test program, the derived, specifying the entrance path that does not transition to the success end position as a failure end position Processing,
The test program execution means, according to the test program, to set a value of a variable to be given to the specified range of the program under test;
A process for controlling where the test target program execution means starts execution of a test of the test target program based on the specified range;
A process in which the program under test execution unit executes the designated range of the program under test under the control of the test program execution unit;
Process for managing the value of a variable set by the test program execution means for the program under test and the value of a variable as a result of executing the specified range for the program under test by the program under test execution means When,
The program under test execution means stops the execution of the program under test at the designated success end position or the failure end position ;
The test program execution means acquires a value of a variable that is managed by the test program execution means and that is a result of executing the specified range for the program under test, and sets the value of the variable to the test program And a process of verifying by comparing with a preset value. To the computer that executes the test of the program under test according to the test program,
According to the test program, the test execution range of the program under test is analyzed, the test end point of the execution range specified by the test program is set as a success end position, and the transition to the success end position is not caused by an error of the program under test. A procedure to derive the path, if any ,
In accordance with the test program, a procedure for specifying a range for executing the test of the program under test;
In accordance with the test program, and the procedure specified with specifying the successful completion position of the test of the test program, the derived, the entrance path that does not transition to the success end position as a failure end position,
In accordance with the test program, a procedure for setting a value of a variable to be given to the designated range in the program under test;
A step of executing the specified range of the program under test under the control of the test program;
A procedure for controlling where to start executing a test of the program under test based on the specified range;
Managing a value of a variable set for the program under test, a value of a variable that is a result of executing the specified range for the program under test;
A procedure for stopping execution of the program under test at the designated success end position or failure end position ;
A program for executing a procedure of verifying a value of a variable, which is a result of executing the specified range, with respect to the program to be tested by comparing the value with a value preset in the test program.

Images