JP2006024006A - Test case generation device, test case generation program, model base development program, device and program for diagnosing validity of source code generation, and method for developing model base - Google Patents

Abstract

<P>PROBLEM TO BE SOLVED: To more reflect model developer's intention to a test case for a source code generated on the basis of a model. <P>SOLUTION: A personal computer 1 reads out the source code generated based on the model (step 405), reads out the allowable upper limit value, allowable lower limit value and accuracy information of input data to the model, which are included in the model (step 420), reads out a simulation state analysis result of the model (step 430), and generates a test case of the source code on the basis of the processing contents of the read source code, the information of the input data and the simulation state analysis result (step 440). <P>COPYRIGHT: (C)2006,JPO&NCIPI

Description

  The present invention relates to a test case generation apparatus and program for generating a test case of a source code based on the processing content of the source code generated based on the model, and source code for diagnosing the validity of the source code generation from the model. The present invention relates to a generation validity diagnosis apparatus and program, and a model-based development program.

  Currently, in the program for signal input / output control such as the operation of the engine ECU of the vehicle, the developer does not write the source code of the program directly, and the function of the target program can be created more easily and visually. In some cases, it is described in the form of a good “model” (for example, see Patent Document 1).

  The developer uses a workstation, personal computer, etc., with a program development environment that supports this model, and simulates the input / output of the data defined by this model. Generate.

  Program development that generates source code from a model is called model-based development. In this model-based development, programs such as a code generation tool for generating source code and a simulation tool for simulation are often provided as part of a model-based development program as an integrated environment.

  As a program development environment corresponding to model-based development, there is Matlab (registered trademark) of Mathworks (registered trademark), for example. In Matlab (registered trademark), a developer describes a model that expresses target data input / output using Simulink (registered trademark), which is software that provides an additional function to Matlab (registered trademark).

  The model is described as a combination of a block as a functional unit that realizes at least one of data calculation, data input, and data output, and a connection indicating an input / output relationship between the blocks. In other words, an aggregate that represents data input / output such as vehicle control by connecting a plurality of blocks by connection is a model.

  In such a model-based development environment, quality evaluation of models and source code is often performed. Quality evaluation means evaluating the quality of the model and source code as a program product based on various criteria. The quality evaluation criteria include, for example, whether or not there is a branch destination that is not executed in the model (that is, coverage).

  In these quality assessments, it is judged whether the conversion from the model to the source code is performed properly as intended, that is, whether the input / output functions described by the model are correctly reflected in the source code. There is also a purpose.

