JP5448907B2 - Program verification apparatus, program verification method, and program - Google Patents

Description

  The present invention relates to an apparatus for verifying a source program automatically converted using an instruction pattern.

  Conventionally, a device for converting a source program using an instruction pattern or the like has been known. For example, an automatic program conversion device that converts an old source program, which is a program that was operating in one environment, into a new source program that is to be operated in another environment, with information indicating the instruction pattern of the old source program An instruction pattern correspondence information storage unit storing one or more pairs of certain first instruction pattern information and second instruction pattern information which is information indicating an instruction pattern of a new source program, and a program storing an old source program In the storage unit, an analysis unit that analyzes how many times the one or more first command pattern information appears in the old source program, and the number of appearances of the first command pattern information in the analysis unit is a predetermined number of times (predetermined (The number of times is 2 or more) The description location of the old source program corresponding to the first command pattern information analyzed as being above In the instruction pattern conversion unit, the instruction pattern conversion unit converts the description location of the old source program so as to correspond to the second instruction pattern information paired with the first instruction pattern information so as to include the commented out information. The new source program before the manual operation including the information commented out by the instruction pattern conversion unit after the conversion process is performed, and the manual operation as a result of converting the old source program by the instruction pattern conversion unit In the new program output unit that outputs the previous new source program, and in the new program output unit, after the new source program before the manual operation is output, the number of appearances of the first command pattern information in the analysis unit is the predetermined number The new source before the manual operation corresponding to the first command pattern information analyzed to be less than the number of times Against program description locations, automatic program conversion apparatus that includes an input means for inputting manual changes users have been known (e.g., see Patent Document 1).

Japanese Patent No. 4354514 (first page, FIG. 1 etc.)

  However, conventionally, there has been a problem that it is difficult to properly confirm whether or not the automatically converted portion of the source program has been normally converted.

  For example, it is possible to test whether or not the source program is normally executed by executing the automatically converted source program, processing test data prepared in advance, or performing simulation. In this test, it is difficult to determine whether or not all automatically converted portions in the source program have been used. In other words, there are cases in which the source code that was automatically converted exists even in the part that was not used in the test, and it was not possible to determine whether or not the automatically converted source code was normal for such a part. . Therefore, for example, it is impossible to determine how many untested parts exist in the automatically converted source program, and it is not possible to make an appropriate determination as to whether or not automatic conversion has been performed normally. There was a problem.

  In addition, since it is difficult to determine whether the test to be performed on the automatically converted source code is a test that can sufficiently test the automatically converted part, in order to fully verify the source program Needed to do a redundant test.

  The program verification apparatus of the present invention stores a source program obtained by converting source code corresponding to a first instruction pattern into source code corresponding to one or more second instruction patterns corresponding to the first instruction pattern. Source program storage unit to be obtained and an executed source code detection unit for detecting an executed source code, which is a source code used when a program based on the source program stored in the source program storage unit is executed, from the source program A conversion related information acquisition unit that acquires conversion related information that is information related to a portion of the detected executed source code that has been converted into the source code corresponding to the second instruction pattern, and a conversion related information acquisition unit It is a program verification apparatus provided with the output part which outputs the acquired conversion relevant information.

  With this configuration, it is possible to indicate whether or not the conversion performed using the instruction pattern has been sufficiently verified. As a result, it is possible to verify whether or not the conversion using the instruction pattern has been performed normally, verify the validity of a test performed to verify the conversion, and the like.

  The program verification apparatus according to the present invention is the program verification apparatus, wherein the conversion related information acquisition unit detects an executed instruction pattern that is a second instruction pattern corresponding to the source code included in the executed source code. A program verification apparatus comprising: an instruction pattern detection unit; and a first conversion related information acquisition unit that acquires conversion related information including information related to a second command pattern detected by an executed instruction pattern detection unit.

  With this configuration, for example, information on the second instruction pattern corresponding to the source program used when executing the program corresponding to the source program among the second instruction patterns used for conversion of the source program, such as the number of patterns You can know information about.

  The program verification apparatus according to the present invention is the program verification apparatus according to the above-described program verification apparatus, wherein the conversion-related information is information related to the appearance amount of the second instruction pattern detected by the executed instruction pattern detection unit.

  With such a configuration, for example, information on the appearance amount of the second instruction pattern corresponding to the source program used when executing the program corresponding to the source program among the second instruction patterns used for conversion of the source program is obtained. I can know.

  Further, the program verification apparatus of the present invention is the conversion instruction pattern detection means for detecting a conversion instruction pattern which is a second instruction pattern corresponding to the source code included in the source program. And the first conversion related information acquisition means is information indicating the ratio of the number of different executed instruction patterns detected by the executed instruction pattern detection means to the number of different conversion instruction patterns detected by the conversion instruction pattern detection means This is a program verification device that acquires conversion-related information including.

  With this configuration, it is possible to know the ratio of the number of second instruction patterns used for converting the source code used when executing the program corresponding to the source program to the number of second instruction patterns used for converting the source program. it can. Thereby, for example, it is possible to know the ratio of the second command pattern considered to be verified by the test or the like in the second command pattern used for the conversion.

  In the program verification apparatus of the present invention, in the program verification apparatus, the conversion related information acquisition unit is source code in a source program corresponding to each step that can be executed when a program based on the source program is executed. A step-corresponding executed code detecting means for detecting a step-corresponding executed code that is a source code including a source code corresponding to the second instruction pattern, and a step-corresponding executed code detecting means Is a program verification device comprising second conversion related information acquisition means for acquiring conversion related information including information related to the step-corresponding executed code detected by.

  With such a configuration, for example, information relating to a step corresponding to the source code changed to correspond to the second instruction pattern among steps that can be executed when a program corresponding to the source program is executed, for example, processed Information on the source code corresponding to the step can be acquired.

  The program verification apparatus according to the present invention is the program verification apparatus according to the program verification apparatus, wherein the conversion related information is information related to an appearance amount of the step-corresponding executed code detected by the step-corresponding executed code detecting means.

  With such a configuration, for example, information on the amount of appearance of a step corresponding to the source code changed to correspond to the second instruction pattern among the steps that can be executed when the program corresponding to the source program is executed is acquired. can do.

  In the program verification apparatus of the present invention, in the program verification apparatus, the conversion related information acquisition unit is source code in a source program corresponding to each step that can be executed when a program based on the source program is executed. And a step corresponding conversion code detecting means for detecting a step corresponding conversion code which is a source code including a source code corresponding to the second instruction pattern. It is a program verification device that acquires conversion related information including information indicating the ratio of the number of step-corresponding executed codes detected by the step-corresponding executed code detection means to the number of detected step-corresponding conversion codes.

  With such a configuration, for example, the step corresponding to the source code changed to correspond to the second instruction pattern among the steps that can be executed when the program corresponding to the source program is executed is for testing or the like. It is possible to know how much is used when executing a program corresponding to the source program.

  In the program verification device of the present invention, in the program verification device, the source program storage unit includes information indicating the second instruction pattern used for conversion of the source program and the source program converted by the second instruction pattern. The executed instruction pattern detecting means detects the execution detected by the executed source code detecting section from the information indicating the second instruction pattern stored in the source program storing section. A program verification device that detects information indicating a second instruction pattern associated with a source code included in a completed source code and detects a second instruction pattern that is an executed instruction pattern.

  With this configuration, when the executed instruction pattern is detected, it is not necessary to detect the source code corresponding to the second instruction pattern for the source program, and the processing speed can be increased.

  The program verification apparatus of the present invention further includes a second instruction pattern storage unit that can store a second instruction pattern including a second instruction pattern used for conversion of the source program in the program verification apparatus, and has been executed. The instruction pattern detection means performs pattern matching between the executed source code detected by the executed source code detection unit and the second instruction pattern stored in the second instruction pattern storage unit, and is included in the executed source code A program verification apparatus for detecting a second instruction pattern corresponding to a source code is a program verification apparatus for detecting a second instruction pattern corresponding to a source code included in an executed source code.

  With such a configuration, the executed instruction pattern can be detected and the versatility can be enhanced without knowing the correspondence between the source program and the second instruction pattern used for the conversion.

  According to the program verifying apparatus and the like according to the present invention, it is possible to indicate whether or not the conversion performed using the instruction pattern has been sufficiently verified.

Block diagram of a program verification apparatus in Embodiment 1 of the present invention Flow chart showing operation of the program verification device A flowchart showing a modification of the operation of the program verification device The figure which shows the pattern management table for demonstrating operation | movement of the program verification apparatus The figure which shows an example of the source program stored in the source program storage part for demonstrating operation | movement of the program verification apparatus The figure which shows the line number of the executed source code which the executed source code detection part detected for demonstrating operation | movement of the program verification apparatus The figure which shows the accumulated executed command pattern ID for demonstrating operation | movement of the program verification apparatus The figure which shows the executed instruction pattern ID which eliminated the duplication for demonstrating operation | movement of the program verification apparatus The figure which shows conversion command pattern ID obtained by deleting duplication for demonstrating operation | movement of the program verification apparatus The figure which shows the example of an output of the conversion relevant information for demonstrating operation | movement of the program verification apparatus Block diagram of a program verification apparatus in Embodiment 2 of the present invention Flow chart showing operation of the program verification device The figure which shows acquired executed code ID for demonstrating operation | movement of the program verification apparatus The figure which shows acquired conversion code ID for demonstrating operation | movement of the program verification apparatus The figure which shows the example of an output of the conversion relevant information for demonstrating operation | movement of the program verification apparatus The figure which shows an example of the external appearance of the computer system in each embodiment of this invention The figure which shows an example of a structure of the computer system in each embodiment of this invention

  Hereinafter, embodiments of a program verification device and the like will be described with reference to the drawings. In addition, since the component which attached | subjected the same code | symbol in embodiment performs the same operation | movement, description may be abbreviate | omitted again.

(Embodiment 1)
FIG. 1 is a block diagram of a program verification apparatus 1 in the present embodiment.
The program verification apparatus 1 includes a source program storage unit 101, an executed source code detection unit 102, a conversion related information acquisition unit 103, an output unit 104, and a second instruction pattern storage unit 105.

  The conversion related information acquisition unit 103 includes an executed command pattern detection unit 1031, a conversion command pattern detection unit 1032, and a first conversion related information acquisition unit 1033.

  The source program storage unit 101 has one or more source programs obtained by converting source code corresponding to the first instruction pattern into source code corresponding to one or more second instruction patterns corresponding to the first instruction pattern. Can be stored. The source code is, for example, a series of instructions for a computer described in accordance with a language specification of a programming language, and includes a character string or the like. A source program is composed of one or more source codes. The source program may be one or more source files composed of one or more source codes, for example. The source program described here may be considered as a migrated source program. The source program may be a source program in any language such as COBOL language, C language, and Perl language. Moreover, a script etc. may be sufficient. It does not matter how the source program is converted using the first instruction pattern and the second instruction pattern for the source program stored in the source program storage unit 101. For example, an example of source program conversion is disclosed in Patent Document 1 and the like. The program described here is, for example, an instruction for a procedure of processing (calculation / operation / communication) performed by a computer. The source program stored in the source program storage unit 101 is, for example, a new source program after conversion obtained by converting the old source program using the second instruction pattern.

  The second instruction pattern is information indicating an instruction pattern composed of source code included in a source program after conversion (for example, after migration), for example. The second instruction pattern may be an instruction pattern corresponding to the language of the converted source program, the environment in which the converted source program is used, or the like. The source code corresponding to the second command pattern is source code written along the second command pattern.

  The second instruction pattern is specified in advance to indicate that a part of the source code appearing in the source program, for example, a variable, a literal character, a function name, or the like is an unfixed character string. Information replaced with a lexical element (for example, a word) may be used. Here, this replacement information is called a conversion word, for example. Further, non-fixed character strings such as variables, literal characters, function names, and character strings including these are referred to as non-fixed words here. Conversely, other fixed character strings are called fixed words. The conversion word may be considered as a regular expression of a non-fixed word. The conversion word is preferably information from which the data type, data size, attribute, and the like of the information arranged at the position where the conversion word is arranged can be determined. The conversion word is any type of non-fixed word among non-fixed word types including at least one of a variable, a function name, or a literal character as a character string that forms at least a part of the source program. May be considered as a character string indicating. For example, it may be considered as a character string indicating what kind of attribute a character string that forms at least a part of the source program is. That is, it indicates what kind of attribute a character string (for example, word) including at least one of a variable, a function name, or a literal character included in at least a part of the source program is a conversion word. You can think of it as a string. This attribute may be an attribute indicating whether the character string of the source program is a variable, a function name, or a literal character, and the purpose of the character string of the source program, etc. It may be an attribute indicating a type or the like. Further, this attribute may be an attribute indicating the number of characters in the character string of the source program, the type of character, and the like. A conversion word may be considered as information that replaces a non-reserved word such as a variable, a literal character, or a function name. In this case, the conversion word is any type of non-reserved word, for example, a non-reserved attribute. It may be considered as a character string indicating whether it is a word. The second command pattern is composed of, for example, one or more combinations of command words, user-specified words, conversion words, and other character strings. Details of command words, user-specified words, conversion words, etc. will be described later. The second instruction pattern is a pattern in which a fixed word such as an instruction word in the source program appears, a pattern in which a non-fixed word (for example, a variable, a literal character, or a function name) appears, or a fixed word and a non-fixed word appear. You may think of it as a pattern. In addition, the second instruction pattern is a pattern in which a reserved word (for example, an instruction word) appears in the source program, a pattern in which a non-reserved word (for example, a variable, a literal character, or a function name) appears, or a reserved word and a non-reserved word In this case, the second command pattern may be a pattern in which a reserved word appears in a source program, a pattern in which a non-reserved word appears, or a reserved word and a non-reserved word appear, for example. It may be information indicating at least one of the patterns. As a specific example, the second command pattern is information indicating an array pattern of reserved words and non-reserved words “command word <argument 1> <argument 2>”. In this case, however, “instruction word” is a reserved word such as “OPEN”, “MOVE”, “CALL”, etc., and “<argument 1>” and “<argument 2>” are non-reserved characters that are variable character strings. Is a word. Further, the second command pattern information may be information indicating the order in which fixed words and non-fixed words are arranged. Further, the second command pattern information may be information indicating a specific reserved word, for example, the order in which command words and unspecified reserved words are arranged. Note that a reserved word is a lexical element that cannot be used as an identifier name, such as a variable name, function name, or class name, defined in a programming language specification or the like. Here, a reserved word that is not an instruction word may be called a non-reserved word.

  The first instruction pattern is, for example, a pattern of instructions that appear in the source program before conversion (for example, before migration). The first command pattern may be a command pattern corresponding to the language of the source program before conversion, the environment in which the source program after conversion is used, or the like. The first command pattern is the same as the second command pattern described above except that it corresponds to the source program before conversion. The source code corresponding to the first command pattern is source code written along the first command pattern. Or it is the command pattern acquired from the source code which appears in the source program before conversion.

  The source code corresponding to the first instruction pattern matches, for example, the source code detected by pattern matching using the first instruction pattern, or when the first instruction pattern is searched as a regular expression search key. Source code to be determined.

  The source program conversion such as migration is performed by, for example, using the second instruction pattern associated with the first instruction pattern prepared in advance, and using the source code corresponding to the first instruction pattern of the source program before conversion. This is performed by converting the source code corresponding to the second instruction pattern corresponding to the first instruction pattern.

  The source program storage unit 101 may store information indicating the second instruction pattern used for conversion of the source program and source code in the source program converted by the second instruction pattern in association with each other. . The information indicating the second command pattern may be the second command pattern itself used for the conversion, or may be a first command pattern associated with the second command pattern used for the conversion. Alternatively, it may be identification information for identifying the second command pattern used for conversion or the first command pattern associated with the second command pattern. Further, the source code changed in the second instruction pattern may be associated with information indicating that the change has been made, for example, a flag or the like. The association between the information indicating the second command pattern used for such conversion and the converted source code may be managed in any way. For example, information indicating the second command pattern may be arranged in the vicinity of a portion converted by the second command pattern in the source program, for example, in a comment field or a comment area. Alternatively, information indicating the position of the converted source code (for example, a line number) and information indicating the second command pattern used for the conversion are stored in a storage unit (not shown) as two items of one record. It may be managed with a management table or the like. Note that the source program storage unit 101 may be physically realized by a plurality of storage media or the like. In this case, the source program and the second instruction pattern corresponding to the source code in the source program are different storage media. May be stored.

  The process of accumulating the source program in the source program storage unit 101 does not matter. The source program storage unit 101 is preferably a nonvolatile recording medium, but can also be realized by a volatile recording medium.

  The executed source code detection unit 102 detects an executed source code that is a source code used when a program based on the source program stored in the source program storage unit 101 is executed.

  A program based on a source program is a program composed of code for execution corresponding to the source program. The source program here is, for example, a new source program after conversion obtained by converting the old source program using the second instruction pattern. For example, the program based on the source program may be the source program itself, or may be a program obtained by performing conversion such as compilation on the source program. For example, when the source program stored in the source program storage unit 101 is an interpreter type source program, the program based on the source program is the source program itself, and the source program is in a unit designated in advance, for example, in line units. It is read and interpreted. When the source program stored in the source program storage unit 101 is not an interpreter type, the program based on the source program is a program obtained by compiling the source program.

  When the program based on the source program is executed, the program based on the source program is executed, and for example, one or more test data prepared for the test of the source program is used to test a process designated in advance. Alternatively, a simulation of a test of a process designated in advance may be performed on a program based on the source program. This simulation may be considered as a simulation for detecting a source code used when, for example, a program based on the source program executes a process designated in advance. The test here is, for example, a test for determining whether or not the source program has been successfully converted. The used source code is, for example, a source program that is read and executed as it is at least a part of the source program, such as an interpreter type source program. good. In addition, when a source program is compiled once and the program obtained by compiling is executed like a non-interpreter type source program, the used source code corresponds to the executed part of the compiled program. It may be considered as source code in a source program before compilation. Note that test data, information specifying what kind of test is to be performed, and the like may be stored in advance in a storage medium (not shown). The source code used when the program based on the source program is executed means a source code corresponding to a portion to be executed in the program based on the source program. Specifically, it is a source code corresponding to an object code or an instruction set being executed in a program based on the source program. The use of the source code here may be considered as a concept including indirect use.

  Regarding the configuration for detecting the source code used when the program based on the source program is executed and its processing, if the processing specified in advance is executed in the source program to be verified, the verification target Since it is known as a so-called code coverage technique for measuring how much source code is covered in a source program or a debugger technique, description thereof is omitted here.

  The executed source code detection unit 102 may sequentially acquire the detected source code every time the used source code is detected, or the source used when the execution of the program based on the source program is finished. You may get the code. The acquired source code is stored in, for example, a storage medium (not shown). In addition, information indicating that the source code has been executed, for example, a flag or the like may be associated with a portion of the source program where the executed source code exists, or information indicating an attribute or the like may be provided. For example, information indicating a portion including the executed source code in the source program, for example, the line number of the line including the executed source code may be acquired and stored in a storage medium (not shown).

  The executed source code detection unit 102 can usually be realized by an MPU, a memory, or the like. The processing procedure of the executed source code detection unit 102 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The executed source code detection unit 102 may be considered to include an execution unit (not shown) for executing a program based on the source program and performing, for example, one or more tests specified in advance. good. Further, it may be considered that a test data storage unit (not shown) or the like that stores data used for the test, data indicating a test procedure, and the like are stored. However, the execution unit and the test data storage unit may be provided outside the executed source code detection unit 102. Such an execution part is implement | achieved from MPU, memory, etc., for example, and a process sequence is normally implement | achieved by software. Further, the test data storage unit is realized in a nonvolatile or volatile storage medium or the like.

  The conversion related information acquisition unit 103 acquires conversion related information that is information about a portion of the executed source code detected by the executed source code detection unit 102 that has been converted into a source code corresponding to the second instruction pattern. To do. Specifically, the portion converted to the source code corresponding to the second instruction pattern is the source code converted so as to be the pattern indicated by the second instruction pattern in the source program, and the second instruction pattern is It may be considered as source code converted by using.

  The conversion related information acquisition unit 103 detects, for example, a portion of the executed source code detected by the executed source code detection unit 102 that has been converted into a source code corresponding to the second instruction pattern. The conversion related information is acquired using the information. The conversion related information may be information about the converted source code or information including the source code as long as it is information related to the portion converted into the source code corresponding to the second instruction pattern. Information on the second command pattern used may be used.

  The conversion related information acquisition unit 103 is, for example, conversion related information that is information indicating a different second instruction pattern used for conversion of a portion of the executed source code that has been converted into a source code corresponding to the second instruction pattern. Information may be acquired. In other words, information related to the second instruction pattern (pattern type) used for conversion of the executed source code, for example, conversion related information that is information such as a list indicating the second instruction pattern may be acquired. The information indicating the second command pattern may be the second command pattern itself or identification information of the second command pattern.

  In addition, the conversion related information acquisition unit 103 is, for example, information on the appearance amount of different second instruction patterns used for conversion of the portion of the executed source code converted into the source code corresponding to the second instruction pattern. May be acquired as conversion related information. That is, information regarding the appearance amount of the second instruction pattern used for conversion of the source code constituting the executed source code may be acquired. The appearance amount of different second command patterns may be considered as the number of types of second command patterns that appear, that is, used for conversion, or the total number of second command patterns used for conversion, that is, second commands. It may be the number of parts converted in any of the patterns. The conversion related information related to the appearance amount may be information indicating the number of second command patterns that appear, or information indicating the number of different second command patterns that appear. Also, for example, corresponding to the second instruction pattern in the executed source code with respect to the number of different second instruction patterns used for conversion of the part converted into the source code corresponding to the second instruction pattern of the source program It may be information indicating the ratio of the number of different second instruction patterns used for the conversion of the portion converted into the source code. That is, the number of different all or part of second instruction patterns corresponding to the source code included in the executed source code with respect to the number of all different or part of second instruction patterns corresponding to the source code in the converted source program. It may be information indicating the ratio.

  In this embodiment, the conversion related information acquisition unit 103 acquires conversion related information using an executed command pattern detection unit 1031, a conversion command pattern detection unit 1032 and a first conversion related information acquisition unit 1033 described later. A case will be described as an example.

  The conversion related information acquisition unit 103 can be usually realized by a storage medium such as an MPU or a memory. The processing procedure of the conversion related information acquisition unit 103 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  In the executed instruction pattern detection unit 1031, the executed source code detection unit 102 detects an executed instruction pattern which is a second instruction pattern corresponding to the source code included in the executed source code. The detection of the second command pattern here may be considered as detecting the second command pattern itself, or information indicating the second command pattern, specifically, identification information of the second command pattern. You may think that it detects.

  For example, as described above, the executed instruction pattern detection unit 1031 stores the source code in the source program and the information indicating the second instruction pattern corresponding to the source code in the source program storage unit 101 in association with each other. The source included in the executed source code detected by the executed source code detection unit 102 from the information indicating the second instruction pattern stored in the source program storage unit 101 in association with the source code. A second instruction pattern which is an executed instruction pattern is detected by detecting information indicating a second instruction pattern associated with the code. If the information indicating the second command pattern is not the second command pattern itself, and the second command pattern itself needs to be detected, the second command indicated by this information is detected from the detected information indicating the second command pattern. What is necessary is just to detect a pattern.

  The executed instruction pattern detection means 1031 performs pattern matching between the executed source code detected by the executed source code detection unit 102 and a second instruction pattern stored in a second instruction pattern storage unit 105 described later. The second instruction pattern corresponding to the source code included in the executed source code may be detected sequentially. Pattern matching here may be considered as processing similar to search processing using regular expressions. For example, the executed instruction pattern detection unit 1031 uses the source code having the occurrence pattern of the fixed word or the non-fixed word corresponding to the appearance pattern of the fixed word or conversion word of the second instruction pattern by the pattern matching. Detect in code. The correspondence here may be considered as matching in a search using pattern matching or regular expressions. At this time, the conversion word portion in the second instruction pattern is determined to correspond or match when a non-fixed word of an attribute character string corresponding to the conversion word is detected in the source code. For example, the second command pattern whose identification information is “C0001” is “move * to *”, “move” and “to” are fixed words, and “*” indicates either alphabet or number. If it is a word, the second instruction pattern “C0001” is detected as a second instruction pattern corresponding to the source code “move A001 to * B001” in the executed source code.

  When performing pattern matching, the source code is cut out from the executed source code for each unit that is the same as the unit in which the source code is converted into the instruction pattern in accordance with a predetermined rule. , Pattern matching with the second command pattern may be performed. In particular, if the source code unit read from the source program when the program corresponding to the source program is executed and the source code unit converted using the second instruction pattern are the same unit, the source code already executed in this unit The source code may be extracted from the source code, and the extracted source code may be compared with the second instruction pattern. For example, compare the source code cut from the executed source code with the second instruction pattern in units of source code delimited by predesignated specification information for predesignated delimiters such as line feed code and line number You may do it. The designation information will be described later.

  The executed instruction pattern detection unit 1031 may acquire the detected executed instruction pattern or information indicating the executed instruction pattern (for example, identification information) and store it in a storage unit or the like (not shown). Information indicating that the second instruction pattern is detected for the executed source code, such as a flag, is detected from the second instruction patterns stored in the second instruction pattern storage unit 105 described later. The second command pattern may be given.

  The executed instruction pattern detection unit 1031 can be usually realized by an MPU, a memory, or the like. The processing procedure of the executed instruction pattern detection unit 1031 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The conversion command pattern detection unit 1032 detects a conversion command pattern that is a second command pattern corresponding to the source code included in the source program. The source program described here is a source program that is a detection target of the executed source code. The detection of the second command pattern here may be considered as detecting the second command pattern itself, or information indicating the second command pattern, specifically, identification information of the second command pattern. You may think that it detects.

  The process in which the conversion instruction pattern detection unit 1032 detects the conversion instruction pattern from the source program is the same as the process in which the executed instruction pattern detection unit 1031 described above detects the executed instruction pattern from the executed source program. Detailed explanation is omitted.

  The conversion command pattern detection unit 1032 may acquire the detected conversion command pattern or information indicating the conversion command pattern (for example, identification information) and store it in a storage unit such as a storage medium (not shown). Information indicating that it is the second instruction pattern detected for the program, for example, a flag, etc., among the second instruction patterns stored in the second instruction pattern storage unit 105 described later, the detected second instruction pattern You may make it give to.

  The conversion command pattern detection unit 1032 can be usually realized by an MPU, a memory, or the like. The processing procedure of the conversion command pattern detection means 1032 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The first conversion related information acquisition unit 1033 acquires conversion related information related to the second command pattern detected by the executed command pattern detection unit 1031.

  For example, the conversion related information including the information related to the second command pattern detected by the executed command pattern detection unit 1031 is acquired. Specifically, a different second command pattern detected by the executed command pattern detection unit 1031 is acquired as conversion related information. Here, the different second command pattern means a unique second command pattern. The first conversion related information acquisition unit 1033 is, for example, a second command obtained by deleting one or more second command pattern groups detected by the executed command pattern detection unit 1031 while leaving only one duplicate. A pattern group is acquired as conversion related information. In this case, for example, a list of the second command pattern group may be used as the conversion related information. Or you may acquire the value obtained by counting the number of the 2nd command patterns which comprise this 2nd command pattern group as the conversion relevant information regarding the appearance amount of a 2nd command pattern.

  The first conversion related information acquisition unit 1033 indicates the ratio of the number of different executed instruction patterns detected by the executed instruction pattern detection unit 1031 to the number of different conversion instruction patterns detected by the conversion instruction pattern detection unit 1032. Conversion related information including information may be acquired. Different conversion instruction patterns and different executed instruction patterns mean unique conversion instruction patterns and executed instruction patterns as described above. That is, the first conversion related information acquisition unit 1033 is a second command obtained by deleting one or more second command pattern groups detected by the executed command pattern detection unit 1031 while leaving only one duplicate. A pattern group is acquired as conversion related information. In this case, for example, a list of the second command pattern group may be used as the conversion related information. Or you may acquire the value obtained by counting the number of the 2nd command patterns which comprise this 2nd command pattern group as the conversion relevant information regarding the appearance amount of a different 2nd command pattern.

  Further, the first conversion related information acquisition unit 1033 may acquire conversion related information related to the appearance amount of the second command pattern as follows. First, the first conversion related information obtaining unit 1033 executes, for example, an execution obtained by deleting only one duplicated one from one or more second command pattern groups detected by the executed command pattern detecting unit 1031. A completed instruction pattern group is acquired, and the number of second instruction patterns constituting the executed instruction pattern group is counted. Further, a conversion instruction pattern group obtained by deleting only one duplicated object is obtained from one or more second instruction pattern groups detected by the conversion instruction pattern detection unit 1032, and the conversion instruction pattern group is The number of second instruction patterns to be configured is counted. Then, the ratio of the number of second instruction patterns constituting the executed instruction pattern group to the number of second instruction patterns constituting the conversion instruction pattern group is calculated, and the calculated ratio is converted with respect to the appearance amount of the second instruction pattern. Obtained as related information.

  The first conversion related information acquisition unit 1033 can be usually realized by an MPU, a memory, or the like. The processing procedure of the first conversion related information acquisition unit 1033 is usually realized by software, and the software is recorded in a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The output unit 104 outputs the conversion related information acquired by the conversion related information acquisition unit 103. The output described here refers to display on a display, projection using a projector, printing on a printer, sound output, transmission to an external device, storage in a recording medium, output to another processing device or other program, etc. It is a concept that includes delivery of processing results.

  The output unit 104 may or may not include an output device such as a display or a speaker. The output unit 104 can be implemented by output device driver software, or output device driver software and an output device.

  The second command pattern storage unit 105 can store a second command pattern including the second command pattern used for the source program conversion. Specifically, this source program is a source program that is a target of detection of executed source code. The second command pattern storage unit 105 only needs to store at least the second command pattern used for source program conversion. The second command pattern storage unit 105 may store a second command pattern and a first command pattern corresponding to the second command pattern in association with each other.

  The process of storing the second command pattern in the second command pattern storage unit 105 does not matter. For example, a second command pattern used for source program conversion may be accumulated by a user or the like. Alternatively, a storage unit storing a second instruction pattern used for source program conversion may be used as the second instruction pattern storage unit 105 as it is.

  The second command pattern storage unit 105 is preferably a non-volatile recording medium, but can also be realized by a volatile recording medium. When the conversion related information acquisition unit 103, specifically, the executed command pattern detection unit 1031 does not detect the executed command pattern by pattern matching, the second command pattern storage unit 105 can be omitted.

  Next, the operation of the program verification apparatus 1 will be described using the flowchart of FIG. Here, the part (source code group) of the source program stored in the source program storage unit 101 converted by the second instruction pattern is associated with information indicating the second instruction pattern used for the conversion. An example will be described.

  (Step S <b> 201) The executed source code detection unit 102 reads a source program from the source program storage unit 101.

  (Step S202) The executed source code detector 102 detects the executed source code from the source program read in step S201. For example, by executing a program based on the source program read in step S201, performing one or more tests using one or more test data specified in advance, and executing the source code used in the test The source code corresponding to the portion used in the test of the completed source code, that is, the program based on the source program is detected. When the source program needs to be compiled, it may be appropriately compiled. The test data, information for instructing the test, and the like may be stored in advance in a test related information storage unit (not shown) configured by a storage medium (not shown), for example. For the detected executed source code, for example, information indicating that the executed source code is a part including the executed source code, for example, a flag or the like is given to the source program or the like. . For example, if the source program is one in which the source code is described in units of lines, information such as a flag may be added to the line of the executed source code. Alternatively, the executed source code may be read from the source program and accumulated in a storage unit such as a storage medium (not shown). Further, for example, when the source program is one in which the source code is described in line units, the line number including the executed source code may be acquired and accumulated in a storage unit such as a storage medium (not shown).

  (Step S203) The executed instruction pattern detection unit 1031 includes the source code corresponding to the second instruction pattern included in the executed source code detected in step S202, specifically, the source converted by the second instruction pattern. Detect code. Specifically, here, as described above, since the portion converted by the second instruction pattern of the source program is associated with the information indicating the second instruction pattern used for the conversion, the step Of the executed source code detected in S202, the source code associated with the information indicating the second instruction pattern is detected.

  (Step S204) The executed instruction pattern detection unit 1031 acquires information indicating the second instruction pattern associated with the source code detected in Step S203. Information indicating the acquired second command pattern is stored in a storage medium (not shown).

  (Step S205) The executed instruction pattern detection unit 1031 performs a unique process on the information indicating the second instruction pattern acquired in step S204. That is, a process for eliminating duplication is performed by deleting only one piece of information indicating the same second command pattern. As a result, an executed instruction pattern is obtained.

  (Step S206) The conversion command pattern detection unit 1032 detects the source code corresponding to the second command pattern included in the source program read in Step S201. Specifically, the source code associated with the information indicating the second instruction pattern is detected from the source program.

  (Step S207) The conversion command pattern detection unit 1032 acquires information indicating the second command pattern associated with the source code detected in Step S206. Information indicating the acquired second command pattern is stored in a storage medium (not shown).

  (Step S208) The first conversion related information acquisition unit 1033 performs a unique process on the information indicating the second command pattern acquired in Step S207. That is, a process for eliminating duplication is performed by deleting only one piece of information indicating the same second command pattern. Thereby, a conversion command pattern is obtained.

  (Step S209) The first conversion related information acquisition unit 1033 counts the number of executed command patterns acquired in step S205. In addition, the number of conversion command patterns acquired in step S208 is counted. Then, the number of executed instruction patterns is divided by the number of conversion instruction patterns to obtain conversion-related information that is the ratio of the number of executed instruction patterns to the number of conversion instruction patterns.

  (Step S210) The output unit 104 outputs the conversion related information acquired in step S209. Information such as a list of executed command patterns acquired in step S205 may also be output. Then, the process ends.

  FIG. 3 is a flowchart showing a modified example of the operation of the program verification apparatus 1. Here, unlike the above, pattern matching is performed using the second instruction pattern stored in the second instruction pattern storage unit 105 from the source program and the executed source code stored in the source program storage unit 101. An example of the operation when detecting a portion (source code group) converted by the second command pattern will be described.

  (Step S301) The executed source code detection unit 102 reads the source program from the source program storage unit 101.

  (Step S302) The executed source code detection unit 102 detects the executed source code from the source program read in step S301. For example, as in step S202, the program corresponding to the source program read in step S301 is executed, and one or more tests are performed using one or more test data specified in advance, and the source program is supported. The executed source code, which is the source code corresponding to the part used in the test, is detected from the source program.

  (Step S303) The executed instruction pattern detection means 1031 substitutes 1 for the counter n.

  (Step S <b> 304) The conversion related information acquisition unit 103 reads the nth second command pattern from the second command pattern storage unit 105.

  (Step S305) The executed instruction pattern detection unit 1031 detects whether or not there is a source code that matches the nth second instruction pattern in the executed source code detected in step S302. For example, it is determined by pattern matching whether there is a source code corresponding to the nth second instruction pattern in order from the top of the executed source code. If a match is detected, the process proceeds to step S306. If not, the process proceeds to step S307.

  (Step S306) The executed instruction pattern detection means 1031 accumulates the second instruction pattern detected in step S305 as an executed instruction pattern in a storage unit such as a storage medium (not shown).

  (Step S307) The conversion instruction pattern detection unit 1032 detects whether or not there is a source code matching the nth second instruction pattern in the source program read in Step S301. For example, it is determined by pattern matching whether there is source code corresponding to the nth second instruction pattern in order from the top of the source program. When a match is detected, the process proceeds to step S308. If not, the process proceeds to step S309.

  (Step S308) The conversion command pattern detection unit 1032 accumulates the second command pattern detected in Step S307 as a conversion command pattern in a storage unit such as a storage medium (not shown).

  (Step S309) The conversion related information acquisition unit 103 increments the value of the counter n by 1.

  (Step S <b> 310) The conversion related information acquisition unit 103 determines whether or not the nth second command pattern is stored in the second command pattern storage unit 105. If stored, the process returns to step S304, and if not stored, the process proceeds to step S311.

  (Step S311) The first conversion related information acquisition unit 1033 counts the number of executed instruction patterns accumulated in Step S306. In addition, the number of conversion command patterns accumulated in step S308 is counted. Then, the number of executed instruction patterns is divided by the number of conversion instruction patterns to obtain conversion-related information that is the ratio of the number of executed instruction patterns to the number of conversion instruction patterns.

  (Step S312) The output unit 104 outputs the conversion related information acquired in step S311. Note that information such as the executed instruction pattern accumulated in step S306 may also be output. Then, the process ends.

  Hereinafter, a specific operation of the program verification apparatus 1 in the present embodiment will be described.

  FIG. 4 is a pattern management table for managing the correspondence between the first instruction pattern, the second instruction pattern, and the pattern ID used for the source program conversion. The first command pattern, the second command pattern, and the pattern ID managed by this pattern management table are stored in the second command pattern storage unit 105, for example. The pattern management table has items of “pattern ID”, “first command pattern”, and “second command pattern”. The “pattern ID” is identification information of an instruction pattern associated with a set of the first instruction pattern and the second instruction pattern. The pattern ID may be considered as identification information of the second command pattern or may be considered as identification information of the first command pattern. The “first command pattern” is a first command pattern, and the “second command pattern” is a second command pattern. Here, it is assumed that the first instruction pattern and the second instruction pattern are instruction patterns prepared for performing source code conversion in units of lines. In this management table, the corresponding “first command pattern”, “second command pattern”, and “pattern ID” are managed in one record. Note that the “first command pattern” of the record from the “pattern ID” end line “S” to the next “pattern ID” line end “E” is one first command pattern. Indicates that “# DEL #” in the second instruction pattern is a process of deleting the description portion of the first source program corresponding to the first instruction pattern information without the replacement second instruction pattern information corresponding to the first instruction pattern. Is a character string indicating that is performed. For a record in which the second command pattern is blank, it indicates that conversion is not performed for the source code corresponding to the first command pattern of the record.

  FIG. 5 is a diagram illustrating an example of a source program stored in the source program storage unit 101. This source program uses the first command pattern and the second command pattern managed by the pattern management table as shown in FIG. It is assumed that the source program is a pattern-converted source program obtained by converting the source code corresponding to this instruction pattern into the source code corresponding to the second instruction pattern corresponding to the first instruction pattern. The description of the pattern conversion process is omitted here. In this conversion, it is assumed that the source code is converted line by line in the source program. In this source program, it is assumed that the first to sixth columns of each line are areas for describing line numbers and the like, and the 81st and subsequent columns of each line are comment areas for describing comments. A character string starting with “*” (for example, a character string from “*” to a period or a line feed code) is a comment line. It is assumed that a pattern ID which is identification information of a combination of the first instruction pattern and the second instruction pattern used for conversion of the source program is arranged in the comment line of the source program. In addition, for the part in which the source code over a plurality of lines is converted using one second instruction pattern, the pattern ID of the second instruction pattern used for the conversion is described in the comment area of each of the plurality of lines. In addition, “S” is described at the end of the pattern ID of the first row, and “E” is described at the end of the pattern ID of the last row. Here, it is assumed that the pattern ID associated with the first command pattern corresponding to this line is also described in the comment area of the line that has not been converted by the second command pattern.

  First, when the user gives an instruction to verify the source program shown in FIG. 5 to the program verification apparatus 1 by operating a menu or the like, the executed source code detection unit 102 is stored in the source program storage unit 101. The source program shown in FIG. 5 is read, the program corresponding to the source program is executed, and one or more tests prepared in advance are performed on the source program. The execution of the program may be performed by the executed source code detection unit 102 or may be executed by an execution unit (not shown) provided outside. Here, for example, if the source program is an interpreter type source program that executes source code line by line, the program corresponding to the source program is the source program itself, and the source program is executed line by line. The execution here may be actual execution of the source program, or may be execution of simulation of the operation of the source program. The execution of the program corresponding to the source program here is a character string specified in advance so that the source code corresponding to the portion used at the time of program execution of the program corresponding to the source program can be detected. Execution of a program corresponding to a source program to which etc. are added may be possible. The executed source code detection unit 102 detects, from the source program, a source code corresponding to a portion used when a test prepared in advance is performed on a program corresponding to the source program as an executed source code. . Here, the source code used when the test is performed is detected for each line of the source program. Since the processing of the executed source code detection unit 102 is the same as the processing of a so-called code coverage tool, debugger, etc., description thereof is omitted here. The executed source code detection unit 102 detects the line of the executed source code used in the test, and acquires the line number of the detected line as information indicating the executed source code. The acquired line number is temporarily stored in a storage medium (not shown).

  FIG. 6 is a diagram showing the line numbers of the executed source code detected by the executed source code detection unit 102.

  Next, the executed instruction pattern detection unit 1031 performs processing for detecting an executed instruction pattern. Specifically, first, one value of the line number of the executed source code shown in FIG. 6 is acquired, and the pattern ID is acquired from the comment area of this line of the source program shown in FIG. Then, it is determined using the command pattern management table shown in FIG. 4 whether there is a second command pattern corresponding to the acquired pattern ID. If there is a corresponding second command pattern, this pattern ID is detected as a pattern ID indicating the executed command pattern. The detected pattern ID is temporarily stored in a storage medium (not shown). Here, the pattern ID indicating the executed instruction pattern is referred to as an executed instruction pattern ID. When there is no corresponding second command pattern, the pattern ID is not detected as the executed command pattern ID. Then, this process is performed for all the line numbers of the executed source code shown in FIG.

  For example, the executed instruction pattern detection unit 1031 first obtains the first line number “009600” among the line numbers of the executed source code shown in FIG. 6, and the comment area of the line having this line number The pattern ID “010999000010” is acquired from the converted source program shown in FIG. Then, it is determined in the pattern management table shown in FIG. 4 whether there is a second command pattern associated with the acquired pattern ID “010999000010”. In the pattern management table shown in FIG. 4, since there is no second command pattern corresponding to the pattern ID “010999000010”, this pattern ID is not detected as the executed command pattern ID.

  On the other hand, when the line number “010200” of the sixth line among the line numbers of the executed source code shown in FIG. 6 is acquired, the pattern ID “010999000040” in the comment area of the line having this line number is Obtained from the converted source program shown in FIG. Then, it is determined in the pattern management table shown in FIG. 4 whether there is a second command pattern associated with the acquired pattern ID “010999000040”. In the pattern management table shown in FIG. 4, since there is a second command pattern corresponding to the pattern ID “010999000040”, this pattern ID “010999000040” is detected as the executed command pattern ID. Then, the executed instruction pattern detection unit 1031 acquires this pattern ID as an executed instruction pattern ID, and accumulates the acquired executed instruction pattern ID in a storage medium (not shown) or the like.

  FIG. 7 is a diagram showing executed instruction pattern IDs accumulated as a result of performing processing on all the line numbers of the executed source code shown in FIG.

  Then, the first conversion related information acquisition unit 1033 performs a process of eliminating duplication, that is, a so-called unique process, on the executed instruction pattern ID. For example, the executed instruction pattern IDs are sorted and arranged, the adjacent executed instruction pattern IDs are compared with each other, and the process of deleting one is repeated when there is a complete match, thereby eliminating the duplicate of the executed instruction pattern IDs. be able to.

  FIG. 8 is a diagram showing executed instruction pattern IDs without duplication.

  Next, the conversion command pattern detection unit 1032 performs a process of detecting a conversion command pattern which is a second command pattern corresponding to the source code included in the source program shown in FIG. Here, as an example, second instruction patterns corresponding to all source codes included in the source program are detected. However, the source code designated in advance may be excluded from detection targets.

  Specifically, the conversion command pattern detection unit 1032 acquires the pattern ID in the comment area of each line of the source program shown in FIG. 5, and acquires the acquired pattern ID in the same manner as the executed command pattern detection unit 1031 described above. Whether or not there is a second command pattern associated with is determined using the pattern management table shown in FIG. If there is a corresponding second command pattern, this pattern ID is acquired as a pattern ID indicating the conversion command pattern and temporarily stored in a storage medium (not shown). Here, the pattern ID indicating the conversion command pattern is referred to as a conversion command pattern ID. If there is no corresponding second command pattern, this pattern ID is not acquired. Then, this process is performed for the pattern ID described in the comment area of each line of the source program.

  Then, the first conversion related information acquisition unit 1033 performs a process of deleting duplication on the conversion instruction pattern ID acquired and stored in the storage medium, as in the case of the executed instruction pattern ID described above.

  FIG. 9 is a diagram showing a conversion command pattern ID obtained by deleting duplicates.

  Next, the first conversion related information acquisition unit 1033 counts the number of executed instruction pattern IDs with duplicates shown in FIG. Here, it is assumed that the count number is “180”.

  Similarly, the first conversion related information acquisition unit 1033 counts the number of conversion command pattern IDs without duplication shown in FIG. Here, it is assumed that the count number is “250”.

  The first conversion related information acquisition unit 1033 calculates the ratio of the executed instruction pattern ID number to the converted instruction pattern ID number by dividing the counted executed instruction pattern ID number by the converted instruction pattern ID number. Here, the ratio is 0.72, ie 72%. Here, the ratio calculated by the first conversion related information acquisition unit 1033 and the executed instruction pattern ID without duplication as shown in FIG. 8 acquired by the first conversion related information acquisition unit 1033 are listed, and this list Is the conversion-related information acquired by the first conversion-related information acquisition unit 1033.

  The output unit 104 displays the conversion related information acquired by the first conversion related information acquisition unit 1033 on a monitor (not shown).

  FIG. 10 shows an output example of the conversion related information.

  Of the output conversion-related information, the calculated ratio is the number of different second instruction patterns used in the part converted using the second instruction pattern in the source program, in other words, the type of the second instruction pattern. A different second instruction used for the part converted using the second instruction pattern of the source code used when one or more predetermined tests are performed on this source program for the number It shows the ratio of the number of patterns, in other words, the number of types of second command patterns. In other words, this ratio can be used as an index indicating how much of the second instruction patterns used for source program conversion has been verified at least once by the test. . That is, it is possible to know how much of the second command pattern used for the conversion is used for the conversion. Thereby, for example, the validity of the test can be determined.

  The list of executed instruction pattern IDs in the output conversion related information is the ID of the second instruction pattern corresponding to the source code actually used in the test among the source codes used in the test. It is. From this list, it is possible to know the second instruction pattern that has been tested for conversion by the instruction pattern.

  In the above specific example, since the source program in which the pattern ID is described in the comment area is used for the line that has not been converted using the second instruction pattern, the line indicated by the line number of the executed source code Whether or not the pattern ID used for conversion of the source code corresponding to the second command pattern is obtained by obtaining the pattern ID from the comment area of I decided to judge. However, when the pattern ID is described only in the comment area of the line converted to the source code corresponding to the second instruction pattern in the comment area of the source program, the line indicated by the line number of the executed source code May be acquired as the pattern ID of the executed instruction pattern. In this case, the command pattern management table or the like can be omitted. The same applies to other specific examples.

  In the above specific example, as described above, the executed instruction pattern detection unit 1031 stores each line of the executed source code stored in the second instruction pattern storage unit 105 as shown in FIG. Pattern matching with the second command pattern is performed, and when the matching second command pattern is detected, the second command pattern may be detected as the executed command pattern.

  Similarly, the conversion command pattern detection means 1032 performs pattern matching with each second command pattern stored in the second command pattern storage unit 105 as shown in FIG. When the second command pattern to be detected is detected, this second command pattern may be detected as a conversion command pattern.

  As described above, according to the present embodiment, the executed source code is detected from the source program, and the information on the portion of the detected executed source code that has been converted into the source code corresponding to the second instruction pattern. Since certain conversion related information is acquired and output, it is possible to indicate whether or not the conversion performed using the command pattern has been sufficiently verified. For example, how much of the second instruction pattern used for the conversion is used when executing the program corresponding to the source program when performing a test or the like. I can know. Thereby, for example, the degree of the second instruction pattern converted by the second instruction pattern used for the conversion by the test or the like performed on the source program is verified, It is possible to know which second command pattern has been used to verify the converted part, and to verify the validity of the test and determine whether or not to end the test.

(Embodiment 2)
The program verification apparatus 2 according to the present embodiment is a source code in a source program corresponding to each step that can be executed when a program based on the source program is executed in the program verification apparatus 2 described in the above embodiment. The step-corresponding executed code that is the source code including the source code corresponding to the second instruction pattern is detected in the executed source code, and the conversion-related information regarding the detected step-corresponding executed code is detected. It is obtained and output.

FIG. 11 is a block diagram of the program verification apparatus 2 in the present embodiment.
The program verification apparatus 2 includes a source program storage unit 101, an executed source code detection unit 102, a conversion related information acquisition unit 203, an output unit 104, and a second instruction pattern storage unit 105.

  The conversion related information acquisition unit 203 includes a step-corresponding executed code detection unit 2031, a step-corresponding conversion code detection unit 2032, and a second conversion-related information acquisition unit 2033.

  The configurations and operations of the source program storage unit 101, the executed source code detection unit 102, the output unit 104, and the second instruction pattern storage unit 105 are the same as those in the first embodiment, and thus description thereof is omitted here.

  The conversion related information acquisition unit 203 acquires conversion related information that is information about a portion of the executed source code detected by the executed source code detection unit 102 that has been converted into a source code corresponding to the second instruction pattern. To do. The conversion related information acquisition unit 103 detects, for example, a portion of the executed source code detected by the executed source code detection unit 102 that has been converted into a source code corresponding to the second instruction pattern. The conversion related information is acquired using the information.

  The conversion related information acquisition unit 203 detects, for example, a portion of the executed source code detected by the executed source code detection unit 102 that has been converted into a source code corresponding to the second instruction pattern. The conversion related information is acquired using the information. The conversion related information may be information about the converted source code or information including the source code as long as it is information related to the portion converted into the source code corresponding to the second instruction pattern. Information on the second command pattern used may be used. For example, the conversion related information is information regarding the appearance amount of the second command pattern used for the conversion.

  The conversion related information acquisition unit 203 is, for example, source code in a source program corresponding to each step that can be executed when a program based on the source program stored in the source program storage unit 101 is executed. A step-corresponding executed code that is a source code that is included in the executed source code detected by the completed source code detection unit 102 and includes a source code corresponding to the second instruction pattern is detected. Get conversion related information including information. In this case, the conversion-related information may be information indicating the step-corresponding executed code as long as it is information regarding the step-corresponding executed code, or the appearance amount of the step-corresponding executed code, in other words, the step-corresponding executed code. May be information regarding the appearance amount of the corresponding step. The case where the program is executed here is, for example, a case where a test or the like designated in advance in the program is executed.

  Note that the steps described here are, for example, a unit in which processing of a program based on a source program is performed and a unit indicating a processing stage. For example, when the source program is an interpreter type source program, a step is, for example, each source code group that is sequentially interpreted and executed by the source program such as a line, or a unit from which the source code is read. For example, information of units delimited by predesignated designation information for a predesignated delimiter such as a line feed code or a line number may be considered as a step. Specifically, information within a range between the appearance of one of the designation information and the next appearance of the designation information may be considered as source code corresponding to the step. The designation information for separation is, for example, information such as a character string designated by the user. Here, it may be considered that the character string includes a symbol such as a period or a semicolon. The designation information may be a control code such as a line feed code or TAB designated in advance. A control code such as a line feed code or TAB may be considered as a character string. The designation information may be, for example, instruction words used for the first source program, that is, all or part of instruction words used for the language of the first source program. Further, the designation information may be a combination of these pieces of information. The designation information for delimitation can be used as information indicating the delimiter position when the source code is extracted from the source program when performing pattern matching or the like in addition to delimiting the source code corresponding to the step.

  When the source program is a source program different from the interpreted source program, for example, a source program that needs to be compiled, the steps are each instruction set and instruction group of the compiled program. It may be a unit from which the object code obtained by compiling is read.

  The conversion related information acquisition unit 203 is further source code in a source program corresponding to each step that can be executed when a program based on the source program stored in the source program storage unit 101 is executed. A step-related conversion code that is a source code including a source code corresponding to a two-instruction pattern is detected, and conversion-related information including information indicating a ratio of the number of step-corresponding conversion codes to the number of step-corresponding executed codes, You may acquire as conversion relevant information regarding the appearance amount of corresponding | compatible executed code.

  In this embodiment, the conversion related information acquisition unit 203 uses the step-corresponding executed code detection means 2031, the step-corresponding conversion code detection means 2032, and the second conversion-related information acquisition means 2033 described later to convert the conversion-related information. The case of acquiring will be described as an example.

  The conversion related information acquisition unit 203 can be usually realized by a storage medium such as an MPU or a memory. The processing procedure of the conversion related information acquisition unit 103 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The step-corresponding executed code detection means 2031 is a source code in a source program corresponding to each step that can be executed when a program based on the source program stored in the source program storage unit 101 is executed, The step-corresponding executed code that is a source code that is included in the completed source code and includes the source code corresponding to the second instruction pattern is detected. For example, the source code included in the executed source code detected by the executed source code detection unit 102 from the source code in the source program corresponding to each step that can be executed when a program based on the source program is executed Furthermore, the source code including the source code corresponding to the second instruction pattern is detected from the detected source code. Alternatively, the source code including the source code corresponding to the second instruction pattern is detected from the source code in the source program corresponding to each step that can be executed when the program based on the source program is executed, The source code included in the executed source code detected by the executed source code detection unit 102 may be detected from the detected source code. The source code included in the executed source code detected by the executed source code detection unit 102 is detected from the source code in the source program corresponding to each step that can be executed when the program based on the source program is executed. The processing to be performed is known as processing such as a debugger. In addition, the compiler may add information indicating the correspondence between the source code in units of steps and the object code obtained by compiling to the object code or create management information. . By using such information, the source code for each step can be detected. Note that the executed source code detection unit 102 described above may detect executed source code in units of steps that can be executed when a program based on the source program is executed, as in the steps described here. Well, in this case, the step-corresponding executed code detecting means 2031 selects the source code including the source code corresponding to the second instruction pattern from the executed source code in units of steps detected by the executed source code detecting unit 102. You may make it detect. In addition, when the source program is converted into the source code corresponding to the second instruction pattern in each step that can be executed when the program based on the source program is executed, similar to the steps described here. The step-corresponding executed code detecting means 2031 may detect the source code corresponding to the second instruction pattern from the executed source code in units of steps detected by the executed source code detecting unit 102.

  Specifically, assuming that the source program is an interpreter type source program that is executed in units of lines, and the executed source code detection unit 102 detects the executed source code in units of lines, step-by-step execution has been executed. The code detection unit 2031 may detect a source code line including a source code corresponding to the second instruction pattern from the executed source code in units of lines detected by the executed source code detection unit 102.

  The process of detecting the source code corresponding to the second instruction pattern by the step-corresponding executed code detection means 2031 is the same as the executed instruction pattern detection means 1031 of the first embodiment, and will be described here. Omitted.

  The step-corresponding executed code detecting means 2031 can be usually realized by an MPU, a memory or the like. The processing procedure of the step-corresponding executed code detecting means 2031 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The step corresponding conversion code detecting means 2032 is a source code in a source program corresponding to each step that can be executed when a program based on the source program stored in the source program storage unit 101 is executed, A step corresponding conversion code which is a source code including a source code corresponding to an instruction pattern is detected. For example, the source code including the source code corresponding to the second instruction pattern is detected from the source code in the source program corresponding to each step that can be executed when the program based on the source program is executed. The process of detecting the source code corresponding to each step and the process of detecting the source code including the source code corresponding to the second instruction pattern are the same as the step-corresponding executed code detecting means 2031. The source program is converted so as to be the source code corresponding to the second instruction pattern in units of steps that can be executed when a program based on the source program is executed, similar to the steps described here. In some cases, the step-corresponding executed code detection means 2031 may detect the source code corresponding to the second instruction pattern from the source program.

  Specifically, when the source program is an interpreter type source program executed in units of lines, and the source program is converted into source code corresponding to the second instruction pattern in units of lines. The step corresponding conversion code detecting means 2032 may detect a source code line including a source code corresponding to the second instruction pattern from the source program.

  The step-corresponding conversion code detection means 2032 can usually be realized by an MPU, a memory, or the like. The processing procedure of the step-corresponding conversion code detecting means 2032 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).

  The second conversion related information acquisition unit 2033 acquires conversion related information including information on the step corresponding executed code detected by the step corresponding executed code detection unit 1031. Specifically, conversion-related information that lists all or part of the step-corresponding executed code is acquired. Or you may output the information which matched the information which shows the 2nd command pattern with respect to the said source code to the step corresponding | compatible executed code.

  Further, the second conversion related information acquisition unit 2033 acquires conversion related information regarding the appearance amount of the step corresponding executed code detected by the step corresponding executed code detection unit 1031. Specifically, the second conversion related information acquisition unit 2033 counts the number of step-corresponding executed codes detected by the step-corresponding executed code detection unit 1031 and acquires the value as conversion-related information regarding the appearance amount. Alternatively, the second conversion related information acquisition unit 2033 may be configured such that the ratio of the number of step-corresponding executed codes detected by the step-corresponding executed code detecting unit 1032 to the number of step-corresponding conversion codes detected by the step-corresponding conversion code detecting unit 1031. Conversion-related information that includes information indicating that as conversion-related information regarding the appearance amount may be acquired. The number of step-corresponding executed codes and the number of step-corresponding conversion codes may be the number when one source code corresponding to one second instruction pattern is considered, or the step-corresponding executed code, It may be a number such as the number of characters constituting the step-corresponding conversion code or the number of words separated by spaces.

