JP4580670B2 - Test case generation method and test case generation apparatus - Google Patents

Description

  The present invention relates to a test case generation method capable of efficiently generating a test case used for a test for determining whether or not a computer program executes a desired process, and a test case generation for implementing the method. The present invention relates to an apparatus and a computer program for causing a computer to execute the method.

  In order to verify the quality of the computer program, a test is performed to determine whether or not the computer program can execute a desired process. In order to perform a highly reliable test, it is necessary to create an appropriate test case that covers the items to be verified without omission. However, due to time and cost constraints, the number of test cases that can be performed is limited. Therefore, how to cover the verification target items without omission with a small number of test cases becomes a problem.

  Non-Patent Document 1 proposes the following three methods for rationally reducing the number of test cases.

  The first method is the “equivalence division method”. The equivalence division method means “a method of treating input data as a subset having the same characteristics instead of identifying each piece of input data and performing one test on the subset”. Here, a subset as described above is referred to as “equivalence”, and dividing an input data item (hereinafter referred to as a factor) into a computer program into equivalent values is referred to as “equivalence division”.

  In this equivalence partitioning method, an infinite combination of factor values is based on the computer program specification, and the equivalent equivalence (subset defined as the correct input range by the computer program specification) and invalid equivalence (valid equivalence). And a subset that is defined as an incorrect input range according to computer program specifications). Then, it is assumed that when the computer program correctly operates with respect to one specific input among the same values, it is confirmed that the computer program operates correctly with respect to other inputs within the same value. As a result, the number of test cases can be reduced as compared with the case of confirming whether the computer program operates correctly for all input data.

  The second method is a “causal result graph technique”. The causal result graph technique refers to “a technique for rationally reducing combinations between inputs and maintaining test completeness in test item design”. More specifically, after equivalence partitioning, a set of input equivalence that shares a logical relationship with each output of the computer program is obtained, and the relationship between the input equivalence (cause) and output (result) is expressed as a Boolean algebra. To obtain a cause-and-effect graph. Then, a decision table in which the cause / result graph is represented in a table format is created, and a test case is obtained based on the decision table. Since the test items are grouped in the decision table in this way, it is possible to easily confirm the overlap between the test items, and thus it is possible to suppress the number of test cases.

Furthermore, the third method is a “CFD (Case Flow Diagram) technique”. This CFD technique is an improvement of the above-described cause-and-effect graph technique, and is a method that can express the relationship between equivalences more accurately by representing equivalence divisions graphically. Necessary test cases are extracted based on the relationship between equivalences expressed in this way. Here, unlike the cause-and-effect graph technique, the CFD technique does not include the interdependency test between equivalences in the test case. Thereby, the number of test cases can be reduced as compared with the cause-and-effect graph technique.
Masao Matsumoto, Masafumi Oyamada, Toru Matsuoya, “Software Development / Verification Technique”, IEICE, 1997, p.139-155

  By the way, factors may be divided into the following two types. One is a factor that affects the processing flow by itself, that is, a factor that becomes a branch point of the processing flow (hereinafter referred to as an independent factor), and the other is a factor that is a branch point of the processing flow (referred to as a dependent factor). ). Hereinafter, the relationship between independent factors and other factors is referred to as an independent relationship, and the relationship between dependent factors is referred to as a dependency relationship.

  As described above, in the case of the CFD technique, a test for interdependence between equivalences is not included in the test case. This is because it is assumed that all factors are independent. Therefore, in the case of the CFD technique, no consideration is given to a case where a dependency relationship is established between factors. However, in the normal case, there are mostly dependent factors that have a dependency relationship, and when the dependent factors are processed as independent factors, there is a risk of overlooking combinations of equivalent values to be verified. is there. Therefore, when the test cases are generated using the CFD technique, the number of test cases can be suppressed, but there is a problem that necessary test cases are lost.

  Also, it is extremely rare that all factors are independent factors, or all factors are dependent factors, and usually, independent factors and dependent factors are mixed. However, a test case generation method considering this point has not been proposed so far, and as a result, a necessary test case cannot be generated efficiently.

  The present invention has been made in view of such circumstances, and an object of the present invention is to efficiently generate necessary test cases by generating test cases corresponding to both independent relationships and dependency relationships between factors. The present invention provides a test case generation method capable of performing the method, a test case generation device for executing the method, and a computer program for causing a computer to execute the method.

In order to solve the above-described problem, the test case generation method of the present invention includes an equivalence set that is input data having one characteristic among input data that can be taken by a factor that is an input data item of a computer program . A computer having a test case for testing a computer program having a plurality of the factors based on a combination of a value and a value in an equivalence set having other characteristics , an input unit, a calculation unit, and a storage unit In the test case generation method generated by, all of the equivalence sets of independent factors that are input by the input means and that constitute a branch condition independently without being combined with other factors at the branch point of the processing flow Independent factor information including the value of and other factors at the branch point of the processing flow Includes group information indicating all values in the equivalence set of dependent factors that are the factors constituting a branch condition by being combined with each other and a group of dependent factors that are combined with each other at the same branch point to constitute a branch condition Storing dependent system factor information in the storage means; and the computing means includes all values and group information in an equivalence set of the dependent system factors included in the dependent system factor information stored in the storage means. The step of generating an exhaustive combination of values in the equivalence set of dependent factors for each group, and the computing means from the combination of values in the equivalence set of dependent factors generated for each group, Generating a combination of values in an equivalence set of dependent factors using CFD techniques; A calculating unit that refers to the independent factor information stored in the storage unit to generate a combination of values in the equivalence set of the independent factor; and the arithmetic unit includes an equivalence set of the generated dependent factor Generating a test case including a combination of values in the test and a test case including a combination of values in the generated equivalence set of independent factors.

  In the step of generating a combination of values in the equivalence set of independent factors in the test case generation method according to the invention, the arithmetic means uses the CFD technique to calculate a combination of values in the equivalence set of independent factors. You may make it produce | generate.

  Further, in the test case generation method according to the invention, the calculation means retrieves predetermined factor information from a factor information database storing factor information including at least a value in the equivalence set of factors, and the calculation means A step of comparing the retrieved factor information with the stored independent factor information and / or dependent factor information; and the computing means is based on the result of the comparison and is equivalent to the retrieved factor information. A step of determining whether a value in the set is different from a value in the equivalence set of the acquired independent factor information and / or dependency factor information, and an output of the computer if it is determined to be different Means for outputting equivalence unmatch information for values in different equivalence sets It may further have.

  Further, in the test case generation method according to the invention, when the factor takes a specific value, the computer program is described so that the processing flow ends at that time, and the stored dependent factor information and The stored independent factor information includes information indicating whether or not a value in the equivalence set of the factor is the specific value, and a combination of the values in the equivalence set of the dependent factor. In the step of generating and the step of generating a combination of values in the equivalence set of independent factors, the computing means generates a combination of values in the equivalence set including the specific value, and generates the test case. Whether the calculation means is a test case generated using a combination of values in the equivalence set including the specific value in the step It may generate test cases that adds information indicating.