As a tool for evaluating the quality of source code, there is a tool called ATG (Automatic Test Case Generation). The ATG has a function of analyzing the contents of the source code (for example, instruction branch conditions) and generating test input data (hereinafter referred to as test cases) in which as many instruction branch destination processes as possible are executed. .
Japanese Patent Laid-Open No. 2000-20291

  However, test cases generated based only on the contents of such source code reflect the nature (eg, range and accuracy) of the input data assumed by the developer when creating the model from which the source code was based. I can't say that. Therefore, when the test cases generated based only on the contents of the source code are insufficient for the execution test of the source code, or there are things that are unnecessary for the execution of the source code Etc. may occur.

  In view of the above points, the first object of the present invention is to make the test case for the source code generated based on the model more reflective of the intention of the model developer.

  In addition, based on the fact that the test case generated by ATG is a test case based on the contents of the source code, this test case is used as an input, and the model that is the source code is simulated, The second object is to diagnose the validity of the generation of the source code based on it.

  A feature of the present invention for achieving the first object is that the test case generation device reads source code generated based on a model, reads information in the model, and processes the read source code The test case of the source code is generated based on the contents and the information in the read model.

  In this way, since the test case is generated based on the information in the model in addition to the contents of the source code, it more reflects the intention of the model developer.

  In addition, the information in the model to be read may be specifically at least one of an allowable upper limit value and an allowable lower limit value of input data to the model. As a result, the generated test case takes into account one of the allowable upper limit value and the allowable lower limit value.

  In addition, the information in the model to be read may be specifically accuracy information of input data to the model. As a result, the generated test case takes into account this accuracy information.

  The invention realized as a test case generation device having such a first feature can also be realized as a program for causing an arithmetic unit to realize the function of the test case generation device.

  Such a program can be a component of a model-based development program that causes an arithmetic unit to realize a function of generating a source code based on a model describing a control processing operation.

  The second feature of the present invention for achieving the first object described above is that the test case generation device reads the source code generated based on the model, and reads the simulation state analysis result of the model. The test case of the source code is generated based on the processing content of the read source code and the information of the read analysis result.

  In this way, the test case is generated based on the simulation status analysis result of the model that the source code is based on in addition to the contents of the source code, so it more reflects the intention of the model developer. It has become.

  Specifically, when the target model receives the output of the processing result of the previous model as an input, the information of the output data of the previous model is read as the simulation status analysis result. The test case of the source code may be generated based on the information of the output data. In this way, the generated test case takes into account the information of the input data to the original model of the source code that is the target of the test case.

  The analysis result to be read may be specifically at least one of an upper limit value and a lower limit value of the input data. In this way, the generated test case takes into account any one of the upper limit value and the lower limit value of data that the model receives input.

  The invention realized as a test case generation device having the second feature as described above can also be realized as a program for causing an arithmetic unit to realize the function of the test case generation device.

  Such a program can be a component of a model-based development program that causes an arithmetic unit to realize a function of generating a source code based on a model describing a control processing operation.

  The third feature of the present invention that achieves the second object described above is that the source code generation validity diagnosis device inputs a test case generated based on the contents of the source code generated from the model to the model. Based on the result of the simulation of the model performed as described above, the display information about the validity of the source code generation is stored in the storage medium.

  By doing so, the validity of the source code generation based on the model is displayed.

  Specifically, the source code generation validity diagnostic device reads out information on the part of the model that was not executed by the simulation as a result of the simulation of the model performed by inputting the above test case into the model. The display information about the validity of the source code generation may be stored in a storage medium based on the information of the model portion that has not been executed.

  Further, the invention realized as the source code generation inappropriate partial display device having the third feature as described above can also be realized as a program for causing the arithmetic unit to realize the function of the source code generation inappropriate partial display device. It is.

  Such a program can be a component of a model-based development program that causes an arithmetic unit to realize a function of generating a source code based on a model describing a control processing operation.

  In addition, the present invention provides a procedure for generating source code based on a model that describes a processing operation of control, a procedure for reading the generated source code, a procedure for reading information in the model, and a read source Based on the processing contents of the code and the information in the read model, a procedure for generating a test case of the source code and a procedure for simulating the model with the generated test case as an input are provided. It can also be understood as a model-based development method.

  In addition, the present invention provides a procedure for generating source code based on a model describing a processing operation of control, a procedure for performing simulation of the model, a procedure for analyzing simulation status of the model, and a generated source A procedure for reading the code, a procedure for reading the simulation status analysis result of the model, and a procedure for generating a test case of the source code based on the processing content of the read source code and the read analysis result. It can also be understood as a model-based development method provided.

  Hereinafter, an embodiment of the present invention will be described. FIG. 1 shows a configuration of a personal computer 1 as an automatic model combining apparatus according to this embodiment. The personal computer 1 includes a display 11, an input device 12, a RAM 13, a ROM 14, an HDD (hard disk drive) 15, a CPU (corresponding to a computing device) 16, and the like.

  The display 11 displays the video signal received from the CPU 16 as a video for the user (developer).

  The input device 12 includes a keyboard, a mouse, and the like, and outputs a signal corresponding to the operation to the CPU 16 when operated by the user.

 The RAM 13 is a readable / writable volatile memory, the ROM 14 is a read-only nonvolatile memory, and the HDD 15 is a readable / writable nonvolatile memory. In the ROM 14 and the HDD 15, programs that are read and executed by the CPU 16 are stored in advance. The HDD 15 stores a model to be described later.

  The RAM 13 is used as a storage area for temporarily storing the program when the CPU 16 executes the program stored in the ROM 14 and the HDD 15 and a storage area for temporarily storing work data. .

  When the personal computer 1 is activated when the personal computer 1 is turned on, the CPU 16 reads and executes a predetermined boot program from the ROM 14, and loads an operating system (hereinafter referred to as OS) and other programs defined in the boot program from the HDD 15. The activation process is performed by reading and executing. After the startup process, until the power is turned off, the CPU 16 executes various programs recorded in the HDD 15 as processes on the OS based on a signal from the input device 12, a schedule predetermined by the OS, and the like. . In the startup process and process, the CPU 16 receives a signal input from the input device 12 as necessary, outputs a video signal to the display 11, and controls data read / write to the RAM 13 and the HDD 15. I do.

  The CPU 16 of the present embodiment is configured to execute a group of programs to be described later as an integrated development environment for generating C source code to be executed by the ECU for vehicle control from the model.

  Hereinafter, the processing performed by the CPU 16 executing the program will be described as processing performed by the program itself.

  FIG. 2 shows the configuration of the model-based development program 100 as the integrated development environment. The model base development program 100 includes an automatic code generation program 110, a model information extraction program 120, an automatic test case generation program 130, a C source code execution program 140, a model simulation program 150, a model simulation situation analysis program 160, and an execution result comparison program 170. And a group of programs of the result display program 180. The execution of these program groups is started based on an operation of starting execution using the input device 12 of the user.

  The automatic code generation program 110 reads a model 210 created by a user and stored in the HDD 15, and generates C source code in which processing for realizing data input / output processing indicated by the read model 210 is described. To do. An example of an automatic code generation program is Real Time Workshop (registered trademark) of Mathworks (registered trademark). The model may be created when the CPU 16 executes a model creation program such as a model editor and the user performs a model creation work using the input device 12 at the time of execution. . Such a model editor may also be included in the model base development program 100.

  Here, the model will be described. The model is described as a combination of blocks representing at least one of the functions of data calculation, data input and data output in time series, and a connection indicating an input / output relationship between the blocks. An example of the model is the Simulink (registered trademark) model of Mathworks (registered trademark).

  FIG. 3 illustrates an example of the model. The figures 31 to 42 in FIG. 2 represent blocks, and the arrow lines connecting these blocks represent the connections.

  The input blocks 31 and 32 represent a function of receiving external data input and outputting the received data to the subsequent stage of connection (arrow side). The constant blocks 33 to 36 represent functions for outputting constants that do not change with time to the subsequent stage of the connection. The specific value of the constant can be set by the developer for each constant block. The binary addition block 37 represents a function of adding data received via two connections and outputting the result to the subsequent stage of the connection. The delay block 38 represents a function of delaying the data received through the connection by a predetermined time and outputting it to the subsequent stage of the connection.

  The switch blocks 39 and 40, depending on whether the value of the condition input data received through the connection is 1 or other than that, of the two selection input data received through the other two connections This represents the function to output either of them after the connection. In FIG. 3, among the input connections to the switch blocks 39 and 40, the middle connection indicates the condition input, and the upper and lower connections indicate the selection input.

  The comparison block 41 compares the two input data received through the connection, and if the first input data is larger than the second data, the value 1 is indicated, otherwise the value 0 is indicated. , Represents the function to output to the subsequent stage of the connection.

  The output block 42 has a function of outputting data received via the connection to the outside.

  In the model of FIG. 3 composed of such a combination of blocks 31 to 42 and connection, as long as the value of data input from the outside to the input block 31 remains other than 1, the switch block 39 causes the delay block 38 to A value that increases by 1 is output for each delay time. If the output is less than 1000, the value of 760, which is the output of the constant block 350, is output to the outside. If the output is 1000 or more, the value is input to the input block 32 from the outside. The value is output externally. When the value of data input from the outside to the input block 31 is 1, the output of the switch block 39 is reset to zero.

  In this manner, the model is configured by connecting a plurality of blocks by connection, and expresses data input / output with the outside by the connection structure.

  In the present embodiment, the model can embed information on the maximum allowable value, minimum allowable value, and accuracy of input data to each block in a predetermined format. For example, the additional information of each block may be input using the input device 12 by the model editor. In this case, the predetermined format means that it is stored as a predetermined item in the additional information. This information is not reflected in the processing content represented by the C source code generated by the automatic code generation program 110.

  FIG. 4 shows C source code generated by the automatic code generation program 110 based on the model shown in FIG. In this C source code, the input blocks 31 and 32 are represented as variables In1 and In2, respectively, the output block 42 is represented as a variable Out, the function of the switch block 39 is represented by an if block 45, the switch block 40 and the comparison The functions of the block 41 and the output block 42 are expressed by an if block 46.

  The model information extraction program 120 reads from the HDD 15 the model 210 that is the source of the C source code generated by the automatic code generation program 110, and the allowable maximum value and the allowable minimum of the input data embedded in each block of the read model. The value and accuracy information are read, and the read data is passed to the automatic test case generation program 130.

  In the present embodiment, when a program transfers data to another program, the transfer source program reads the predetermined program (storage area, file, etc.) that the transfer destination program reads into the HDD 15 or RAM 13. Name) means to store the data.

