JP2012043216A - Program automatic generation device - Google Patents

Abstract

PROBLEM TO BE SOLVED: To perform a unit test using a generated control program in a shorter time in an arithmetic unit in which the generated control program is to be incorporated.SOLUTION: A template of a test driver depending on operation environment of an arithmetic unit in which a control program is to be incorporated is generated in advance. A variable input terminal of a control block diagram and a test pattern input element associated with each other when generating the control program by the control block diagram, a test pattern input code performing processing according to association of a variable output terminal with a output pattern storage element, and an output pattern storage code are generated (steps S13 to S16). From source codes of the test pattern input code, the output pattern storage code, and the control program, and the template test driver, a source code of the test driver performing a prescribed verification operation to the control program in an operating environment appropriate to operating environment specifications which are input is generated (steps S17, S18).

Description

  The present invention relates to an automatic program generation apparatus that automatically generates a program source code according to a diagrammatic program specification created by a developer or a user.

The technology for automatically generating program source code (hereinafter also referred to as source code) based on the program specifications described in the form of a control block diagram has conventionally been a program in the control field as a visual programming technology. Used for development.
In addition, by using such visual programming technology, the source code can be automatically obtained from the specifications expressed in the control block diagram, which shortens the mounting process and suppresses the occurrence of bugs at the mounting level. Can be expected.

However, since an error may occur at the description level of the control block diagram, it cannot be guaranteed by the visual programming technique whether the automatically generated source code operates correctly as requested by the developer.
On the other hand, a developer creates a “model” in which blocks are linked, automatically generates source code from this model using a code generation tool, and is expressed by the model and source code using a test input pattern. A function has been proposed in which the function is virtually executed on a personal computer and its quality is evaluated (see, for example, Patent Document 1).

JP 2005-301568 A

As described above, by performing an execution simulation of a model or source code using a test input pattern, it is possible to perform operation verification on the model or source code.
However, when a simulation is performed on a model or source code using a test input pattern, the function expressed by the model or source code is virtually executed on a personal computer. Therefore, although the operation of the model and the source code itself can be guaranteed, the operating environment for performing the simulation is arbitrarily set. Therefore, the operating environment of the computing device to be embedded in which the source code is actually incorporated is identical. Otherwise, the operation verification under the operating environment of the arithmetic device to be incorporated cannot be performed.
Therefore, although the operation of the model and the source code itself can be guaranteed, the operation cannot be guaranteed when the source code is incorporated into an arithmetic device and operated. At the time of operation, it may be found that the operation as specified by the developer cannot be performed.

For this reason, before operating the entire apparatus on which this source code is mounted, the generated source code is incorporated into an arithmetic device to be embedded, and the operation is verified by operating the arithmetic device alone (hereinafter also referred to as a unit test). However, in order to perform this operation verification, it is necessary to prepare a separate operating environment for unit testing, such as creating a new test driver that operates in accordance with the actual operating environment of the target computing device. As a result, the time required for the unit test becomes longer, so a method capable of further shortening the unit test process has been desired.
Therefore, the present invention has been made paying attention to the above-mentioned conventional unsolved problems, and the unit test using the control program can be performed in a shorter time in the arithmetic device to be incorporated into the created control program. An object of the present invention is to provide an automatic program generation device that can generate a source code of the control program.

  In order to achieve the above object, an automatic program generation device according to claim 1 of the present invention connects a variable input terminal element, a variable output terminal element, and an arithmetic element, thereby reducing the flow of control processing by a single control program. In a program automatic generation apparatus that generates compilable source code from a control block diagram to be expressed, test pattern input support for associating a variable input terminal element of the control block diagram with a test pattern input to the variable input terminal element Attaching means, output pattern associating means for associating the variable output terminal element of the control block diagram with the storage destination of the output pattern output from the variable output terminal element, and the associated variable input terminal element And the correspondence to the variable input terminal element of the control block diagram based on the test pattern. The control block diagram based on the test pattern input code automatic generation means for generating the source code for inputting the test pattern as a test pattern input code, the associated variable output terminal element, and the storage destination of the output pattern Output pattern storage code automatic generation means for reading out the output of the variable output terminal element and generating the source code for storing the output in the storage destination of the associated output pattern as an output pattern storage code; Operating environment specifications for inputting a test driver model used for a unit test of the control program and an operating environment specification for specifying the operating environment of the one control program stored in the computer Input means, template of the test driver, and the operation The unit test test driver source code is generated from the operating environment specifications input by the boundary specification input means, the test pattern input code and the output pattern storage code, and the source code of the one control program. And a test driver code automatic generation means.

