JP6405972B2 - Operation verification apparatus, operation verification method, and operation verification program - Google Patents

Description

  The present invention relates to an operation verification apparatus, an operation verification method, and an operation verification program.

  In recent software development, test-driven development has become mainstream. In test-driven development, a developer creates a product code that is a program to be developed, and also creates a test code for testing the product code. Then, the operation of the product code is executed by operating the product code based on the test code.

  In order to solve the failure that occurred in the operation verification, it is required to reproduce the occurrence of the failure. However, various factors affect the operation of the apparatus including the information processing device, and it is not easy to faithfully reproduce the situation where the failure has occurred. As a technique for reproducing such a failure, a method has been proposed in which information on the operating environment of a device is stored in a nonvolatile storage medium, and the operating environment is reproduced based on the information (for example, Patent Documents). 1).

  In the technique disclosed in Patent Document 1, it is possible to reproduce the operating environment such as temperature and voltage, but there is no effect in reproducing a failure caused by other factors. In particular, in the case of a multi-thread program, depending on the operating state of a CPU (Central Processing Unit) that processes threads, the order of two processes included in different threads may be switched at a very low frequency.

  The frequency at which such a change in the processing order occurs is, for example, once every 10,000 times. Therefore, in order to reproduce such a failure, it is necessary to repeatedly execute a large number of tests, which increases the time required for the test and increases the work load on the operator.

  The present invention has been made to solve such a problem, and an object of the present invention is to reliably reproduce an operation failure of a program that occurs with a low probability due to a change in the processing order.

  In order to solve the above-described problems, an aspect of the present invention is a program operation verification apparatus, which includes instructions each incorporated in a process executed in parallel by executing a process according to the program. A notification that is output and is acquired based on a notification acquisition unit that acquires a notification in which a predetermined identifier is specified, and priority setting information in which the priority of the predetermined identifier specified in the notification is set A response unit that responds to the notification in the order of the priorities set, and the command is completed by receiving the response after outputting the notification, and proceeds to a next process. It is an instruction that becomes possible.

  According to the present invention, it is possible to reliably reproduce an operation failure of a program that occurs with a low probability due to the change of the processing order.