The automatic test case generation program 130 generates a test case 230 based on the data passed from the model simulation situation analysis program 160 and the model information extraction program 120 and the C source code generated by the automatic code generation program 110. It is stored in the HDD 15. A test case refers to a model and a process for inspecting the quality of C source code generated from the model by the automatic code generation program 110 (for example, coverage test) so that the quality inspection is sufficient. Test data to be input to the model and source code. The test case where the quality inspection is sufficient is, for example, input data having a variety such that all the blocks of the model or all the statements of the C source code are executed as much as possible. The quality inspection may be performed on the entire generated C source code or may be performed independently for each predetermined execution unit portion such as a function included in the C source code. The input data here refers to data that is input to a portion to be subjected to quality inspection. Details of the processing of the automatic test case generation program 130 will be described later. Since part of the model is also a combination of blocks and connections, the C source code execution program 140, which can be called a model, is used as an execution unit of the C source code generated by the automatic code generation program 110. The described processing content is executed. One purpose of this execution is the quality inspection described above. During the execution, the test data 230 generated by the automatic test case generation program 130 is used as input data. The C source code execution program 140 causes the HDD 15 to store the output data of the executed C source code in the execution unit and the time-series list of executed statements as the execution result data 240.

  The model simulation program 150 reads the model 210 that is the source of the C source code generated by the automatic code generation program 110 from the HDD 15 and executes simulation of the model. The simulation refers to a process of reproducing on the personal computer 1 a time change of input / output of data represented by the model. In the simulation of the model, the simulation may be performed for each execution unit instead of the entire model.

  The source code execution unit executed by the C source code execution program 140 is a source code generated from the execution unit portion of the model executed by the model simulation program 150. That is, the execution unit of the C source code executed by the C source code execution program 140 corresponds to the execution unit of the model executed by the model simulation program 150.

  In this simulation, the test case 230 generated by the automatic test case generation program 130 is used as external data input. Then, the model simulation program 150 stores the output data to the outside by the simulation of the model, the execution time and input / output data for each block in the HDD 15 as the execution result data 240, and further stores it in the model simulation situation analysis program 160. hand over. For the switch block and the like, information indicating which of the selection inputs is output is included in the execution result data 240.

  The model simulation situation analysis program 160 analyzes the execution result data passed from the model simulation program 150, and the validity of the C source code generated by the automatic code generation program 110, that is, the validity of the processing of the model base development program 100. Furthermore, the test case generation data is generated and passed to the automatic test case generation program 130. Details of the processing of the model simulation situation analysis program 160 will be described later.

  The execution result comparison program 170 reads the execution result data 240 stored in the HDD 15 by the C source code execution program 140 and the model simulation program 150, compares the execution results, and passes the comparison results to the result display program 180. Note that the comparison refers to a comparison of execution result data of the model simulated by the model simulation program 150 and the C source code generated by the automatic code generation program 110 based on the model. As a comparison item, there is data output by each model and C source code for the same input data. Then, the execution result comparison program 170 makes a pass / fail judgment as to whether or not the results match, and passes the pass / fail judgment information to the result display program 180.

  The result display program 180 outputs the data passed from the execution result comparison program 170 and the model simulation situation analysis program 160 to the display 11.

  Next, specific processing of the above-described model simulation situation analysis program 160 will be described. FIG. 5 shows a flowchart of the model simulation situation analysis program 160. The model simulation situation analysis program 160 first reads out the execution result data passed by the model simulation program 150 in step 605.

  Subsequently, in step 610, a portion of the model that has not been executed is extracted based on the data of the execution result. The part that has not been executed means a block whose execution time is zero and a part of a selection input that has not been output at all in the switch block.

  Subsequently, in step 620, among the selected input parts extracted in step 610 and not output at all in the switch block, the condition input data of the switch block having the part is a constant, Exclude from group. It should be noted that the portion may be excluded only when the condition block that outputs the conditional input of the switch block having the portion is a constant block.

  In this way, the part that was not executed is extracted, and the part included in the switch block whose condition input data is a constant is excluded. As a result, it is estimated that the source code generation is not valid. Are extracted.

  This is because the test case generated by the automatic test case generation program 130 should have a variation that executes all the branches of the C source code as much as possible. The fact that there is a part that has not been executed despite the input is based on the assumption that there is a high possibility that there is a part that is not appropriate for the processing of the model part of the automatic code generation program 110. If the condition input data to the switch block in the model is a constant, the part where the condition input data is a constant is excluded even if the processing of the automatic code generation program 110 is valid. This is because one selection input of the switch block is not output regardless of the value of the test case.

  Subsequently, in step 630, it is determined whether or not there is at least one portion extracted by the processing of steps 610 and 620, and it is estimated that the generation of the C source code is not valid. If there is, the generation of the C source code is performed. The display data indicating that is not valid is passed to the result display program 180.

  Subsequently, in step 640, the input / output data information of each block in the execution result data read in step 605 is passed to the automatic test case generation program 130 as a simulation state analysis result.

  After step 640, the process of the model simulation situation analysis program 160 ends.

  Next, details of the process of the automatic test case generation program 130 will be described. First, in step 405, the automatic test case generation program 130 reads from the HDD 15 the C source code 220 of the execution unit part that is the target of generating the test case this time.

  In step 410, the read C source code is analyzed. Specifically, the number, type, etc. of input data that can be input to the C source code from the outside (by function arguments, etc.) are specified, and under what variable conditions in the C source code, Etc., and how the variable of the condition changes depending on the input data is specified.

  Subsequently, in step 420, the model information passed by the model information extraction program 120, that is, the allowable maximum value, allowable minimum value, and accuracy information of the input data to the model execution unit corresponding to the C source code is read.

  In step 430, the model execution situation analysis result is acquired. Specifically, the input / output data information of each block passed in step 640 of the model simulation situation analysis program 160 is read.

  Subsequently, in step 440, a test case is generated based on the model information and the model execution situation analysis result in addition to the analysis result in step 410. Specifically, first, based on only the analysis result of step 410, a group of input data values that can execute as many conditional branch destinations in the C source code as possible is specified.

  Then, based on the model information acquired in step 420, if the group of values of the identified input data has a value larger than the allowable maximum value in the model information for the input data, Change the value greater than the maximum allowable value to a value smaller than the maximum allowable value. Further, when the value of the specified input data group has a value smaller than the allowable minimum value in the model information for the input data, a value smaller than the allowable minimum value is set to a value larger than the allowable minimum value. change. However, when the above change is made, the change is made so that the number of conditional branch destinations that are not executed by this change is minimized.

  In addition, when a value that becomes a boundary at which a branch destination is switched is known for a certain input, a value obtained by changing the boundary value up and down by the same value as the accuracy in the model information is added to the input data. For example, if the value of some input data exceeds 0.5, one branch destination is executed in a certain conditional branch in the C source code, and if the value is 0.5 or less, the other branch destination is executed. In such a case, if the accuracy information about the input data has a value of 0.1, 0.49 and 0.51 are included as test cases for the input data.

  Furthermore, for input data that does not include information on the allowable maximum value or the allowable minimum value in the model information, the value of the input data is changed using the model execution situation analysis result. Specifically, among the input data to each block acquired in step 430, the input data to the model execution unit corresponding to the C source code is specified, and the upper limit value and the lower limit value of the input data are specified. . It should be noted that whether or not the model execution situation analysis result is used for test case generation can be switched by setting by a user or setting of another program executed by the CPU 16.

  When the group of input data values specified based on the analysis result of the C source code has a value larger than the specified maximum value, a value greater than the maximum value is set to a value smaller than the maximum value. Change to Further, when the value of the input data group specified based on the analysis result of the C source code has a value smaller than the specified minimum value, a value smaller than the minimum value is set to a value larger than the minimum value. change. However, when this change is made, the change is made so that the number of conditional branch destinations that are not executed by this change is minimized.

  In step 450, the generated test case 230 is stored in the HDD 15. After step 450, the process of the automatic test case generation program 130 ends.

  Next, FIG. 7 shows an example of result display that the result display program 180 causes the display 11 to perform.

  This display includes a comparison result display unit 51 and a validity diagnosis unit 52. The comparison result display unit 51 represents the display data passed from the execution result comparison program 170 in a table format. Each line includes an input value (In1, In2) to the model and the C source code, an output value of the model, an output value of the C source code, a difference between these two output values, and a pass / fail judgment whether or not they match. Are included in this order.

  The validity diagnosis unit 52 represents the display data passed from the model simulation situation analysis program 160. If the data indicates that the C source code generation process is valid, the validity diagnosis unit 52 of FIG. Thus, “OK” is displayed, and “NG” is displayed if the data indicates that the C source code generation processing is invalid.