Further, in the program automatic generation device according to claim 2, the test driver template is generated corresponding to each of a plurality of different types of arithmetic devices, and the test driver code automatic generation means includes the plurality of test drivers. The test driver source code is generated using a specified test driver template among the template.
Further, in the automatic program generation device according to claim 3, the test pattern input associating means includes means for describing a test pattern input element expressing a function for giving the test pattern to the variable input terminal element of the control block diagram. And displaying the connection terminal of the test pattern input element and the variable input terminal element to prompt the user for the association, and the output pattern associating means includes the variable output terminal of the control block diagram. Means for describing an output pattern storage element expressing a function for storing the numerical value of the element, and displaying the association by displaying the connection terminal of the output pattern storage element and the variable output terminal element to the user It is characterized by prompting.

According to the present invention, when creating one control program, a test driver template that has been generated in advance depending on the operating environment of the arithmetic device to be incorporated into the control program, the input operating environment specifications, and Because the test driver that realizes the operating environment according to is generated as a test driver for unit testing of the arithmetic device to be embedded in one control program, the source code of one control program is generated including this test driver The user can easily create a test driver for unit testing of one control program by inputting operating environment specifications when generating one control program. Therefore, it is not necessary to create a new test driver for unit testing at the stage of performing unit testing using one control program, and the time required for unit testing can be reduced accordingly.
In addition, when creating a test driver, the user does not need to create the test driver itself, but only needs to input the operating environment specifications, so that the test driver can be created easily.

It is a block diagram which shows an example of the program automatic generation apparatus to which this invention is applied. It is an example of the control process described by the control block diagram. It is an example of the source code automatically generated from the control processing described in the control block diagram. It is a description example of a test pattern input element. FIG. 5 is a source code example of a test pattern input process automatically generated from a description example of the test pattern input element of FIG. 4. It is a description example of an output pattern storage element. FIG. 7 is a source code example of output pattern storage processing automatically generated from the description example of the output pattern storage element of FIG. 6. FIG. It is the other example of a test pattern input matching means and an output pattern matching means. It is explanatory drawing with which it uses for operation | movement description of this invention. It is an example of operating environment specifications. It is a flowchart which shows the source code example of the test driver generated automatically. It is a flowchart which shows an example of the process sequence of a program automatic generation apparatus.