The test case generation device of the present invention has values in an equivalence set that is input data having one characteristic among input data that can be taken by a factor that is an input data item of a computer program, and other characteristics. In a test case generation device configured to generate a test case for testing a computer program having a plurality of the factors based on a combination of values with values in the equivalence set being processed, a branch of the processing flow Independent factor information including all values in the equivalence set of independent factors, which are the factors that independently constitute a branch condition without being combined with other factors at the point, and combined with other factors at the branch point of the processing flow Collection of equivalences of dependent factors, which are factors that constitute branching conditions Input means for inputting dependency factor information including group information indicating a group of dependency factors that are combined with each other at the same branch point and constituting a branch condition, and input by the input means Reference is made to storage means for storing the independent system factor information and the dependent system factor information, and values and group information in all equivalence sets of the dependent system factors included in the dependent system factor information stored by the storage means. Generating an exhaustive combination of values in the equivalence set of dependent factors for each group, and further using the CFD technique from the combination of values in the equivalence set of dependent factors generated for each group Dependency factor equivalence combination generating means for generating a combination of values in an equivalence set of factors, and the storage An independent factor equivalence combination generating means for generating a combination of values in an equivalence set of independent factors with reference to the independent factor information stored by the stage, and a dependent system generated by the dependent factor equivalent equivalence combination generating means Test case generation means for generating a test case including a combination of values in an equivalence set of factors and a test case including a combination of values in an equivalence set of independent factors generated by the independent factor equivalence combination generation means With.

  In the test case generation apparatus according to the invention, the independent factor equivalence combination generating unit may be configured to generate a combination of values in an equivalence set of independent factors using a CFD technique.

  In addition, the test case generation device according to the invention includes a factor information database that stores factor information including at least values in an equivalence set of factors, and factor information search means that searches for predetermined factor information from the factor information database, Factor information comparing means for comparing the factor information searched by the factor information searching means with the independent factor information and / or dependent factor information stored by the storage means, and the result of comparison by the factor information comparing means Determining means for determining whether a value in the equivalence set of the retrieved factor information is different from a value in the equivalence set of the stored independent factor information and / or dependency factor information based on , Determined to be different depending on the determination means If it may further comprise an output means for outputting the equivalence unmatch information about different values of equivalence in the set.

  Further, in the test case generation device according to the invention, when the factor takes a specific value, the computer program is described so that the processing flow ends at that time, and the stored dependent factor information and The stored independent factor information includes information indicating whether or not a value in the equivalence set of factors is the specific value, and the dependent factor equivalence combination generating unit and the independent factor The equivalence combination generation means is configured to generate a combination of values in the equivalence set including the specific value, and the test case generation means uses the combination of values in the equivalence set including the specific value. It may be configured to generate a test case to which information indicating whether the test case is generated is added.

The computer program according to the present invention has one characteristic among the input data that can be taken by the factor that is the input data item of the test target computer program in the computer including the input unit, the calculation unit, and the storage unit . Based on a combination of values in the equivalence set as input data and values in the equivalence set having other characteristics, a test case for testing the test target computer program having a plurality of the factors is generated. In an equivalence set of independent factors that are input to the storage means by the input means and that constitute a branch condition independently without being combined with other factors at the branch point of the processing flow. Independent factor information including all values of All the values in the equivalence set of the dependent system factors that constitute the branch condition by being combined with other factors at the bifurcation point, and the dependent system factors that are combined with each other at the same branch point to construct the branch condition And storing all the values in the equivalence set of the dependent factors included in the dependent factor information stored in the storage means in the calculating means. And a procedure for referring to group information and generating an exhaustive combination of values in the equivalence set of dependent factors for each group, and a value in the equivalence set of dependent factors generated for each group in the computing means. A combination of values in an equivalence set of dependent factors using CFD techniques A procedure, a procedure for causing the calculation means to refer to the independent factor information stored in the storage means, and generating a combination of values in an equivalence set of independent factors, and a dependency system generated by the calculation means This is for causing a test case including a combination of values in the equivalence set of factors and a procedure for generating a test case including a combination of values in the generated equivalence set of independent factors.

  In the procedure for generating a combination of values in the equivalence set of independent factors of the computer program according to the invention, the computing means is caused to generate a combination of values in the equivalence set of independent factors using the CFD technique. You may do it.

  Further, in the computer program according to the invention, a procedure for causing the computing means to search for predetermined factor information from a factor information database storing factor information including at least values in the equivalence set of factors, and the searched factor information A procedure for comparing the acquired independent factor information and / or dependent factor information, and a value in an equivalence set of the retrieved factor information based on the comparison result and the acquired independent factor And a procedure for determining whether or not the values in the equivalence set of the information and / or the dependency system factor information are different from each other, and when it is determined that the values are different, the output means included in the computer includes You may be allowed to execute a procedure to output equivalence unmatch information about values .

  In the computer program according to the invention, when the factor takes a specific value, the computer program is described so that the processing flow ends at that time, and the stored dependent factor information and the storage The independent factor information includes information indicating whether or not the value in the equivalence set of the factor is the specific value, and generates a combination of values in the equivalence set of the dependent factor In a procedure and a procedure for generating a combination of values in an equivalence set of independent factors, the operation means generates a combination of values in an equivalence set including the specific value, and a procedure for generating the test case , Indicating to the arithmetic means whether or not the test case is generated using a combination of values in the equivalence set including the specific value It may be caused to generate test cases by adding a multi-address.

  A test case generation method of the present invention, a test case generation apparatus for executing the method, and a computer program for causing a computer to execute the method are test cases necessary for testing a highly reliable computer program And the number of test cases can be suppressed.

  Hereinafter, embodiments of the present invention will be described in detail with reference to the drawings.