The procedure for using the program group of the model base development program 100 as described above will be described below. The execution of the program group according to the following procedure may be performed manually by the user using the input device 12, or the CPU 16 executes a program stored in the HDD 15 in advance so as to realize the execution of the program group according to the procedure. You may come to do. The usage procedure is as described in the following procedure (1) to procedure (12).
Procedure (1): The automatic code generation program 110 generates the C source code 220 from the model 210.
Procedure (2): The model information extraction program 120 is made to extract the model information of the model 210.
Procedure (3): The automatic test case generation program 130 is caused to generate a test case 230 for the entire C source code 220 based on the output of the C source code 220 and the model information extraction program 120. At this time, the result of the model simulation situation analysis program 160 is set not to be used.
Step (4): The model simulation program 150 is caused to perform simulation of the entire model 210.
Step (5): The model simulation situation analysis program 160 performs a simulation situation analysis (corresponding to steps 605 to 640) for the simulation result of the model 210, and the input / output data information in each block of the model 210 is stored in the HDD 15 Remember me.
Step (6): Based on the C source code 220, the output of the model information extraction program 120, and the output of the model simulation situation analysis program 160 in the automatic test case generation program 130, one execution unit (for example, 1) Test case 230 ′ for two functions).
Procedure (7): The C source code execution program 140 is caused to execute one execution unit of the C source code 220 with the test case 230 ′ generated by the immediately preceding procedure (6) as an input.
Step (8): The model simulation program 150 is caused to perform simulation of one execution unit in the model 210 corresponding to this one execution unit.
Step (9): The model simulation situation analysis program 160 performs simulation situation analysis on the simulation result of the one execution unit of the model 210, and input / output data information in each block in the one execution unit of the model 210 Is stored in the HDD 15.
Step (10): The model simulation situation analysis program 160 performs simulation situation analysis on the simulation result of the one execution unit of the model 210, and the input / output data information in each block of the one execution unit of the model 210 is stored in the HDD 15 Remember me.
Procedure (11): The execution result comparison program 170 is made to compare the execution result data 240 for the immediately preceding C source code execution program 140 and the model simulation program 150.
Procedure (12): The result display program 180 displays the data passed by the execution of the immediately preceding model simulation situation analysis program 160 and the execution result comparison program 170.

  In addition, you may repeat said procedure (6)-procedure (9) in multiple times as needed. The number of times may be, for example, a value based on a predetermined constant (for example, 5), or the test cases generated in the previous iteration and the current iteration are compared, and the difference is less than a predetermined reference. It may be the number of stories at the time.

  As described above, the CPU 16 executes the program group of the model-based development program 100, so that the personal computer 1 reads the source code generated based on the model (see step 405 in FIG. 6), and the model. The upper limit value, the allowable lower limit value, and the accuracy information of the input data to the model included in the model are read (see step 420), the simulation status analysis result of the model is read (see step 430), and the read source code The test case of the source code is generated on the basis of the processing contents of (1), the information of the input data, and the simulation state analysis result (see step 440).

  In this way, in addition to the contents of the source code, the test case includes the information of the input data to the model included in the model that is the source code source, and the source code source. Since it is generated based on the simulation result analysis result of the model that has become, it more reflects the intention of the model developer.

  In the above embodiment, the test case is generated based on the input data information to the model in addition to the contents of the source code. However, the test case is not limited to the input data information and is included in each block of FIG. It is also conceivable to generate a test case based on information, information on connections connecting blocks, and the like.

  In addition, when the target model receives the output of the processing result of the model in the previous stage as an input, the information of the output data of the previous model is read as the simulation status analysis result, and the output Based on the data information, a source code test case is generated.

  Further, the personal computer 1 reads the result of the simulation performed using the test case generated by the automatic test case generation program 130 as an input to the model (see step 605 in FIG. 5), and based on the read result, The display information that is appropriate and invalid for generating the source code is stored in a storage medium, and is passed to the result display program 180.

  In the above-described embodiment, the model simulation situation analysis program 160 outputs valid / invalid information to the result display program 180. However, this need not be the case. For example, when the CPU 16 executes the model simulation situation analysis program 160, the personal computer 1 determines that the processing of the automatic code generation program 110 in the model is not valid based on the read simulation result of the model. The estimated part may be extracted, and display information for the extracted part may be stored in a storage medium. This can be realized if, for example, in step 630, display data representing the portion extracted in steps 610 and 620 is passed to the result display program 180.

  In the above embodiment, the personal computer 1 corresponds to a test case generation device and a code generation validity diagnosis device.

  The automatic test case generation program 130 corresponds to a test case generation program.

  The model simulation situation analysis program 160 corresponds to a code generation validity diagnosis program.

  The CPU 16 functions as a source code reading unit by executing step 405 of the automatic test case generation program 130.

  The CPU 16 functions as a model information reading unit by executing step 420 of the automatic test case generation program 130.

  Further, the CPU 16 functions as simulation information reading means by executing step 430 of the automatic test case generation program 130.

  Further, the CPU 16 functions as a generation unit by executing steps 410 and 440 of the automatic test case generation program 130.

  Further, the CPU 16 functions as a model simulation result reading unit by executing step 605 of the model simulation situation analysis program 160.

  The CPU 16 functions as a storage control unit by executing steps 610, 620, and 630 of the model simulation situation analysis program 160.