Embodiments of the present invention will be described below.
FIG. 1 is a functional block diagram showing an example of an automatic program generation device according to the present invention.
In FIG. 1, 1 is an input device for a user to operate, and 2 is an automatic program generation device body. The input device 1 includes a display device and input means such as a keyboard and a mouse.
The automatic program generation apparatus 2 includes a control block diagram specification description unit 21 and a control processing code automatic generation unit 22. Further, the control block diagram specification description means 21 has a test pattern input element description means 21a and an output pattern storage element description means 21b, and the control processing code automatic generation means 22 has a test pattern input code automatic generation means 22a, an output pattern storage. An automatic code generation unit 22b, a test driver code automatic generation unit 22c, and a template test driver 23 are provided.

  The control block diagram specification description means 21 describes the specification of the control program to be created in the control block diagram in accordance with an instruction input from the input device 1. Here, for example, as shown in FIG. 2, each block represents a flow of processing from a variable input terminal element to a variable output terminal element through several arithmetic elements. It is expressed by connecting symbols with lines. In FIG. 2, 101 to 104 are variable input terminal elements, 105 is an addition element, 106 is a multiplication element, 107 is a comparison element, and 108 and 109 are variable output terminal elements. In FIG. 2, the input values to the variable input terminal elements 101 and 102 are added by the addition element 105, the addition result and the input value to the variable input terminal element 103 are multiplied by the multiplication element 106, and the multiplication result is the variable. This indicates that the signal is output to the output terminal element 108 and input to the inverting input terminal of the comparison element 107. Further, the comparison element 107 is, for example, a HIGH level representing “TRUE” when the difference value between the input value to the variable input terminal element 104 input to the non-inverting input terminal and the input value to the inverting input terminal is a positive value. , When the difference value is zero or a negative value, it indicates that a LOW level signal indicating “FALSE” is output to the variable output terminal element 109.

  The control block diagram specification description means 21 includes a description means for displaying symbols such as terminal elements and arithmetic elements, which are constituent elements of FIG. 2, on the screen of the display device of the input device 1. The user of the input device 1 operates the input means for the symbol of each terminal element or arithmetic element displayed on the screen, and adjusts the symbol arrangement position on the screen or connects the symbols with lines. Thus, the specification of the control program to be created is described in a control block diagram.

  The control block diagram shown in FIG. 2 generated by the control block diagram specification description unit 21 is processed by the control processing code automatic generation unit 22, and the reference of variables represented by variable input terminal elements is used as a starting point. A function or subroutine in the general high-level programming language, which is a series of processing until the result of executing the operation of the operation element sequentially according to the connection relation is assigned to the variable represented by the variable output terminal element Is output as a source code.

For example, when the output source code uses C language as a high-level programming language, the control block diagram of FIG. 2 is represented as the source code shown in FIG.
These procedures for converting the control block diagram into the source code are generally used in the conventional visual programming technique, and this method can also be applied to this embodiment.

  Returning to FIG. 1, the test pattern input element description means 21 a of the control block diagram specification description means 21 includes an output terminal element corresponding to the variable input terminal element in the control block diagram generated by the control block diagram specification description means 21 and the test. By displaying the pattern input element on the display screen of the input device 1 and connecting the output terminal element and the test pattern input element in accordance with an instruction input from the input device 1, the control processing code automatic generation means 22 Describes the specifications of unit test data input processing for the source code of the control block diagram representing the generated control program. FIG. 4 is an example in which the specifications of unit test data input processing are described for the source code generated from the control block diagram of FIG.

  201 in FIG. 4 represents a test pattern input element. Output terminal elements 101 to 104 represent output terminal elements corresponding to the variable input terminal elements 101 to 104 in the control block diagram of FIG. In the case of the test pattern input element 201 of FIG. 4, four output terminals are provided. Note that the number of output terminals can be set as an attribute of the test pattern input element 201.

  Then, when the user operates the input device 1, each of the output terminals out1 to out4 of the test pattern input element 201 and those corresponding to the variable input terminal elements 101 to 104 in the control block diagram of FIG. By performing the connection operation with the output terminal elements 101 to 104 having the same name, the output terminals out1 to out4 of the test pattern input element 201 and the variable input terminal elements 101 to 104 in the control block diagram of FIG. Correspondence is made via elements 101-104.