It is a block diagram which shows the hardware constitutions of the operation verification apparatus which concerns on embodiment of this invention. It is a block diagram which shows the function structure of the operation verification apparatus which concerns on embodiment of this invention. It is a figure which shows the example of the product code which concerns on embodiment of this invention. It is a figure which shows the example of the test code which concerns on embodiment of this invention. It is a figure which shows the example of the log registration order table which concerns on embodiment of this invention. It is a figure which shows the example of the additional process table which concerns on embodiment of this invention. It is a sequence diagram which shows operation | movement of the operation verification apparatus which concerns on embodiment of this invention. It is a flowchart which shows operation | movement of the log control part which concerns on embodiment of this invention. It is a flowchart which shows the operation | movement at the time of the log output which concerns on embodiment of this invention. It is a figure which shows the example of the log display screen which concerns on embodiment of this invention. It is a figure which shows the content of the program of the verification object which concerns on embodiment of this invention. It is a sequence diagram which shows the normal operation | movement of the program for verification which concerns on embodiment of this invention. It is a figure which shows the content which added the log output process to the program of the verification object which concerns on embodiment of this invention. It is a figure which shows the log registration order table at the time of verifying the program for verification which concerns on embodiment of this invention. It is a sequence diagram which shows the verification operation | movement of the program for verification which concerns on embodiment of this invention.

  Embodiments of the present invention will be described below with reference to the drawings. In the present embodiment, a method for verifying the operation of a program created in program development will be described. In such a method, in order to reproduce a failure that occurs at a low frequency, it is one of the gist according to the present embodiment to control the order of the processes executed in parallel.

  FIG. 1 is a block diagram showing a hardware configuration of an operation verification apparatus that implements the operation verification method according to the present embodiment. As shown in FIG. 1, the operation verification apparatus according to the present embodiment includes a configuration as an information processing apparatus similar to a general server or PC. That is, the operation verification apparatus according to the present embodiment includes a CPU (Central Processing Unit) 10, a RAM (Random Access Memory) 20, a ROM (Read Only Memory) 30, an HDD (Hard Disk Drive) 40, and an I / F 50. Connected through. Further, an LCD (Liquid Crystal Display) 60 and an operation unit 70 are connected to the I / F 50.

  The CPU 10 is a calculation means and controls the operation of the entire operation verification apparatus. The RAM 20 is a volatile storage medium capable of reading and writing information at high speed, and is used as a work area when the CPU 10 processes information. The ROM 30 is a read-only nonvolatile storage medium and stores a program such as firmware. The HDD 40 is a non-volatile storage medium that can read and write information, and stores an OS (Operating System), various control programs, application programs, and the like.

  The I / F 50 connects and controls the bus 80 and various hardware and networks. The LCD 60 is a visual user interface for the user to check the state of the operation verification device. The operation unit 70 is a user interface for the user to input information to the operation verification device, such as a keyboard and a mouse. When the operation verification device is configured as a server that operates by remote control, the user interface such as the LCD 60 and the operation unit 70 can be omitted.

  In such a hardware configuration, the software control unit is configured by the CPU 10 performing calculations according to a program stored in the ROM 30 or a program loaded into the RAM 20 from a storage medium such as the HDD 40 or an optical disk (not shown). A functional block that realizes the function of the operation verification apparatus according to the present embodiment is configured by a combination of the software control unit configured as described above and hardware.

  Next, the functional configuration of the operation verification apparatus according to the present embodiment will be described with reference to the block diagram of FIG. As illustrated in FIG. 2, the operation verification apparatus 1 according to the present embodiment includes a test execution unit 110, a test target storage unit 111, and a log control unit 120. Further, the log control unit 120 includes an order control unit 121, a log output unit 122, a registration order information management unit 123, an additional process management unit 124, and a registration order storage unit 125. In particular, a program for realizing the log control unit 120 is used as an operation verification program.

  The test execution unit 110 builds and executes the source code of the test target program stored in the test target storage unit 111. In addition, the test execution unit 110 according to the present embodiment exchanges information with the log control unit 120 in the log output process incorporated in the test target program, and causes the log control unit 120 to execute log output.

  The test target storage unit 111 is a storage unit that stores a source code of a test target program, and is realized by the HDD 40 described with reference to FIG. Here, the contents of the source code stored in the test target storage unit 111 will be described. FIG. 3 is a diagram illustrating a product code that is a source code of a test target that finally becomes a product among source codes of a test target program.

  The product code shown in FIG. 3 includes “function A”, “function B”, and “additional processing function C”. “Function A” and “Function B” are functions that are included in a program that finally becomes a product. On the other hand, the “additional processing function C” is a function incorporated in order to reproduce the environment when “function A” and “function B” finally operate as products.