It is a figure which shows the hardware constitutions of the personal computer 1 which concerns on embodiment of this invention. It is a figure which shows the structure of the model base development program 100 which CPU16 of the personal computer 1 runs. It is a figure which shows an example of a model. FIG. 4 is a diagram showing a list of C source code generated by an automatic code generation program 110 from the model shown in FIG. 3. It is a flowchart which shows the detail of a process of the model simulation condition analysis program 160. 5 is a flowchart showing details of processing of an automatic test case generation program 130. It is a figure which shows the display content of the display 11 by the process of the result display program 180. FIG.

Explanation of symbols

DESCRIPTION OF SYMBOLS 1 ... Personal computer, 11 ... Display, 12 ... Input device, 13 ... RAM,
14 ... ROM, 15 ... HDD, 16 ... CPU, 31, 32 ... input block,
33 to 36 ... constant block, 37 ... binary add block, 38 ... delay block,
39, 40 ... switch block, 41 ... comparison block, 42 ... output block,
45, 46 ... if block, 51 ... comparison result display part, 52 ... validity diagnosis part,
100: Model-based development program, 110: Automatic code generation program,
120 ... Model information extraction program, 130 ... Automatic test case generation program,
140 ... C source code execution program,
150 ... Model simulation program,
160 ... Model simulation situation analysis program,
170 ... execution result comparison program, 180 ... result display program,
210 ... Model, 220 ... C source code, 230 ... Test case,
240: Execution result data.