Returning to FIG. 1, the test pattern input code automatic generation means 22a of the control processing code automatic generation means 22 includes the test pattern input element 201 and the output terminal element shown in FIG. 4 associated with each other by the test pattern input element description means 21a. The connection relationship with 101 to 104 is converted into a unit test data input function.
FIG. 5 is an example of a unit test data input function generated based on the connection relationship of FIG. In this example, a code for substituting the data of the array test_pattern [] in which test patterns are stored in advance into variables corresponding to the variable input terminal elements 101 to 104 in the control block diagram is generated as a function test_input (). Yes.

  Returning to FIG. 1, the output pattern storage element description unit 21 b of the control block diagram specification description unit 21 performs an input terminal element corresponding to the variable output terminal element in the control block diagram generated by the control block diagram specification description unit 21 and the test. By displaying the pattern output element on the display screen of the input device 1 and connecting the input terminal element and the test pattern output element in accordance with an instruction input from the input device 1, the control processing code automatic generation means 22 Describes the specifications of the unit test data output process for the source code of the control block diagram representing the generated control program.

  FIG. 6 is an example in which unit test data output processing is described for the source code generated from the control block diagram of FIG. Reference numeral 301 in FIG. 6 represents a test pattern storage element. The input terminal elements 108 and 109 represent input terminal elements corresponding to the variable output terminal elements 108 and 109 in the control block diagram of FIG. In the case of the test pattern storage element 301 of FIG. 6, two input terminals are provided. Note that the number of input terminals can be set as an attribute of the test pattern storage element 301.

  Then, when the user operates the input device 1, each of the input terminals in1 and in2 of the test pattern storage element 301 has the same name as those corresponding to the variable output terminal elements 108 and 109 in the control block diagram of FIG. By performing an operation of connecting the input terminal elements 108 and 109, the variable output terminal elements 108 and 109 in the control block diagram of FIG. 2 and the input terminals in1 and in2 of the test pattern storage element 301 are changed to FIG. The input terminal elements 108 and 109 are associated with each other.

  Returning to FIG. 1, the output pattern storage code automatic generation means 22b of the control processing code automatic generation means 22 includes the test pattern output element 301 and the input terminal element 108 shown in FIG. 6 generated by the output pattern storage element description means 21b. , 109 is converted into a unit test data output function. FIG. 7 is an example of a unit test data output function generated based on the connection relationship of FIG. In this example, a code for storing values of variables corresponding to the variable output terminal elements 108 and 109 in the array out_pattern [] is generated as a function test_output ().

As described above, the user can write a desired control specification as a control block diagram by the control block diagram specification description means 21 and at the same time describe a process for realizing data input / output for unit testing, thereby creating a control program to be created. The source code of the input / output processing program that performs processing for realizing data input / output for unit testing with respect to the created control program can be automatically generated.
Note that, as in this example, the test pattern input element description unit 21a and the output pattern storage element description unit 21b that describe data input / output processing in a block diagram are merely examples. For example, the terminal name associated with the test pattern input and output may be set on a setting screen as shown in FIG.

That is, as shown in FIG. 8, a “test setting” screen is displayed on the display screen of the input device 1, and the user operates the “test setting” screen to change the connection relationship of FIGS. 4 and 6. It may be possible to describe. That is, as shown in FIG. 8, an arbitrary number of terminals are prepared as input terminals and output terminals of the test pattern. Each of these input terminals and output terminals corresponds to the number set as the number of output terminals of the test pattern input element 201 in FIG. 4 and the number set as the number of input terminals of the test pattern storage element 301 in FIG. Can be set individually.
In the case of FIG. 4, the number of output terminals of the test pattern input element 201 is “4”, and in the case of FIG. 6, the number of input terminals of the test pattern storage element 301 is “2”. The input terminal of the test pattern can be set from 1 to 4, and the output terminal of the test pattern can be set from 1 to 2.

  Then, on the “test setting” screen of FIG. 8, each of the input terminals 1 to 4 of the test pattern can select any of the signals in_x to in_w corresponding to the input terminal elements 101 to 104 of FIG. To do. The user selects one of the signals in_x to in_w corresponding to the input terminal elements 101 to 104 in FIG. 2 for each of the input terminals 1 to 4 of each test pattern on the “test setting” screen. Thus, each of the test pattern input terminals 1 to 4 is associated with each of the signals in_x to in_w corresponding to the input terminal elements 101 to 104 of FIG.

  Similarly, either one of the signals out_a and out_b corresponding to the output terminal elements 108 and 109 in FIG. 2 can be selected at the test pattern output terminals 1 and 2 on the “test setting” screen. Then, the user selects one of the signals out_a and out_b corresponding to the output terminal elements 108 and 109 in FIG. 2 for each of the output terminals 1 and 2 of each test pattern on the “test setting” screen. Thus, each of the output terminals 1 and 2 of the test pattern is associated with the signals out_a and out_b corresponding to the output terminal elements 108 and 109 in FIG.

  When “OK” instructing the completion of setting is instructed on the “test setting” screen, the output terminal out1 of the test pattern input element in FIG. 4 and the signal in_x assigned to the input terminal 1 are associated with each other. Similarly, it is determined that each of the output terminals out2 to out4 and the signals in_y to in_w assigned to the input terminals 2 to 4 are associated with each other. Similarly, the input terminal in1 of the output pattern storage element 301 in FIG. 6 is associated with the out_a assigned to the output terminal 1, and the input terminal in2 and the out_b assigned to the output terminal 2 are associated with each other. to decide.