The second conversion related information acquisition unit 2033 can be usually realized by an MPU, a memory, or the like. The processing procedure of the second conversion related information acquisition unit 2033 is usually realized by software, and the software is recorded on a recording medium such as a ROM. However, it may be realized by hardware (dedicated circuit).
Next, the operation of the program verification apparatus 2 will be described using the flowchart of FIG. Here, as an example, in the source program stored in the source program storage unit 101, the part (source code group) converted by the second instruction pattern contains information indicating the second instruction pattern used for the conversion. The case where it is matched will be described.

  (Step S1201) The executed source code detection unit 102 reads the source program from the source program storage unit 101.

  (Step S1202) The executed source code detector 102 detects the executed source code from the source program read in step S201. For example, by executing a program based on the source program read in step S201, performing one or more tests using one or more test data specified in advance, and executing the source code used in the test The source code corresponding to the portion used in the test of the completed source code, that is, the program based on the source program is detected. The test data, information for instructing the test, and the like may be stored in advance in a test related information storage unit (not shown) configured by a storage medium (not shown), for example. For the detected executed source code, information indicating that the executed source code is included, for example, a flag or the like is given to the source program or the like. For example, each step that can be executed when a program corresponding to a source program is executed is detected, and for each source code corresponding to one or more detected steps, an executed source code is included for each step. Information indicating the presence, for example, a flag or the like is given. This information may be described in the source program, or may be managed using management information stored in a storage unit (not shown) or the like. For example, if the source program is one in which the source code is described in units of lines, each step that can be executed is associated in units of lines, so information such as a flag is added to the line of the executed source code. Also good. Alternatively, the executed source code may be read from the source program and accumulated in a storage unit such as a storage medium (not shown). Further, for example, when the source program is one in which the source code is described in line units, the line number including the executed source code may be acquired and accumulated in a storage unit such as a storage medium (not shown).

  (Step S1203) The step-corresponding executed code detecting means 2031 selects one of the second instruction patterns from the source code in the source program corresponding to the step that can be executed when the program based on the source program is executed. A step-corresponding executed code which is a source code including a corresponding source code and is a source code included in the executed source code detected in step S1202 is detected. For example, it is determined whether each of the source code corresponding to each step included in the source program is included in the executed source code detected in step S1202, and if included, this source code is further included in the second instruction pattern. It is determined whether the source code is associated with any of the above. Then, the source code corresponding to the step included in the executed source code and associated with one of the second instruction patterns is detected. The correspondence between the source code in the source program and the steps can be acquired by, for example, a coverage tool or a debugger. In particular, when the executed source code is detected in units of steps at which the program can be executed in step S1202, the step-corresponding executed code detection means 2031 simply selects the second instruction pattern from the executed source code. It is only necessary to detect those associated with. Furthermore, in the source program, when the source code and the second instruction pattern are associated with each other in units of steps in which the program based on the source program can be executed, the step-corresponding executed code detecting unit 2031 It is only necessary to detect the source code associated with the second instruction pattern from the executed source code. The step-corresponding executed code detecting means 2031 may accumulate the detected step-corresponding executed code and information indicating the detected step-corresponding executed code in a storage unit such as a storage medium (not shown) Information such as a flag indicating the detection may be added to a portion corresponding to the detected source code. Also, for example, when the source program is one in which the source code is described in units of lines, the line number including the detected step-corresponding executed code is acquired and stored in a storage unit such as a storage medium (not shown). Also good.

  (Step S1204) The step corresponding conversion code detection means 2032 corresponds to one of the second instruction patterns from the source code in the source program corresponding to the step that can be executed when the program based on the source program is executed. The step corresponding conversion code including the source code to be detected is detected. For example, for each source code corresponding to each step included in the source program, it is determined whether this source code is a source code associated with one of the second instruction patterns. Then, the source code corresponding to the step associated with one of the second command patterns is detected as a step corresponding conversion code. In particular, in the source program, when the source code and the second instruction pattern are associated with each other in units of steps in which the program based on the source program can be executed, the step-corresponding executed code detection unit 2031 simply uses this source code. It is only necessary to detect the source code associated with the second instruction pattern from the program. The step-corresponding conversion code detection unit 2032 may accumulate the detected step-corresponding conversion code and information indicating the detected step-corresponding conversion code in a storage unit such as a storage medium (not shown), or the step detected by the source program Information such as a flag indicating that it has been detected may be assigned to the portion corresponding to the corresponding conversion code. Further, for example, when the source program is one in which the source code is described in units of lines, the line number including the detected step-corresponding conversion code is acquired and stored in a storage unit such as a storage medium (not shown). good.

  (Step S1205) The second conversion related information acquisition unit 2033 counts the number of step-corresponding executed codes detected in step S1203, and further counts the number of step-corresponding conversion codes detected in step S1204. By dividing the number of step-corresponding executed codes by the number of corresponding conversion codes, conversion-related information that is the ratio of the number of step-corresponding executed codes to the number of step-corresponding conversion codes is acquired.

  (Step S1206) The output unit 104 outputs the conversion related information acquired in step S209. Information such as a list of executed command patterns acquired in step S205 may also be output. Then, the process ends.

  If the source code and the second instruction pattern are not associated with each other in the source program, each source code corresponding to the step in which the program based on the source program can be executed in step S1203 or step S1204 described above. , Pattern matching with the source code sequentially read from the second instruction pattern storage unit 105 is performed to detect a source code corresponding to one of the second instruction patterns.

  Hereinafter, a specific operation of the program verification apparatus 2 in the present embodiment will be described. Here, for example, it is assumed that a source program in which a second instruction pattern and a line of source code are associated with each other is stored in the source program storage unit 101 as in FIG. Here, it is assumed that the source code is converted in units of lines using the associated second instruction pattern. The source program is a source program written in an interpreter language, and the source code is read and interpreted in line units. That is, each step for processing a program based on the source program is associated with a line of the source program. However, one step may be associated with a plurality of rows. Specifically, when the source code corresponding to one step is described in multiple lines, the source code is delimited by line numbers and line feed codes so that the multiple lines can be read and executed as one source code group. Instead of acquiring the source code, the source code in a range delimited by “.” (Period) or the like may be acquired as a source code group corresponding to one step.

  First, when the user gives an instruction to verify the source program shown in FIG. 5 to the program verification apparatus 1 by operating a menu or the like, the executed source code detection unit 102, as in the first embodiment, The source program shown in FIG. 5 stored in the program storage unit 101 is read out, a program corresponding to the source program is executed, and one or more tests prepared in advance are performed on the source program. However, in this specific example, the source code in the source program is read and interpreted in line units. Then, the read line is detected, the line number of the detected line is acquired as information indicating the executed source code, and stored in a storage medium (not shown) or the like. It is assumed that the line numbers of the acquired executed source code are the same as those in FIG.

  Next, the step-corresponding executed code detection unit 2031 performs processing for detecting a step-corresponding executed code. Specifically, first, the source code included in the executed source code is detected from each source code corresponding to each step when the program based on the source program is executed. Here, in this specific example, the executed source code detector 102 executes the executed source code in units of source code groups corresponding to the respective steps when a program based on the source program is executed, that is, in units of lines. Since the detected source code detected by the executed source code detection unit 102 in units of lines is detected, among the source codes corresponding to the respective steps when the program based on the source program is executed, This is the source code included in the executed source code. Further, the step-corresponding executed code detection means 2031 includes, from each of the source codes included in the executed source code, among the source codes corresponding to the steps when the program based on the source program is executed, A source code associated with any one of the instruction patterns is detected. Here, since the second instruction pattern is associated with each line of the source program, which is each source code corresponding to each step when the program based on the source program is executed, this processing is performed here. The process is to detect a line associated with the second command pattern from the lines of the executed source code.

  For example, the step-corresponding executed code detecting means 2031 first obtains the first line number “009600” among the line numbers of the executed source code shown in FIG. 6, and comments the line having this line number. The pattern ID “010999000010” in the area is acquired from the converted source program shown in FIG. Then, it is determined in the pattern management table shown in FIG. 4 whether there is a second command pattern associated with the acquired pattern ID “010999000010”. In the pattern management table shown in FIG. 4, since there is no second command pattern corresponding to the pattern ID “010999000010”, this line is not detected as a line corresponding to the step-corresponding executed code.

  On the other hand, when the line number “010200” of the sixth line among the line numbers of the executed source code shown in FIG. 6 is acquired, the pattern ID “010999000040” in the comment area of the line having this line number is Obtained from the converted source program shown in FIG. Then, it is determined in the pattern management table shown in FIG. 4 whether there is a second command pattern associated with the acquired pattern ID “010999000040”. In the pattern management table shown in FIG. 4, since there is a second command pattern corresponding to the pattern ID “010999000040”, this line is detected as a line of the step-corresponding executed code. Then, the step-corresponding executed code detecting means 2031 acquires this line number “010200” as an executed code ID which is identification information indicating the step-corresponding executed code, and the acquired executed code ID (line number) is It is stored in a storage medium (not shown).

  FIG. 13 is a diagram showing the executed code ID acquired as a result of the above-described processing performed by the step-corresponding executed code detection unit 2031.

  Next, the step correspondence conversion code detection means 2032 performs processing for detecting a step correspondence conversion code. Specifically, a source code associated with any one of the second instruction patterns is detected from each source code corresponding to each step when the program based on the source program is executed. Here, in this specific example, the source code corresponding to each step is associated with a line of the source program, and the second instruction pattern is also associated with each line of the source program. Here, the processing is to detect the line of the source code associated with the second instruction pattern. The step-corresponding conversion code detecting means 2032 acquires the line number associated with the second command pattern from the source program as the conversion code ID that is identification information of the step-corresponding conversion code, and the acquired conversion code ID (line number). Are stored in a storage medium (not shown).

  FIG. 14 is a diagram showing the conversion code ID acquired as a result of the above processing performed by the step correspondence conversion code detection unit 2032.

  Next, the second conversion related information acquisition unit 2033 counts the number of executed code IDs shown in FIG. Further, the number of conversion code IDs shown in FIG. 14 is counted. Then, the counted number of executed code IDs is divided by the number of converted code IDs to calculate the ratio of the number of executed code IDs to the number of converted code IDs. Here, for example, if the number of conversion code IDs is “450” and the number of executed code IDs is “300”, the calculated ratio is 0.667, that is, 66.7%. The calculated ratio is acquired as conversion related information. Further, here, the step-corresponding executed code ID shown in FIG. 13 is also acquired as conversion related information indicating the line number indicating the executed line.

  The output unit 104 displays the conversion related information acquired by the first conversion related information acquisition unit 1033 on a monitor (not shown).

  FIG. 15 shows an output example of the conversion related information.

  Of the output conversion-related information, the calculated ratio corresponds to the source code converted using the second instruction pattern in each step that can be executed when the program based on the source program is executed. The ratio of the number of steps corresponding to the source code converted using the second instruction pattern among the steps processed when one or more predetermined tests are performed on the source program with respect to the number of steps Indicates. That is, this ratio can be used as an index indicating how many of the steps that can be executed when the program corresponding to the source program is executed are verified by the test. Thereby, for example, the validity of the test can be determined.

  Also, the list of executed code IDs in the output conversion related information is a list of source codes converted using the second instruction pattern in the source code corresponding to the step processed in the test. From this list, it is possible to know which source code of the source code converted by which second instruction pattern is tested.

  In the above specific example, the step-corresponding executed code detection means 2031 has the second instruction pattern stored in the second instruction pattern storage unit 105 as shown in FIG. 4 for each line constituting the executed source code. When the second command pattern to be matched is detected, the source code of this line may be detected as the step-corresponding executed code.

  Similarly, the step-corresponding executed code detection means 2032 performs pattern matching with each second instruction pattern stored in the second instruction pattern storage unit 105 as shown in FIG. 4 for each line of the source program. When a matching second command pattern is detected, it may be detected as a step corresponding conversion code in this line.

  As described above, according to the present embodiment, the executed source code is detected from the source program, and the detected execution is detected from the source codes corresponding to the steps processed when the program based on the source program is executed. Detects step-corresponding executed code, which is source code including source code included in the completed source code, and includes source code corresponding to the second instruction pattern, and outputs information related to the step-corresponding executed code Thus, it is possible to indicate whether or not the conversion performed using the instruction pattern has been sufficiently verified. For example, among the steps that can be executed when the program corresponding to the source program is executed, the step corresponding to the source code changed to correspond to the second instruction pattern corresponds to the source program for testing or the like. It is possible to know how much was used when the program was executed. Thus, for example, it is possible to know how much the step corresponding to the source code converted by the second instruction pattern has been verified by the test performed on the source program, and to verify the validity of the test. It is possible to determine whether or not to end the test.

  In each of the above embodiments, each process (each function) may be realized by centralized processing by a single device (system), or by distributed processing by a plurality of devices. May be.

  Further, in each of the above embodiments, it goes without saying that two or more communication means (such as an information transmission unit) existing in one apparatus may be physically realized by one medium.

  In the above embodiment, information related to processing executed by each component, for example, information received, acquired, selected, generated, transmitted, and received by each component. In addition, information such as threshold values, mathematical formulas, addresses, etc. used by each component in processing is retained temporarily or over a long period of time on a recording medium (not shown) even when not explicitly stated in the above description. It may be. Further, the storage of information in the recording medium (not shown) may be performed by each component or a storage unit (not shown). Further, reading of information from the recording medium (not shown) may be performed by each component or a reading unit (not shown).

  Further, although cases have been described with the above embodiments where the program verification apparatus is a stand-alone, the program verification apparatus may be a stand-alone apparatus or a server apparatus in a server / client system. In the latter case, the output unit or the reception unit receives an input or outputs a screen via a communication line.

  In each of the above embodiments, each component may be configured by dedicated hardware, or a component that can be realized by software may be realized by executing a program. For example, each component can be realized by a program execution unit such as a CPU reading and executing a software program recorded on a recording medium such as a hard disk or a semiconductor memory.

  The software that realizes the program verification device in each of the above embodiments is the following program. That is, the program stores a source program obtained by converting a source code corresponding to the first instruction pattern into a source code corresponding to one or more second instruction patterns corresponding to the first instruction pattern. An executed source code detection unit that detects an executed source code that is a source code used when a program based on a source program stored in a source program storage unit that can be executed is executed from the source program; and Of the executed source code, a conversion related information acquisition unit that acquires conversion related information that is information related to a portion converted to the source code corresponding to the second instruction pattern, and the conversion related information acquired by the conversion related information acquisition unit Is a program for functioning as an output unit for outputting.

  In the above program, in a transmission step for transmitting information, a reception step for receiving information, etc., processing performed by hardware, for example, processing performed by a modem or an interface card in the transmission step (only performed by hardware). Not included) is not included.

  In the program, the functions realized by the program do not include functions that can be realized only by hardware. For example, a function that can be realized only by hardware such as a modem or an interface card in an acquisition unit that acquires information or an output unit that outputs information is not included in the function realized by the program.

  Further, the computer that executes this program may be singular or plural. That is, centralized processing may be performed, or distributed processing may be performed.

  FIG. 16 is a schematic diagram showing an example of the appearance of a computer that executes the program and realizes the program verification apparatus according to the embodiment. The above-described embodiment can be realized by computer hardware and a computer program executed on the computer hardware.

  In FIG. 16, a computer system 900 includes a computer 901 including a CD-ROM (Compact Disk Read Only Memory) drive 905 and an FD (Floppy (registered trademark) Disk) drive 906, a keyboard 902, a mouse 903, a monitor 904, and the like. Is provided.

  FIG. 17 is a diagram showing an internal configuration of the computer system 900. In FIG. 17, in addition to the CD-ROM drive 905 and the FD drive 906, a computer 901 is connected to an MPU (Micro Processing Unit) 911, a ROM 912 for storing a program such as a bootup program, and the MPU 911. A RAM (Random Access Memory) 913 that temporarily stores program instructions and provides a temporary storage space, a hard disk 914 that stores application programs, system programs, and data, and an MPU 911 and a ROM 912 are interconnected. And a bus 915. The computer 901 may include a network card (not shown) that provides connection to the LAN.

  A program that causes the computer system 900 to execute functions such as the program verification device according to the above embodiment is stored in the CD-ROM 921 or the FD 922, inserted into the CD-ROM drive 905 or the FD drive 906, and stored in the hard disk 914. May be forwarded. Instead, the program may be transmitted to the computer 901 via a network (not shown) and stored in the hard disk 914. The program is loaded into the RAM 913 when executed. The program may be loaded directly from the CD-ROM 921, the FD 922, or the network.