Claims (16)

Source code reading means for reading a source code generated based on a model describing a processing operation of control;
Model information reading means for reading information in the model;
A test case generation device comprising: generation means for generating a test case of the source code based on the processing content of the read source code and the read information in the model. The model information reading means reads at least one of an allowable upper limit value and an allowable lower limit value of input data to the model,
2. The test case generation according to claim 1, wherein the generation unit generates a test case of the source code based on at least one of the read allowable upper limit value and the allowable lower limit value. apparatus. The model information reading means reads accuracy information of input data to the model included in the model,
The test case generation apparatus according to claim 1, wherein the generation unit generates a test case of the source code based on the read accuracy information. A source code reading means for reading a source code generated based on a model describing a process for input data;
Model information reading means for reading information in the model, and generating means for generating a test case of the source code based on the processing content of the read source code and the read information in the model, A test case generation program that makes an arithmetic device function. A model-based development program for causing an arithmetic unit to realize a function of generating a source code based on a model describing a processing operation of control,
Source code reading means for reading the generated source code;
Model information reading means for reading information in the model, and generating means for generating a test case of the source code based on the processing content of the read source code and the read information in the model, A model-based development program that makes computing devices function. Source code reading means for reading a source code generated based on a model describing a processing operation of control;
Simulation information reading means for reading the simulation status analysis result of the model;
A test case generation apparatus comprising: generation means for generating a test case of the source code based on the processing content of the read source code and the read analysis result. The model receives the output data of the processing result of the model in the previous stage as input data,
The simulation information reading means reads information on the output data of the model in the preceding stage as the simulation situation analysis result,
The test case generation apparatus according to claim 6, wherein the generation unit generates a test case of the source code based on the read information of the output data. The simulation information reading means reads at least one of an upper limit value and a lower limit value of the output data of the model in the preceding stage,
The test case generation device according to claim 7, wherein the generation unit generates a test case of the source code based on at least one of the read upper limit value and lower limit value. Source code reading means for reading a source code generated based on a model describing a processing operation of control;
Simulation information reading means for reading the simulation status analysis result of the model, and generating means for generating a test case of the source code based on the processing content of the read source code and the read analysis result, A test case generation program that makes an arithmetic device function. A model-based development program for causing an arithmetic unit to realize a function of generating a source code based on a model describing a control processing operation,
Source code reading means for reading source code generated based on the model;
Simulation information reading means for reading the simulation status analysis result of the model, and generating means for generating a test case of the source code based on the processing content of the read source code and the read analysis result, A model-based development program that makes computing devices function. A model simulation result reading means for reading a simulation result of the model performed by inputting a test case generated based on the content of the source code generated from the model describing the processing operation of the control to the model; ,
A source code generation validity diagnosis apparatus comprising: storage control means for storing display information about the validity of the source code generation in a storage medium based on the read simulation result. The model simulation result reading means reads information on a part of the model that was not executed by the simulation as a result of the simulation of the model performed by the test case being input to the model,
12. The storage control unit according to claim 11, wherein display information about the validity of the source code generation is stored in a storage medium based on information on the part of the model that has not been executed. Source code generation validity diagnosis device. A model simulation result reading means for reading a simulation result of the model performed by inputting a test case generated based on the content of the source code generated from the model describing the processing operation of the control to the model; And a source code generation validity diagnostic program for causing an arithmetic unit to function as storage control means for storing display information about the validity of the source code generation in a storage medium based on the read result of the simulation. A model-based development program for causing an arithmetic unit to realize a function of generating a source code based on a model describing a control processing operation,
A model simulation result reading means for reading a simulation result of the model performed by inputting a test case generated based on the content of the source code generated from the model describing the processing operation of the control to the model; And a model-based development program for causing an arithmetic unit to function as storage control means for storing display information about the validity of the source code generation in a storage medium based on the read simulation result. A procedure for generating source code based on a model that describes the processing operation of control,
A procedure for reading the generated source code;
A procedure for reading information in the model;
A procedure for generating a test case of the source code based on the processing content of the read source code and the information in the read model;
A model-based development method comprising: a procedure for simulating the model using the generated test case as an input. A procedure for generating source code based on a model that describes the processing operation of control,
A procedure for simulating the model;
A procedure for analyzing the simulation status of the model;
A procedure for reading the generated source code;
A procedure for reading the simulation status analysis result of the model,
A model-based development method comprising: a procedure for generating a test case of the source code based on the processing content of the read source code and the read analysis result.

Images