In this way, by setting the connection relationship on the “test setting” screen in FIG. 8, the same connection relationship as in FIGS. 4 and 6 is set.
Returning to FIG. 1, the test driver code automatic generation means 22c of the control processing code automatic generation means 22 includes a source code representing a preset test driver template (hereinafter referred to as a template test driver) 23, and an operation verification target. The test driver source code is generated based on the source code of the control program, the source code of the test input / output program for performing the test, and the operating environment specifications set by the input device 1.

  For example, it is assumed that the created control program is applied to a power supply apparatus 50 that converts a commercial power supply into a predetermined power supply voltage shown in FIG. The power supply device 50 includes a converter 51 that includes a switching element that performs AC-DC conversion and the like, and an arithmetic unit 52 that controls on / off of the switching element of the converter 51. The control program is incorporated in the arithmetic unit 52, performs predetermined processing based on various sensor signals and the like, generates an on / off signal for on / off control of the switching elements constituting the converter 51, and outputs this.

  In the case of a test program of a control program for on / off control of the converter 51 incorporated in the arithmetic device 52, for example, as shown in FIG. A test pattern is input in the operating environment of a computing device such as a microcomputer that is actually incorporated, and the result is taken out as an output pattern to generate a source code of a test driver that performs comparison and the like. In other words, the test driver inputs a test pattern to the control program, retrieves the processing result for the test pattern, compares the processing result with a preset expected value, etc., so that the control program conforms to the specifications required by the developer. It is determined whether it is operating, and the determination result is output.

The template test driver 23 is generated in accordance with the operating environment depending on the arithmetic device in which the operation verification target control program is incorporated. In addition, a plurality of model test drivers 23 are set in advance according to the type of arithmetic device, the contents of operation verification, and the like, and are stored in a predetermined storage area.
For example, in the case of the power supply device 50 in FIG. 9A, the operating environment specifications are determined depending on the entire power supply device 50 including the arithmetic device 52 and the converter 51 that is driven and controlled by the arithmetic device 52. For example, there are parameters as shown in FIG.

  That is, information (execution environment construction (OS / monitor program)) necessary for constructing an execution environment for simulating the operating environment of the arithmetic device in which the control program is actually incorporated, information on the test pattern storage location (test pattern storage) Location assignment), method for repeated execution (repeated execution means selection), information on the storage location of the expected value for the test pattern (expected value pattern storage location allocation), and the determination result based on the response value and the expected value for the test pattern Information relating to notification (selection of determination result notification means) and the like are major items.

  The “execution environment construction (OS / monitor program)” includes “hardware configuration” and “OS configuration” as intermediate items. “Hardware configuration” includes “Use / do not use, count cycle, count clock frequency, etc.” as “Fixed cycle timer setting”, and “Use / do not use, input” as “I / O port setting” "Communication settings" includes "Use / Do not use, communication method, communication speed, etc.", and "Interrupt settings" include "Use / do not use, call handler when generated, etc." . “OS configuration” includes task definition and “periodic operation task, idle task, interrupt task, etc.”.