(Embodiment 1)
FIG. 1 is a block diagram showing a configuration of a test case generation apparatus according to Embodiment 1 of the present invention. As shown in FIG. 1, the test case generation apparatus includes a CPU 10, and the CPU 10 is connected to each hardware described later via a bus. The CPU 10 controls the operation of the hardware and executes a computer program loaded on the memory 12. As a result, the test case generation device can execute processing as described below.

  The memory 12 is composed of, for example, a DRAM or an SRAM, and stores temporary data generated when the computer program is executed.

  The display unit 14 is composed of a CRT, a liquid crystal display, or the like, and outputs a file or the like showing a test case generated as described later. The input unit 16 includes a keyboard and a mouse, and is used when the user gives various instructions to the test case generation apparatus.

  The external storage device 20 is composed of, for example, a CD-ROM drive or a flexible disk drive, and a portable recording medium 22 such as a CD-ROM or a flexible disk on which the computer program (test case generation program 30) of the present invention is recorded. The test case generation program 30 is read from the above.

  Note that the test case generation apparatus can acquire the test case generation program 30 of the present invention by a method other than that the external storage device 20 reads from the portable recording medium 22 as described above. For example, if a database (not shown) connected to a communication network such as the Internet stores the test case generation program 30, the test case generation apparatus downloads from this database to allow the test case generation apparatus to The generation program 30 can be acquired.

  The hard disk 18 is composed of a readable / writable magnetic disk or the like, and stores a test case generation program 30 and an OS (operating system) 32 that are computer programs necessary for the operation of the test case generation apparatus, and various data. .

  The hard disk 18 stores a factor DB 34 and a code DB 36. The factor DB 34 stores factor information related to factors that are input data items of computer programs to be tested. The factor information includes, for example, the name of the factor, the equivalence of the factor, whether the factor is a code type (whether the equivalence of the factor is a code value) or a logical type (whether the equivalence of the factor is true or false) Data or the like indicating whether it is a logical value. On the other hand, the code DB 36 stores code value information indicating code values that can be taken by the code type factor.

  Next, the operation of the test case generation device configured as described above will be described.

  FIG. 2 is a diagram illustrating an example of a specification of a computer program to be tested (hereinafter referred to as a test target program). FIG. 2 illustrates a part of the specification of a computer program having a function of registering card sales data related to sales generated by using a credit card in a computer system. The processing outline of the test target program is as follows as shown in FIG.

  First, the program to be tested is a card cancellation check for determining whether or not the used credit card has been canceled, and an unauthorized card for determining whether or not the used credit card is illegal. Check.

  In the card cancellation check, the test target program ends the process when it is determined that the used credit card has already been canceled based on the same value of the factor “card cancellation check”. On the other hand, if it is determined that the contract has not been canceled, the processing is continued. In the fraudulent card check, if the program to be tested determines that the credit card used is fraudulent based on the same value of the factor “illegal card check”, the card type in the sales data is set to “illegal card”. "Is set. On the other hand, if it is determined that it is not illegal, the processing is continued.

  Next, the test target program performs a shopping rebo prior application check for determining whether or not an application for shopping revolving payment has been made in advance.

  In this shopping revo pre-application check, the test target program is the case where the same value of the factor “sales acceptance category” is “pay once”, and when there is a pre-application for shopping revo, it is set to the customer settlement category in the sales data. “Shopping revo” is set, and when there is no prior application for shopping revo, “single payment” is also set in the customer settlement category. Here, the determination as to whether or not there is a prior application for shopping rebo is made based on the same value of the factor “S re-prior application check”. On the other hand, when the same value of the factor “sales receipt category” is “other than one-time payment”, the same value of the factor “sales receipt category” is set in the customer settlement category in the sales data.

  Next, the test target program performs a shopping revolving stop check for determining whether or not the shopping revolving payment is stopped.

  In this shopping revocation stop check, the program to be tested is a case where the factor “customer settlement category” is “shopping revo”, and when the shopping revo is stopped, the customer settlement category in the sales data is “one time”. “Payment” is set, and when the shopping revo is not stopped, “shopping revo” is also set in the customer settlement category. Here, it is determined whether or not the shopping ribo is stopped based on the same value of the factor “S ribo stop check”. On the other hand, if the value of the factor “customer settlement category” is other than shopping revo, no processing is performed.

  Further, the test target program performs a caching revo stop check to determine whether or not the cashing revolving payment is stopped.

  In this cashing revo stop check, the program to be tested is the case where the factor “customer settlement category” is “cashing revo”, and when the cashing revo is stopped, the customer settlement category in the sales data is “one time”. “Payment” is set, and when the cashing rebo is not stopped, “cashing revo” is also set in the customer settlement category. Here, whether or not the caching ribo is stopped is determined based on the same value of the factor “C ribo stop check”. On the other hand, no processing is performed when the value of the factor “customer settlement category” is other than caching rebo.

  The user creates a factor table indicating the contents of the factor based on the specifications of the test target program in which the outline of the processing described above is described, and generates the test case using the input unit 16 Enter for the device.

  FIG. 3 is a diagram showing an example of a factor table input to the test case generation device according to Embodiment 1 of the present invention. As shown in FIG. 3, the factor table includes a factor name field 51 for storing the name of the factor, an independent / dependent field 52 for storing information indicating whether the factor is an independent factor or a dependent factor, A code value field 53 for storing information indicating whether or not the factor value is a code value, and a logical value field 54 for storing information indicating whether the factor value is any of true or false logical values. , An equivalence field 55 for storing equivalence information indicating the contents of the equivalency, and a dependency destination factor name field 56 for storing the name of a factor having a dependency relationship in the case of a dependent factor are provided.

  Here, an independent factor means a factor that does not have a dependency relationship with another factor, and a dependent factor means a factor that has a dependency relationship with another factor. . If “1” is stored in the independent / dependent field 52, it means that it is an independent factor, and if “2” is stored, it means that it is a dependent factor. Further, if “1” is stored in the code value field 53 and the logical value field 54, it means that the factor value is a code value and a logical value, respectively, and “0” is also stored. Means that the value of the factor is not a code value and is not a logical value.

  In the present embodiment, the user creates a factor table as shown in FIG. 3, but information necessary for generating this factor table is clearly described in the specification of the test target program. By inputting the specifications to the test case generation device, the test case generation device may automatically generate a factor table.

  The factor table input by the user to the test case generation device is stored in the hard disk 18 of the test case generation device. After that, the test case generation device performs the following four processes according to the user's instruction: (1) generation of a factor list, (2) generation of equivalence patterns (combination of equivalences) regarding independent factors, and (3) dependency system factors (4) Test case generation is executed.