In FIG. 3, for ease of explanation, a program consisting of simple processing will be described as an example. “Function A” includes processing indicating “increment variable a ₁ ” as the original processing. “Function B” includes a process indicating that “variable b ₁ is decremented” as an original process.

  On the other hand, in the operation verification according to the present embodiment, “function A” incorporates a process indicating that “a character string“ aaa ”is output as a log”. The “function B” incorporates a process indicating that “a character string“ bbb ”is output as a log”. One aspect of the present embodiment is to control the order of processing included in each of “function A” and “function B” by incorporating log output processing and controlling the order of log output. It is.

  The “addition processing function C” includes a process indicating that “a character string“ ccc ”is output as a log”. This process is not a process included in the original product code, but is incorporated in order to reproduce an environment in which the product code operates in actual operation when performing an operation verification of the product code.

  FIG. 4 is a diagram illustrating a test code that is a source code of a program that provides a function for operating a product code for operation verification among source codes of a test target program. The test code shown in FIG. 4 includes a “log output order registration instruction”, an “additional process registration instruction”, and a “function execution instruction”.

  The “log output order registration command” is a log output order registration command such as “log output of character string“ aaa ”” and “log output of character string“ bbb ””. In FIG. 4, it is specified that the log output of the character string “aaa” is the first and the log output of the character string “bbb” is the second.

  Further, “output before and after control” is information for designating at what timing log output is performed when controlling the order of log output. In the case of “output before and after control”, it is specified that the log output is performed at the timing when the log output is requested, that is, before the control and at the timing when the log output order arrives, that is, after the control. .

  In addition, if it is “output before control”, log output is performed at the timing when log output is requested, but it waits without notifying completion of log output until the specified log output order is satisfied. This prevents the log output requester from proceeding to the next step. If the output is “post-control output”, the process of the log output request source does not proceed to the next step by waiting without outputting the log at the timing when the log output is requested. Then, the log output is performed at the stage where the specified log output order is satisfied, and the completion of the log output is notified.

  In either case of “pre-control output”, “pre-control output”, or “post-control output”, processing of the request source is not performed until completion of the requested log output until the specified control order is satisfied. It is the same that keeps from going to the next step. Such control is one of the gist according to the present embodiment.

  FIG. 5 is a diagram showing a log registration order table which is information registered in the log control unit 120 by the “log output order registration command” shown in FIG. As shown in FIG. 5, information as specified, that is, a log character string serving as an identifier for identifying a log output instruction is registered as information associated with information specifying the execution timing of log output. Is done.

  The “additional process registration command” is a command for registering the execution condition of the function provided by the “additional processing function C” described above. In the example of FIG. 4, it is registered that the additional processing function C should be executed before the log output of the character string “aaa” is executed. FIG. 6 is a diagram showing an additional processing table which is information registered in the log control unit 120 by such an “additional processing registration command”. The additional process table shown in FIG. 6 is used as additional process setting information. As shown in FIG. 6, information as specified, that is, information specifying the content of the additional process and the execution timing of the additional process is registered.

  The “function execution instruction” is an execution instruction for a function included in a product code such as “function A” or “function B” shown in FIG. In the example of FIG. 4, it is specified that “function A” and “function B” are executed asynchronously. Thereby, the processing executed by “function A” and “function B” is processing executed in parallel.

  The log control unit 120 performs log output based on the log output request from the test execution unit 110 as described above. At that time, the execution order of processes included in the test target program is indirectly controlled by controlling the output order based on the contents of the output log. This function is one of the gist according to the present embodiment.

  Based on the log output request received from the test execution unit 110, the order control unit 121 confirms the output order and the presence / absence of additional processing, and causes the log output unit 122 to execute log output when the output order is satisfied. Process. The log output unit 122 executes log output in accordance with an instruction from the order control unit 121. As a result of the log output by the log output unit 122, information such as a character string to be output is written in specific data or displayed on the LCD 60.

  The registration order information management unit 123 manages the execution order of log output. Therefore, upon receiving a log output execution order registration request in accordance with the “log output order registration command” described in FIG. 4, the registration order information management unit 123 stores the log registration order table as described in FIG. Store in the unit 125.

  In addition, the order control unit 121 that has received the log output request from the test execution unit 110 confirms the output order of the log of the designated character string with the registration order information management unit 123. The registration order information management unit 123 confirms the execution order of log output based on the log registration order table stored in the registration order storage unit 125 and responds to the order control unit 121.

  The additional process management unit 124 manages additional processes. Therefore, when the additional process management unit 124 receives a registration request for the additional process in accordance with the “additional process registration command” described in FIG. 4, the additional process management unit 124 stores the additional process table described in FIG. 6 in the registration order storage unit 125.

  The registration order storage unit 125 is a storage unit that stores a registration order table as described with reference to FIG. 5 and an additional processing table as described with reference to FIG. 6, and is realized by the HDD 40 described with reference to FIG. The registration order storage unit 125 provides information in response to requests from the registration order information management unit 123 and the additional processing management unit 124.

  Next, the operation when the operation verification is executed based on the information shown in FIGS. 3 to 6 will be described with reference to FIG. As a premise when the sequence shown in FIG. 7 is executed, the test execution unit 110 builds the product code and the test code stored in the test target storage unit 111 and generates an execution file based on the source code. And run the program.

  As shown in FIG. 7, first, a module provided by a test code (hereinafter referred to as a test code module) executes log control order registration (S701) and additional process registration (S703). The processing of S701 and S703 is executed according to processing corresponding to the “log output order registration command” and “additional processing registration command” shown in FIG.

  In the log control unit 120 that has received the log control order registration request from the test execution unit 110, the registration order information management unit 123 receives the request from the order control unit 121, and stores the registration order table as shown in FIG. The data is stored in the unit 125 (S702). In addition, in the log control unit 120 that has received a request for registration of additional processing from the test execution unit 110, the additional processing management unit 124 receives a request from the order control unit 121 and stores an additional processing table as shown in FIG. The data is stored in the unit 125 (S704).

  Subsequently, the test code module starts the processing of the module realized by each of “function A” and “function B” according to the processing corresponding to the “function execution instruction” shown in FIG. 4 (S705). As described above, in the “function execution instruction” shown in FIG. 4, “function A” and “function B” are executed asynchronously. Therefore, each of the function A and function B modules independently starts processing according to the description contents of the source code shown in FIG.

  As shown in FIG. 7, the module of the function B first issues a log output request for the character string “bbb” (S706). This log output request is a call instruction for a log output function provided by the log output unit 122 of the log control unit 120. Therefore, the module of the function B requests the log control unit 120 to output a log of a character string “bbb” and waits for a response.

  In response to the log output request “bbb”, the log control unit 120 performs order control and additional process control based on the character string received the log output request. Here, the operation of the log control unit 120 that has received a log output request will be described with reference to FIG.

  As shown in FIG. 8, when the log control unit 120 receives a log output request (S801), the order control unit 121 makes an inquiry to the registration order information management unit 123 as described above, thereby outputting the character to be output. It is confirmed whether or not the column is a sequential control target (S802). As a result, if it is not a control target (S802 / NO), the sequence control unit 121 causes the log output unit 122 to execute log output in response to the request (S809), and notifies the log output request source of completion. (S808) to finish the process.

  On the other hand, if it is a control target (S802 / YES), next, the order control unit 121 checks whether or not the output before control is designated as the log output timing (S803). As a result, when the output before the control is designated, such as “output before and after control” or “output before control” (S803 / YES), the order control unit 121 causes the log output unit 122 to execute log output. (S804).

  When the output before the control is not designated (S803 / NO), or when the process of S804 is completed, the order control unit 121 checks whether or not the execution order of the output order of the log of the requested character string has been reached. (S805). In other words, the process of S805 is a process of confirming whether or not the log output and completion notification in the execution order earlier than the execution order of the output order of the log of the requested character string have been completed.

  The order control unit 121 waits until it reaches the execution order of the log output requested in S801 (S805 / NO), and when it reaches the execution order (S805 / YES), the output before control is designated as the log output timing. It is confirmed whether it is (S806). As a result, when output after control is designated, such as “output before and after control” or “output after control” (YES in S806), the order control unit 121 causes the log output unit 122 to execute log output. (S807).

  When the output after control is not specified (S806 / NO), or when the process of S807 is completed, the order control unit 121 notifies the requester of the log output requested in S801 of completion (S808). ), The process is terminated. By such processing, the operation of the log control unit 120 that has received the log output request is completed.

  Here, the control of the additional processing based on the registered additional processing table as shown in FIG. 6 is executed at S804 and S807 shown in FIG. 8, that is, the log output timing. Details of the operations in S804 and S807 in FIG. 8 will be described with reference to FIG.

  As illustrated in FIG. 9, when outputting the log, the order control unit 121 checks with the additional processing management unit 124 whether execution before control is designated as the timing of the additional processing (S901). If execution before control is specified as a result of the determination in S901, the order control unit 121 controls execution of the specified additional processing (S902).

  When execution before control is not designated (S901 / NO), or when the processing of S902 is completed, the order control unit 121 causes the log output unit 122 to execute log output (S903). Thereafter, the order control unit 121 confirms whether or not post-control execution is specified as the timing of the additional processing to the additional processing management unit 124 (S904).

  If execution after control is specified as a result of the determination in S904, the order control unit 121 controls execution of the specified additional processing (S905). When execution after control is not designated (S904 / NO), or when the processing of S905 is completed, the order control unit 121 completes the operation for log output.

  Returning to FIG. 7, the description of the sequence is resumed. In the case of the example in FIG. 7, the additional process is not specified for the log output “bbb” as shown in FIG. 6. As shown in FIG. 5, the output before and after the control is designated as the log output of “bbb”. Accordingly, based on the operations shown in FIGS. 8 and 9, in the log control unit 120, the log output unit 122 executes the pre-control output of the character string “bbb” (S708).