In addition, “test pattern storage location allocation” is set as an intermediate item, for example, whether it is “memory mapping” or not.
In addition, as the “repeated execution means selection”, one of “loop on continuous execution task”, “execution on fixed-cycle task”, and “execution on interrupt task” is selected as the middle item. In the case of “execution on a fixed-cycle task”, the “execution cycle” is set.

In addition, as “expected value pattern storage location allocation”, for example, “memory mapping” is set as an intermediate item.
In addition, as the “determination result notification means selection”, there are “I / O port”, “communication”, “display (liquid crystal, dot matrix, etc.)” as intermediate items, and any one of these can be selected. In the case of “communication”, “communication protocol setting (definition of execution command contents)”, and in the case of “display (liquid crystal, dot matrix, etc.)” “I / F setting with display device (between devices) Data transmission / reception system, data format) ", and the like.

  Then, the test driver code automatic generation means 22c selects a template test driver corresponding to the arithmetic device to be incorporated into the created control program by operating the input device 1 by the user, and each of the operating environment specifications. When the parameters are input, a test driver that realizes an operating environment according to the input operating environment specifications is generated from the input operating environment specifications and the selected template test driver.

  Further, for example, as shown in FIG. 11, the template test driver has a control processing function (function function () in the case of FIG. 3) and unit test data input / output function (in the case of FIGS. 5 and 7, the function test_input ( ) And test_output ()) are called in sequence, the output result when a predetermined test pattern is given as an input is compared with the expected value, and the operation verification is performed to verify the operation of the control processing function. Is set by the control processing code automatic generation means 22, the test pattern input code automatic generation means 22a, and the output pattern storage code automatic generation means 22b are generated. In addition, the test pattern input code representing the unit test data input / output function and the storage location of the output pattern storage code are incorporated in the template test dry. Operation verification processing shown, for generating a source code of the test driver to implement under the given template test driver and the input operating environment specifications.

  In the processing flow of the source code of the test driver of FIG. 11, in the unit test, it is normal to provide a plurality of test patterns for verifying the operation. Therefore, the test driver reads and provides the test patterns one by one from the storage area. This structure is repeated until the pattern disappears. Note that the input pattern stored in the input pattern storage area in FIG. 11 may be embedded in the test driver source code in the form of a constant table definition in advance, or may be recorded in a storage medium such as a hard disk in a file format. It is also possible to read what is being read at runtime. The same applies to the form of the expected value pattern for comparison.

  In the process flow of the test driver code shown in FIG. 11, first, an input pattern is read from the input pattern storage area in step S1, and the read input pattern is used as a unit test data input function test_input () (step S2) and control. The processing function function () (step S3) and the unit test data output function test_output () (step S4) are sequentially read and executed. As a result, the read input pattern is executed by the control processing function function (), and the execution result is saved as an output pattern in a predetermined storage area.

Then, the output pattern stored in the predetermined storage area is written in a preset output pattern area (step S5). As a result, an output pattern for one input pattern is obtained.
Then, by repeating the processing from step S1 to step S5 until the set input pattern is eliminated, the processing by the control processing function function () is executed for each input pattern, and the calculation result is output as the output pattern. Stored in the output pattern area.

After the processing for all the input patterns is completed, the process proceeds from step S6 to step S7, the output pattern stored in the output pattern area is compared with a preset expected value pattern, and the control is performed based on the comparison result. The pass / fail judgment of the processing program is performed. Then, the pass / fail judgment result is notified to the outside by means designated by the test driver creation specifications.
FIG. 12 is a flowchart illustrating an example of a processing procedure of the automatic program generation device 2.
The automatic program generation device 2 performs a process of describing the control block diagram on the display screen according to the specification description of the user in the input device 1 (step S11), and when the generation of the control block diagram by the user is completed, A control processing code corresponding to the generated control block diagram is created (step S12).