[Generate factor list]
FIG. 4 is a flowchart showing a flow of operations of the test case generation apparatus according to Embodiment 1 of the present invention when generating a factor list.

  First, the test case generation device reads a factor table stored in the hard disk 18 (S101). Then, the test case generation device refers to the information stored in the independent / dependent field 52 of the factor table, confirms the distinction between the independent factor and the dependent factor, and based on the result, relates to the independent factor. An independent factor list file for storing information and a dependent factor list file for storing information on dependent factors are generated (S102).

  Next, the test case generation device refers to the factor DB 34 stored in the hard disk 18 and acquires factor information related to the factors stored in the factor table (S103). Similarly, the code DB 36 is referred to, and code value information related to the factors stored in the factor table is acquired (S104).

  Next, the test case generation device extracts equivalence information indicating the equivalency of the factors stored in the factor table from the factor information obtained in step S103 and the code value information obtained in S104, and the equivalence information and It is determined whether or not the equivalence information stored in the equivalence field 55 of the factor table is the same (S105). If it is determined that they are the same (YES in S105), the process proceeds to step S108 described later. On the other hand, if it is determined that they are not the same (NO in S105), the test case generation apparatus generates an equivalence unmatch list file indicating different equivalences (S106), and the generated equivalence unmatch list file is displayed on the display unit 14. (S107).

  FIG. 25 is a diagram showing an example of an equivalence unmatch list file generated as described above. Here, it is assumed that “same number of payments (equal)” and “same number of times payment (bonus combined use)” not stored in the factor table are stored in the factor DB 34 as the same value of the factor “sales acceptance category”. Therefore, in the equivalence unmatch list file shown in FIG. 25, the equivalence of the factor “sales acceptance classification” is divided and displayed in the factor table and the factor DB.

  By referring to the equivalence unmatch list file displayed on the display unit 14 in this way, the user can confirm whether or not there is no error in the design performed by the user.

  By the way, necessary information may be missing from the factor table. Referring to FIG. 3, the value of the code value field 53, the value of the logical value field 54, and the value of the equivalence field 55 for the factor “illegal card check” are missing. Therefore, in step S103, the test case generation device acquires factor information related to the factor “illegal card check” from the factor DB 34, and obtains these missing values. As a result of acquiring the factor information, for example, when it is found that the factor “illegal card check” is a logical type, the same value of this factor may be automatically set to “present, no”.

  Further, referring to FIG. 3, the value of the equivalence field 55 of the factor “sales acceptance category” is missing. Therefore, in step S104, the test case generation apparatus acquires code value information related to the factor “sales acceptance category” from the code DB 36, and acquires the same value of this factor (for example, “other than one-time payment, one-time payment”).

  Thus, by obtaining the factor information and code value information from the factor DB 34 and the code DB 36 respectively, it is possible to make up for the information that is lacking in the factor table, and thus it may not be necessary to create the factor table completely. It is possible to reduce the burden on the user.

  Next, the test case generation apparatus converts the various information stored in the factor table, the factor information acquired in step S103, and the code value information acquired in step S104 into an independent factor list file and a dependent factor list. By outputting to a file, the independent factor list file and the dependent factor list file are updated (S108) and stored in the hard disk 18 (S109).

  FIG. 5 is a diagram showing an example of the independent factor list file generated as described above. As shown in FIG. 5, the independent factor list file includes an independent / dependent field 101 and a factor name field similar to the independent / dependent field 52, the factor name field 51, and the equivalence field 55 of the factor table shown in FIG. 102 and an equivalence field 103 are provided. For one factor, records having the same number of rows as the number of equivalences of the factor are provided, and the equivalence field 103 stores only one equivalency for each record.

  FIG. 6 is a diagram showing an example of the dependency factor list file generated as described above. As shown in FIG. 6, the dependent factor list file includes an independent / dependent field 52, a dependent factor name field 56, a factor name field 51, and an equivalent field 55 of the factor table shown in FIG. A dependency field 111, a dependency destination factor name field 112, a factor name field 113, and an equivalence field 114 are provided. Similarly to the case of the independent factor list file, a record having the same number of lines as the number of equivalents of the factor is provided for one factor, and the equivalence field 114 has only one equivalent for each record. Is stored.

  It should be noted that by updating the factor DB 34 based on the independent factor list file and the dependent factor list file generated in this way, new factor information is stored in the factor DB 34 to prepare for the next test case generation. It may be.

[Generation of equivalence patterns for independent factors]
FIG. 7 is a flowchart showing an operation flow of the test case generation apparatus according to Embodiment 1 of the present invention when generating an equivalence pattern related to an independent factor.

  First, the test case generation device reads an independent factor list file stored in the hard disk 18 (S201). Then, the test case generation apparatus generates an independent equivalence pattern file in which an equivalence pattern field for storing an equivalence pattern to be described later is added to the independent factor list file (S202). In the equivalence pattern field, as many columns as the number of equivalence patterns to be generated are provided.

  Next, the test case generation device acquires the maximum value n of the number of independent factors of equivalence based on the generated independent equivalence pattern file (S203). Thereafter, the test case generation device sets 1 to the variable m (S204), and then sets “o” in the m-th row of the equivalence pattern field and the m-th row of the equivalence pattern field for each independent factor. (S205). Then, the test case generation device compares the values of n and m, and determines whether n and m are the same value (S206). If it is determined that they are not identical (NO in S206), the test case generation device sets m + 1 to m (S207), and then executes steps S205 and S206 again. If it is determined in step S206 that the values of n and m are the same (YES in S206), the test case generation device stores an independent equivalence pattern (S208).

  When there are a plurality of independent factors and the number of equivalences of a certain independent factor is smaller than the number of equivalences of other independent factors, in step S205, the m-th equivalent of the independent factor is obtained. There can be a situation where there are no rows. In such a case, “◯” may be set in the m-th column of the equivalence pattern field of an arbitrary row. Accordingly, in step S205, for example, “◯” may be set in the m-th column of the equivalence pattern field of the row in which “O” is set to the latest of the independent factor. The reason why there is no problem even if processing is performed in this way is that there is no problem in testing with any equivalence in subsequent test cases in the case of a factor for which "O" has already been set for all equivalences.

  FIG. 8 is a diagram showing an example of an independent equivalence pattern file generated as described above. As shown in FIG. 8, the independent equivalence pattern file includes an independent / dependency field 121, a factor name field 122, an equivalency field 123 similar to the independent factor list file shown in FIG. Is provided.

  As a result of execution of the processing as described above, “o” is set in the equivalence pattern field 124 as shown in FIG. In the example shown in FIG. 8, two equivalent patterns are generated.

  Note that the processing described with reference to the flowchart of FIG. 7 conforms to the CFD technique on the assumption that the factors are independent. Therefore, in the following, performing such processing is expressed as “processing using the CFD technique”.