Then, as shown in FIG. 5, the log output of “bbb” is the second and the log output of the first “aaa” has not been completed yet, so the completion notification for the log output of “bbb” is not performed. To wait. On the other hand, the module of the function A is asynchronous with the operation of the module of the function B, and increments the variable a ₁ as described in the source code shown in FIG. 3 (S707), followed by “aaa”. A log output request for a character string is made (S709).

  The log control unit 120 that has received the log output request “aaa” from the module of the function A executes the operation described with reference to FIGS. In this case, based on the information described as “additional processing function C before output“ aaa ”” in FIG. 6, the log control unit 120 first executes the processing of the module realized by the additional processing function C (S710). . That is, in S710, the order control unit 121 functions as an additional process execution control unit. Thereby, the module of the function C requests the log control unit 120 to output the log of the character string “ccc” as in the source code shown in FIG. 3 (S711).

  In response to the log output request for the character string “ccc”, the log control unit 120 performs the operation described in FIG. Since the character string “ccc” is not a target for order control, the log output unit 122 outputs the log of the character string “ccc” as it is, and the order control unit 121 sends a completion notification to the function C module. Do.

  Subsequently, the order control unit 121 causes the log output unit 122 to execute log output before order control (S714). As shown in FIG. 5, the log output control sequence of the character string “aaa” is first, and the order is satisfied. Therefore, the order control unit 121 subsequently causes the log output unit 122 to execute log output after the order control (S715), and sends a completion notification to the function A module that is the request source of the log output request in S709 ( S716). As a result, the module of the function A can proceed to the next step of the log output request process in S709.

  On the other hand, when the log output of the character string “aaa” is executed in S715, the log output designated first in the log output control order is executed as shown in FIG. As a result, the execution order of the log output of the character string “bbb” specified second is reached. Therefore, the order control unit 121 determines “YES” in S805 of FIG. 8 for the log output request for the character string “bbb”, and causes the log output unit 122 to execute log output after the order control (S717). . Then, the completion notification is sent to the module of the function B that is the request source of the log output request in S706 (S718).

