WO2014125836A1 - Test data generating device - Google Patents

Test data generating device Download PDF

Info

Publication number
WO2014125836A1
WO2014125836A1 PCT/JP2014/000777 JP2014000777W WO2014125836A1 WO 2014125836 A1 WO2014125836 A1 WO 2014125836A1 JP 2014000777 W JP2014000777 W JP 2014000777W WO 2014125836 A1 WO2014125836 A1 WO 2014125836A1
Authority
WO
WIPO (PCT)
Prior art keywords
node
target
child node
relationship
condition
Prior art date
Application number
PCT/JP2014/000777
Other languages
French (fr)
Japanese (ja)
Inventor
崇師 北村
ティ ビッチ ゴック ドウ
大崎 人士
Original Assignee
独立行政法人産業技術総合研究所
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 独立行政法人産業技術総合研究所 filed Critical 独立行政法人産業技術総合研究所
Publication of WO2014125836A1 publication Critical patent/WO2014125836A1/en

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management

Definitions

  • This invention relates to an apparatus for generating test data for testing whether a program or the like operates normally.
  • test data In order to test the operation of software, a combination of data that may be input is created, and the test data is input to determine whether or not a desired operation is achieved.
  • test data is created by generating a combination of data that may be input by an all-pair method (pair-wise method) or the like.
  • an all-pair method pair-wise method
  • Microsoft's PICT trademark
  • test data based on combinations of values can be generated.
  • a, b... M are parameters, and a1, a2... An are the values of the parameter a.
  • the parameter a takes one of the values a1, a2,..., An by a: a1, a2,. The same applies to the second and subsequent lines.
  • test data is generated and output.
  • Fig. 12 shows the logical structure of a certain event in a tree format. In this tree structure, input to a tool such as PICT is not possible.
  • an object of the present invention is to make it possible to use a test data generation tool without expressing parameters with a predetermined logical structure.
  • a test data generation device includes a node arranged in a plurality of layers having an upper node indicating a target feature and a lower node indicating a lower-order feature of the upper-node feature.
  • the upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node.
  • Feature data that defines at least one of a requirement condition that determines whether the establishment or non-establishment of one node in between determines the establishment or non-establishment of the other node, and an exclusive condition that determines the simultaneous establishment or non-establishment of both nodes between nodes At least one of the following: (a) and-and-level flattening means; (b) or-or-layer flattening means; and (c) lifting flattening means.
  • Test data generation comprising: flattening means for flattening a hierarchical structure of input feature data; and test data generating means for generating test data based on the combination of features based on the flattened feature data
  • the AND-and-level flattening means (a1) in the feature data the target node defines an AND relationship, the child node of the target node is set as a target child node, and the target child node has an AND relationship.
  • And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request A request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means; A target child node deleting means for adding a target grandchild node as a child node to the AND relationship as a child node of the target node; (b) The or-or hierarchy flattening means (b1) in the feature data, the target node defines an OR relationship, a child node of the target node is a target child node, and the target child node has an OR relationship.
  • OR or OR relationship extraction means for finding a defined location, and (b2) if an exclusion condition is attached to the target child node in the location found by the OR or OR relationship extraction means, the exclusion condition is An exclusive condition allocating means for allocating to a target grandchild node that is a child node of the target child node, and (b3) a requirement condition is attached to the target child node at a location found by the or-or relationship extracting means.
  • the requirement condition allocating means for allocating the requirement condition to the target node, and (b4) the target child node at the location found by the OR-OR relationship extracting means.
  • an exclusion condition that sets an exclusion condition between a child node other than the target child node in the target node and the request source node of the request condition
  • the target child node is deleted at a location found by the OR-OR relationship extracting unit, and the target grandchild node that is a child node of the target child node is changed to a child node of the target node.
  • a target child node deletion means to be added to the OR relationship as (c)
  • the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
  • a feature data processing apparatus includes nodes arranged in a plurality of hierarchies having a higher-level node indicating a target feature and a lower-level node indicating a lower-level feature of the higher-level node feature.
  • the upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node.
  • Feature data that defines at least one of a requirement condition that determines whether the establishment or non-establishment of one node in between determines the establishment or non-establishment of the other node, and an exclusive condition that determines the simultaneous establishment or non-establishment of both nodes
  • At least one of the following input means (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means
  • a characteristic data processing device and a flattening means for flattening the hierarchical structure of the input feature data (a) The AND-and-level flattening means (a1) in the feature data, the target node defines an AND relationship, the child node of the target node is set as a target child node, and the target child node has an AND relationship.
  • And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request A request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means; A target child node deleting means for adding a target grandchild node as a child node to the AND relationship as a child node of the target node; (b) The or-or hierarchy flattening means (b1) in the feature data, the target node defines an OR relationship, a child node of the target node is a target child node, and the target child node has an OR relationship.
  • OR-OR relationship extraction means to find out the defined place, (b2) If an exclusion condition is attached to the target child node at a location found by the or-or relationship extraction means, an exclusion condition distribution means for replacing the exclusion condition with the target node; and (b3 ) If the request condition is attached to the target child node at the location found by the or-or-relation extracting means, the request condition is replaced with the target grandchild node that is a child node of the target child node.
  • the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
  • a test data generation server device comprises a node arranged in a plurality of hierarchies having an upper node indicating a target feature and a lower node indicating a lower feature of the upper node feature.
  • the upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node.
  • Feature data in which at least one of a requirement condition that determines the establishment / non-establishment of one node and the exclusive condition that determines the simultaneous establishment / non-establishment of both nodes between nodes is defined as a terminal Receiving means for receiving from the apparatus; (a) and-and-level flattening means; (b) or-or-level flattening means; and (c) lifting flattening means.
  • And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request A request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means; A target child node deleting means for adding a target grandchild node as a child node to the AND relationship as a child node of the target node; (b) The or-or hierarchy flattening means (b1) in the feature data, the target node defines an OR relationship, a child node of the target node is a target child node, and the target child node has an OR relationship.
  • OR or OR relationship extraction means for finding a defined location, and (b2) if an exclusion condition is attached to the target child node in the location found by the OR or OR relationship extraction means, the exclusion condition is An exclusive condition allocating means for allocating to the target node; and (b3) if a required condition is attached to the target child node at a location found by the or-or relationship extracting means, the required condition is set to the target (B4) In the location found by the or-or relationship extracting means, the target child node is assigned to the target child node at a location found by the target grandchild node that is a child node of the child node.
  • an exclusion condition that sets an exclusion condition between a child node other than the target child node in the target node and the request source node of the request condition
  • the target child node is deleted at a location found by the OR-OR relationship extracting unit, and the target grandchild node that is a child node of the target child node is changed to a child node of the target node.
  • a target child node deletion means to be added to the OR relationship as (c)
  • the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
  • a feature data processing server device includes a node arranged in a plurality of hierarchies having an upper node indicating a target feature and a lower node indicating a lower feature of the upper node feature.
  • the upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node.
  • Feature data in which at least one of a requirement condition that determines the establishment / non-establishment of one node and the exclusive condition that determines the simultaneous establishment / non-establishment of both nodes between nodes is defined as a terminal
  • a feature data processing server device comprising at least one, flattening means for flattening a hierarchical structure of input feature data, and transmitting means for transmitting the flattened feature data to a terminal device.
  • And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request
  • a request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means;
  • OR or OR relationship extraction means for finding a defined location, and (b2) if an exclusion condition is attached to the target child node in the location found by the OR or OR relationship extraction means, the exclusion condition is An exclusive condition allocating means for allocating to the target node; and (b3) if a required condition is attached to the target child node at a location found by the or-or relationship extracting means, the required condition is set to the target (B4) In the location found by the or-or relationship extracting means, the target child node is assigned to the target child node at a location found by the target grandchild node that is a child node of the child node.
  • an exclusion condition that sets an exclusion condition between a child node other than the target child node in the target node and the request source node of the request condition
  • the target child node is deleted at a location found by the OR-OR relationship extracting unit, and the target grandchild node that is a child node of the target child node is changed to a child node of the target node.
  • a target child node deletion means to be added to the OR relationship as (c)
  • the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
  • the flattening means includes (a) the AND-and-hierarchy flattening means, (b) the or-or-hierarchy flattening means, and (c) the lifting A flattening means, wherein the lift flattening means processes the feature data processed by the and-and-hierarchical flattening means and the or-or-hierarchical flattening means. Yes.
  • the request condition is that the request destination node is also satisfied.
  • the exclusion condition is characterized in that when one node is established, the other node is not established.
  • test data generating apparatus (10) is characterized in that the AND relationship indicates that all nodes must be established.
  • test data generating device (11)
  • the test data generating device is characterized in that the OR relationship indicates that only one of the nodes is established.
  • a feature data processing method is a method of processing feature data by a computer, wherein the computer includes a higher-order node indicating a target feature and a lower-order feature indicating a lower-order feature of the higher-order node.
  • An AND relationship in which all the lower nodes must be established with respect to the upper node, and any one of the lower nodes with respect to the upper node may be established.
  • the upper node and lower node are connected in a relationship, and the establishment condition of one node between nodes establishes the requirement for determining the establishment / non-establishment of the other node, and the simultaneous establishment / non-establishment of both nodes between nodes
  • Input feature data that defines at least one of the exclusion conditions
  • the computer executes at least one of the following (a) and-and-level flattening processing, (b) or-or-level flattening processing, and (c) lifting flattening processing, and is input
  • a feature data processing method for flattening a hierarchical structure of feature data (a)
  • the AND-and-hierarchy flattening process is as follows: (a1) In the feature data, the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node (A2) If a request condition or an exclusion condition is attached to the target child node, the request condition or the exclusion condition is replaced with the target node
  • a target grandchild node that is a child node of the target child node is added to the AND relationship as a child node of the target node, (b)
  • the or-or-layer flattening process is as follows: (b1) In the feature data, the target node defines an OR relationship, the child node of the target node is set as the target child node, and the target child node has an OR relationship. (B2) If an exclusive condition is attached to the target child node, the exclusive condition is replaced with the target node, and (b3) a required condition is attached to the target child node. For example, the request condition is replaced with a target grandchild node that is a child node of the target child node.
  • the structure of the feature data given to the test data generation process can be flattened, and the process in test data generation becomes easy.
  • step S3 “Or or hierarchical leveling means” corresponds to step S3.
  • the lifting flattening means corresponds to step S4.
  • Test data generation means corresponds to step S5.
  • Program is a concept that includes not only a program that can be directly executed by the CPU but also a source-format program, a compressed program, an encrypted program, and the like.
  • FIG. 1 is a functional block diagram of a test data generation device according to an embodiment of the present invention.
  • FIG. It is a hardware configuration of a test data generation device.
  • 4 is a flowchart of a test data generation program 44. It is a flowchart of flattening processing of an AND-AND hierarchy. It is a flowchart of flattening processing of an AND-AND hierarchy. It is a flowchart of the flattening process of a XOR-XOR hierarchy. It is a flowchart of the flattening process of a XOR-XOR hierarchy. It is a flowchart of the flattening process of a XOR-XOR hierarchy. It is a flowchart of the flattening process by lifting.
  • the input parameter data is illustrated. It is a figure which shows replacement of the requirement conditions in an AND-AND hierarchy. It is a figure which shows the parameter data planarized by the AND-AND hierarchy planarization process. It is a figure which shows replacement of the requirement conditions in a XOR-XOR hierarchy. It is a figure which shows replacement of the requirement condition in an XOR-XOR hierarchy, and the improper exclusion condition. It is a figure which shows the parameter data planarized by the XOR-XOR hierarchy planarization process. It is a figure which shows the parameter data planarized by the lifting planarization process.
  • FIG. 2 is a diagram showing a structure of standard parameter data in a conventional test data generation apparatus.
  • FIG. 12 shows the logical structure of a certain event in a tree format. In this tree structure, input to a tool such as PICT is not possible.
  • FIG. 21 the data defined for PICT shown in FIG. 21 is shown in a tree structure as shown in FIG.
  • Parameters a1, a2,... An are connected to a group by exclusive OR (XOR).
  • XOR exclusive OR
  • the parameters b1, b2,... Bn are coupled to the group of b by exclusive OR (XOR).
  • the parameters m1, m2,... Mn are connected to the group of m by exclusive OR (XOR).
  • A, b, c ... m are connected to group r by AND. That is, a, b, c... M are all in a “established” relationship.
  • the req line from parameter m1 to parameter an indicates that when parameter m1 is established, parameter an is also established.
  • a mutex line between the parameter a2 and the parameter b2 indicates that the parameter a2 and the parameter b2 are not simultaneously established.
  • a tool such as PICT can be used.
  • the input means 2 inputs parameter data 20 expressed in a logical structure.
  • the AND-and-layer flattening means 4 finds a portion in the logical structure of the input parameter data 20 where the AND relationship and the AND relationship are continuous as a layer from the target node.
  • the target node is AT, and a portion where the AND relationship and the AND relationship are continuous as a hierarchy is indicated by 30.
  • the AND-and-level flattening means 4 further sets the request condition or the exclusion condition. To the target node AT. In the example of FIG. 1, no request condition or exclusion condition is attached to the target child node Ta, so nothing is performed here. Subsequently, the AND and hierarchy leveling means 4 deletes the target child node Ta.
  • the AND-and-layer flattening means 4 executes the above-described processing for all the portions where the found AND relationship and the AND relationship are continuous as a layer. As a result, AND-and-level flattening parameter data 22 is obtained.
  • the or-or hierarchy flattening means 6 finds a portion in the logical structure of the AND-and-layer flattening parameter data 22 where the OR relationship and the OR relationship are continuous as a hierarchy from the target node.
  • the target node is El
  • a portion where the OR relationship and the OR relationship are continuous as a hierarchy is indicated by 32.
  • the OR-or-layer flattening means 6 replaces it with the target grandchild nodes ISR1, ISR2 (child nodes of the target child node).
  • the exclusion condition set between the target child node ISR and the node WA is replaced between each of the target grandchild nodes ISR1 and ISR2 and the node WA.
  • the required condition is attached to the target child node ISR, the required condition is replaced with the target node El.
  • the or-or hierarchy flattening means 6 deletes the target child node ISR.
  • the or-or hierarchy flattening means 6 performs the above-described processing for all the portions where the found OR relationship and the OR relationship are continuous as a hierarchy. As a result, OR-or-layer flattening parameter data 24 is obtained.
  • the lifting flattening means 8 finds a portion 34 in which the AND relationship and the OR relationship are continuous as a lower hierarchy from the target node Ta, and the OR relationship and the AND relationship are continued from the target node as an upper hierarchy.
  • the lifting flattening means 8 sets a request condition for the target node Ta from the target grandchild nodes Y and N. Further, a target grandchild node YN “None of the target grandchild nodes Y and N” is added, and an exclusion condition is set between the target node Ta and the target grandchild node YN.
  • the lifting flattening means 8 further moves to add the target child node Pre as a child node of the target parent-parent node AT (parent node El of the target node Ta) to the AND relationship. At this time, the structure below the target child node Pre is also moved. Thereby, the lifting flattening parameter data 26 shown in FIG. 1 is obtained.
  • the lifting flattening parameter data 26 is a parameter having a logical structure defined by a hierarchy of an AND relationship and an XOR relationship. Therefore, the test data can be obtained by giving this to the test data generating means 10 realized by PICT or the like.
  • FIG. 2 shows a hardware configuration of the test data generation apparatus.
  • a memory 32, a display 34, a hard disk 36, a DVD-ROM drive 38, and a keyboard / mouse 46 are connected to the CPU 30.
  • the hard disk 36 stores an operating system 42 such as WINDOWS (trademark) and a test data generation program 44.
  • the test data generation program 44 performs its function in cooperation with the operating system 42.
  • the operating system 42 and the test data generation program 44 are those recorded on the DVD-ROM 40 and installed on the hard disk 36 via the DVD-ROM drive 38.
  • FIG. 3 shows a flowchart of the test data generation program 44.
  • the CPU 30 inputs parameter data and records it on the hard disk 36 (step S1).
  • the parameter data may be input from the keyboard / mouse 46 or the DVD-ROM drive 38.
  • parameter data as shown in FIG. 11 is input.
  • the parameter data is input in a format as shown in FIG.
  • a tree structure as shown in FIG. 12 may be displayed on the display 34 and input while editing with the keyboard / mouse 46 or the like.
  • This parameter data shows the possible state of input data for the activateTask program in the operating system. For example, in FIG. 12, an AND relationship is connected from a node activateTask to a node Executionlevel (execution level) and a node Task (task to be activated). This indicates that both activatelevel and Task must be established for activateTask. That is, it is shown that activateTask needs to determine both Executionlevel and Task.
  • an XOR relationship is connected from the node execution level to the node ExTask (task execution level) and the node ISR (interrupt). This indicates that only one of ExTask and ISR must be established for Executionlevel. In other words, Executionlevel indicates that only one of ExTask and ISR needs to be determined.
  • Task needs to determine all of TaskID (task identification code), status (task status after activation execution), and priority (execution priority). It is indicated that TaskID must be determined as either valid (valid ID) or invalid (invalid ID). It is indicated that the status should be determined as one of suspended (running), run (operation), ready (ready), and wait (wait). It is indicated that the pariority must be determined as one of high, low, and equiv.
  • TaskID task identification code
  • status task status after activation execution
  • priority execution priority
  • TaskID must be determined as either valid (valid ID) or invalid (invalid ID). It is indicated that the status should be determined as one of suspended (running), run (operation), ready (ready), and wait (wait). It is indicated that the pariority must be determined as one of high, low, and equiv.
  • step S2 the CPU 30 performs an and-and-level flattening process on the input parameter data (step S2). As described above, flattening is performed by finding a portion where AND relationships are continuous as a hierarchy.
  • FIG. 4 shows details of the flattening process of the AND AND hierarchy.
  • step S201 it is determined whether or not a child node is defined in an AND relationship from the target node (step S202).
  • a child node Executionlevel and a child node Task are defined in an AND relationship from the target node activateTask. Therefore, the CPU 30 proceeds to step S203 and sets the first child node Executionlevel as the target child node.
  • step S204 the CPU 30 determines whether a grandchild node is defined in an AND relationship from the target child node.
  • the process proceeds to step S205.
  • step S205 it is determined whether all child nodes have been processed as target child nodes.
  • this is set as the target child node (step S206).
  • CPU30 judges whether the grandchild node is defined by AND relationship from an object child node (step S204).
  • grandchild node TaskID, status, and priority are defined in an AND relationship from the target child node Task. Therefore, since satisfied, it progresses to step S209.
  • step S209 the CPU 30 determines whether a condition is attached to the target child node Task.
  • step S211 is executed.
  • the CPU 30 deletes the target child node Task and sets the grandchild node TaskID, status, and priority as child nodes of the target node activateTask. Thereby, as shown in FIG. 14, the object child node Task is deleted.
  • step S205 the CPU 30 determines whether or not all child nodes have been processed as target child nodes.
  • step S207 the process proceeds to step S207.
  • step S207 the CPU 30 determines whether or not all nodes have been processed as target nodes.
  • the node Executionlevel is set to the target node (step S208).
  • the CPU 30 determines whether or not a child node is defined in an AND relationship from the target node Executionlevel (step S202).
  • the process proceeds to step S207. Since there are still unprocessed nodes, the node TaskID is set as the target node (step S208). Since the node Task has already been deleted and is in a state as shown in FIG. 14, the node TaskID is set as the target node.
  • step S202 judges whether the child node is defined by AND relationship from object node TaskID.
  • step S208 the node status is set as the target node.
  • step S202 the node priority is set as the target node (steps S202, S207, and S208).
  • step S207 If the above processing is repeated and all nodes are processed as target nodes, the AND-and-hierarchy flattening processing is terminated (step S207).
  • FIG. 14 shows the parameter data after performing the above-described AND-and-level flattening process.
  • step S209 if a condition is attached to the target child node that satisfies the AND-and-hierarchy condition, the CPU 30 replaces the condition with the target node. For example, as shown in FIG. 13A, if the target condition is attached to the target child node C, the request condition is changed to the target node A as shown in FIG. 13B. The same applies not only when the target child node C is the request source as shown in FIG. 13 but also when the target child node is the request destination. Further, when an exclusion condition is attached to the target child node C, the replacement is performed in the same manner.
  • the CPU 30 first sets the root node actiavteTask as a target node in step S301 for the flattened data in FIG. Next, it is determined from this target node actiavteTask whether or not a child node is defined in an XOR relationship (step S302). Here, child nodes Executionlevel, TaskID, status, and priority are defined in an AND relationship, which is not satisfied. Accordingly, the process proceeds to step S307.
  • step S307 the CPU 30 determines whether all nodes have been processed as target nodes.
  • the next node Executionlevel is set as the target node (step S308).
  • step S302 the CPU 30 determines from the target node Executionlevel whether a child node is defined in an XOR relationship.
  • the child nodes ExTask and ISR are defined in the XOR relationship, which is satisfied. Therefore, the CPU 30 sets the child node ExTask as the target child node (step S303).
  • step S304 the CPU 30 determines whether a grandchild node is defined in the XOR relationship from the target child node ExTask (step S304).
  • the grandchild node Preemptive is defined in the AND relationship and is not satisfied, the process proceeds to step S305.
  • step S305 the CPU 30 determines whether or not all child nodes are the target child nodes. Since the child node ISR has not yet been set as the target child node, this is set as the target child node (step S306).
  • the CPU 30 determines whether or not a grandchild node is defined in an XOR relationship from the target child node ISR (step S304).
  • the grandchild nodes ISR1 and ISR2 are defined in the XOR relationship, they are satisfied. Accordingly, the process proceeds to step S309.
  • step S309 it is determined whether a condition is attached to the target child node ISR.
  • the process proceeds to step S310.
  • step S310 the CPU 30 determines whether the condition is an exclusive condition.
  • step S311 is executed.
  • step S311 the exclusion condition attached to the target child node ISR is changed to the grandchild nodes ISR1 and ISR2. That is, the exclusion condition between the node priority and the target child node ISR is replaced with the exclusion condition between the node priority and the target grandchild node ISR1, and the exclusion condition between the node priority and the target grandchild node ISR2.
  • step S312 the CPU 30 determines whether or not the condition attached to the target child node ISR is a request condition (step S312).
  • the process proceeds to step S317.
  • step S317 the CPU 30 deletes the target child node ISR and sets the grandchild nodes ISR1 and ISR2 as child nodes of the target node Executionlevel. Therefore, as shown in FIG. 17, the exclusion condition is changed and the target child node ISR is deleted.
  • step S305 the CPU 30 determines whether or not processing has been performed for all child nodes.
  • the process from step S304 onward is executed with the child node TaskID as the target child node.
  • the other child nodes “status” and “priority” are also sequentially processed as target child nodes, and the processing from step S304 is executed.
  • step S308 When the processing for all the child nodes of the target node is completed, the next node is set as the target node (step S308), and the processing from step S302 is executed.
  • step S307 When all nodes are processed as target nodes in this way, the XOR / XOR hierarchy flattening process is terminated (step S307).
  • step S310 when an exclusion condition is attached to the target child node, the exclusion condition is changed to all the grandchild nodes of the child node. At this time, if the target condition is attached to the target child node (step S312), the CPU 30 performs the following processing.
  • CPU 30 determines whether or not the request source of the request condition is a child node (step S313). If so, the CPU 30 replaces the request condition from the child node with the request condition from the grandchild node of the child node (step S314).
  • a request condition is set for the node E from the target child node C in a continuous portion of the XOR hierarchy.
  • the CPU 30 sets a request condition for the node E with the request source as a grandchild node of the target child node. Thereafter, the target child node C is deleted, and the grandchild nodes F, G, and H are added to the child nodes of the target node A (step S317).
  • step S313 If the CPU 30 determines in step S313 that a request condition that sets the target child node as a request destination is attached, the CPU 30 proceeds to step S315. In step S315, the CPU 30 replaces the request condition attached to the target child node with the target node. Further, an exclusion condition is set for each of the child nodes of the target node (excluding the target child node) from the request source node of the request condition (step S316).
  • a request condition is set from the node E for the target child node C in a continuous portion of the XOR hierarchy.
  • the CPU 30 changes the request destination of the request condition to the target node A as shown in FIG. 16B.
  • the target child node C here, only the child node B
  • the node E that is the request source of the request condition Set the exclusion condition.
  • the target child node C is deleted, and the grandchild nodes F, G, and H are added to the child nodes of the target node A (step S317).
  • step S4 the CPU 30 next executes the flattening process by lifting. That is, it is flattened to parameter data consisting of three layers defined by the AND relationship and the XOR relationship. Details of the flattening process by lifting are shown in FIGS.
  • the CPU 30 sets the first node below the third hierarchy as the target node in the flattened parameter data of FIG. 17 (step S401).
  • the node ExTask is the target node.
  • step S402 determines whether a child node is defined in an AND relationship from the target node ExTask (step S402).
  • the child node preemptive is defined, it is satisfied, so the process proceeds to step S403.
  • step S403 the first child node is set as a target child node.
  • the child node preemptive is the target child node.
  • the CPU 30 defines the structure below the target child node preemptive as an AND relationship as a child node of the parent node (parent parent node or grandparent node) activateTask of the target node ExTask (see FIG. 18).
  • a request condition is set for the target node ExTask from each of the grandchild nodes Yes and No (step S405) (hereinafter, child nodes, grandchild nodes, etc. are represented based on the state of FIG. ing). Furthermore, the CPU 30 adds a grandchild node with the content “None of other grandchild nodes” in an XOR relationship (step S406).
  • a node YesNo that is neither Yes nor No is defined.
  • the CPU 30 sets an exclusion condition between the added grandchild node YesNo and the target node ExTask (step S407). Thereby, the parameter data as shown in FIG. 18 is obtained.
  • step S408 the CPU 30 determines whether or not all child nodes are the target child nodes. If there is a child node that has not been processed, the next child node is set as the target child node, and step S402 and subsequent steps are executed. Here, since all the child nodes have been processed, the process proceeds to step S410.
  • step S410 the CPU 30 determines whether or not all nodes in the third hierarchy and below are the target nodes. If there is a node below the third hierarchy that is not the target, the next node is set as the target node (step S411). Here, since there is no node below the third hierarchy, the flattening process by lifting ends.
  • the flattened parameter data as shown in FIG. 18 can be obtained. This is represented in the data format as shown in FIG. 18
  • test data generation processing based on the parameter data generated in this way (FIG. 3, step S5).
  • test data is generated based on the all-pair method.
  • the flattened parameter data is standardized as three-layer data consisting of an AND relationship and an XOR relationship. Therefore, the test data generation process by the all-pair method is easy.
  • a test data generation program for example, Microsoft's PICT
  • PICT PICT
  • Test data can be generated as described above.
  • test data is generated.
  • the parameter data flattened by the processes in steps S2 to S4 may be output.
  • the user can input the output parameter data to a tool such as PICT to obtain test data.
  • the CPU of the server device receives parameter data from the terminal device via the Internet (step S50). Subsequently, flattening of the AND-AND hierarchy (step S2), flattening of the XOR-XOR hierarchy (step S3), flattening by lifting (step S4), and generation of test data (step S5) are executed. These processes are the same as those in FIG. Subsequently, the generated test data is transmitted to the terminal device (step S51).
  • test data can be obtained without preparing a program in the terminal device.
  • the flattened parameter data may be transmitted to the terminal device.
  • the user can input this into a tool such as PICT on the terminal device side to obtain test data.
  • processing is performed in the order of AND-AND hierarchy flattening and XOR-XOR hierarchy flattening.
  • XOR-XOR hierarchy flattening may be executed prior to AND-AND hierarchy flattening.

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

In an inputted parameter data (20) logic structure, an AND-AND hierarchy leveling means (4) switches a condition of a portion wherein an AND relation and an AND relation are contiguous from a subject node as a hierarchy, and deletes a subject child node (Ta). An OR-OR hierarchy leveling means (6) switches a condition of a portion wherein an OR relation and an OR relation are contiguous from a subject node as a hierarchy, and deletes a subject child node (ISR). A raising leveling means (8) finds a portion (34) wherein the AND relation and the OR relation are contiguous from the subject node (Ta) as a lower-order hierarchy and the OR relation and the AND relation are contiguous from the subject node as a higher-order hierarchy, switches the condition, and carries out leveling. It is thus possible to obtain standardized parameter data.

Description

テストデータ生成装置Test data generator
 この発明は、プログラムなどが正常に動作するかどうかをテストするためのテストデータを生成する装置に関するものである。 This invention relates to an apparatus for generating test data for testing whether a program or the like operates normally.
 ソフトウエアの動作をテストするために、入力される可能性のあるデータの組合せを作成し、これらテストデータを入力して所望の動作となるかどうかを判断することが行われている。 In order to test the operation of software, a combination of data that may be input is created, and the test data is input to determine whether or not a desired operation is achieved.
 従来、オールペア法(ペアワイズ法)等によって、入力される可能性のあるデータの組合せを生成し、テストデータが作成されていた。オールペア法等を用いたテストデータ生成のためのツールとして、マイクロソフト社のPICT(商標)などが販売されている。 Conventionally, test data is created by generating a combination of data that may be input by an all-pair method (pair-wise method) or the like. As a tool for test data generation using the all-pair method or the like, Microsoft's PICT (trademark) is sold.
 たとえば、PICTにおいては、図21に示すように、パラメータ、バリュー、制約条件を定義することにより、バリューの組み合わせによるテストデータを生成することができる。 For example, in PICT, as shown in FIG. 21, by defining parameters, values, and constraint conditions, test data based on combinations of values can be generated.
 ここで、a、b・・・mはパラメータであり、a1、a2・・・anは、パラメータaのバリューである。1行目のa:a1、a2・・・anによって、パラメータaは、バリューa1、a2・・・anのいずれかをとることが示されている。2行目以下も同様である。 Here, a, b... M are parameters, and a1, a2... An are the values of the parameter a. The parameter a takes one of the values a1, a2,..., An by a: a1, a2,. The same applies to the second and subsequent lines.
 また、If m=m1 then a=anは、パラメータmがm1の場合には、aはanとなることを条件として示している。さらに、If b=b2 then NOT a=a2およびIf a=a2 then NOT b=b2は、パラメータbがb2であることと、パラメータaがa2であることが両立しないことを条件として示している。 Further, If m = m1 then a = an indicates that a is an when the parameter m is m1. Further, If b = b2 then NOT a = a2 and If a = a2 then NOT b = b2 show that the parameter b is b2 and the parameter a is a2.
 このような形式のデータにて、PICTプログラムにパラメータを与えると、テストデータが生成されて出力される。 ∙ If parameters are given to the PICT program using data in this format, test data is generated and output.
 以上のようにオールペア法などを用いたテストデータ生成ツールにおいては、図21に示すような論理構造のデータを与えなければならない。このため、このような論理構造にて定義されていない事象については、ツールを使用することができなかった。 As described above, in the test data generation tool using the all-pair method or the like, data having a logical structure as shown in FIG. 21 must be given. For this reason, the tool cannot be used for events that are not defined in such a logical structure.
 図12に、ある事象の論理構造をツリー形式にて示す。このツリー構造では、PICTのようなツールに入力することはできない。 Fig. 12 shows the logical structure of a certain event in a tree format. In this tree structure, input to a tool such as PICT is not possible.
 そこで、この発明においては、定められた論理構造にてパラメータを表現しなくとも、テストデータ生成ツールを使用することが可能となるようにすることを目的とする。 Therefore, an object of the present invention is to make it possible to use a test data generation tool without expressing parameters with a predetermined logical structure.
(1)(2)この発明に係るテストデータ生成装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、前記平坦化された特徴データに基づいて、特徴の組合せによるテストデータを生成するテストデータ生成手段とを備えたテストデータ生成装置であって、
 (a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
 (b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、(b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
 (c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。
(1) (2) A test data generation device according to the present invention includes a node arranged in a plurality of layers having an upper node indicating a target feature and a lower node indicating a lower-order feature of the upper-node feature. The upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node. Feature data that defines at least one of a requirement condition that determines whether the establishment or non-establishment of one node in between determines the establishment or non-establishment of the other node, and an exclusive condition that determines the simultaneous establishment or non-establishment of both nodes between nodes At least one of the following: (a) and-and-level flattening means; (b) or-or-layer flattening means; and (c) lifting flattening means. Test data generation comprising: flattening means for flattening a hierarchical structure of input feature data; and test data generating means for generating test data based on the combination of features based on the flattened feature data A device,
(a) The AND-and-level flattening means (a1) in the feature data, the target node defines an AND relationship, the child node of the target node is set as a target child node, and the target child node has an AND relationship. And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request A request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means; A target child node deleting means for adding a target grandchild node as a child node to the AND relationship as a child node of the target node;
(b) The or-or hierarchy flattening means (b1) in the feature data, the target node defines an OR relationship, a child node of the target node is a target child node, and the target child node has an OR relationship. OR or OR relationship extraction means for finding a defined location, and (b2) if an exclusion condition is attached to the target child node in the location found by the OR or OR relationship extraction means, the exclusion condition is An exclusive condition allocating means for allocating to a target grandchild node that is a child node of the target child node, and (b3) a requirement condition is attached to the target child node at a location found by the or-or relationship extracting means. For example, the requirement condition allocating means for allocating the requirement condition to the target node, and (b4) the target child node at the location found by the OR-OR relationship extracting means. If the request condition that the target child node is a request destination is attached, an exclusion condition that sets an exclusion condition between a child node other than the target child node in the target node and the request source node of the request condition And (b5) the target child node is deleted at a location found by the OR-OR relationship extracting unit, and the target grandchild node that is a child node of the target child node is changed to a child node of the target node. And a target child node deletion means to be added to the OR relationship as
(c) The lifting flattening means (c1) in the feature data, the target node defines an AND relationship, a target child node that is a child node of the target node defines an OR relationship, and In the AND or AND relationship extraction means for finding the location where the target parent parent node that is the parent node of the parent node defines an AND relationship, and (c2) in the location found by the AND or AND relationship extraction means, From a target grandchild node that is a child node of the target child node, a request condition setting unit that sets a request condition for the target node, and (c3) in a place found by the AND-OR AND relationship extraction unit, As a child node of the target child node, a node having a feature of “not one of the target grandchild nodes” is added, and the target node and the added node are added A node adding means for setting an exclusion condition, and (c4) an AND relation as a child node of the target parent-parent node at the place found by the AND-OR AND relation extracting means And a target child node moving means to be added.
 したがって、テストデータ生成手段に与える特徴データの構造を平坦化することができ、テストデータ生成手段における処理が容易となる。 Therefore, the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
(3)(4)この発明に係る特徴データ処理装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段とを備えた特徴データ処理装置であって、
 (a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
 (b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
 (b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
 (c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。
(3) (4) A feature data processing apparatus according to the present invention includes nodes arranged in a plurality of hierarchies having a higher-level node indicating a target feature and a lower-level node indicating a lower-level feature of the higher-level node feature. The upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node. Feature data that defines at least one of a requirement condition that determines whether the establishment or non-establishment of one node in between determines the establishment or non-establishment of the other node, and an exclusive condition that determines the simultaneous establishment or non-establishment of both nodes At least one of the following input means, (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means For example, a characteristic data processing device and a flattening means for flattening the hierarchical structure of the input feature data,
(a) The AND-and-level flattening means (a1) in the feature data, the target node defines an AND relationship, the child node of the target node is set as a target child node, and the target child node has an AND relationship. And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request A request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means; A target child node deleting means for adding a target grandchild node as a child node to the AND relationship as a child node of the target node;
(b) The or-or hierarchy flattening means (b1) in the feature data, the target node defines an OR relationship, a child node of the target node is a target child node, and the target child node has an OR relationship. OR-OR relationship extraction means to find out the defined place,
(b2) If an exclusion condition is attached to the target child node at a location found by the or-or relationship extraction means, an exclusion condition distribution means for replacing the exclusion condition with the target node; and (b3 ) If the request condition is attached to the target child node at the location found by the or-or-relation extracting means, the request condition is replaced with the target grandchild node that is a child node of the target child node. (B4) In the place found by the OR-OR relationship extracting means, if the target child node is attached with a request condition that the target child node is a request destination, An exclusion condition setting means for setting an exclusion condition between a child node other than the target child node and the request source node of the request condition; and (b5) the or-or relationship extracting means Thus, the found child node is deleted at the found location, and the target child node deleting means for adding the target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node is provided. And
(c) The lifting flattening means (c1) in the feature data, the target node defines an AND relationship, a target child node that is a child node of the target node defines an OR relationship, and In the AND or AND relationship extraction means for finding the location where the target parent parent node that is the parent node of the parent node defines an AND relationship, and (c2) in the location found by the AND or AND relationship extraction means, From a target grandchild node that is a child node of the target child node, a request condition setting unit that sets a request condition for the target node, and (c3) in a place found by the AND-OR AND relationship extraction unit, As a child node of the target child node, a node having a feature of “not one of the target grandchild nodes” is added, and the target node and the added node are added A node adding means for setting an exclusion condition, and (c4) an AND relation as a child node of the target parent-parent node at the place found by the AND-OR AND relation extracting means And a target child node moving means to be added.
 したがって、テストデータ生成手段に与える特徴データの構造を平坦化することができ、テストデータ生成手段における処理が容易となる。 Therefore, the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
(5)この発明に係るテストデータ生成サーバ装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを端末装置から受け取るための受信手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、受信した特徴データの階層構造を平坦化する平坦化手段と、前記平坦化された特徴データに基づいて、特徴の組合せによるテストデータを生成するテストデータ生成手段と、生成したテストデータを前記端末装置に送信する送信手段とを備えたテストデータ生成サーバ装置であって、
 (a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
 (b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、(b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
 (c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。
(5) A test data generation server device according to the present invention comprises a node arranged in a plurality of hierarchies having an upper node indicating a target feature and a lower node indicating a lower feature of the upper node feature. The upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node. Feature data in which at least one of a requirement condition that determines the establishment / non-establishment of one node and the exclusive condition that determines the simultaneous establishment / non-establishment of both nodes between nodes is defined as a terminal Receiving means for receiving from the apparatus; (a) and-and-level flattening means; (b) or-or-level flattening means; and (c) lifting flattening means. A flattening unit for flattening a hierarchical structure of received feature data, a test data generating unit for generating test data based on a combination of features based on the flattened feature data, and A test data generation server device comprising a transmission means for transmitting test data to the terminal device,
(a) The AND-and-level flattening means (a1) in the feature data, the target node defines an AND relationship, the child node of the target node is set as a target child node, and the target child node has an AND relationship. And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request A request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means; A target child node deleting means for adding a target grandchild node as a child node to the AND relationship as a child node of the target node;
(b) The or-or hierarchy flattening means (b1) in the feature data, the target node defines an OR relationship, a child node of the target node is a target child node, and the target child node has an OR relationship. OR or OR relationship extraction means for finding a defined location, and (b2) if an exclusion condition is attached to the target child node in the location found by the OR or OR relationship extraction means, the exclusion condition is An exclusive condition allocating means for allocating to the target node; and (b3) if a required condition is attached to the target child node at a location found by the or-or relationship extracting means, the required condition is set to the target (B4) In the location found by the or-or relationship extracting means, the target child node is assigned to the target child node at a location found by the target grandchild node that is a child node of the child node. If the request condition that the target child node is a request destination is attached, an exclusion condition that sets an exclusion condition between a child node other than the target child node in the target node and the request source node of the request condition And (b5) the target child node is deleted at a location found by the OR-OR relationship extracting unit, and the target grandchild node that is a child node of the target child node is changed to a child node of the target node. And a target child node deletion means to be added to the OR relationship as
(c) The lifting flattening means (c1) in the feature data, the target node defines an AND relationship, a target child node that is a child node of the target node defines an OR relationship, and In the AND or AND relationship extraction means for finding the location where the target parent parent node that is the parent node of the parent node defines an AND relationship, and (c2) in the location found by the AND or AND relationship extraction means, From a target grandchild node that is a child node of the target child node, a request condition setting unit that sets a request condition for the target node, and (c3) in a place found by the AND-OR AND relationship extraction unit, As a child node of the target child node, a node having a feature of “not one of the target grandchild nodes” is added, and the target node and the added node are added A node adding means for setting an exclusion condition, and (c4) an AND relation as a child node of the target parent-parent node at the place found by the AND-OR AND relation extracting means And a target child node moving means to be added.
 したがって、テストデータ生成手段に与える特徴データの構造を平坦化することができ、テストデータ生成手段における処理が容易となる。 Therefore, the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
(6)この発明に係る特徴データ処理サーバ装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを端末装置から受け取るための受信手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、前記平坦化された特徴データを端末装置に送信する送信手段と、を備えた特徴データ処理サーバ装置であって、
 (a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
 (b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、(b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
 (c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。
(6) A feature data processing server device according to the present invention includes a node arranged in a plurality of hierarchies having an upper node indicating a target feature and a lower node indicating a lower feature of the upper node feature. The upper node and the lower node are combined in an AND relationship in which all of the lower nodes must be established with respect to the upper node, or an OR relationship in which one of the lower nodes is established with respect to the upper node. Feature data in which at least one of a requirement condition that determines the establishment / non-establishment of one node and the exclusive condition that determines the simultaneous establishment / non-establishment of both nodes between nodes is defined as a terminal Receiving means for receiving from the apparatus, (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means A feature data processing server device comprising at least one, flattening means for flattening a hierarchical structure of input feature data, and transmitting means for transmitting the flattened feature data to a terminal device. There,
(a) The AND-and-level flattening means (a1) in the feature data, the target node defines an AND relationship, the child node of the target node is set as a target child node, and the target child node has an AND relationship. And-and-relation extraction means for finding a defined part; and (a2) if a required condition or an exclusion condition is attached to the target child node at the position found by the AND-and-relation extraction means, the request A request / exclusive condition allocating means for replacing a condition or an exclusive condition with the target node; and (a3) deleting the target child node at a location found by the AND-and-relation extracting means; A target child node deleting means for adding a target grandchild node as a child node to the AND relationship as a child node of the target node;
(b) The or-or hierarchy flattening means (b1) in the feature data, the target node defines an OR relationship, a child node of the target node is a target child node, and the target child node has an OR relationship. OR or OR relationship extraction means for finding a defined location, and (b2) if an exclusion condition is attached to the target child node in the location found by the OR or OR relationship extraction means, the exclusion condition is An exclusive condition allocating means for allocating to the target node; and (b3) if a required condition is attached to the target child node at a location found by the or-or relationship extracting means, the required condition is set to the target (B4) In the location found by the or-or relationship extracting means, the target child node is assigned to the target child node at a location found by the target grandchild node that is a child node of the child node. If the request condition that the target child node is a request destination is attached, an exclusion condition that sets an exclusion condition between a child node other than the target child node in the target node and the request source node of the request condition And (b5) the target child node is deleted at a location found by the OR-OR relationship extracting unit, and the target grandchild node that is a child node of the target child node is changed to a child node of the target node. And a target child node deletion means to be added to the OR relationship as
(c) The lifting flattening means (c1) in the feature data, the target node defines an AND relationship, a target child node that is a child node of the target node defines an OR relationship, and In the AND or AND relationship extraction means for finding the location where the target parent parent node that is the parent node of the parent node defines an AND relationship, and (c2) in the location found by the AND or AND relationship extraction means, From a target grandchild node that is a child node of the target child node, a request condition setting unit that sets a request condition for the target node, and (c3) in a place found by the AND-OR AND relationship extraction unit, As a child node of the target child node, a node having a feature of “not one of the target grandchild nodes” is added, and the target node and the added node are added A node adding means for setting an exclusion condition, and (c4) an AND relation as a child node of the target parent-parent node at the place found by the AND-OR AND relation extracting means And a target child node moving means to be added.
 したがって、テストデータ生成手段に与える特徴データの構造を平坦化することができ、テストデータ生成手段における処理が容易となる。 Therefore, the structure of the feature data given to the test data generating means can be flattened, and the processing in the test data generating means becomes easy.
(7)この発明に係るテストデータ生成装置において、平坦化手段は、(a)前記アンド・アンド階層平坦化手段と、(b)前記オア・オア階層平坦化手段と、(c)前記持上平坦化手段とを備え、前記アンド・アンド階層平坦化手段および前記オア・オア階層平坦化手段によって処理された特徴データを、前記持上平坦化手段が処理するよう構成されていることを特徴としている。 (7) In the test data generation device according to the present invention, the flattening means includes (a) the AND-and-hierarchy flattening means, (b) the or-or-hierarchy flattening means, and (c) the lifting A flattening means, wherein the lift flattening means processes the feature data processed by the and-and-hierarchical flattening means and the or-or-hierarchical flattening means. Yes.
 したがって、アンド関係とオア関係によって結合された3層構造の特徴データとして平坦化することができる。 Therefore, it can be flattened as feature data of a three-layer structure combined by an AND relationship and an OR relationship.
(8)この発明に係るテストデータ生成装置において、要求条件は、要求元ノードが成立するときには、要求先ノードも成立することを定めるものであることを特徴としている。 (8) In the test data generation device according to the present invention, when the request source node is satisfied, the request condition is that the request destination node is also satisfied.
(9)この発明に係るテストデータ生成装置において、排他条件は、一方のノードが成立すると、他方のノードが成立しないことを定めるものであることを特徴としている。 (9) In the test data generation device according to the present invention, the exclusion condition is characterized in that when one node is established, the other node is not established.
(10)この発明に係るテストデータ生成装置は、アンド関係は、全てのノードが成立しなければならないことを示すものであることを特徴としている。 (10) The test data generating apparatus according to the present invention is characterized in that the AND relationship indicates that all nodes must be established.
(11)この発明に係るテストデータ生成装置は、オア関係は、いずれか一つのノードのみが成立することを示すものであることを特徴としている。 (11) The test data generating device according to the present invention is characterized in that the OR relationship indicates that only one of the nodes is established.
(12)この発明に係る特徴データ処理方法は、コンピュータによって特徴データを処理する方法であって、前記コンピュータが、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力し、
 前記コンピュータが、下記(a)アンド・アンド階層平坦化処理と、(b)オア・オア階層平坦化処理と、(c)持上平坦化処理の少なくとも一つの処理を実行して、入力された特徴データの階層構造を平坦化する特徴データ処理方法であって、
 (a)前記アンド・アンド階層平坦化処理は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだし、(a2)前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替え、(a3)前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加し、
 (b)前記オア・オア階層平坦化処理は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだし、(b2)前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替え、(b3)前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替え、(b4)前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定し、(b5)前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加し、
 (c)前記持上平坦化処理は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだし、(c2)前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定し、(c3)前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定し、(c4)前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加することを特徴としている。
(12) A feature data processing method according to the present invention is a method of processing feature data by a computer, wherein the computer includes a higher-order node indicating a target feature and a lower-order feature indicating a lower-order feature of the higher-order node. An AND relationship in which all the lower nodes must be established with respect to the upper node, and any one of the lower nodes with respect to the upper node may be established. The upper node and lower node are connected in a relationship, and the establishment condition of one node between nodes establishes the requirement for determining the establishment / non-establishment of the other node, and the simultaneous establishment / non-establishment of both nodes between nodes Input feature data that defines at least one of the exclusion conditions
The computer executes at least one of the following (a) and-and-level flattening processing, (b) or-or-level flattening processing, and (c) lifting flattening processing, and is input A feature data processing method for flattening a hierarchical structure of feature data,
(a) The AND-and-hierarchy flattening process is as follows: (a1) In the feature data, the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node (A2) If a request condition or an exclusion condition is attached to the target child node, the request condition or the exclusion condition is replaced with the target node, and (a3) the target child node is deleted. A target grandchild node that is a child node of the target child node is added to the AND relationship as a child node of the target node,
(b) The or-or-layer flattening process is as follows: (b1) In the feature data, the target node defines an OR relationship, the child node of the target node is set as the target child node, and the target child node has an OR relationship. (B2) If an exclusive condition is attached to the target child node, the exclusive condition is replaced with the target node, and (b3) a required condition is attached to the target child node. For example, the request condition is replaced with a target grandchild node that is a child node of the target child node. (B4) If the target condition that the target child node is a request destination is attached to the target child node, An exclusion condition is set between the child node other than the target child node in the target node and the request source node of the request condition, and (b5) the target child node is deleted and the child node of the target child node A certain grandchild node Add to the OR relationship as a child node of the target node,
(c) In the lifting flattening process, (c1) in the feature data, the target node defines an AND relationship, and the target child node that is a child node of the target node defines an OR relationship. Find the location where the target parent-parent node that is the parent node of the parent node defines an AND relationship, and (c2) set the requirements for the target node from the target grandchild node that is a child node of the target child node (C3) As a child node of the target child node, a node having a feature of “not one of the target grandchild nodes” is added, and an exclusion condition is set between the target node and the added node (C4) The target child node is added to the AND relationship as a child node of the target parent node.
 したがって、テストデータ生成処理に与える特徴データの構造を平坦化することができ、テストデータ生成における処理が容易となる。 Therefore, the structure of the feature data given to the test data generation process can be flattened, and the process in test data generation becomes easy.
 この発明において、「入力手段」は、ステップS1がこれに対応する。 In this invention, “input means” corresponds to step S1.
 「アンド・アンド階層平坦化手段」は、ステップS2がこれに対応する。 "And-and-level flattening means" corresponds to step S2.
 「オア・オア階層平坦化手段」は、ステップS3がこれに対応する。 “Or or hierarchical leveling means” corresponds to step S3.
 「持上平坦化手段」は、ステップS4がこれに対応する。 “The lifting flattening means” corresponds to step S4.
 「テストデータ生成手段」は、ステップS5がこれに対応する。 “Test data generation means” corresponds to step S5.
 「プログラム」とは、CPUにより直接実行可能なプログラムだけでなく、ソース形式のプログラム、圧縮処理がされたプログラム、暗号化されたプログラム等を含む概念である。 “Program” is a concept that includes not only a program that can be directly executed by the CPU but also a source-format program, a compressed program, an encrypted program, and the like.
この発明の一実施形態によるテストデータ生成装置の機能ブロック図である。1 is a functional block diagram of a test data generation device according to an embodiment of the present invention. FIG. テストデータ生成装置のハードウエア構成である。It is a hardware configuration of a test data generation device. テストデータ生成プログラム44のフローチャートである。4 is a flowchart of a test data generation program 44. AND-AND階層の平坦化処理のフローチャートである。It is a flowchart of flattening processing of an AND-AND hierarchy. AND-AND階層の平坦化処理のフローチャートである。It is a flowchart of flattening processing of an AND-AND hierarchy. XOR-XOR階層の平坦化処理のフローチャートである。It is a flowchart of the flattening process of a XOR-XOR hierarchy. XOR-XOR階層の平坦化処理のフローチャートである。It is a flowchart of the flattening process of a XOR-XOR hierarchy. XOR-XOR階層の平坦化処理のフローチャートである。It is a flowchart of the flattening process of a XOR-XOR hierarchy. 持ち上げによる平坦化処理のフローチャートである。It is a flowchart of the flattening process by lifting. 持ち上げによる平坦化処理のフローチャートである。It is a flowchart of the flattening process by lifting. 入力されるパラメータデータの例である。It is an example of the parameter data input. 入力されるパラメータデータを図示したものである。The input parameter data is illustrated. AND-AND階層における要求条件の付け替えを示す図である。It is a figure which shows replacement of the requirement conditions in an AND-AND hierarchy. AND-AND階層平坦化処理によって平坦化されたパラメータデータを示す図である。It is a figure which shows the parameter data planarized by the AND-AND hierarchy planarization process. XOR-XOR階層における要求条件の付け替えを示す図である。It is a figure which shows replacement of the requirement conditions in a XOR-XOR hierarchy. XOR-XOR階層における要求条件の付け替えと、排他条件の不可を示す図である。It is a figure which shows replacement of the requirement condition in an XOR-XOR hierarchy, and the improper exclusion condition. XOR-XOR階層平坦化処理によって平坦化されたパラメータデータを示す図である。It is a figure which shows the parameter data planarized by the XOR-XOR hierarchy planarization process. 持ち上げ平坦化処理によって平坦化されたパラメータデータを示す図である。It is a figure which shows the parameter data planarized by the lifting planarization process. 持ち上げ平坦化処理によって平坦化されたパラメータデータを示す図である。It is a figure which shows the parameter data planarized by the lifting planarization process. テストデータ生成サーバ装置のフローチャートである。It is a flowchart of a test data generation server apparatus. 従来のテストデータ生成装置における標準的なパラメータデータの構造である。This is a standard parameter data structure in a conventional test data generation apparatus. 従来のテストデータ生成装置における標準的なパラメータデータの構造を図に表したものである。FIG. 2 is a diagram showing a structure of standard parameter data in a conventional test data generation apparatus.
1.概要
 図12に、ある事象の論理構造をツリー形式にて示す。このツリー構造では、PICTのようなツールに入力することはできない。
1. Overview FIG. 12 shows the logical structure of a certain event in a tree format. In this tree structure, input to a tool such as PICT is not possible.
 一方、図21に示すPICTのために定められたデータを、ツリー構造にて示すと、図22のようになる。 On the other hand, the data defined for PICT shown in FIG. 21 is shown in a tree structure as shown in FIG.
 パラメータa1,a2,...anは、エクスクルーシブOR(XOR)によって、aのグループに結合されている。つまり、パラメータa1,a2,...anは、いずれか一つが必ず「成立」する関係にある。同様に、パラメータb1,b2,...bnは、エクスクルーシブOR(XOR)によって、bのグループに結合されている。さらに、パラメータm1,m2,...mnは、エクスクルーシブOR(XOR)によって、mのグループに結合されている。 Parameters a1, a2,... An are connected to a group by exclusive OR (XOR). In other words, any one of the parameters a1, a2,. Similarly, the parameters b1, b2,... Bn are coupled to the group of b by exclusive OR (XOR). Further, the parameters m1, m2,... Mn are connected to the group of m by exclusive OR (XOR).
 a,b,c...mは、アンド(AND)によって、rのグループに結合されている。つまり、a,b,c...mは、全てが「成立」する関係にある。 A, b, c ... m are connected to group r by AND. That is, a, b, c... M are all in a “established” relationship.
 なお、図22において、要素にドットを付すことによりAND関係を示している。また、ラインに弧を付すことによりXOR関係を示している。 In FIG. 22, an AND relationship is shown by adding dots to elements. Further, the XOR relationship is shown by adding an arc to the line.
 パラメータm1からパラメータanに向かうreqラインは、パラメータm1が成立すると、パラメータanも成立する関係にあることを示している。また、パラメータa2とパラメータb2との間のmutexラインは、パラメータa2とパラメータb2が同時に成立しない関係にあることを示している。 The req line from parameter m1 to parameter an indicates that when parameter m1 is established, parameter an is also established. A mutex line between the parameter a2 and the parameter b2 indicates that the parameter a2 and the parameter b2 are not simultaneously established.
 図12のようなツリー構造にて示されるデータを、図22に示すようなツリー構造に変換することができれば、PICTなどのツールを使用することができる。
 
If the data shown in the tree structure as shown in FIG. 12 can be converted into the tree structure as shown in FIG. 22, a tool such as PICT can be used.
2.テストデータ生成装置の全体構成
 図1に、この発明の一実施形態によるテストデータ生成装置の全体構成を機能ブロック図にて示す。入力手段2は、論理構造にて表現されたパラメータデータ20を入力する。
2. 1 is a functional block diagram showing the overall configuration of a test data generating apparatus according to an embodiment of the present invention. The input means 2 inputs parameter data 20 expressed in a logical structure.
 アンド・アンド階層平坦化手段4は、入力されたパラメータデータ20の論理構造中において、対象ノードから、AND関係とAND関係が階層として連続している部分を見いだす。図1においては、対象ノードがATであり、AND関係とAND関係が階層として連続している部分が30で示されている。 The AND-and-layer flattening means 4 finds a portion in the logical structure of the input parameter data 20 where the AND relationship and the AND relationship are continuous as a layer from the target node. In FIG. 1, the target node is AT, and a portion where the AND relationship and the AND relationship are continuous as a hierarchy is indicated by 30.
 アンド・アンド階層平坦化手段4は、さらに、前記部分30において、対象子ノードTa(対象ノードATの子にあたるノード)に要求条件または排他条件が付されていれば、当該要求条件または排他条件を、対象ノードATに付け替える。図1の例では、対象子ノードTaに要求条件や排他条件が付されていないので、ここでは何も行われない。続いて、アンド・アンド階層平坦化手段4は、対象子ノードTaを削除する。 If the request condition or the exclusion condition is added to the target child node Ta (the node corresponding to the child of the target node AT) in the portion 30, the AND-and-level flattening means 4 further sets the request condition or the exclusion condition. To the target node AT. In the example of FIG. 1, no request condition or exclusion condition is attached to the target child node Ta, so nothing is performed here. Subsequently, the AND and hierarchy leveling means 4 deletes the target child node Ta.
 アンド・アンド階層平坦化手段4は、見いだしたAND関係とAND関係が階層として連続している部分の全てについて、上記の処理を実行する。これにより、アンド・アンド階層平坦化パラメータデータ22が得られる。 The AND-and-layer flattening means 4 executes the above-described processing for all the portions where the found AND relationship and the AND relationship are continuous as a layer. As a result, AND-and-level flattening parameter data 22 is obtained.
 オア・オア階層平坦化手段6は、アンド・アンド階層平坦化パラメータデータ22の論理構造中において、対象ノードから、OR関係とOR関係が階層として連続している部分を見いだす。図1においては、対象ノードがElであり、OR関係とOR関係が階層として連続している部分が32で示されている。 The or-or hierarchy flattening means 6 finds a portion in the logical structure of the AND-and-layer flattening parameter data 22 where the OR relationship and the OR relationship are continuous as a hierarchy from the target node. In FIG. 1, the target node is El, and a portion where the OR relationship and the OR relationship are continuous as a hierarchy is indicated by 32.
 オア・オア階層平坦化手段6は、さらに、前記部分32において、対象子ノードISRに排他条件が付されていれば、これを対象孫ノードISR1、ISR2(対象子ノードの子ノード)に付け替える。図1においては、対象子ノードISRとノードWAの間に設定されている排他条件が、対象孫ノードISR1、ISR2のそれぞれと、ノードWAとの間に付け替えられる。また、前記部分32において、対象子ノードISRに要求条件が付されていれば、当該要求条件を、対象ノードElに付け替える。この時、この要求条件が、対象子ノードを要求先とするものであれば、対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する。続いて、オア・オア階層平坦化手段6は、対象子ノードISRを削除する。  Further, if the exclusion condition is added to the target child node ISR in the part 32, the OR-or-layer flattening means 6 replaces it with the target grandchild nodes ISR1, ISR2 (child nodes of the target child node). In FIG. 1, the exclusion condition set between the target child node ISR and the node WA is replaced between each of the target grandchild nodes ISR1 and ISR2 and the node WA. Further, in the portion 32, if the required condition is attached to the target child node ISR, the required condition is replaced with the target node El. At this time, if the request condition is the target child node as a request destination, an exclusion condition is set between a child node other than the target child node and the request source node of the request condition. Subsequently, the or-or hierarchy flattening means 6 deletes the target child node ISR. *
 オア・オア階層平坦化手段6は、見いだしたOR関係とOR関係が階層として連続している部分の全てについて、上記の処理を実行する。これにより、オア・オア階層平坦化パラメータデータ24が得られる。 The or-or hierarchy flattening means 6 performs the above-described processing for all the portions where the found OR relationship and the OR relationship are continuous as a hierarchy. As a result, OR-or-layer flattening parameter data 24 is obtained.
 持上平坦化手段8は、対象ノードTaからAND関係とOR関係が下位階層として連続し、さらに、対象ノードからOR関係とAND関係が上位階層として連続している部分34をみい出す。 The lifting flattening means 8 finds a portion 34 in which the AND relationship and the OR relationship are continuous as a lower hierarchy from the target node Ta, and the OR relationship and the AND relationship are continued from the target node as an upper hierarchy.
 持上平坦化手段8は、前記部分34において、対象孫ノードY、Nから、前記対象ノードTaに対して要求条件を設定する。さらに、「対象孫ノードY、Nのいずれでもない」という対象孫ノードYNを追加し、対象ノードTaと対象孫ノードYNとの間に、排他条件を設定する。 In the portion 34, the lifting flattening means 8 sets a request condition for the target node Ta from the target grandchild nodes Y and N. Further, a target grandchild node YN “None of the target grandchild nodes Y and N” is added, and an exclusion condition is set between the target node Ta and the target grandchild node YN.
 持上平坦化手段8は、さらに、対象子ノードPreを対象親親ノードAT(対象ノードTaの親ノードElの親ノード)の子ノードとして、AND関係に追加するように移動する。この際、対象子ノードPre以下の構造も移動される。これにより、図1に示す持上平坦化パラメータデータ26が得られる。 The lifting flattening means 8 further moves to add the target child node Pre as a child node of the target parent-parent node AT (parent node El of the target node Ta) to the AND relationship. At this time, the structure below the target child node Pre is also moved. Thereby, the lifting flattening parameter data 26 shown in FIG. 1 is obtained.
 持上平坦化パラメータデータ26は、AND関係とXOR関係の階層によって定められる論理構造を有するパラメータである。したがって、これをPICT等によって実現されるテストデータ生成手段10に与えることにより、テストデータを得ることができる。
 
The lifting flattening parameter data 26 is a parameter having a logical structure defined by a hierarchy of an AND relationship and an XOR relationship. Therefore, the test data can be obtained by giving this to the test data generating means 10 realized by PICT or the like.
3.ハードウエア構成
 図2に、テストデータ生成装置のハードウエア構成を示す。CPU30には、メモリ32、ディスプレイ34、ハードディスク36、DVD-ROMドライブ38、キーボード/マウス46が接続されている。ハードディスク36には、WINDOWS(商標)などのオペレーティングシステム42、テストデータ生成プログラム44が記録されている。テストデータ生成プログラム44は、オペレーティングシステム42と協働してその機能を発揮するものである。また、オペレーティングシステム42、テストデータ生成プログラム44は、DVD-ROM40に記録されたものを、DVD-ROMドライブ38を介して、ハードディスク36にインストールしたものである。
 
3. Hardware Configuration FIG. 2 shows a hardware configuration of the test data generation apparatus. A memory 32, a display 34, a hard disk 36, a DVD-ROM drive 38, and a keyboard / mouse 46 are connected to the CPU 30. The hard disk 36 stores an operating system 42 such as WINDOWS (trademark) and a test data generation program 44. The test data generation program 44 performs its function in cooperation with the operating system 42. The operating system 42 and the test data generation program 44 are those recorded on the DVD-ROM 40 and installed on the hard disk 36 via the DVD-ROM drive 38.
4.テストデータ生成プログラムの処理
 図3に、テストデータ生成プログラム44のフローチャートを示す。
4). Processing of Test Data Generation Program FIG. 3 shows a flowchart of the test data generation program 44.
4.1入力処理
 CPU30は、パラメータデータを入力し、ハードディスク36に記録する(ステップS1)。パラメータデータは、キーボード/マウス46から入力してもよいし、DVD-ROMドライブ38から入力するようにしてもよい。
4.1 Input Process The CPU 30 inputs parameter data and records it on the hard disk 36 (step S1). The parameter data may be input from the keyboard / mouse 46 or the DVD-ROM drive 38.
 ここでは、図11に示すようなパラメータデータが入力されたものとする。これを模式的に示すと図12のようになる。なお、この実施形態では、パラメータデータは、図11のような形式にて入力している。しかし、図12のようなツリー構造をディスプレイ34に表示し、キーボード/マウス46などで編集を行いながら入力するようにしてもよい。 Here, it is assumed that parameter data as shown in FIG. 11 is input. This is schematically shown in FIG. In this embodiment, the parameter data is input in a format as shown in FIG. However, a tree structure as shown in FIG. 12 may be displayed on the display 34 and input while editing with the keyboard / mouse 46 or the like.
 このパラメータデータは、オペレーティングシステムにおけるactivateTaskのプログラムに対する入力データが取り得る状態を示したものである。たとえば、図12において、ノードactivateTaskから、ノードExecutionlevel(実行レベル)、ノードTask(activate対象となるタスク)に、AND関係が結ばれている。これにより、activateTaskについては、ExecutionlevelとTaskの双方が成立しなければならないことが示されている。つまり、activateTaskは、ExecutionlevelとTaskの双方の決定が必要であることが示されている。 This parameter data shows the possible state of input data for the activateTask program in the operating system. For example, in FIG. 12, an AND relationship is connected from a node activateTask to a node Executionlevel (execution level) and a node Task (task to be activated). This indicates that both activatelevel and Task must be established for activateTask. That is, it is shown that activateTask needs to determine both Executionlevel and Task.
 また、ノードExecutionlevelから、ノードExTask(タスク実行レベル)、ノードISR(割り込み)に、XOR関係が結ばれている。これにより、Executionlevelについては、ExTaskとISRのいずれか一方のみが成立しなければならないことが示されている。つまり、Executionlevelは、ExTaskとISRのいずれか一方のみの決定が必要であることが示されている。 Also, an XOR relationship is connected from the node execution level to the node ExTask (task execution level) and the node ISR (interrupt). This indicates that only one of ExTask and ISR must be established for Executionlevel. In other words, Executionlevel indicates that only one of ExTask and ISR needs to be determined.
 同様に、Taskは、TaskID(タスクの識別符号)とstatus(activate実行後のタスクの状態)とpriority(実行の優先度)の全ての決定が必要であることが示されている。TaskIDは、valid(有効なID)かinvalid(無効なID)のいずれかに決定されなければならないことが示されている。statusは、suspended(停止中)、run(動作)、ready(準備完了)、wait(待ち)のいずれかに決定されなければならないことが示されている。pariorityは、high(高)、low(低)、equiv(普通)のいずれかに決定されなければならないことが示されている。 Similarly, it is indicated that Task needs to determine all of TaskID (task identification code), status (task status after activation execution), and priority (execution priority). It is indicated that TaskID must be determined as either valid (valid ID) or invalid (invalid ID). It is indicated that the status should be determined as one of suspended (running), run (operation), ready (ready), and wait (wait). It is indicated that the pariority must be determined as one of high, low, and equiv.
4.2アンド・アンド階層の平坦化処理
 次に、CPU30は、入力されたパラメータデータについて、アンド・アンド階層の平坦化処理を行う(ステップS2)。前述のように、AND関係が階層として連続している部分を探し出して平坦化を行う。図4に、アンド・アンド階層の平坦化処理の詳細を示す。
4.2 And-and-level flattening process Next, the CPU 30 performs an and-and-level flattening process on the input parameter data (step S2). As described above, flattening is performed by finding a portion where AND relationships are continuous as a hierarchy. FIG. 4 shows details of the flattening process of the AND AND hierarchy.
 CPU30は、まず、ルートノードactivateTaskを対象ノードに設定する(ステップS201)。次に、対象ノードからAND関係にて子ノードが定義されているかどうかを判断する(ステップS202)。ここでは、図12に示すように、対象ノードactivateTaskから、AND関係にて、子ノードExecutionlevelと子ノードTaskが定義されている。したがって、CPU30は、ステップS203に進み、最初の子ノードExecutionlevelを対象子ノードとする。 CPU 30 first sets the root node activateTask as the target node (step S201). Next, it is determined whether or not a child node is defined in an AND relationship from the target node (step S202). Here, as shown in FIG. 12, a child node Executionlevel and a child node Task are defined in an AND relationship from the target node activateTask. Therefore, the CPU 30 proceeds to step S203 and sets the first child node Executionlevel as the target child node.
 続いて、CPU30は、対象子ノードから、AND関係にて、孫ノードが定義されているかを判断する(ステップS204)。ここでは、対象子ノードExecutionlevelから、孫ノードExtask、ISRに対して、XOR関係が定義されており満たしていないので、ステップS205に進む。ステップS205において、すべての子ノードを対象子ノードとして処理したかどうかを判断する。ここでは、子ノードTaskに対する処理がまだであるから、これを対象子ノードとする(ステップS206)。 Subsequently, the CPU 30 determines whether a grandchild node is defined in an AND relationship from the target child node (step S204). Here, since the XOR relationship is defined and not satisfied from the target child node Execution level to the grandchild nodes Extask and ISR, the process proceeds to step S205. In step S205, it is determined whether all child nodes have been processed as target child nodes. Here, since the process for the child node Task is not yet performed, this is set as the target child node (step S206).
 CPU30は、対象子ノードから、AND関係にて、孫ノードが定義されているかを判断する(ステップS204)。ここでは、対象子ノードTaskから、AND関係にて、孫ノードTaskID、status、priorityが定義されている。したがって、満足するので、ステップS209に進む。 CPU30 judges whether the grandchild node is defined by AND relationship from an object child node (step S204). Here, grandchild node TaskID, status, and priority are defined in an AND relationship from the target child node Task. Therefore, since satisfied, it progresses to step S209.
 ステップS209において、CPU30は、対象子ノードTaskに条件が付いているかどうかを判断する。ここでは、条件は付いていないので、ステップS211を実行する。ステップS211において、CPU30は、対象子ノードTaskを削除し、孫ノードTaskID、status、priorityを対象ノードactivateTaskの子ノードとする。これにより、図14に示すように、対象子ノードTaskが削除される。 In step S209, the CPU 30 determines whether a condition is attached to the target child node Task. Here, since no condition is attached, step S211 is executed. In step S211, the CPU 30 deletes the target child node Task and sets the grandchild node TaskID, status, and priority as child nodes of the target node activateTask. Thereby, as shown in FIG. 14, the object child node Task is deleted.
 次に、CPU30は、すべての子ノードを対象子ノードとして処理したかどうかを判断する(ステップS205)。ここでは、全ての子ノードについて処理を行ったので、ステップS207に進む。 Next, the CPU 30 determines whether or not all child nodes have been processed as target child nodes (step S205). Here, since all child nodes have been processed, the process proceeds to step S207.
 ステップS207において、CPU30は、全てのノードを対象ノードとして処理したかどうかを判断する。ここでは、未処理のノードがあるので、ノードExecutionlevelを対象ノードに設定する(ステップS208)。 In step S207, the CPU 30 determines whether or not all nodes have been processed as target nodes. Here, since there is an unprocessed node, the node Executionlevel is set to the target node (step S208).
 CPU30は、対象ノードExecutionlevelから、AND関係にて、子ノードが定義されているかどうかを判断する(ステップS202)。ここでは、対象ノードExecutionlevelから、子ノードExtask、ISRに対して、XOR関係が定義されており満たしていないので、ステップS207に進む。まだ、未処理のノードがあるので、ノードTaskIDを対象ノードに設定する(ステップS208)。なお、既にノードTaskは削除されており、図14のような状態となっているので、ノードTaskIDが対象ノードとして設定されることになる。 The CPU 30 determines whether or not a child node is defined in an AND relationship from the target node Executionlevel (step S202). Here, since the XOR relationship is defined and not satisfied from the target node Execution level to the child nodes Extask and ISR, the process proceeds to step S207. Since there are still unprocessed nodes, the node TaskID is set as the target node (step S208). Since the node Task has already been deleted and is in a state as shown in FIG. 14, the node TaskID is set as the target node.
 CPU30は、対象ノードTaskIDから、AND関係にて、子ノードが定義されているかどうかを判断する(ステップS202)。ここでは、対象ノードTaskIDから、XOR関係にて、子ノードvalid、invalidが定義されており、満足しないので、ステップS208に進む(ステップS207)。ステップS208においては、ノードstatusを対象ノードとして設定する。 CPU30 judges whether the child node is defined by AND relationship from object node TaskID (step S202). Here, since the child nodes “valid” and “invalid” are defined in the XOR relationship from the target node TaskID, and the processing is not satisfied, the process proceeds to step S208 (step S207). In step S208, the node status is set as the target node.
 ここでも、ステップS202は満足されないので、次に、ノードpriorityが対象ノードとして設定される(ステップS202、S207、S208)。 Again, since step S202 is not satisfied, the node priority is set as the target node (steps S202, S207, and S208).
 以上のような処理を繰り返し、全てのノードを対象ノードとして処理を行えば、アンド・アンド階層の平坦化処理を終了する(ステップS207)。 If the above processing is repeated and all nodes are processed as target nodes, the AND-and-hierarchy flattening processing is terminated (step S207).
 上記のアンド・アンド階層平坦化処理を行った後のパラメータデータを、図14に示す。 FIG. 14 shows the parameter data after performing the above-described AND-and-level flattening process.
 なお、ステップS209において、アンド・アンド階層の条件を満たす部分の対象子ノードに条件が付いていれば、CPU30は、当該条件を対象ノードに付け替える。たとえば、図13Aに示すように、対象子ノードCに要求条件が付いている場合、図13Bに示すように、この要求条件を対象ノードAに付け替える。なお、図13のように対象子ノードCが要求元となっている場合だけでなく、対象子ノードが要求先となっている場合も同様である。また、対象子ノードCに排他条件が付されている場合も同様に付け替えを行う。 In step S209, if a condition is attached to the target child node that satisfies the AND-and-hierarchy condition, the CPU 30 replaces the condition with the target node. For example, as shown in FIG. 13A, if the target condition is attached to the target child node C, the request condition is changed to the target node A as shown in FIG. 13B. The same applies not only when the target child node C is the request source as shown in FIG. 13 but also when the target child node is the request destination. Further, when an exclusion condition is attached to the target child node C, the replacement is performed in the same manner.
4.3XOR・XOR階層の平坦化処理
 以上のようにして、アンド・アンド階層の平坦化処理を終了すると、CPU30は、次に、XOR・XOR階層の平坦化処理を実行する(図3、ステップS3)。XOR・XOR階層の平坦化処理の詳細を、図6~図8に示す。
4.3 XOR / XOR Hierarchization Flattening Process When the AND-and-hierarchy flattening process ends as described above, the CPU 30 next executes the XOR / XOR hierarchy flattening process (FIG. 3, step S3). ). Details of the flattening process of the XOR / XOR hierarchy are shown in FIGS.
 CPU30は、図14の平坦化されたデータに対して、まず、ステップS301において、ルートノードactiavteTaskを対象ノードに設定する。次に、この対象ノードactiavteTaskから、XOR関係にて、子ノードが定義されているかどうかを判断する(ステップS302)。ここでは、AND関係にて、子ノードExecutionlevel、TaskID、status、priorityが定義されており、満足しない。したがって、ステップS307に進む。 The CPU 30 first sets the root node actiavteTask as a target node in step S301 for the flattened data in FIG. Next, it is determined from this target node actiavteTask whether or not a child node is defined in an XOR relationship (step S302). Here, child nodes Executionlevel, TaskID, status, and priority are defined in an AND relationship, which is not satisfied. Accordingly, the process proceeds to step S307.
 ステップS307において、CPU30は、全てのノードを対象ノードとして処理を行ったかどうかを判断する。ここでは、未対象のノードがあるので、次のノードExecutionlevelを対象ノードとする(ステップS308)。 In step S307, the CPU 30 determines whether all nodes have been processed as target nodes. Here, since there is an untargeted node, the next node Executionlevel is set as the target node (step S308).
 CPU30は、ステップS302において、対象ノードExecutionlevelから、XOR関係にて、子ノードが定義されているかを判断する。ここでは、XOR関係にて、子ノードExTask、ISRが定義されているので、満足する。したがって、CPU30は、子ノードExTaskを対象子ノードに設定する(ステップS303)。 In step S302, the CPU 30 determines from the target node Executionlevel whether a child node is defined in an XOR relationship. Here, the child nodes ExTask and ISR are defined in the XOR relationship, which is satisfied. Therefore, the CPU 30 sets the child node ExTask as the target child node (step S303).
 次に、CPU30は、対象子ノードExTaskから、XOR関係にて、孫ノードが定義されているかどうかを判断する(ステップS304)。ここでは、AND関係にて、孫ノードPreemptiveが定義されており満足しないので、ステップS305に進む。 Next, the CPU 30 determines whether a grandchild node is defined in the XOR relationship from the target child node ExTask (step S304). Here, since the grandchild node Preemptive is defined in the AND relationship and is not satisfied, the process proceeds to step S305.
 ステップS305において、CPU30は、全ての子ノードを対象子ノードとしたかどうかを判断する。まだ、子ノードISRを対象子ノードとしていないので、これを対象子ノードに設定する(ステップS306)。 In step S305, the CPU 30 determines whether or not all child nodes are the target child nodes. Since the child node ISR has not yet been set as the target child node, this is set as the target child node (step S306).
 CPU30は、対象子ノードISRから、XOR関係にて、孫ノードが定義されているかどうかを判断する(ステップS304)。ここでは、XOR関係にて、孫ノードISR1、ISR2が定義されているので満足する。したがって、ステップS309に進む。 The CPU 30 determines whether or not a grandchild node is defined in an XOR relationship from the target child node ISR (step S304). Here, since the grandchild nodes ISR1 and ISR2 are defined in the XOR relationship, they are satisfied. Accordingly, the process proceeds to step S309.
 ステップS309において、対象子ノードISRに条件が付いているかどうかを判断する。ここでは、対象子ノードISRに条件が付いているので、ステップS310に進む。ステップS310において、CPU30は、当該条件が排他条件であるかどうかを判断する。ここでは、排他条件が付されているので、ステップS311を実行する。ステップS311においては、対象子ノードISRに付された排他条件を、孫ノードISR1、ISR2に付け替える。つまり、ノードpriorityと対象子ノードISRとの間の排他条件が、ノードpriorityと対象孫ノードISR1との間の排他条件、ノードpriorityと対象孫ノードISR2との間の排他条件に、付け替えられる。 In step S309, it is determined whether a condition is attached to the target child node ISR. Here, since the condition is attached to the target child node ISR, the process proceeds to step S310. In step S310, the CPU 30 determines whether the condition is an exclusive condition. Here, since an exclusion condition is attached, step S311 is executed. In step S311, the exclusion condition attached to the target child node ISR is changed to the grandchild nodes ISR1 and ISR2. That is, the exclusion condition between the node priority and the target child node ISR is replaced with the exclusion condition between the node priority and the target grandchild node ISR1, and the exclusion condition between the node priority and the target grandchild node ISR2.
 次に、CPU30は、対象子ノードISRに付されている条件が要求条件であるかどうかを判断する(ステップS312)。ここでは、要求条件は付されていないので、ステップS317に進む。ステップS317において、CPU30は、対象子ノードISRを削除し、孫ノードISR1、ISR2を対象ノードExecutionlevelの子ノードとする。したがって、図17に示すように、排他条件が付け替えられ、対象子ノードISRが削除される。 Next, the CPU 30 determines whether or not the condition attached to the target child node ISR is a request condition (step S312). Here, since the required condition is not attached, the process proceeds to step S317. In step S317, the CPU 30 deletes the target child node ISR and sets the grandchild nodes ISR1 and ISR2 as child nodes of the target node Executionlevel. Therefore, as shown in FIG. 17, the exclusion condition is changed and the target child node ISR is deleted.
 次に、CPU30は、全ての子ノードについて処理を行ったかどうかを判断する(ステップS305)。ここでは、未処理の子ノードがあるので、次に、子ノードTaskIDを対象子ノードとして、ステップS304以下の処理を実行する。同様に、他の子ノードstatus、priorityも、順次、対象子ノードとして、ステップS304以下の処理を実行する。 Next, the CPU 30 determines whether or not processing has been performed for all child nodes (step S305). Here, since there is an unprocessed child node, the process from step S304 onward is executed with the child node TaskID as the target child node. Similarly, the other child nodes “status” and “priority” are also sequentially processed as target child nodes, and the processing from step S304 is executed.
 対象ノードの全ての子ノードに対する処理を終えると、次の、ノードを対象ノードとして(ステップS308)、ステップS302以下の処理を実行する。このようにして、全てのノードを対象ノードとして処理すると、XOR・XOR階層平坦化処理を終了する(ステップS307)。 When the processing for all the child nodes of the target node is completed, the next node is set as the target node (step S308), and the processing from step S302 is executed. When all nodes are processed as target nodes in this way, the XOR / XOR hierarchy flattening process is terminated (step S307).
 上記のステップS310において、対象子ノードに排他条件が付されている場合には、当該排他条件を当該子ノードの孫ノード全てに付け替えるようにしている。この際、対象子ノードに要求条件が付いている場合には(ステップS312)、CPU30は、次のような処理を行う。 In step S310, when an exclusion condition is attached to the target child node, the exclusion condition is changed to all the grandchild nodes of the child node. At this time, if the target condition is attached to the target child node (step S312), the CPU 30 performs the following processing.
 CPU30は、当該要求条件の要求元が子ノードであるかどうかを判断する(ステップS313)。そうであれば、CPU30は、子ノードからの要求条件を、当該子ノードの孫ノードおのおのからの要求条件に付け替える(ステップS314)。 CPU 30 determines whether or not the request source of the request condition is a child node (step S313). If so, the CPU 30 replaces the request condition from the child node with the request condition from the grandchild node of the child node (step S314).
 たとえば、図15Aに示すように、XOR階層の連続する部分における対象子ノードCから、ノードEに対して要求条件が設定されていたとする。この場合、CPU30は、図15Bに示すように、要求元を当該対象子ノードのそれぞれの孫ノードにして、ノードEに対する要求条件を設定する。その後、対象子ノードCを削除し、孫ノードF、G、Hを、対象ノードAの子ノードに加える(ステップS317)。 For example, as shown in FIG. 15A, it is assumed that a request condition is set for the node E from the target child node C in a continuous portion of the XOR hierarchy. In this case, as shown in FIG. 15B, the CPU 30 sets a request condition for the node E with the request source as a grandchild node of the target child node. Thereafter, the target child node C is deleted, and the grandchild nodes F, G, and H are added to the child nodes of the target node A (step S317).
 ステップS313において、対象子ノードを要求先とする要求条件が付されていると判断すると、CPU30は、ステップS315に進む。ステップS315においては、CPU30は、対象子ノードに付された要求条件を、対象ノードに付け替える。さらに、当該要求条件の要求元ノードから、対象ノードの子ノードのそれぞれ(対象子ノードを除く)に対して、排他条件を設定する(ステップS316)。 If the CPU 30 determines in step S313 that a request condition that sets the target child node as a request destination is attached, the CPU 30 proceeds to step S315. In step S315, the CPU 30 replaces the request condition attached to the target child node with the target node. Further, an exclusion condition is set for each of the child nodes of the target node (excluding the target child node) from the request source node of the request condition (step S316).
 たとえば、図16Aに示すように、XOR階層の連続する部分における対象子ノードCに対し、ノードEから要求条件が設定されていたとする。この場合、CPU30は、図16Bに示すように、当該要求条件の要求先を対象ノードAに付け替える。さらに、対象ノードAの子ノードB、Cの内、対象子ノードCを除く全ての子ノードのそれぞれ(ここでは子ノードBだけとなる)と、前記要求条件の要求元のノードEとの間に、排他条件を設定する。その後、対象子ノードCを削除し、孫ノードF、G、Hを、対象ノードAの子ノードに加える(ステップS317)。 For example, as shown in FIG. 16A, it is assumed that a request condition is set from the node E for the target child node C in a continuous portion of the XOR hierarchy. In this case, the CPU 30 changes the request destination of the request condition to the target node A as shown in FIG. 16B. Further, between all of the child nodes B and C of the target node A except the target child node C (here, only the child node B) and the node E that is the request source of the request condition Set the exclusion condition. Thereafter, the target child node C is deleted, and the grandchild nodes F, G, and H are added to the child nodes of the target node A (step S317).
4.4持ち上げによる平坦化処理
 以上のようにして、XOR・XOR階層の平坦化処理を終了すると、CPU30は、次に、持ち上げによる平坦化処理を実行する(図3、ステップS4)。つまり、AND関係とXOR関係によって定義される3階層からなるパラメータデータに平坦化する。持ち上げによる平坦化処理の詳細を、図9、図10に示す。
4.4 Flattening Process by Lifting When the flattening process of the XOR / XOR hierarchy is finished as described above, the CPU 30 next executes the flattening process by lifting (FIG. 3, step S4). That is, it is flattened to parameter data consisting of three layers defined by the AND relationship and the XOR relationship. Details of the flattening process by lifting are shown in FIGS.
 まず、CPU30は、平坦化された図17のパラメータデータにおいて、第3階層以下の最初のノードを対象ノードとして設定する(ステップS401)。ここでは、ノードExTaskが対象ノードとなる。 First, the CPU 30 sets the first node below the third hierarchy as the target node in the flattened parameter data of FIG. 17 (step S401). Here, the node ExTask is the target node.
 次に、CPU30は、対象ノードExTaskからAND関係にて、子ノードが定義されているかどうかを判断する(ステップS402)。ここでは、子ノードpreemptiveが定義されているので満足するので、ステップS403に進む。ステップS403においては、最初の子ノードを対象子ノードとする。ここでは、子ノードpreemptiveが対象子ノードとなる。 Next, the CPU 30 determines whether a child node is defined in an AND relationship from the target node ExTask (step S402). Here, since the child node preemptive is defined, it is satisfied, so the process proceeds to step S403. In step S403, the first child node is set as a target child node. Here, the child node preemptive is the target child node.
 次に、CPU30は、対象子ノードpreemptive以下の構造を、対象ノードExTaskの親の親のノード(親親ノードまたは祖父母ノード)activateTaskの子ノードとして、アンド関係にて定義する(図18参照)。 Next, the CPU 30 defines the structure below the target child node preemptive as an AND relationship as a child node of the parent node (parent parent node or grandparent node) activateTask of the target node ExTask (see FIG. 18).
 続いて、孫ノードYes、Noのそれぞれから、対象ノードExTaskに対して、要求条件を設定する(ステップS405)(以下、子ノード、孫ノードなどの表記は、図17の状態に基づいて表記している)。さらに、CPU30は、「他の孫ノードのいずれでもない」という内容の孫ノードを、XOR関係にて追加する(ステップS406)。ここでは、図8に示すように、YesでもNoでもないというノードYesNoが定義される。 Subsequently, a request condition is set for the target node ExTask from each of the grandchild nodes Yes and No (step S405) (hereinafter, child nodes, grandchild nodes, etc. are represented based on the state of FIG. ing). Furthermore, the CPU 30 adds a grandchild node with the content “None of other grandchild nodes” in an XOR relationship (step S406). Here, as shown in FIG. 8, a node YesNo that is neither Yes nor No is defined.
 次に、CPU30は、追加した孫ノードYesNoと対象ノードExTaskとの間に、排他条件を設定する(ステップS407)。これにより、図18に示すようなパラメータデータとなる。 Next, the CPU 30 sets an exclusion condition between the added grandchild node YesNo and the target node ExTask (step S407). Thereby, the parameter data as shown in FIG. 18 is obtained.
 次に、CPU30は、全ての子ノードを対象子ノードとしたかどうかを判断する(ステップS408)。処理をしていない子ノードがあれば、次の子ノードを対象子ノードとして、ステップS402以下を実行する。ここでは、全ての子ノードについての処理を行ったので、ステップS410に進む。 Next, the CPU 30 determines whether or not all child nodes are the target child nodes (step S408). If there is a child node that has not been processed, the next child node is set as the target child node, and step S402 and subsequent steps are executed. Here, since all the child nodes have been processed, the process proceeds to step S410.
 ステップS410においては、CPU30は、第3階層以下の全てのノードを対象ノードとしたかどうかを判断する。対象となっていない第3階層以下のノードがあれば、次のノードを対象ノードとする(ステップS411)。ここでは、第3階層以下のノードは存在しないので、持ち上げによる平坦化処理を終了する。 In step S410, the CPU 30 determines whether or not all nodes in the third hierarchy and below are the target nodes. If there is a node below the third hierarchy that is not the target, the next node is set as the target node (step S411). Here, since there is no node below the third hierarchy, the flattening process by lifting ends.
 以上のようにして、図18に示すような平坦化されたパラメータデータを得ることができる。これをデータ形式にて表すと、図19に示すようになる。 As described above, the flattened parameter data as shown in FIG. 18 can be obtained. This is represented in the data format as shown in FIG.
3.5平坦化パラメータデータに基づくテストデータの生成
 次に、CPU30は、このようにして生成したパラメータデータに基づいて、テストデータの生成処理を行う(図3、ステップS5)。この実施形態では、オールペア法に基づいてテストデータの生成を行う。
3.5 Generation of Test Data Based on Flattening Parameter Data Next, the CPU 30 performs test data generation processing based on the parameter data generated in this way (FIG. 3, step S5). In this embodiment, test data is generated based on the all-pair method.
 ここでは、平坦化されたパラメータデータは、AND関係、XOR関係からなる3階層のデータとして標準化されている。したがって、オールペア法によるテストデータ生成処理が容易である。また、オールペア法などに基づくテストデータ生成プログラム(たとえば、マイクロソフト社のPICT)などを用いることができる。 Here, the flattened parameter data is standardized as three-layer data consisting of an AND relationship and an XOR relationship. Therefore, the test data generation process by the all-pair method is easy. In addition, a test data generation program (for example, Microsoft's PICT) based on the all-pair method or the like can be used.
 以上のようにして、テストデータを生成することができる。
 
Test data can be generated as described above.
5.その他の実施形態
(1)上記実施形態においては、テストデータの生成までを行っている。しかし、ステップS2~S4の処理によって平坦化されたパラメータデータを出力するようにしてもよい。この場合、ユーザは、出力されたパラメータデータを、PICTなどのツールにこれを入力し、テストデータを得ることができる。
5. Other embodiments
(1) In the above embodiment, test data is generated. However, the parameter data flattened by the processes in steps S2 to S4 may be output. In this case, the user can input the output parameter data to a tool such as PICT to obtain test data.
(2)上記実施形態においては、スタンドアローンのコンピュータにてテストデータを生成する場合を説明した。しかし、上記の各処理をインターネットなどに接続されたサーバ装置にて行うようにしてもよい。この場合のサーバ装置におけるサーバプログラムの処理フローチャートを、図20に示す。 (2) In the above embodiment, the case where test data is generated by a stand-alone computer has been described. However, each of the above processes may be performed by a server device connected to the Internet or the like. A processing flowchart of the server program in the server device in this case is shown in FIG.
 まず、サーバ装置のCPUは、インターネットを介して端末装置からパラメータデータを受信する(ステップS50)。続いて、AND-AND階層の平坦化(ステップS2)、XOR-XOR階層の平坦化(ステップS3)、持ち上げによる平坦化(ステップS4)、テストデータの生成(ステップS5)を実行する。これらの処理は、図3と同様である。続いて、生成されたテストデータを、端末装置に送信する(ステップS51)。 First, the CPU of the server device receives parameter data from the terminal device via the Internet (step S50). Subsequently, flattening of the AND-AND hierarchy (step S2), flattening of the XOR-XOR hierarchy (step S3), flattening by lifting (step S4), and generation of test data (step S5) are executed. These processes are the same as those in FIG. Subsequently, the generated test data is transmitted to the terminal device (step S51).
 以上のようにすれば、端末装置において、プログラムを用意しなくとも、テストデータを得ることができる。 In this way, test data can be obtained without preparing a program in the terminal device.
 また、平坦化されたパラメータデータを端末装置に送信するようにしてもよい。この場合、ユーザは、端末装置側のPICTなどのツールにこれを入力し、テストデータを得ることができる。 Further, the flattened parameter data may be transmitted to the terminal device. In this case, the user can input this into a tool such as PICT on the terminal device side to obtain test data.
(3)上記実施形態では、AND-AND階層平坦化、XOR-XOR階層平坦化の順に処理を行っている。しかし、AND-AND階層平坦化より先に、XOR-XOR階層平坦化を実行するようにしてもよい。 (3) In the above embodiment, processing is performed in the order of AND-AND hierarchy flattening and XOR-XOR hierarchy flattening. However, XOR-XOR hierarchy flattening may be executed prior to AND-AND hierarchy flattening.
(4)上記実施形態では、AND-AND階層平坦化、XOR-XOR階層平坦化持ち上げによる平坦化の全ての処理を行っている。しかし、AND-AND階層平坦化だけ、XOR-XOR階層平坦化だけ、持ち上げによる平坦化だけを実行するようにしてもよい。また、これらのうちの2つだけを実行するようにしてもよい。 (4) In the above embodiment, all processes of flattening by AND-AND hierarchy flattening and XOR-XOR hierarchy flattening lifting are performed. However, only the AND-AND hierarchy flattening, the XOR-XOR hierarchy flattening, or the flattening by lifting may be executed. Also, only two of these may be executed.

Claims (12)

  1.  対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、
     下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、
     前記平坦化された特徴データに基づいて、特徴の組合せによるテストデータを生成するテストデータ生成手段と、
     を備えたテストデータ生成装置であって、
     (a)前記アンド・アンド階層平坦化手段は、
     (a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、
     (a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、
     (a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
     (b)前記オア・オア階層平坦化手段は、
     (b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
     (b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える排他条件付替手段と、
     (b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象ノードに付け替える要求条件付替手段と、
     (b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、
     (b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
     (c)前記持上平坦化手段は、
     (c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、
     (c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、
     (c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、
     (c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴とするテストデータ生成装置。
    It is composed of nodes arranged in multiple hierarchies that have a higher-level node that indicates the target feature and a lower-level node that indicates a lower-level feature of the higher-level node. The upper node and the lower node are combined in an OR relationship that requires one of the lower nodes to be established with respect to the upper node, and the establishment / non-establishment of one node is established between the nodes. An input means for inputting feature data in which at least one of a requirement condition for determining failure and a exclusion condition for determining simultaneous establishment / failure of both nodes between nodes is defined;
    It comprises at least one of the following (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means, and flattenes the hierarchical structure of input feature data Flattening means for
    Test data generating means for generating test data based on a combination of features based on the flattened feature data;
    A test data generation device comprising:
    (a) The AND and hierarchy flattening means is:
    (a1) In the feature data, an AND-and-extraction extracting unit that finds a location where the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node defines an AND relationship; ,
    (a2) Request / exclusion to replace the request condition or exclusion condition with the target node if the target child node is attached with a request condition or exclusion condition at the location found by the AND-and-relation extraction means Condition distribution means,
    (a3) Deletes the target child node at the location found by the AND-and-extraction extraction means, and adds a target grandchild node that is a child node of the target child node to the AND relationship as a child node of the target node And a target child node deleting means
    (b) The or-or hierarchy flattening means is
    (b1) In the feature data, the target node defines an OR relationship, and a child node of the target node is set as a target child node, or or OR relationship extraction means for finding a location where the target child node defines an OR relationship; ,
    (b2) If an exclusion condition is attached to the target child node at the location found by the or-or-relation extracting means, the exclusion condition is replaced with a target grandchild node that is a child node of the target child node. Exclusive condition distribution means;
    (b3) If a requirement condition is attached to the target child node at a location found by the or-or-relation extraction means, a requirement condition displacing means that replaces the requirement condition with the target node;
    (b4) Other than the target child node in the target node if the target child node is attached with a request condition that the target child node is a request destination in a place found by the or-or-relation extracting unit Exclusive condition setting means for setting an exclusive condition between the child node of the request and the request source node of the request condition;
    (b5) Delete the target child node at the location found by the or-or relationship extracting means, and add the target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node And a target child node deleting means
    (c) The lifting flattening means
    (c1) In the feature data, the target node defines an AND relationship, the target child node that is a child node of the target node defines an OR relationship, and the target parent-parent node that is a parent node of the parent node of the target node AND or AND relationship extraction means to find the location where the AND relationship is defined,
    (c2) A request condition setting means for setting a request condition for the target node from a target grandchild node that is a child node of the target child node at a place found by the AND or AND relation extraction means;
    (c3) In a place found by the AND-or-and-relation extraction unit, a node indicating the characteristic of “not one of the target grandchild nodes” is added as a child node of the target child node, and the target node Node adding means for setting an exclusion condition between the node and the added node;
    (c4) A target child node moving unit that adds the target child node to the AND relationship as a child node of the target parent-parent node at a location found by the AND-or-and-relation extraction unit. A test data generation device characterized by the above.
  2.  コンピュータによってテストデータ生成装置を実現するためのテストデータ生成プログラムであって、コンピュータを、
     対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、
     下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、
     前記平坦化された特徴データに基づいて、特徴の組合せによるテストデータを生成するテストデータ生成手段として機能させるためのテストデータ生成プログラムであって、
     (a)前記アンド・アンド階層平坦化手段は、
     (a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、
     (a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、
     (a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
     (b)前記オア・オア階層平坦化手段は、
     (b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
     (b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、
     (b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、
     (b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、
     (b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
     (c)前記持上平坦化手段は、
     (c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、
     (c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、
     (c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、
     (c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴とするテストデータ生成プログラム。
    A test data generation program for realizing a test data generation device by a computer,
    It is composed of nodes arranged in multiple hierarchies that have a higher-level node indicating the target feature and a lower-level node indicating the lower-level feature of the higher-level node, and all lower-level nodes must be established with respect to the higher-level node The upper node and the lower node are combined in an OR relationship that requires one of the lower nodes to be established with respect to the upper node, and the establishment / non-establishment of one node is established between the nodes. An input means for inputting feature data in which at least one of a requirement condition for determining failure and a exclusion condition for determining simultaneous establishment / failure of both nodes between nodes is defined;
    It comprises at least one of the following (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means, and flattenes the hierarchical structure of input feature data Flattening means for
    A test data generation program for functioning as test data generation means for generating test data based on a combination of features based on the flattened feature data,
    (a) The AND and hierarchy flattening means is:
    (a1) In the feature data, an AND-and-extraction extracting unit that finds a location where the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node defines an AND relationship; ,
    (a2) Request / exclusion to replace the request condition or exclusion condition with the target node if the target child node is attached with a request condition or exclusion condition at the location found by the AND-and-relation extraction means Condition distribution means,
    (a3) Deletes the target child node at the location found by the AND-and-extraction extraction means, and adds a target grandchild node that is a child node of the target child node to the AND relationship as a child node of the target node And a target child node deleting means
    (b) The or-or hierarchy flattening means is
    (b1) In the feature data, the target node defines an OR relationship, and a child node of the target node is set as a target child node, or or OR relationship extraction means for finding a location where the target child node defines an OR relationship; ,
    (b2) In the place found by the OR-OR relationship extraction means, if an exclusive condition is attached to the target child node, an exclusive condition distribution means for changing the exclusive condition to the target node;
    (b3) If a requirement condition is attached to the target child node at the location found by the or-or-relation extracting means, the requirement condition is replaced with a target grandchild node that is a child node of the target child node. A requirement condition distribution means;
    (b4) Other than the target child node in the target node if the target child node is attached with a request condition that the target child node is a request destination in a place found by the or-or-relation extracting unit Exclusive condition setting means for setting an exclusive condition between the child node of the request and the request source node of the request condition;
    (b5) Delete the target child node at the location found by the or-or relationship extracting means, and add the target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node And a target child node deleting means
    (c) The lifting flattening means
    (c1) In the feature data, the target node defines an AND relationship, the target child node that is a child node of the target node defines an OR relationship, and the target parent-parent node that is a parent node of the parent node of the target node AND or AND relationship extraction means to find the location where the AND relationship is defined,
    (c2) A request condition setting means for setting a request condition for the target node from a target grandchild node that is a child node of the target child node at a place found by the AND or AND relation extraction means;
    (c3) In a place found by the AND-or-and-relation extraction unit, a node indicating the characteristic of “not one of the target grandchild nodes” is added as a child node of the target child node, and the target node Node adding means for setting an exclusion condition between the node and the added node;
    (c4) A target child node moving unit that adds the target child node to the AND relationship as a child node of the target parent-parent node at a location found by the AND-or-and-relation extraction unit. Test data generation program characterized by
  3.  対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、
     下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、
     を備えた特徴データ処理装置であって、
     (a)前記アンド・アンド階層平坦化手段は、
     (a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、
     (a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、
     (a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
     (b)前記オア・オア階層平坦化手段は、
     (b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
     (b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、
     (b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、
     (b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、
     (b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
     (c)前記持上平坦化手段は、
     (c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、
     (c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、
     (c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、
     (c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴とする特徴データ処理装置。
    It is composed of nodes arranged in multiple hierarchies that have a higher-level node that indicates the target feature and a lower-level node that indicates a lower-level feature of the higher-level node. The upper node and the lower node are combined in an OR relationship that requires one of the lower nodes to be established with respect to the upper node, and the establishment / non-establishment of one node is established between the nodes. An input means for inputting feature data in which at least one of a requirement condition for determining failure and a exclusion condition for determining simultaneous establishment / failure of both nodes between nodes is defined;
    It comprises at least one of the following (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means, and flattenes the hierarchical structure of input feature data Flattening means for
    A feature data processing device comprising:
    (a) The AND and hierarchy flattening means is:
    (a1) In the feature data, an AND-and-extraction extracting unit that finds a location where the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node defines an AND relationship; ,
    (a2) Request / exclusion to replace the request condition or exclusion condition with the target node if the target child node is attached with a request condition or exclusion condition at the location found by the AND-and-relation extraction means Condition distribution means,
    (a3) Deletes the target child node at the location found by the AND-and-extraction extraction means, and adds a target grandchild node that is a child node of the target child node to the AND relationship as a child node of the target node And a target child node deleting means
    (b) The or-or hierarchy flattening means is
    (b1) In the feature data, the target node defines an OR relationship, and a child node of the target node is set as a target child node, or or OR relationship extraction means for finding a location where the target child node defines an OR relationship; ,
    (b2) In the place found by the OR-OR relationship extraction means, if an exclusive condition is attached to the target child node, an exclusive condition distribution means for changing the exclusive condition to the target node;
    (b3) If a requirement condition is attached to the target child node at the location found by the or-or-relation extracting means, the requirement condition is replaced with a target grandchild node that is a child node of the target child node. A requirement condition distribution means;
    (b4) Other than the target child node in the target node if the target child node is attached with a request condition that the target child node is a request destination in a place found by the or-or-relation extracting unit Exclusive condition setting means for setting an exclusive condition between the child node of the request and the request source node of the request condition;
    (b5) Delete the target child node at the location found by the or-or relationship extracting means, and add the target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node And a target child node deleting means
    (c) The lifting flattening means
    (c1) In the feature data, the target node defines an AND relationship, the target child node that is a child node of the target node defines an OR relationship, and the target parent-parent node that is a parent node of the parent node of the target node AND or AND relationship extraction means to find the location where the AND relationship is defined,
    (c2) A request condition setting means for setting a request condition for the target node from a target grandchild node that is a child node of the target child node at a place found by the AND or AND relation extraction means;
    (c3) In a place found by the AND-or-and-relation extraction unit, a node indicating the characteristic of “not one of the target grandchild nodes” is added as a child node of the target child node, and the target node Node adding means for setting an exclusion condition between the node and the added node;
    (c4) A target child node moving unit that adds the target child node to the AND relationship as a child node of the target parent-parent node at a location found by the AND-or-and-relation extraction unit. A feature data processing device.
  4.  コンピュータによって特徴データ処理装置を実現するための特徴データ処理プログラムであって、コンピュータを、
     対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、
     下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段として機能させるための特徴データ処理プログラムであって、
     (a)前記アンド・アンド階層平坦化手段は、
     (a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、
     (a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、
     (a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
     (b)前記オア・オア階層平坦化手段は、
     (b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
     (b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、
     (b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、
     (b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、
     (b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
     (c)前記持上平坦化手段は、
     (c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、
     (c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、
     (c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、
     (c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴とする特徴データ処理プログラム。
    A feature data processing program for realizing a feature data processing device by a computer, the computer comprising:
    It is composed of nodes arranged in multiple hierarchies that have a higher-level node that indicates the target feature and a lower-level node that indicates a lower-level feature of the higher-level node. The upper node and the lower node are combined in an OR relationship that requires one of the lower nodes to be established with respect to the upper node, and the establishment / non-establishment of one node is established between the nodes. An input means for inputting feature data in which at least one of a requirement condition for determining failure and a exclusion condition for determining simultaneous establishment / failure of both nodes between nodes is defined;
    It comprises at least one of the following (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means, and flattenes the hierarchical structure of input feature data A feature data processing program for functioning as a flattening means
    (a) The AND and hierarchy flattening means is:
    (a1) In the feature data, an AND-and-extraction extracting unit that finds a location where the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node defines an AND relationship; ,
    (a2) Request / exclusion to replace the request condition or exclusion condition with the target node if the target child node is attached with a request condition or exclusion condition at the location found by the AND-and-relation extraction means Condition distribution means,
    (a3) Deletes the target child node at the location found by the AND-and-extraction extraction means, and adds a target grandchild node that is a child node of the target child node to the AND relationship as a child node of the target node And a target child node deleting means
    (b) The or-or hierarchy flattening means is
    (b1) In the feature data, the target node defines an OR relationship, and a child node of the target node is set as a target child node, or or OR relationship extraction means for finding a location where the target child node defines an OR relationship; ,
    (b2) In the place found by the OR-OR relationship extraction means, if an exclusive condition is attached to the target child node, an exclusive condition distribution means for changing the exclusive condition to the target node;
    (b3) If a requirement condition is attached to the target child node at the location found by the or-or-relation extracting means, the requirement condition is replaced with a target grandchild node that is a child node of the target child node. A requirement condition distribution means;
    (b4) Other than the target child node in the target node if the target child node is attached with a request condition that the target child node is a request destination in a place found by the or-or-relation extracting unit Exclusive condition setting means for setting an exclusive condition between the child node of the request and the request source node of the request condition;
    (b5) Delete the target child node at the location found by the or-or relationship extracting means, and add the target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node And a target child node deleting means
    (c) The lifting flattening means
    (c1) In the feature data, the target node defines an AND relationship, the target child node that is a child node of the target node defines an OR relationship, and the target parent-parent node that is a parent node of the parent node of the target node AND or AND relationship extraction means to find the location where the AND relationship is defined,
    (c2) A request condition setting means for setting a request condition for the target node from a target grandchild node that is a child node of the target child node at a place found by the AND or AND relation extraction means;
    (c3) In a place found by the AND-or-and-relation extraction unit, a node indicating the characteristic of “not one of the target grandchild nodes” is added as a child node of the target child node, and the target node Node adding means for setting an exclusion condition between the node and the added node;
    (c4) A target child node moving unit that adds the target child node to the AND relationship as a child node of the target parent-parent node at a location found by the AND-or-and-relation extraction unit. A feature data processing program characterized by
  5.  対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを端末装置から受け取るための受信手段と、
     下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、受信した特徴データの階層構造を平坦化する平坦化手段と、
     前記平坦化された特徴データに基づいて、特徴の組合せによるテストデータを生成するテストデータ生成手段と、
     生成したテストデータを前記端末装置に送信する送信手段と、
     を備えたテストデータ生成サーバ装置であって、
     (a)前記アンド・アンド階層平坦化手段は、
     (a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、
     (a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、
     (a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
     (b)前記オア・オア階層平坦化手段は、
     (b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
     (b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、
     (b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、
     (b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、
     (b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
     (c)前記持上平坦化手段は、
     (c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、
     (c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、
     (c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、
     (c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴とするテストデータ生成サーバ装置。
    It is composed of nodes arranged in multiple hierarchies that have a higher-level node indicating the target feature and a lower-level node indicating the lower-level feature of the higher-level node, and all lower-level nodes must be established with respect to the higher-level node The upper node and the lower node are combined in an OR relationship that requires one of the lower nodes to be established with respect to the upper node, and the establishment / non-establishment of one node is established between the nodes. Receiving means for receiving from the terminal device feature data in which at least one of a requirement condition for determining failure and an exclusive condition for determining simultaneous establishment / failure of both nodes between nodes is defined;
    It comprises at least one of the following (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means, and flattens the hierarchical structure of received feature data Flattening means to
    Test data generating means for generating test data based on a combination of features based on the flattened feature data;
    Transmitting means for transmitting the generated test data to the terminal device;
    A test data generation server device comprising:
    (a) The AND and hierarchy flattening means is:
    (a1) In the feature data, an AND-and-extraction extracting unit that finds a location where the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node defines an AND relationship; ,
    (a2) Request / exclusion to replace the request condition or exclusion condition with the target node if the target child node is attached with a request condition or exclusion condition at the location found by the AND-and-relation extraction means Condition distribution means,
    (a3) Deletes the target child node at the location found by the AND-and-extraction extraction means, and adds a target grandchild node that is a child node of the target child node to the AND relationship as a child node of the target node And a target child node deleting means
    (b) The or-or hierarchy flattening means is
    (b1) In the feature data, the target node defines an OR relationship, and a child node of the target node is set as a target child node, or or OR relationship extraction means for finding a location where the target child node defines an OR relationship; ,
    (b2) In the place found by the OR-OR relationship extraction means, if an exclusive condition is attached to the target child node, an exclusive condition distribution means for changing the exclusive condition to the target node;
    (b3) If a requirement condition is attached to the target child node at the location found by the or-or-relation extracting means, the requirement condition is replaced with a target grandchild node that is a child node of the target child node. A requirement condition distribution means;
    (b4) Other than the target child node in the target node if the target child node is attached with a request condition that the target child node is a request destination in a place found by the or-or-relation extracting unit Exclusive condition setting means for setting an exclusive condition between the child node of the request and the request source node of the request condition;
    (b5) Delete the target child node at the location found by the or-or relationship extracting means, and add the target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node And a target child node deleting means
    (c) The lifting flattening means
    (c1) In the feature data, the target node defines an AND relationship, the target child node that is a child node of the target node defines an OR relationship, and the target parent-parent node that is a parent node of the parent node of the target node AND or AND relationship extraction means to find the location where the AND relationship is defined,
    (c2) A request condition setting means for setting a request condition for the target node from a target grandchild node that is a child node of the target child node at a place found by the AND or AND relation extraction means;
    (c3) In a place found by the AND-or-and-relation extraction unit, a node indicating the characteristic of “not one of the target grandchild nodes” is added as a child node of the target child node, and the target node Node adding means for setting an exclusion condition between the node and the added node;
    (c4) A target child node moving unit that adds the target child node to the AND relationship as a child node of the target parent-parent node at a location found by the AND-or-and-relation extraction unit. A test data generation server device.
  6.  対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを端末装置から受け取るための受信手段と、
     下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、
     前記平坦化された特徴データを端末装置に送信する送信手段と、
     を備えた特徴データ処理サーバ装置であって、
     (a)前記アンド・アンド階層平坦化手段は、
     (a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、
     (a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、
     (a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
     (b)前記オア・オア階層平坦化手段は、
     (b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
     (b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、
     (b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、
     (b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、
     (b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
     (c)前記持上平坦化手段は、
     (c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、
     (c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、
     (c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、
     (c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴とする特徴データ処理サーバ装置。
    It is composed of nodes arranged in multiple hierarchies that have a higher-level node indicating the target feature and a lower-level node indicating the lower-level feature of the higher-level node, and all lower-level nodes must be established with respect to the higher-level node The upper node and the lower node are combined in an OR relationship that requires one of the lower nodes to be established with respect to the upper node, and the establishment / non-establishment of one node is established between the nodes. Receiving means for receiving from the terminal device feature data in which at least one of a requirement condition for determining failure and an exclusive condition for determining simultaneous establishment / failure of both nodes between nodes is defined;
    It comprises at least one of the following (a) and-and-level flattening means, (b) or-or-level flattening means, and (c) lifting flattening means, and flattenes the hierarchical structure of input feature data Flattening means for
    Transmitting means for transmitting the flattened feature data to a terminal device;
    A feature data processing server device comprising:
    (a) The AND and hierarchy flattening means is:
    (a1) In the feature data, an AND-and-extraction extracting unit that finds a location where the target node defines an AND relationship, the child node of the target node is a target child node, and the target child node defines an AND relationship; ,
    (a2) Request / exclusion to replace the request condition or exclusion condition with the target node if the target child node is attached with a request condition or exclusion condition at the location found by the AND-and-relation extraction means Condition distribution means,
    (a3) Deletes the target child node at the location found by the AND-and-extraction extraction means, and adds a target grandchild node that is a child node of the target child node to the AND relationship as a child node of the target node And a target child node deleting means
    (b) The or-or hierarchy flattening means is
    (b1) In the feature data, the target node defines an OR relationship, and a child node of the target node is set as a target child node, or or OR relationship extraction means for finding a location where the target child node defines an OR relationship; ,
    (b2) In the place found by the OR-OR relationship extraction means, if an exclusive condition is attached to the target child node, an exclusive condition distribution means for changing the exclusive condition to the target node;
    (b3) If a requirement condition is attached to the target child node at the location found by the or-or-relation extracting means, the requirement condition is replaced with a target grandchild node that is a child node of the target child node. A requirement condition distribution means;
    (b4) Other than the target child node in the target node if the target child node is attached with a request condition that the target child node is a request destination in a place found by the or-or-relation extracting unit Exclusive condition setting means for setting an exclusive condition between the child node of the request and the request source node of the request condition;
    (b5) Delete the target child node at the location found by the or-or relationship extracting means, and add the target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node And a target child node deleting means
    (c) The lifting flattening means
    (c1) In the feature data, the target node defines an AND relationship, the target child node that is a child node of the target node defines an OR relationship, and the target parent-parent node that is a parent node of the parent node of the target node AND or AND relationship extraction means to find the location where the AND relationship is defined,
    (c2) A request condition setting means for setting a request condition for the target node from a target grandchild node that is a child node of the target child node at a place found by the AND or AND relation extraction means;
    (c3) In a place found by the AND-or-and-relation extraction unit, a node indicating the characteristic of “not one of the target grandchild nodes” is added as a child node of the target child node, and the target node Node adding means for setting an exclusion condition between the node and the added node;
    (c4) A target child node moving unit that adds the target child node to the AND relationship as a child node of the target parent-parent node at a location found by the AND-or-and-relation extraction unit. A feature data processing server device.
  7.  請求項1~6のいずれかの装置またはプログラムにおいて、
     前記平坦化手段は、(a)前記アンド・アンド階層平坦化手段と、(b)前記オア・オア階層平坦化手段と、(c)前記持上平坦化手段とを備え、前記アンド・アンド階層平坦化手段および前記オア・オア階層平坦化手段によって処理された特徴データを、前記持上平坦化手段が処理するよう構成されていることを特徴とする装置またはプログラム。
    The apparatus or program according to any one of claims 1 to 6,
    The flattening means comprises (a) the AND-and-hierarchy flattening means, (b) the or-or-hierarchy flattening means, and (c) the lifting flattening means, and the AND-and-hierarchy An apparatus or a program characterized in that the lifting flattening means processes the characteristic data processed by the flattening means and the or-or-hierarchical flattening means.
  8.  請求項1~7のいずれかの装置またはプログラムにおいて、
     前記要求条件は、要求元ノードが成立するときには、要求先ノードも成立することを定めるものであることを特徴とする装置またはプログラム。
    The apparatus or program according to any one of claims 1 to 7,
    The apparatus or program according to claim 1, wherein the request condition defines that the request destination node is also established when the request source node is established.
  9.  請求項1~8のいずれかの装置またはプログラムにおいて、
     前記排他条件は、一方のノードが成立すると、他方のノードが成立しないことを定めるものであることを特徴とする装置またはプログラム。
    The apparatus or program according to any one of claims 1 to 8,
    The exclusion condition defines that when one node is established, the other node is not established.
  10.  請求項1~9のいずれかの装置またはプログラムにおいて、
     前記アンド関係は、全てのノードが成立しなければならないことを示すものであることを特徴とする装置またはプログラム。
    The apparatus or program according to any one of claims 1 to 9,
    The AND relationship indicates that all nodes must be established, or a device or program.
  11.  請求項1~10のいずれかの装置またはプログラムにおいて、
     前記オア関係は、いずれか一つのノードのみが成立することを示すものであることを特徴とする装置またはプログラム。
    The apparatus or program according to any one of claims 1 to 10,
    The OR relationship indicates that only one of the nodes is established.
  12.  コンピュータによって特徴データを処理する方法であって、
     前記コンピュータが、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力し、
     前記コンピュータが、下記(a)アンド・アンド階層平坦化処理と、(b)オア・オア階層平坦化処理と、(c)持上平坦化処理の少なくとも一つの処理を実行して、入力された特徴データの階層構造を平坦化する特徴データ処理方法であって、
     (a)前記アンド・アンド階層平坦化処理は、
     (a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだし、
     (a2)前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替え、
     (a3)前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加し、
     (b)前記オア・オア階層平坦化処理は、
     (b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだし、
     (b2)前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替え、
     (b3)前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替え、
     (b4)前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定し、
     (b5)前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加し、
     (c)前記持上平坦化処理は、
     (c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだし、
     (c2)前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定し、
     (c3)前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定し、
     (c4)前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加することを特徴とする特徴データ処理方法。
     
     
    A method of processing feature data by a computer,
    The computer is configured to include a node arranged in a plurality of hierarchies having a higher-level node indicating a target feature and a lower-level node indicating a lower-level feature of the higher-level node feature. The upper node and the lower node are combined in an AND relationship that all must be satisfied, or an OR relationship in which one of the lower nodes is satisfied with respect to the upper node, and the establishment / non-establishment of one node between the other nodes Input feature data defining at least one of a requirement condition for determining the establishment / non-establishment of a node and an exclusive condition for determining the simultaneous establishment / non-establishment of both nodes between nodes,
    The computer executes at least one of the following (a) and-and-level flattening processing, (b) or-or-level flattening processing, and (c) lifting flattening processing, and is input A feature data processing method for flattening a hierarchical structure of feature data,
    (a) The AND and hierarchy flattening process
    (a1) In the feature data, the target node defines an AND relationship, the child node of the target node is a target child node, and a location where the target child node defines an AND relationship is found,
    (a2) If a request condition or an exclusion condition is attached to the target child node, the request condition or the exclusion condition is changed to the target node,
    (a3) deleting the target child node, adding a target grandchild node that is a child node of the target child node to the AND relationship as a child node of the target node;
    (b) The or-or hierarchy flattening process is
    (b1) In the feature data, the target node defines an OR relationship, the child node of the target node is defined as a target child node, and the location where the target child node defines the OR relationship is found.
    (b2) If an exclusion condition is attached to the target child node, the exclusion condition is replaced with the target node,
    (b3) If a request condition is attached to the target child node, the request condition is replaced with a target grandchild node that is a child node of the target child node,
    (b4) If the target child node has a request condition for which the target child node is a request destination, a child node other than the target child node in the target node and a request source node of the request condition In between, set exclusion conditions
    (b5) Delete the target child node, add a target grandchild node that is a child node of the target child node to the OR relationship as a child node of the target node,
    (c) The lifting flattening process
    (c1) In the feature data, the target node defines an AND relationship, the target child node that is a child node of the target node defines an OR relationship, and the target parent-parent node that is a parent node of the parent node of the target node Finds a place that defines AND relationship,
    (c2) From a target grandchild node that is a child node of the target child node, a request condition is set for the target node,
    (c3) As a child node of the target child node, a node having a feature of “not one of the target grandchild nodes” is added, and an exclusion condition is set between the target node and the added node. ,
    (c4) A feature data processing method, wherein the target child node is added to an AND relationship as a child node of the target parent-parent node.

PCT/JP2014/000777 2013-02-15 2014-02-14 Test data generating device WO2014125836A1 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2013-027744 2013-02-15
JP2013027744A JP6037307B2 (en) 2013-02-15 2013-02-15 Test data generator

Publications (1)

Publication Number Publication Date
WO2014125836A1 true WO2014125836A1 (en) 2014-08-21

Family

ID=51353847

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2014/000777 WO2014125836A1 (en) 2013-02-15 2014-02-14 Test data generating device

Country Status (2)

Country Link
JP (1) JP6037307B2 (en)
WO (1) WO2014125836A1 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2017035812A1 (en) * 2015-09-02 2017-03-09 Hewlett Packard Enterprise Development Lp Replicating chain of agents

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010191508A (en) * 2009-02-16 2010-09-02 Fujitsu Ltd Data generating program, data generating method, and data generating device in program model inspection
JP2012248101A (en) * 2011-05-30 2012-12-13 Ntt Data Corp Program test support device, program test support method, and program test support program
JP2013003854A (en) * 2011-06-16 2013-01-07 Fujitsu Ltd Test data generation program, test data generation method and test data generation device

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010191508A (en) * 2009-02-16 2010-09-02 Fujitsu Ltd Data generating program, data generating method, and data generating device in program model inspection
JP2012248101A (en) * 2011-05-30 2012-12-13 Ntt Data Corp Program test support device, program test support method, and program test support program
JP2013003854A (en) * 2011-06-16 2013-01-07 Fujitsu Ltd Test data generation program, test data generation method and test data generation device

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2017035812A1 (en) * 2015-09-02 2017-03-09 Hewlett Packard Enterprise Development Lp Replicating chain of agents

Also Published As

Publication number Publication date
JP6037307B2 (en) 2016-12-07
JP2014157473A (en) 2014-08-28

Similar Documents

Publication Publication Date Title
CN106777219B (en) Data processing method and device for virtualized data center
EP3852335B1 (en) Method and system for modifying blockchain network configuration
CN106415670A (en) Support structures for additive manufacturing of solid models
CN103020089A (en) Method and device for importing data in EXCEL file to database
US9280370B2 (en) System structure management device, system structure management method, and program
CN111614490A (en) Management system and method for managed container cluster based on top-level container cluster
CN114675965B (en) Federal learning method, apparatus, device and medium
CN108665272A (en) Block chain data processing method, device, equipment and storage medium
CN108345496B (en) Method and device for running application program
US20140351251A1 (en) Text-based command generation
JP6037307B2 (en) Test data generator
US20190146457A1 (en) System and method for finite element analysis of parts having variable spatial density graded regions produced via 3d printers
US20210173742A1 (en) Method, device, and program product for selecting rebuild destination in storage system
KR101513393B1 (en) Program creation device and programmable logic controller
JP6037310B2 (en) Test data display device
JP2019204373A (en) Apparatus for and method of supporting creation of program using visual programming tool
US11061664B2 (en) Code management system and code management method
WO2021077862A1 (en) File synchronization method and device
CN111475572B (en) Block generation method, device, equipment and medium
JP7305898B2 (en) Operation response method, operation response device, electronic device and storage medium
CN111309592B (en) Authority checking method, device, storage medium and terminal
US11924340B2 (en) Cryptographically secure shuffle with multi-layer randomness
US20230342061A1 (en) Method, electronic device and computer program product for data processing
JP5797994B2 (en) Job management system
JP2009259064A (en) Evaluation apparatus and operation screen improvement device

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 14751221

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 14751221

Country of ref document: EP

Kind code of ref document: A1