[Generation of equivalence patterns for dependent factors]
FIG. 9 is a flowchart showing an operation flow of the test case generation apparatus according to the first embodiment of the present invention when generating an equivalence pattern related to the dependency system factor.

  First, the test case generation apparatus reads a dependency factor list file stored in the hard disk 18 (S301). Then, the test case generation device groups the factors having the dependency relationship with reference to the dependency factor list file (S302). In the example of the dependent factor list file shown in FIG. 6, the factors “S-ribo advance application check” and “sales receipt classification” form one group, and the factors “S-ribo stop check”, “C-ribo stop check”, and “ "Customer settlement category" is one group. Hereinafter, the group generated in this way is called a dependency factor group.

  Next, the test case generation device generates a dependency equivalence pattern file in which an equivalence pattern field for storing an equivalence pattern is added to the dependency factor list file for each dependency factor group (S303). As in the case of generating an independent equivalence pattern file, this equivalence pattern field has as many columns as the number of equivalence patterns to be created.

  Next, the test case generation device selects one specific dependent factor group from among the plurality of dependent factor groups (S304), so that combinations of the same values of the factors in the dependent factor group become exhaustive. Then, “◯” is set in the column of the equivalence pattern field of the dependence equivalence pattern file related to the dependence factor group (S305). Then, the test case generation apparatus stores the dependency system equivalence pattern file in which “◯” is set in this way in the hard disk 18 (S306).

  Thereafter, the test case generation device determines whether or not all dependent factor groups have been selected (S307). If it is determined that there is a dependency factor group that has not yet been selected (NO in S307), the test case generation apparatus returns to Step S304. On the other hand, if it is determined that all the dependent factor groups have been selected (YES in S307), the test case generation apparatus proceeds to step S308 described later.

  10 and 11 are diagrams showing examples of the dependency system equivalence pattern file generated as described above. As shown in FIGS. 10 and 11, the dependency system equivalence pattern file includes an independent / dependence field 111, a dependency destination factor name field 112, a factor name field 113, and an equivalence field 114 of the dependency system factor list file shown in FIG. A similar independent / dependent field 131, a dependent destination factor name field 132, a factor name field 133 and an equivalence field 134, and the above-described equivalence pattern field 134 are provided.

  FIG. 10 shows a dependent equivalence pattern file relating to a dependent factor group composed of the factors “S-ribo advance application check” and “sales acceptance classification”. In the case of this dependent factor group, since there are two equivalences of the two factors, as a result of executing the processing as described above, 'o' is set in the equivalence pattern field 135 as shown in FIG. = 2 × 2) equivalence patterns are generated.

  FIG. 11 shows a dependent equivalence pattern file related to a dependent factor group composed of factors “S-ribo stop check”, “C-ribo stop check”, and “customer settlement category”. In the case of this dependent factor group, there are seven equivalences of the factor “customer settlement category” and two equivalences of the other two factors. As a result of executing the processing as described above, FIG. As shown, 'o' is set in the equivalence pattern field 135, and 28 (= 7 × 2 × 2) equivalence patterns are generated.

  Note that there are cases where unnecessary equivalence patterns exist when considering the dependency between factors. For example, in the case of the equivalence pattern shown in FIG. 10, when the equivalence of the factor “sales receipt category” is “other than one-time payment”, the equivalence of the factor “S rebo prior application check” is “Yes” or “No”. But it ’s okay. Therefore, the third equivalence pattern shown in FIG. 10 is not necessary. As a result, in the case of this dependency group, the first, second, and fourth three equivalent patterns shown in FIG. 10 are sufficient.

  In the case of the equivalence pattern shown in FIG. 11, the equivalence pattern in which the equivalence of the factor “S revocation stop check” is “Yes” may be only when the equivalency of the factor “customer settlement category” is “shopping revo”. Similarly, the equivalence pattern in which the equivalence of the factor “C revo stop check” is “Yes” may be only when the equivalency of the factor “customer settlement category” is “cashing ribo”. As a result, 21 of the 28 equivalence patterns are unnecessary, and 7 equivalence patterns are sufficient.

  Thus, the user who has confirmed that unnecessary equivalence patterns exist can instruct the test case generation apparatus to delete those unnecessary equivalence patterns. In the following description, it is assumed that this deletion instruction is issued and the dependent equivalence pattern file is updated so that unnecessary equivalence patterns are deleted in the test case generation apparatus. Note that the process of deleting unnecessary equivalency patterns is arbitrary, and may be executed as necessary.

  The test case generation device reads the dependency system equivalence pattern files related to each dependency system factor group stored in the hard disk 18 as described above, and combines the read plurality of dependency system equivalence pattern files (S308). Here, an independent relationship is established between each dependent factor group. Therefore, the combining process in step S308 is performed using the CFD technique. As a result, seven equivalence patterns in which “◯” is set in the equivalence pattern field 135 are generated as in the dependent equivalence pattern file after the joining process shown in FIG.

  Finally, the test case generation apparatus stores the dependent system equivalence pattern file obtained as a result of the combination process in the hard disk 18 (S309).

[Generate test case]
FIG. 13 is a flowchart showing a flow of operations of the test case generation apparatus according to Embodiment 1 of the present invention when generating a test case.

  First, the test case generation apparatus reads the independent system equivalence pattern file and the dependent system equivalence pattern file stored in the hard disk 18 (S401). Further, the test case generation apparatus generates a test case file provided with a test case field for storing a test case to be described later instead of the equivalence pattern field of the independent equivalence pattern file and the dependent equivalence pattern file (S402). . In the test case field, as many columns as the number of test cases to be generated are provided.

  Next, the test case generation apparatus combines the independent equivalence pattern file and the dependent equivalence pattern file read in step S401 (S403), and outputs the result to the test case file (S404). Here, an independent relationship is established between the independent equivalence pattern and the dependent equivalence pattern. Therefore, the combining process in step S402 is performed using the CFD technique.

  FIG. 14 is a diagram showing an example of a test case file obtained as described above. As shown in FIG. 14, the test case file includes an independent / dependent field 141, a dependent destination factor name field 142, a factor name field 143, and an equivalence field 143 similar to the dependent equivalence pattern file shown in FIGS. 11 and 12. In addition, the test case field 145 described above is provided.

  As a result of executing the processing as described above, “◯” is set in the test case field 145 as shown in FIG. Here, in the example shown in FIG. 14, the first to seventh test cases mainly consider the dependency factor test, and the eighth and ninth test cases mainly consider the independent factor test. It has become.

  Finally, the test case generation apparatus stores the test case file to which the result of the combining process is output in step S404 in the hard disk 18 (S404).

  Since the test cases generated in this way are generated in consideration of the dependency between factors, unlike the conventional case where only the CFD technique is used, the necessary test cases are different. The situation of missing can be avoided.

  Further, the number of equivalence patterns of independent factors can be suppressed by using the CFD technique.

  Note that when testing a test target program, the user instructs the test case generation device to display the test case file stored in the hard disk 18 on the display unit 14. As a result, the content of the test case file is displayed on the display unit 14, and the user can efficiently execute a highly reliable test by creating a test scenario while checking the content.