Thereby, in the module of the function B, it is possible to proceed to the next step of the log output request process in S706. As a result, the variable b ₁ is decremented as described in the source code shown in FIG. 3 (S718). By such processing, the operation of the operation verification apparatus according to the present embodiment is completed.

As shown in FIG. 3, the decrement process of the variable b ₁ as the process of the function B is executed after the log output of the character string “bbb”. The order of logging "bbb" is specified after the logging "aaa", logging "aaa" is the processing after the increment processing variables a _1, as shown in FIG.

As a result, the decrement process of the variable b ₁ that is the process of the function B can be surely executed after the increment process of the variable a ₁ that is the process of the function A. In this embodiment, it is possible to control the execution order of processes executed in parallel by embedding log output processing via the log control unit 120 in the source code and controlling the order of log output. This is one of the gist.

  FIG. 10 is a diagram illustrating an aspect in which a log is displayed on the LCD 60 as an aspect of log output as a result of the execution of the processing in FIG. 7. As shown in FIG. 10, it can be seen that log output was executed in the order of “bbb”, “ccc”, “aaa”, “aaa”, and “bbb”. Among such displays, the first “bbb” and the first “aaa” are logs output by the pre-control output.

  In the example of FIG. 10, it can be seen that “bbb” is output before the first “aaa” and “ccc” output in the additional process. Therefore, it is possible to indirectly confirm that the process of S706 has been performed before S707. Such indirect confirmation of the processing order is the significance of the output before log control.

  3, 4, and 7, the case where the execution instruction of the function in the product code is included in the test code is taken as an example. However, this is an example, and an instruction for executing a function to be tested included in the product code may be included in the product code, and an instruction for starting the instruction may be included in the test code.

  In any case, it is a program to be verified, incorporate log output instructions into multiple programs executed in parallel, and perform order control according to the contents of the log to be output Thus, the above object can be achieved.

  Next, an example of a failure that occurs at a low probability, and log output command insertion and order control for reproducing the failure will be described. FIG. 11 is a diagram showing an original product code before the log output instruction is inserted. The product code shown in FIG. 11 is an example of a program that provides a function of controlling a scanner engine according to a command and executing a scan in a scanner that captures an original. As shown in FIG. 11, the original product code includes two functions, function A and function B.

  As shown in FIG. 11, the function A includes a process of “starting operation upon receiving an event notification from the function B” and a process of “event notification”. The function B includes a process of “instructing a reading operation in response to a command”, a process of “notifying the function A when an event notification is received from the engine”, and a process of “notifying completion when a completion notification is received from the engine”. .

  FIG. 12 is a sequence diagram showing a test operation of the product code shown in FIG. As shown in FIG. 12, first, the function A and the function B are executed by the module of the test code (S1201), and further, a read command is executed for the function B (S1202).

  As a result, the module of the function B receives the reading command and instructs the engine driver that controls the scanner engine to perform a reading operation (S1203). As a result, the engine driver notifies the function B module that a reading operation event has occurred (S1204), and controls the scanner engine to execute scanning.

  The function B module that has received the event notification from the engine driver sends an event notification to the function A module (S1205). As a result, the function A module notifies the test code module of an event (S1206).

  On the other hand, when the scan is completed, the engine driver that controls the scanner engine sends a completion notification to the function B module that is the instruction source of the reading operation (S1207). The module of the function B that has received the completion notification sends a completion notification to the test code module (S1208). As a result, the test code module receives a completion notification after receiving an event notification when scanning is started.

  There is a period during which scanning is executed between the processes of S1204 to S1207, and a corresponding period is available. Therefore, in most cases, the process of S1206 is executed before S1208.

  However, since the process of S1206 and the process of S1208 are not directly related and the order is not specified, the process of S1208 overtakes the process of S1206 although it is very infrequent. There is a case. In this case, the test code module receives a completion notice before receiving an event notice when scanning is started. In order to reproduce such a state, the operation verification method according to the present embodiment is used.

  FIG. 13 is a diagram showing an example in which a log output command for order control is embedded in the product code shown in FIG. As illustrated in FIG. 13, the function A includes a process of “logging the character string“ event ”” before the “event notification” process. Further, the function B incorporates a process of “logging a character string“ response ”” after the process of “completion notification upon receipt of completion notification from the engine”.

  FIG. 14 is a diagram showing a log registration order table corresponding to the order control of the log output instructions embedded as shown in FIG. As shown in FIG. 14, it is specified that the log output of “response” is the first, the log output of “event” is the second, and both are output after control.

  FIG. 15 is a sequence diagram showing the test operation of the product code in which the log output command is embedded as shown in FIG. As shown in FIG. 15, processes in S1501 to S1505 are executed in the same manner as S1201 to S1205 in FIG. 12.

  Upon receiving the event notification from the function B module, the function A module starts the operation in response to the event notification from the function B module as shown in FIG. A log output request for a character string is made (S1506). When the log control unit 120 receives a log output request from the module of the function A, the log control unit 120 executes the operation of FIG.

  However, as shown in FIG. 14, the log output of “event” is registered after the log output of “response”, and is an output after control. Therefore, the log control unit 120 determines “NO” in S805 of FIG. 8 and waits until the log output control order is satisfied.

  On the other hand, when the scan is completed, the engine driver sends a completion notification to the function B module that is the instruction source of the reading operation (S1507). The module of the function B that has received the completion notification sends a completion notification to the test code module (S1508). Subsequently, as shown in FIG. 14, the module of the function B makes a log output request for the character string “response” to the log control unit 120 (S1509).

  When receiving a log output request from the function B module, the log control unit 120 executes the operation of FIG. As illustrated in FIG. 14, since the log output of “response” is the first registered order and is an output after control, the log output unit 122 executes log output of “response” (S1510). Then, the order control unit 121 sends a completion notification to the function B module (S1511).

  As a result, the order of log output of “event” that received the request in S1506 is satisfied, and the log output unit 122 executes log output of “event” (S1512). Then, the order control unit 121 sends a completion notification to the function A module (S1513).

  Upon receiving the log output completion notification, the module of the function A proceeds to the next step shown in FIG. 13, and notifies the test code module of an event (S1514). By such control, it is possible to reproduce a situation where the completion notification executed by the function B module overtakes the event notification executed by the function A module.

  As described above, in the operation verification method according to the present embodiment, an instruction for requesting log output to an external module is embedded in each of the processes executed in parallel. The log output request is an instruction that cannot proceed to the next processing until the log output is completed.

  Then, an external module that receives a log output request performs control so that a log output completion notification is performed in the specified order. As a result, the order of processing executed in parallel is indirectly controlled by controlling the order of log output in which instructions are embedded. Therefore, it is possible to reliably reproduce the program operation failure that occurs with a low probability due to the change of the processing order.

  In the above-described embodiment, a mode has been described in which a command for requesting log output to the log control unit 120 is embedded in the product code to be tested, and the log control unit 120 controls the order of log output. The command for requesting log output is not completed unless a completion notification is received from the log control unit 120. Therefore, in the process on the product code side, the process cannot proceed to the next process. Thereby, the log control unit 120 can control the execution order of the processes executed in parallel in the product code.

  That is, the case where the order control unit 121 functions as a notification acquisition unit and a response unit and the log output unit 122 functions as a process execution unit in the log control unit 120 has been described as an example. Further, the case where the log registration order table shown in FIG. 5 is used as priority setting information has been described as an example.

  However, the instruction to be embedded in the product code is not limited to an instruction for requesting log output, and a notification in which a specific identifier is designated is given to an external module, and a response to the notification is waited for before proceeding to the next processing. Any instruction that is allowed is acceptable. Then, by controlling the order of responses to notifications output by such a command, it is possible to obtain the same effect as described above.

  Therefore, in the above-described embodiment, such an instruction is an execution instruction for a log output request and has been described as a character string indicating the content of a log output as a specified specific identifier, but this is an example. It is possible to obtain the same effect as described above by embedding a command for outputting a notification specifying some identifier in the product code, and the module corresponding to the log control unit 120 receives the notification and controls the order of responses. is there.

  On the other hand, by making such an instruction to be embedded into a log output request, it is possible to confirm in what order the processing was actually executed by checking the output log. Therefore, an instruction that requests processing from an external module for order control, and is allowed to proceed to the next process after receiving a notification of completion of the request may be an instruction requesting log output. preferable.

  Further, in the present embodiment, the target of order control is processing executed in parallel. Therefore, it is a premise that the processing is multi-threaded. In the case of the above embodiment, the product code and test code as shown in FIGS. 3 and 4 are built together and executed as one process. Processing that is executed in parallel by multithreads in such one process is subject to order control.

  However, even multi-processes can be similarly applied. For example, a case where “function A”, “function B”, and test code included in the product code shown in FIG. 3 are built as different execution files and executed as different processes may be considered. In this case, the processes corresponding to “function A” and “function B” are executed in parallel by different processes.

  Even in such a case, it is possible to control the order in the same manner as described above by incorporating an instruction for requesting log output to a test code process which is a different process in each of “function A” and “function B”. Can be performed.

  Further, in the above-described embodiment, the case where the additional processing is realized by providing the additional processing management unit 124 has been described as an example. This is because, as shown in FIGS. 11 and 13, in the case where the linkage with an external program other than the program capable of editing the source code is required, the processing executed by the operation of the external program is substituted. is there. Therefore, the additional process management unit 124 is not essential and may be provided as necessary.