Next, the test pattern input element and the input terminal of the control block diagram are displayed on the display screen, and a display for prompting the user to associate them is performed. A corresponding display is performed (step S13), and a test pattern input code corresponding to the association performed by the user is generated (step S14).
Next, the output pattern dependent element and the output terminal of the control block diagram are displayed on the display screen, and a display for prompting the user to associate them is performed. A corresponding display is performed (step S15), and an output pattern storage code corresponding to the association performed by the user is generated (step S15).
Next, the template test driver selected by the user operating the input device 1 and the operating environment specifications are read, and the selected template test driver, the operating environment specifications, and the control block diagram are used. The test driver source code is generated based on the control program source code, test pattern input code, and output pattern storage code.

  When performing a unit test of a control program using the test driver source code generated in this way, the test driver source code, that is, the source code of the control program including the test driver, is stored in the control program. The source code is executed by the arithmetic device alone by incorporating it into the arithmetic device to be incorporated. That is, in the case of the power supply device 50 of FIG. 9A, the source code of the control program including the test driver is incorporated into the arithmetic device 52. As a result, the arithmetic unit 52 sequentially reads out the test input patterns in accordance with the procedure shown in the flowchart of FIG. 11 and executes the control program to be verified for operation, and determines pass / fail in the unit test from the result and the preset expected value. And notify the result.

By referring to the notified result, the user can confirm whether or not the operation according to the specification requested by the control program is performed.
Note that the control program including the test driver is configured so that, for example, the functional part that performs processing for operating as the test driver is separated from the control program when the entire power supply device 50 is operated. It is configured to operate as a single program.
In addition, by setting the operating environment specifications shown in FIG. 10, it is possible to create a test driver that realizes the operating environment specified by the operating environment specifications, so that it is equivalent to the actual operating environment of the control program. A unit test of the control program can be performed under the operating environment.

At this time, the user simply generates the operating environment specifications shown in FIG. 10, for example, and generates the test driver source code that realizes the operating environment depending on the arithmetic device 52 and the power supply device 50 to be incorporated. Therefore, only by incorporating this source code into the computing device to be incorporated, a unit test of the control program can be performed on the computing device alone in an operating environment equivalent to the actual operating environment.
Therefore, it is not necessary to create a test driver at the stage of unit testing, and it is possible to shorten the time required for unit testing, and it is not necessary to create a test driver. Even those who do not have the knowledge to create test drivers can easily perform unit tests simply by setting operating environment specifications.

  Also, a plurality of template test drivers 23 are set according to the computing device to be incorporated, and the template test driver 23 is generated in consideration of an operating environment that depends only on the computing device, and further includes the computing device to be incorporated. The operating environment specifications depending on the power supply device 50 are set by the user when the control program is created. Therefore, by creating a template test driver in advance according to a plurality of different types of computing devices that are assumed to be incorporated, for example, control that incorporates the computing device corresponding to the template test driver. If it is a program, when the control program is created, a model test driver corresponding to the arithmetic device in which the control program is incorporated is selected, and various operating environment dependent on the control device such as a power supply device including the arithmetic device are selected. When the user inputs and sets the source, the source code of the control program including the test driver can be easily created.

In the above-described embodiment, the case where the present invention is applied to the control program for the power supply device has been described. However, the present invention is not limited to this, and for the control target device drive control incorporated in the arithmetic device for driving and controlling the control target device. Any control program that operates under an operating environment that depends on the device to be controlled and the arithmetic device can be applied.
In the above embodiment, as shown in FIG. 11, the control processing function (function function () in the case of FIG. 3) and the unit test data input / output function (in the case of FIGS. 5 and 7, the function test_input ( ) And test_output ()) are called in order to compare the output result when given a predetermined test pattern as an input with the expected value and verify the operation of the control processing function. However, the present invention is not limited to this, and it is also possible to create a test driver that performs operation verification by other operations.

  In the above-described embodiment, the case has been described in which the test driver determines whether or not the operation verification result of the control program is acceptable by comparing with the expected value. However, the present invention is not limited to this. The output data is displayed on the screen or sent to the outside via a communication line, for example, so that the user is notified of the output data, and the user makes a pass / fail decision based on the output data. May be.