(Embodiment 2)
The test case generation device according to the second embodiment of the present invention includes an invalid test case that is a test case in which a process ends when a certain factor takes a specific value, and valid tests other than the invalid test case. It can be generated separately from system test cases. Note that the configuration of the test case generation apparatus according to the second embodiment is the same as that of the first embodiment, and a description thereof will be omitted. Hereinafter, the operation of the test case generation apparatus according to the second embodiment will be described.

  The user creates a factor table indicating the contents of the factor based on the specification of the target program in which the outline of the processing as shown in FIG. 2 is described, and uses the input unit 16 to test the factor table. Input to the generator.

  FIG. 15 is a diagram illustrating an example of a factor table in the second embodiment. As shown in FIG. 15, “Yes *” and “No” are set in the equivalence field 55 of the factor “card cancellation check” of this factor table. Here, “Yes *” indicates that the test case in which the same value of the factor “card cancellation check” is “Yes” becomes an invalid test case.

  As in the case of the first embodiment, the test case generation device may automatically generate a factor table.

  The factor table input by the user to the test case generation device is stored in the hard disk 18 of the test case generation device. Thereafter, as in the case of the first embodiment, in accordance with the user's instruction, the test case generation device performs the following four processes: (1) generation of a factor list, (2) generation of equivalence patterns regarding independent factors, ( 3) Generate an equivalence pattern for the dependency system factor, and (4) Generate a test case.

[Generate factor list]
The test case generation apparatus according to the second embodiment generates an independent factor list file and a dependent factor list file in the same manner as in the first embodiment. However, as described above, in the case of the second embodiment, unlike the case of the first embodiment, there may be an equivalence of factors with “*” added to the factor table read by the test case generation device. In order to store the information indicating that “*” is added in this way, the independent factor list file and the dependent factor list file generated by the test case generating device of the second embodiment include an invalid field. Is provided.

  FIG. 16 is a diagram illustrating an example of an independent factor list file generated by the test case generation device according to the second embodiment. As shown in FIG. 16, the independent factor list file includes the independent / dependent field 101, the factor name field 102 and the equivalence field 103 in the case of the first embodiment, and the invalid field 201 described above. Yes. In this example, ‘◯’ is set in the column of the invalid field 201 for the case where the factor “card cancellation check” has the same value “Yes”.

  FIG. 17 is a diagram illustrating an example of a dependent factor list file generated by the test case generation apparatus according to the second embodiment. As shown in FIG. 17, the dependency system factor list file includes the independent / dependence field 111, the dependency destination factor name field 112, the factor name field 113, the equivalence field 114, and the invalid system described above in the first embodiment. Field 211 is provided. In this example, since there is no “*” in the equivalence value of the dependency system factor in the factor table, “◯” is not set in the column of the invalid system field 201 in any row.

  As described above, the independent factor list file and the dependent factor list file provided with the invalid system field are generated and stored in the hard disk 18.

[Generation of equivalence patterns for independent factors]
FIG. 18 is a flowchart showing an operation flow of the test case generation apparatus according to Embodiment 2 of the present invention when generating an equivalence pattern related to an independent factor. Since steps S201 to S208 are the same as those in the first embodiment, the same reference numerals are given and description thereof is omitted. However, as will be described later, the bottom line of the independent equivalence pattern file generated in step S202 is an effective system that is a line for indicating whether the generated equivalence pattern is an effective system or an invalid system. Records and invalid records are provided.

  If the test case generation device determines that the values of n and m are the same in step S206 (YES in S206), the test case generation device determines whether there is a column in which “O” is set in the invalid field. (S501). Here, if it is determined that the column exists (YES in S501), the test case generation device sets “O” in the column of the invalid record in the independent equivalence pattern file (S502), and sets the valid record. “◯” is set in the other columns (S503). On the other hand, when it is determined that there is no column in which “O” is set in the invalid field (NO in S501), the test case generation apparatus sets “O” in all columns of the valid record (S503). .

  FIG. 19 is a diagram illustrating an example of an independent equivalence pattern file generated by the test case generation device according to the second embodiment. As shown in FIG. 19, the above-mentioned valid record 125 and invalid record 126 are provided in the bottom row. As a result of the above-described processing, “◯” is set in the invalid record in the column of the first equivalence pattern (the equivalence pattern when the equivalence of the factor “card cancellation check” is “present”). Also, if the equivalence of the factor “card cancellation check” is “Yes” as in the first equivalence pattern, the process will be terminated, so “○” is set in the line of the factor “illegal card check”. It has not been.

[Generation of equivalence patterns for dependent factors]
FIG. 20 is a flowchart showing an operation flow of the test case generation apparatus according to the second embodiment of the present invention when generating an equivalence pattern related to the dependency system factor. Since steps S301 to S309 are the same as those in the first embodiment, the same reference numerals are given and description thereof is omitted. However, the effective system record and the invalid system record are provided in the bottom line of the dependent system equivalence pattern file generated in step S302, as in the independent system equivalence pattern file.

  When it is determined that all the dependent factor groups have been selected (YES in S307), the test case generation apparatus determines whether there is a column in which “O” is set in the invalid field (S601). Here, if it is determined that the column exists (YES in S601), the test case generation device sets “O” to the column of the invalid record in the dependent equivalence pattern file (S602), and the valid record “◯” is set in the other columns (S603). On the other hand, when it is determined that there is no column in which “O” is set in the invalid field (NO in S601), the test case generation apparatus sets “O” in all the columns of the effective record (S603). .

  FIG. 21 and FIG. 22 are diagrams illustrating an example of a dependent equivalence pattern file generated by the test case generation apparatus according to the second embodiment. FIG. 23 is a diagram illustrating an example of the dependent equivalence pattern file after the joining process generated by the test case generation device according to the second embodiment.

  As shown in FIGS. 21 to 23, the above-mentioned valid record 136 and invalid record 137 are provided in the bottom row. As shown in FIG. 17, since none of the invalid system fields 211 in the dependent system factor list file is set to “◯”, all the columns in the equivalence pattern field 135 of the dependent system equivalence pattern file are valid records. '○' is set.