1 operation verification device 10 CPU
20 RAM
30 ROM
40 HDD
50 I / F
60 LCD
DESCRIPTION OF SYMBOLS 70 Operation part 80 Bus | bath 110 Test execution part 111 Test object memory | storage part 120 Log control part 121 Order control part 122 Log output part 123 Registration order information management part 124 Additional process management part 125 Registration order storage part

JP 2012-128489 A

Claims (10)

A program operation verification device,
A notification obtaining unit that obtains a notification in which a predetermined identifier is specified, which is a notification output by an instruction incorporated in each of the processes executed in parallel by executing the process according to the program;
A response unit configured to respond to the acquired notification in the order of the set priorities based on the priority setting information in which the priority of the predetermined identifier specified in the notification is set;
The operation verification apparatus according to claim 1, wherein the instruction is an instruction that is completed by receiving the response after outputting the notification and can proceed to a next process. The notification is a notification requesting execution of a predetermined process,
The operation verification apparatus according to claim 1, further comprising a process execution unit that executes the predetermined process based on the acquired notification. The notification is a notification requesting output of an identifier specified in the notification;
The operation verification apparatus according to claim 2, wherein the process execution unit outputs the predetermined identifier specified in the notification.   Based on the additional process setting information in which an additional process to be executed when the predetermined identifier specified in the notification is output is set, the additional process set when the predetermined identifier specified in the notification is output. The operation verification apparatus according to claim 3, further comprising an additional process execution control unit that controls execution. The additional process setting information includes information specifying the execution timing of the additional process,
The operation verification apparatus according to claim 4, wherein the additional process execution control unit controls execution of the additional process at a designated timing.   The said additional process setting information contains the information which designates at least one before the output of the said predetermined | prescribed identifier designated in the said notification as an execution timing of the said additional process as described in Claim 5. The operation verification apparatus described. The priority setting information is information in which information specifying the execution timing of the process requested in the notification is stored in association with the predetermined identifier,
The said process execution part performs the said predetermined process at the timing linked | related with the specified said predetermined identifier based on the acquired said notification. Operation verification device.   The priority setting information includes information specifying at least one of the timing at which the notification is acquired and the timing at which the notification arrives in an order corresponding to the priority of the predetermined identifier specified in the acquired notification. The operation verification apparatus according to claim 7, wherein the operation verification apparatus is information stored in association with each other. A method for verifying the operation of a program,
A command for outputting a notification in which a predetermined identifier is specified for processing executed in parallel by executing processing according to the program, and is completed by receiving a response after outputting the notification. Incorporated into the program is an instruction that allows the program to proceed to the next process,
Setting priority of the predetermined identifier specified in the notification as priority setting information;
Execute a process according to the program in which the notification is embedded;
A notification output by an instruction incorporated in each of the processes executed in parallel, the notification specifying the predetermined identifier is acquired;
An operation verification method comprising: responding to the acquired notification based on the priority setting information in order of the set priority. An operation verification program for verifying the operation of the program,
A step of obtaining a notification that is output by an instruction incorporated in each of the processes that are executed in parallel by executing the process according to the program to be verified, and that is designated with a predetermined identifier. When,
A step of responding to the acquired notification in the order of the set priorities based on the priority setting information in which the priority of the predetermined identifier specified in the notification is set To run
The operation verification program according to claim 1, wherein the instruction is an instruction that is completed by receiving the response after outputting the notification and is allowed to proceed to a next process.