The program does not necessarily include an operating system (OS) or a third-party program that causes the computer 901 to execute the functions of the program verification apparatus according to the above-described embodiment. The program may include only a part of an instruction that calls an appropriate function (module) in a controlled manner and obtains a desired result. How the computer system 900 operates is well known and will not be described in detail.
The present invention is not limited to the above-described embodiments, and various modifications are possible, and it goes without saying that these are also included in the scope of the present invention.

  As described above, the program verification device according to the present invention is suitable as a device for verifying a program, and in particular, a verification device capable of confirming whether or not a portion converted by an instruction pattern has been sufficiently verified. Useful as such.

DESCRIPTION OF SYMBOLS 1, 2 Program verification apparatus 101 Source program storage part 102 Execution source code detection part 103, 203 Conversion related information acquisition part 104 Output part 105 Second instruction pattern storage part 1031 Execution instruction pattern detection means 1032 Conversion instruction pattern detection means 1033 First conversion related information acquisition means 2031 Step corresponding executed code detection means 2032 Step corresponding conversion code detection means 2033 Second conversion related information acquisition means 2034 Designated information storage unit

Claims (11)

A source program storage unit capable of storing a source program obtained by converting source code corresponding to a first instruction pattern into source code corresponding to one or more second instruction patterns corresponding to the first instruction pattern;
An executed source code detection unit for detecting an executed source code, which is a source code used when a program based on the source program stored in the source program storage unit is executed, from the source program;
A conversion related information acquisition unit that acquires conversion related information that is information on a portion of the detected executed source code that has been converted into a source code corresponding to the second instruction pattern;
The program verification apparatus provided with the output part which outputs the conversion relevant information which the said conversion relevant information acquisition part acquired. The conversion related information acquisition unit
Executed instruction pattern detection means for detecting an executed instruction pattern which is the second instruction pattern corresponding to the source code included in the executed source code;
The program verification apparatus according to claim 1, further comprising first conversion related information acquisition means for acquiring the conversion related information including information related to the second instruction pattern detected by the executed instruction pattern detection means. The program verification apparatus according to claim 2 , wherein the conversion related information is information related to an appearance amount of the second instruction pattern detected by the executed instruction pattern detection unit. The conversion related information acquisition unit
A conversion instruction pattern detecting means for detecting a conversion instruction pattern that is the second instruction pattern corresponding to the source code included in the source program;
The first conversion related information acquisition unit includes:
The conversion related information including information indicating a ratio of the number of different executed instruction patterns detected by the executed instruction pattern detection means to the number of different conversion instruction patterns detected by the conversion instruction pattern detection means. The program verification apparatus according to claim 2 or claim 3. The conversion related information acquisition unit
Source code in a source program corresponding to each step that can be executed when a program based on the source program is executed, the source code being included in the executed source code and corresponding to the second instruction pattern Step-corresponding executed code detecting means for detecting step-corresponding executed code that is source code including:
5. The program according to claim 1, further comprising second conversion related information acquisition means for acquiring the conversion related information including information related to the step corresponding executed code detected by the step corresponding executed code detection means. Verification device. The program verification apparatus according to claim 5, wherein the conversion related information is information relating to an appearance amount of the step-corresponding executed code detected by the step-corresponding executed code detecting means. The conversion related information acquisition unit
Step-corresponding conversion code that is source code in a source program corresponding to each step that can be executed when a program based on the source program is executed, and is a source code that includes the source code corresponding to the second instruction pattern Further comprising step corresponding conversion code detecting means for detecting
The second conversion related information acquisition means
The conversion related information including information indicating the ratio of the number of step-corresponding executed codes detected by the step-corresponding executed code detecting means to the number of step-corresponding converted codes detected by the step-corresponding conversion code detecting means is acquired. The program verification apparatus according to claim 5 or 6. In the source program storage unit, information indicating the second instruction pattern used for the conversion of the source program and the source code in the source program converted by the second instruction pattern are stored in association with each other. And
The executed instruction pattern detection means corresponds to the source code included in the executed source code detected by the executed source code detection unit from the information indicating the second instruction pattern stored in the source program storage unit 5. The program verification apparatus according to claim 2, wherein information indicating the attached second instruction pattern is detected to detect a second instruction pattern which is an executed instruction pattern. A second instruction pattern storage unit capable of storing a second instruction pattern including a second instruction pattern used for conversion of the source program;
The executed instruction pattern detection means performs pattern matching between the executed source code detected by the executed source code detection unit and the second instruction pattern stored in the second instruction pattern storage unit, and The program verification apparatus according to claim 2, wherein the second instruction pattern corresponding to the source code included in the executed source code is detected. A source program storage unit capable of storing a source program obtained by converting source code corresponding to a first instruction pattern into source code corresponding to one or more second instruction patterns corresponding to the first instruction pattern; A program verification method performed using an executed source code detection unit, a conversion related information acquisition unit, and an output unit,
The executed source code detection unit detects an executed source code, which is a source code used when a program based on the source program stored in the source program storage unit is executed, from the source program. A source code detection step;
A conversion related information acquisition step in which the conversion related information acquisition unit acquires conversion related information that is information on a portion of the detected executed source code that has been converted into a source code corresponding to the second instruction pattern. When,
An output step in which the output unit outputs the conversion related information acquired in the conversion related information acquisition step. Computer
The source code corresponding to the first instruction pattern is stored in the source program storage unit in which the source program obtained by converting the source code corresponding to the one or more second instruction patterns corresponding to the first instruction pattern can be stored. An executed source code detection unit that detects an executed source code, which is a source code used when a program based on the source program being executed is executed, from the source program;
A conversion related information acquisition unit that acquires conversion related information that is information on a portion of the detected executed source code that has been converted into a source code corresponding to the second instruction pattern;
The program for functioning as an output part which outputs the conversion relevant information which the said conversion relevant information acquisition part acquired.

Images