[Generate test case]
The test case generation apparatus according to the second embodiment generates a test case file in the same manner as in the first embodiment. However, in the case of the second embodiment, a valid record and an invalid record are provided at the bottom line of the test case file. Also, in the column of the test case field in which “O” is set in the invalid record, “O” is deleted for all rows other than the row having the same value of the invalid factor.

  FIG. 24 is a diagram illustrating an example of a test case file generated by the test case generation apparatus according to the second embodiment. As shown in FIG. 24, a valid record 146 and an invalid record 147 are provided at the bottom line of the test case file. Here, in the example shown in FIG. 24, the second to ninth test cases mainly consider the dependency factor test, and the first and ninth test cases mainly consider the independent factor test. It has become. And the first test case is an invalid test case, and 'Yes' is set to the row with the same value “Yes” of the invalid factor “card cancellation check”, and “ ○ 'is not set.

  In this way, by generating a test case that takes into consideration whether or not the system is invalid, it becomes possible to test the test target program more efficiently.

  The test case generation method, the test case generation apparatus, and the computer program according to the present invention are useful for a test case generation apparatus that generates a test case necessary for performing a highly reliable test.

It is a block diagram which shows the structure of the test case production | generation apparatus which concerns on Embodiment 1 of this invention. It is a figure which shows the example of the specification document of the computer program used as a test object. It is a figure which shows the example of the factor table | surface input into the test case production | generation apparatus which concerns on Embodiment 1 of this invention. It is a flowchart which shows the flow of operation | movement of the test case production | generation apparatus which concerns on Embodiment 1 of this invention in the case of producing | generating a factor list. It is a figure which shows the example of the independent factor list file which the test case production | generation apparatus which concerns on Embodiment 1 produces | generates. It is a figure which shows the example of the dependence type factor list file which the test case production | generation apparatus which concerns on Embodiment 1 produces | generates. It is a flowchart which shows the flow of operation | movement of the test case production | generation apparatus which concerns on Embodiment 1 of this invention in the case of producing | generating the equivalence pattern regarding an independent system factor. It is a figure which shows the example of the independent system equivalence pattern file which the test case production | generation apparatus which concerns on Embodiment 1 produces | generates. It is a flowchart which shows the flow of operation | movement of the test case production | generation apparatus which concerns on Embodiment 1 of this invention in the case of producing | generating the equivalence pattern regarding a dependency type factor. It is a figure which shows the example of the dependence type equivalence pattern file which the test case production | generation apparatus which concerns on Embodiment 1 produces | generates. It is a figure which shows the example of the dependence type equivalence pattern file which the test case production | generation apparatus which concerns on Embodiment 1 produces | generates. It is a figure which shows the example of the dependence type equivalence pattern file after the joint process which the test case production | generation apparatus which concerns on Embodiment 1 produces | generates. It is a flowchart which shows the flow of operation | movement of the test case production | generation apparatus which concerns on Embodiment 1 of this invention in the case of producing | generating a test case. It is a figure which shows the example of the test case file which the test case production | generation apparatus which concerns on Embodiment 1 produces | generates. It is a figure which shows the example of the factor table | surface which the test case production | generation apparatus which concerns on Embodiment 2 uses. It is a figure which shows the example of the independent factor list file which the test case production | generation apparatus which concerns on Embodiment 2 produces | generates. It is a figure which shows the example of the dependence type factor list file which the test case production | generation apparatus which concerns on Embodiment 2 produces | generates. It is a flowchart which shows the flow of operation | movement of the test case generation apparatus which concerns on Embodiment 2 of this invention in the case of producing | generating the equivalence pattern regarding an independent system factor. It is a figure which shows the example of the independent system equivalence pattern file which the test case production | generation apparatus which concerns on Embodiment 2 produces | generates. It is a flowchart which shows the flow of operation | movement of the test case production | generation apparatus which concerns on Embodiment 2 of this invention in the case of producing | generating the equivalence pattern regarding a dependent system factor. It is a figure which shows the example of the dependence type equivalence pattern file which the test case production | generation apparatus which concerns on Embodiment 2 produces | generates. It is a figure which shows the example of the dependence type equivalence pattern file which the test case production | generation apparatus which concerns on Embodiment 2 produces | generates. It is a figure which shows the example of the dependent system equivalence pattern file after the joint process which the test case production | generation apparatus which concerns on Embodiment 2 produces | generates. It is a figure which shows the example of the test case file which the test case production | generation apparatus of Embodiment 2 produces | generates. It is a figure which shows the example of an equivalence unmatch list file.

Explanation of symbols

10 CPU
DESCRIPTION OF SYMBOLS 12 Memory 14 Display part 16 Input part 18 Hard disk 20 External storage device 22 Portable recording medium 30 Test case generation program 32 Operating system 34 Factor DB
36 Code DB

Claims (12)