In the above embodiment, the case where a plurality of template test drivers are provided has been described. However, the present invention is not limited to this, and the present invention is applicable even when only a template test driver corresponding to one arithmetic device is provided. It is also possible to create a test driver source code dedicated to a certain arithmetic unit.
In the above embodiment, the case where the test driver is created when creating the control program has been described. However, the present invention is not limited to this. For example, the present invention can be applied even when a control block diagram of a control program is created in advance. In this case, after the control block diagram is read, the control block diagram is associated with the test pattern input element and the output pattern storage element, and thereafter, the same processing as described above may be performed. .

  Here, in the above embodiment, the process of step S13 in FIG. 12 corresponds to the test pattern input association means, the process of step S15 corresponds to the output pattern association means, and the process of step S14 is the test pattern input code. Corresponding to the automatic generation means, the processing in step S16 corresponds to the output pattern storage code automatic generation means, the template test driver 23 corresponds to the test driver template, and the operating environment input by the input device 1 in the processing in step S17. The process of reading the specifications corresponds to the operating environment specification input means.

DESCRIPTION OF SYMBOLS 1 Input device 2 Program automatic generation apparatus 21 Control block diagram specification description means 21a Test pattern input element description means 21b Output pattern storage element description means 22 Control processing code automatic generation means 22a Test pattern input code automatic generation means 22b Output pattern storage code automatic Generating means 22c Test driver code automatic generating means 23 Template test drivers 101 to 104 Variable input terminal elements 105 to 107 Arithmetic elements 108 and 109 Variable output terminal elements 201 Test pattern input element 301 Output pattern storage element

Claims (3)

In an automatic program generation device that generates a compilable source code from a control block diagram that represents a flow of control processing by a single control program by connecting variable input terminal elements, variable output terminal elements, and arithmetic elements,
Test pattern input associating means for associating the variable input terminal element of the control block diagram with the test pattern input to the variable input terminal element;
Output pattern associating means for associating the variable output terminal element of the control block diagram with the storage destination of the output pattern output from the variable output terminal element;
A test pattern that generates, as a test pattern input code, source code for inputting the associated test pattern to the variable input terminal element of the control block diagram based on the associated variable input terminal element and the test pattern An input code automatic generation means;
Based on the associated variable output terminal element and the storage destination of the output pattern, the output of the variable output terminal element in the control block diagram is read and the output is stored in the storage destination of the associated output pattern Output pattern storage code automatic generation means for generating source code to be output as output pattern storage code
A test driver model stored in advance in a storage area and used for unit testing of the control program by an arithmetic unit incorporating the one control program;
Operating environment specification input means for inputting operating environment specifications for specifying the operating environment of the one control program;
From the test driver template, the operating environment specifications input by the operating environment specification input means, the test pattern input code and the output pattern storage code, and the source code of the one control program, the unit test Test driver code automatic generation means for generating the source code of the test driver,
An automatic program generation device comprising: The test driver template is generated corresponding to each of a plurality of different types of arithmetic devices,
2. The program automatic generation according to claim 1, wherein the test driver code automatic generation unit generates a source code of the test driver using a specified test driver template among the plurality of test driver templates. Generator. The test pattern input associating means includes means for describing a test pattern input element that expresses a function of giving the test pattern to the variable input terminal element of the control block diagram, and a connection terminal included in the test pattern input element; By prompting the user for the association by displaying the variable input terminal element,
The output pattern association means includes means for describing an output pattern storage element that expresses a function of storing the numerical value of the variable output terminal element of the control block diagram, and the connection terminal included in the output pattern storage element and the 3. The automatic program generation apparatus according to claim 1, wherein the association is prompted to the user by displaying a variable output terminal element.

Images