Of the input data that can be taken by factors that are input data items of a computer program, values in an equivalence set that are input data having one characteristic and values in an equivalence set that have other characteristics In a test case generating method for generating a test case for testing a computer program having a plurality of the factors based on the combination of the input means, the computing means, and the storage means,
Independent factor information including all values in the equivalence set of independent factors, which is a factor that constitutes a branch condition independently without being combined with other factors at the branch point of the processing flow, which is input by the input means; Dependencies that are combined with other factors at the branch point of the processing flow and that are combined with each other at the same branch point at all the values in the equivalence set of dependent factors that are the factors that constitute the branch condition. Storing dependent factor information including group information indicating a group of system factors in the storage means;
The computing means refers to all values and group information in the equivalence set of the dependent factor included in the dependent factor information stored in the storage means, and values in the equivalence set of the dependent factor for each group Generating an exhaustive combination of
The computing means generates a combination of values in the equivalence set of dependent factors using a CFD technique from a combination of values in the equivalence set of dependent factors generated for each group;
The computing means refers to the independent factor information stored in the storage means, and generates a combination of values in the equivalence set of independent factors;
The computing means generates a test case including a combination of values in the generated equivalence set of dependent factors and a test case including a combination of values in the generated independent set of independent factors. A test case generation method characterized by comprising:   2. The method according to claim 1, wherein in the step of generating a combination of values in the equivalence set of independent factors, the computing means generates a combination of values in the equivalence set of independent factors using CFD techniques. Test case generation method. The computing means retrieves predetermined factor information from a factor information database storing factor information including at least values in an equivalence set of factors;
The computing means comparing the retrieved factor information with the stored independent factor information and / or dependent factor information;
Whether the value in the equivalence set of the retrieved factor information is different from the value in the equivalence set of the acquired independent factor information and / or dependent factor information based on the comparison result of the computing means Determining whether or not,
3. The test case generation method according to claim 1, further comprising a step of outputting equivalence unmatch information regarding values in different equivalence sets, when the output means included in the computer is judged to be different. When the factor takes a specific value, the computer program is described so that the processing flow ends at that point,
The stored dependency factor information and the stored independent factor information include information indicating whether or not a value in an equivalence set of factors is the specific value,
In the step of generating a combination of values in the equivalence set of the dependent system factor and the step of generating a combination of values in the equivalence set of the independent system factor, the computing means includes Generate a combination of values,
In the step of generating the test case, the calculation means generates a test case to which information indicating whether or not the test case is generated using a combination of values in the equivalence set including the specific value is added. The test case generation method according to any one of claims 1 to 3. Of the input data that can be taken by factors that are input data items of a computer program, values in an equivalence set that are input data having one characteristic and values in an equivalence set that have other characteristics In a test case generation device configured to generate a test case for testing a computer program having a plurality of factors based on a combination of values of
Independent factor information including all values in the equivalence set of independent factors, which are the factors that constitute the branch condition independently without being combined with other factors at the branch point of the processing flow, and other at the branch point of the processing flow Group information indicating a group of dependent factors that form a branching condition by combining all values in the equivalence set of dependent factor that is a factor that constitutes a branching condition by being combined with each other factor and each other at the same branching point Input means for inputting dependency factor information including
Storage means for storing the independent factor information and the dependent factor information input by the input means;
An exhaustive combination of values in the equivalence set of dependent system factors for each group with reference to values and group information in all equivalence sets of the dependent system factors included in the dependent system factor information stored by the storage means Dependent factor equivalence combination generation that generates a combination of values in the equivalence set of dependent factors from the combination of values in the equivalence set of dependent factors generated for each group using the CFD technique Means,
Independent factor equivalence combination generating means for referring to the independent factor information stored by the storage means and generating a combination of values in the equivalence set of independent factors;
A test case including a combination of values in an equivalence set of dependent factors generated by the dependent factor equivalence combination generating means, and a value in an equivalence set of independent factors generated by the independent factor equivalence combination generating means A test case generation device comprising: test case generation means for generating a test case including a combination of   The test case generation device according to claim 5, wherein the independent factor equivalence combination generation unit is configured to generate a combination of values in an equivalence set of independent factors using a CFD technique. A factor information database for storing factor information including at least values in an equivalence set of factors;
Factor information search means for searching predetermined factor information from the factor information database;
Factor information comparing means for comparing the factor information searched by the factor information searching means with the independent factor information and / or the dependent factor information stored by the storage means;
Based on the result of comparison by the factor information comparison means, the value in the equivalence set of the retrieved factor information is different from the value in the equivalence set of the stored independent factor information and / or dependency factor information. Determination means for determining whether or not,
The test case generation device according to claim 5, further comprising: an output unit that outputs equivalence unmatch information regarding values in different equivalence sets when it is judged that the judgment unit differs. When the factor takes a specific value, the computer program is described so that the processing flow ends at that point,
The stored dependent factor information and the stored independent factor information include information indicating whether or not a value in the equivalence set of factors is the specific value,
The dependent factor equivalence combination generating means and the independent factor equivalence combination generating means are configured to generate a combination of values in an equivalence set including the specific value;
The test case generation unit is configured to generate a test case to which information indicating whether the test case is generated using a combination of values in the equivalence set including the specific value is added. The test case generation device according to claim 5. Among the input data that can be taken by the factor that is the input data item of the test target computer program in the computer having the input means, the arithmetic means, and the storage means , the values in the equivalence set that are input data having one characteristic In a computer program for generating a test case for testing a test target computer program having a plurality of the factors based on a combination with values in an equivalence set having other characteristics ,
The storage means includes all values in the equivalence set of independent factors that are input by the input means and are not combined with other factors at the branch point of the processing flow, and are independent factors constituting the branch condition. Branching by combining independent factor information and all values in the equivalence set of dependent factors, which are factors that constitute a branching condition by being combined with other factors at the branching point of the processing flow, and at the same branching point Storing dependent factor information including group information indicating a group of dependent factors constituting the condition;
The arithmetic means is made to refer to all values and group information in the equivalence set of the dependent factor included in the dependent factor information stored in the storage means, and values in the equivalence set of the dependent factor for each group. To generate an exhaustive combination of
A step of causing the computing means to generate a combination of values in an equivalence set of dependent factors using a CFD technique from a combination of values in an equivalence set of dependent factors generated for each group;
A procedure for causing the arithmetic means to refer to the independent factor information stored in the storage means and to generate a combination of values in an equivalence set of independent factors;
A procedure for causing the computing means to generate a test case including a combination of values in the generated equivalence set of dependent factors and a test case including a combination of values in the generated independent set of independent factors. A computer program to be executed. In the procedure for generating a combination of values in the equivalence set of independent factors,
The computer program according to claim 9, wherein the computing unit is configured to generate a combination of values in an equivalence set of independent factors using a CFD technique. In the calculation means,
A procedure for retrieving predetermined factor information from a factor information database storing factor information including at least values in an equivalence set of factors;
A procedure for comparing the retrieved factor information with the acquired independent factor information and / or dependent factor information;
Based on the result of the comparison, it is determined whether the value in the equivalence set of the retrieved factor information is different from the value in the equivalence set of the acquired independent factor information and / or dependency factor information. Further steps,
The computer program according to claim 9 or 10, for causing the output means included in the computer to output equivalence unmatch information relating to values in different equivalence sets when it is determined that they are different. When the factor takes a specific value, the computer program is described so that the processing flow ends at that point,
The stored dependent factor information and the stored independent factor information include information indicating whether or not a value in the equivalence set of factors is the specific value,
In the procedure of generating a combination of values in the equivalence set of the dependent system factor and the procedure of generating a combination of values in the equivalence set of the independent system factor, the computing means includes a value in the equivalence set including the specific value. Generate a combination of values,
In the procedure for generating the test case, a test case is generated in which information indicating whether the test means is generated using a combination of values in the equivalence set including the specific value is added to the arithmetic means. The computer program according to any one of claims 9 to 11.

Images