JP6037310B2

JP6037310B2 - Test data display device

Info

Publication number: JP6037310B2
Application number: JP2013072054A
Authority: JP
Inventors: 崇師北村; ティビッチゴックドウ; 大崎　人士; 人士大崎
Original assignee: National Institute of Advanced Industrial Science and Technology AIST
Current assignee: National Institute of Advanced Industrial Science and Technology AIST
Priority date: 2013-03-29
Filing date: 2013-03-29
Publication date: 2016-12-07
Anticipated expiration: 2033-03-29
Also published as: WO2014155941A1; JP2014197276A

Description

この発明は、プログラムなどが正常に動作するかどうかをテストするためのテストデータを生成して、元となった論理構造と共に画面上に表示する装置に関するものである。 The present invention relates to an apparatus for generating test data for testing whether a program or the like normally operates and displaying it on a screen together with an original logical structure.

ソフトウエアの動作をテストするために、入力される可能性のあるデータの組合せを作成し、これらテストデータを入力して所望の動作となるかどうかを判断することが行われている。 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 a desired operation is achieved.

従来、オールペア法（ペアワイズ法）等によって、入力される可能性のあるデータの組合せを生成し、テストデータが作成されていた。オールペア法等を用いたテストデータ生成のためのツールとして、マイクロソフト社のＰＩＣＴ（商標）などが使用されている。 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. Microsoft's PICT (trademark) or the like is used as a tool for test data generation using the all-pair method or the like.

たとえば、ＰＩＣＴにおいては、図３１に示すように、パラメータ、バリュー、制約条件を定義することにより、バリューの組み合わせによるテストデータを生成することができる。 For example, in PICT, as shown in FIG. 31, by defining parameters, values, and constraint conditions, test data based on combinations of values can be generated.

ここで、ａ、ｂ・・・ｍはパラメータであり、ａ1、ａ2・・・ａnは、パラメータａのバリューである。１行目のａ：ａ1、ａ2・・・ａnによって、パラメータａは、バリューａ1、ａ2・・・ａnのいずれかをとることが示されている。２行目以下も同様である。 Here, a, b... M are parameters, and a1, a2. 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 ｍ＝ｍ1 then ａ＝ａnは、パラメータｍがｍ1の場合には、ａはａnとなることを条件として示している。さらに、If ｂ＝ｂ2 then NOT ａ＝ａ2およびIf ａ＝ａ2 then NOT ｂ＝ｂ2は、パラメータｂがｂ2であることと、パラメータａがａ2であることが両立しないことを条件として示している。 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 indicate that the parameter b is b2 and that the parameter a is a2.

このような形式のデータにて、ＰＩＣＴプログラムにパラメータを与えると、テストデータが生成されて出力される。 When parameters are given to the PICT program in such a format, test data is generated and output.

以上のようにオールペア法などを用いたテストデータ生成ツールにおいては、図３１に示すような論理構造のデータを与えなければならない。このため、このような論理構造にて定義されていない事象については、ツールを使用することができなかった。 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. 31 must be given. For this reason, the tool cannot be used for events that are not defined in such a logical structure.

図３２に、ある事象の論理構造をツリー形式にて示す。このツリー構造では、ＰＩＣＴのようなツールに入力することはできない。 FIG. 32 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, in the present invention, parameter data that enables the use of a test data generation tool is generated for a test model expressed in a hierarchical logical structure, and the test data generation tool generates the parameter data based on the parameter data. The purpose is to realize a display capable of adjusting the number of test data and the like.

(1)(2)この発明のテストデータ表示装置は、
テストデータを参照するためのユーザインターフェースを表示するために、
コンピュータを、
対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを、第１の表示領域に論理構造として表示する手段、
前記第１の表示領域が表示される同一画面上の第２の表示領域に、前記第１の表示領域の論理構造に対応するテストデータを表示する手段、
として機能させることを特徴とする。 (1) (2) The test data display device of the present invention is
To display a user interface for viewing test data,
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. Means for displaying, as a logical structure in the first display area, 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;
Means for displaying test data corresponding to the logical structure of the first display area in a second display area on the same screen on which the first display area is displayed;
It is made to function as.

これにより、第１の表示領域に表示される論理構造と、同一画面上の第２の表示領域に表示されるテストデータを比較参照することができる。 As a result, the logical structure displayed in the first display area and the test data displayed in the second display area on the same screen can be compared and referenced.

(3)この発明のテストデータ表示装置は、
第１の表示領域における論理構造の変更操作に基づいて、第２の表示領域におけるテストケースを再計算させること、を特徴とする。 (3) The test data display device of the present invention is
The test case in the second display area is recalculated based on the logical structure change operation in the first display area.

これにより、第１の表示領域に表示される論理構造を直感的に操作し、テストケースの量などを制御することができる。 Thus, the logical structure displayed in the first display area can be intuitively operated to control the amount of test cases and the like.

(4)この発明のテストデータ表示装置は、
第１の表示領域における入力操作に基づいて、第１の表示領域におけるノードを展開し、または折り畳んで表示することを特徴とする。 (4) The test data display device of the present invention is
Based on an input operation in the first display area, the nodes in the first display area are expanded or folded and displayed.

これにより、第１の表示領域に表示される論理構造と、同一画面上の第２の表示領域に表示されるテストデータを比較参照して、論理構造を変更することができる。 Thus, the logical structure can be changed by comparing and referring to the logical structure displayed in the first display area and the test data displayed in the second display area on the same screen.

(5)この発明のテストデータ表示装置は、
ノードにカーソルを移動させた際に、各ノードの情報が表示されること、を特徴とする。 (5) The test data display device of the present invention is
The information of each node is displayed when the cursor is moved to the node.

これにより、各ノードの情報を容易に把握することができる。 Thereby, the information of each node can be easily grasped.

(6)この発明のテストデータ表示装置は、
テストケースにカーソルを移動させた際に、当該テストケースのバリューが全て表示されること、を特徴とする。 (6) The test data display device of the present invention is
All the values of the test case are displayed when the cursor is moved to the test case.

これにより、テストケースのバリューを容易に把握することができる。 Thereby, the value of the test case can be easily grasped.

(7)この発明のテストデータ表示装置は、
前記第２の表示領域において、パラメータのバリューが列項目に表示され、セル内に各バリュー選択の有無を表すマークを示したこと、特徴とする。 (7) The test data display device of the present invention is
In the second display area, the value of the parameter is displayed in the column item, and a mark indicating the presence / absence of each value selection is shown in the cell.

これにより、羅列されるテストケースのバリューの分布・バラツキを視覚的に把握することができる。 Thereby, it is possible to visually grasp the distribution and variation of the values of the test cases listed.

(8)この発明のテストデータ表示装置は、
前記第２の表示領域において、パラメータのバリューがセル内に表示されること、特徴とする。 (8) The test data display device of the present invention is
In the second display area, a parameter value is displayed in a cell.

これにより、テストケースを表示する際に、行方向の表示幅を狭くすることができる。 Thereby, when the test case is displayed, the display width in the row direction can be narrowed.

(9)この発明のテストデータ表示装置は、
各テストデータを構成するパラメータのバリューの中に、異常値が含まれていること、を特徴とする装置またはプログラム。 (9) The test data display device of the present invention is
An apparatus or program characterized in that an abnormal value is included in the value of a parameter constituting each test data.

これにより、実際にテストした場合に異常値に対応した正しい動作が行われるか否かを容易に確認することができる。 As a result, it is possible to easily confirm whether or not the correct operation corresponding to the abnormal value is performed when actually testing.

(i)(ii)この発明に係るテストデータ生成装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、前記平坦化された特徴データに基づいて、特徴の組合せによるテストデータを生成するテストデータ生成手段とを備えたテストデータ生成装置であって、
(a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
(b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、(b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
(c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。 (i) (ii) A test data generation 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 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 comprising: flattening means for flattening a hierarchical structure of input feature data; and test data generating means for generating test data based on a combination of features based on the flattened feature data A generating 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.

(iii)(iv)この発明に係る特徴データ処理装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力するための入力手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段とを備えた特徴データ処理装置であって、
(a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
(b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、
(b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
(c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。 (iii) (iv) A feature data processing device according to the present invention includes nodes arranged in a plurality of layers 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 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. Comprising, 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.

(v)この発明に係るテストデータ生成サーバ装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを端末装置から受け取るための受信手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、受信した特徴データの階層構造を平坦化する平坦化手段と、前記平坦化された特徴データに基づいて、特徴の組合せによるテストデータを生成するテストデータ生成手段と、生成したテストデータを前記端末装置に送信する送信手段とを備えたテストデータ生成サーバ装置であって、
(a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
(b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、(b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
(c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。 (v) A test data generation 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-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 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.

(vi)この発明に係る特徴データ処理サーバ装置は、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを端末装置から受け取るための受信手段と、下記(a)アンド・アンド階層平坦化手段と、(b)オア・オア階層平坦化手段と、(c)持上平坦化手段の少なくとも一つを備え、入力された特徴データの階層構造を平坦化する平坦化手段と、前記平坦化された特徴データを端末装置に送信する送信手段と、を備えた特徴データ処理サーバ装置であって、
(a)前記アンド・アンド階層平坦化手段は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだすアンド・アンド関係抽出手段と、(a2)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替える要求・排他条件付替手段と、(a3)前記アンド・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加する対象子ノード削除手段とを備えており、
(b)前記オア・オア階層平坦化手段は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだすオア・オア関係抽出手段と、(b2)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替える排他条件付替手段と、(b3)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替える要求条件付替手段と、(b4)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する排他条件設定手段と、(b5)前記オア・オア関係抽出手段によって見いだされた箇所において、前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加する対象子ノード削除手段とを備えており、
(c)前記持上平坦化手段は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだすアンド・オア・アンド関係抽出手段と、(c2)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定する要求条件設定手段と、(c3)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定するノード追加手段と、(c4)前記アンド・オア・アンド関係抽出手段によって見いだされた箇所において、前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加する対象子ノード移動手段とを備えていることを特徴としている。 (vi) 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-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 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 and comprising a flattening means for flattening a hierarchical structure of inputted feature data, and a transmission means for transmitting the flattened feature data to a terminal device. And
(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.

(vii)この発明に係るテストデータ生成装置において、平坦化手段は、(a)前記アンド・アンド階層平坦化手段と、(b)前記オア・オア階層平坦化手段と、(c)前記持上平坦化手段とを備え、前記アンド・アンド階層平坦化手段および前記オア・オア階層平坦化手段によって処理された特徴データを、前記持上平坦化手段が処理するよう構成されていることを特徴としている。 (vii) 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.

したがって、アンド関係とオア関係によって結合された３層構造の特徴データとして平坦化することができる。 Therefore, it can be flattened as feature data of a three-layer structure combined by an AND relationship and an OR relationship.

(viii)この発明に係るテストデータ生成装置において、要求条件は、要求元ノードが成立するときには、要求先ノードも成立することを定めるものであることを特徴としている。 (viii) 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.

(ix)この発明に係るテストデータ生成装置において、排他条件は、一方のノードが成立すると、他方のノードが成立しないことを定めるものであることを特徴としている。 (ix) 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.

(x)この発明に係るテストデータ生成装置は、アンド関係は、全てのノードが成立しなければならないことを示すものであることを特徴としている。 (x) The test data generation device according to the present invention is characterized in that the AND relationship indicates that all nodes must be established.

(xi)この発明に係るテストデータ生成装置は、オア関係は、いずれか一つのノードのみが成立することを示すものであることを特徴としている。 (xi) The test data generation device according to the present invention is characterized in that the OR relationship indicates that only one of the nodes is established.

(xii)この発明に係る特徴データ処理方法は、コンピュータによって特徴データを処理する方法であって、前記コンピュータが、対象の特徴を示す上位ノードと、当該上位ノードの特徴の下位の特徴を示す下位ノードとを有する複数階層に配置されたノードを備えて構成され、上位ノードに対して下位ノードが全て成立しなければならないアンド関係、上位ノードに対して下位ノードのいずれかが成立すればよいオア関係にて上位ノードと下位ノードが結合され、ノード間において一方のノードの成立・不成立が他方のノードの成立・不成立を決定する要求条件と、ノード間において双方ノードの同時の成立・不成立を決定する排他条件との少なくとも一方が定義された特徴データを入力し、
前記コンピュータが、下記(a)アンド・アンド階層平坦化処理と、(b)オア・オア階層平坦化処理と、(c)持上平坦化処理の少なくとも一つの処理を実行して、入力された特徴データの階層構造を平坦化する特徴データ処理方法であって、
(a)前記アンド・アンド階層平坦化処理は、(a1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがアンド関係を定めている箇所を見いだし、(a2)前記対象子ノードに要求条件または排他条件が付されていれば、当該要求条件または排他条件を、前記対象ノードに付け替え、(a3)前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてアンド関係に追加し、
(b)前記オア・オア階層平坦化処理は、(b1)前記特徴データにおいて、対象ノードがオア関係を定めており、対象ノードの子ノードを対象子ノードとして、当該対象子ノードがオア関係を定めている箇所を見いだし、(b2)前記対象子ノードに排他条件が付されていれば、当該排他条件を、前記対象ノードに付け替え、(b3)前記対象子ノードに要求条件が付されていれば、当該要求条件を、前記対象子ノードの子ノードである対象孫ノードに付け替え、(b4)前記対象子ノードに、当該対象子ノードが要求先である要求条件が付されていれば、前記対象ノードにおける前記対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定し、(b5)前記対象子ノードを削除し、当該対象子ノードの子ノードである対象孫ノードを、前記対象ノードの子ノードとしてオア関係に追加し、
(c)前記持上平坦化処理は、(c1)前記特徴データにおいて、対象ノードがアンド関係を定めており、対象ノードの子ノードである対象子ノードがオア関係を定めており、対象ノードの親ノードの親ノードである対象親親ノードがアンド関係を定めている箇所を見いだし、(c2)前記対象子ノードの子ノードである対象孫ノードから、前記対象ノードに対して要求条件を設定し、(c3)前記対象子ノードの子ノードとして、「前記対象孫ノードのいずれでもない」という特徴を示すノードを追加し、前記対象ノードと当該追加されたノードとの間に、排他条件を設定し、(c4)前記対象子ノードを、前記対象親親ノードの子ノードとしてアンド関係に追加することを特徴としている。 (xii) A feature data processing method according to the present invention is a method of processing feature data by a computer, wherein the computer is a lower-order node indicating a higher-order node indicating a target feature and a lower-order feature of the higher-level node feature. 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 set as a target child node, and the target child node has an AND relationship. (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 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 for test data generation becomes possible.

この発明において、「入力手段」は、ステップＳ１がこれに対応する。 In the present invention, "input means" corresponds to step S1.

「アンド・アンド階層平坦化手段」は、ステップＳ２がこれに対応する。 “And-and-level flattening means” corresponds to step S2.

「オア・オア階層平坦化手段」は、ステップＳ３がこれに対応する。 "Or-or-layer flattening means" corresponds to step S3.

「持上平坦化手段」は、ステップＳ４がこれに対応する。 The “lifting flattening means” corresponds to step S4.

「テストデータ生成手段」は、ステップＳ５がこれに対応する。 “Test data generation means” corresponds to step S5.

「テストデータ」には、テストデータそのものだけでなく、テストデータを生成するための特徴の組合せを示すデータも含む。 “Test data” includes not only test data itself but also data indicating a combination of features for generating test data.

「プログラム」とは、ＣＰＵにより直接実行可能なプログラムだけでなく、ソース形式のプログラム、圧縮処理がされたプログラム、暗号化されたプログラム等を含む概念である。 The “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.

この発明の一実施形態によるテストデータ表示装置１００の機能ブロック図である。It is a functional block diagram of the test data display apparatus 100 by one Embodiment of this invention. テストデータ表示装置１００のハードウエア構成である。2 is a hardware configuration of the test data display device 100. テストデータ表示ＤＢ４３のデータ構造を示す図である。It is a figure which shows the data structure of test data display DB43. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. テストデータの表示例を示す図である。It is a figure which shows the example of a display of test data. この発明の一実施形態によるテストデータ生成装置５０の機能ブロック図である。It is a functional block diagram of the test data generation apparatus 50 by one Embodiment of this invention. テストデータ生成装置のハードウエア構成である。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 the flattening process of an AND-AND hierarchy. ＡＮＤ−ＡＮＤ階層の平坦化処理のフローチャートである。It is a flowchart of the flattening process 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. 持ち上げによる平坦化処理のフローチャートである。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. ＡＮＤ−ＡＮＤ階層における要求条件の付け替えを示す図である。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 the 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. 持ち上げ平坦化処理によって平坦化されたパラメータデータを示す図である。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-1. 1 is a block diagram of a test data display device 100 according to the present invention. 1 includes a test data generation device 50 (corresponding to parameter data generation means B02 and test data generation means B04, which will be described later).

テストデータ表示装置１００は、図１に示すように、パラメータデータ生成手段Ｂ０２、テストデータ生成手段Ｂ０４、テストデータ表示手段Ｂ０６、論理構造変更手段Ｂ０８を備えている。テストデータ生成手段Ｂ０４は、オールペア法等を用いたテストデータ生成のために用いられるツール（ＰＩＣＴ（商標）、ＡＣＴＳ（商標）等）である。なお、オールペア法の簡単な応用としては、ペアワイズの他、フルカバレッジ、スリーワイズ、フォーワイズなどが該当する。 As shown in FIG. 1, the test data display device 100 includes parameter data generation means B02, test data generation means B04, test data display means B06, and logical structure change means B08. The test data generation means B04 is a tool (PICT (trademark), ACTS (trademark) or the like) used for test data generation using the all-pair method or the like. Note that simple applications of the all-pair method include pair-wise, full coverage, three-wise, four-wise, and the like.

パラメータデータ生成手段Ｂ０２は、テストデータ生成手段Ｂ０４に与えるパラメータデータを論理構造から生成するための手段である。まず、パラメータデータ生成手段Ｂ０２について説明する。 The parameter data generation means B02 is means for generating parameter data to be given to the test data generation means B04 from the logical structure. First, the parameter data generating unit B02 will be described.

図２２に、ある事象の論理構造をツリー形式にて示す。このツリー形式の構造のままでは、ＰＩＣＴのようなツールに入力することはできない。 FIG. 22 shows a logical structure of a certain event in a tree format. With this tree structure, it is impossible to input to a tool such as PICT.

一方、図３１に示すＰＩＣＴのために定められたデータを、ツリー形式の構造にて示すと、図３２のようになる。 On the other hand, the data defined for PICT shown in FIG. 31 is shown in a tree format structure as shown in FIG.

図３２において、パラメータａ1,ａ2,...ａnは、エクスクルーシブＯＲ（ＸＯＲ）によって、ａのグループに結合されている。つまり、パラメータａ1,ａ2,...ａnは、いずれか一つが必ず「成立」する関係にある。同様に、パラメータｂ1,ｂ2,...ｂnは、エクスクルーシブＯＲ（ＸＯＲ）によって、ｂのグループに結合されている。さらに、パラメータｍ1,ｍ2,...ｍnは、エクスクルーシブＯＲ（ＸＯＲ）によって、ｍのグループに結合されている。 In FIG. 32, parameters a1, a2,... An are linked to a group a 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 are connected to the group of r by AND. That is, a, b, c... M are all in a “established” relationship.

なお、図３２において、要素にドットを付すことによりＡＮＤ関係を示している。また、ラインに弧を付すことによりＸＯＲ関係を示している。 In FIG. 32, an AND relationship is shown by adding dots to elements. Further, the XOR relationship is shown by adding an arc to the line.

パラメータｍ1からパラメータａnに向かうｒｅｑラインは、パラメータｍ1が成立すると、パラメータａnも成立する関係にあることを示している。また、パラメータａ2とパラメータｂ2との間のｍｕｔｅｘラインは、パラメータａ2とパラメータｂ2が同時に成立しない関係にあることを示している。 The req line from the parameter m1 to the parameter an indicates that when the parameter m1 is established, the 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.

パラメータデータ生成手段Ｂ０２は、図２２のようなツリー構造にて示されるデータを、ＰＩＣＴなどのツールを使用するために、図３２に示すようなツリー構造にまで変換する。 The parameter data generating means B02 converts the data shown in the tree structure as shown in FIG. 22 into a tree structure as shown in FIG. 32 in order to use a tool such as PICT.

ユーザは、たとえば、図４ａに示す画面において、第１の表示領域Ｒ１に、マウスなどをを使用して、図２２に例示されるようなツリー構造を入力する。第１の表示領域Ｒ１において、「ＡＮＤ」「ＸＯＲ」は、上述のＡＮＤ、ＸＯＲに対応している。たとえば、「1.Execution_level」には「ＡＮＤ］が付され「2.Task」には「ＡＮＤ」が付されており、両者がラインＬ1で結合されている。これらは、「activate Task」より一つ下のレベルに描かれている。したがって、これを模式的に表すと、図４ｂのようになる。以下の階層についても同様である。 For example, on the screen shown in FIG. 4A, the user inputs a tree structure as illustrated in FIG. 22 in the first display region R1 using a mouse or the like. In the first display region R1, “AND” and “XOR” correspond to the above-described AND and XOR. For example, “1” is attached to “1.Execution_level”, “AND” is attached to “2.Task”, and both are connected by a line L1. These are drawn one level below "activate Task". Therefore, this is schematically shown in FIG. 4b. The same applies to the following hierarchies.

なお、この実施形態では、各ノードにノード符号を付して表示するようにしている。たとえば、９行目「1-1-2.No_Constraints」のノード符号「1-1-2」は、次のような意味を有している。最初の「1」は、第１階層において１番目のノードであることを示している。次の「1」は、第１階層の１番目のノードに含まれる第２階層において、１番目のノードであることを示している。次の「2」は、第２階層の１番目のノードに含まれる第３階層において、２番目のノードであることを示している。このように、ノード符号を付すことにより、各ノードを特定することができる。 In this embodiment, each node is displayed with a node code. For example, the node code “1-1-2” in the ninth line “1-1-2.No_Constraints” has the following meaning. The first “1” indicates that it is the first node in the first hierarchy. The next “1” indicates that it is the first node in the second hierarchy included in the first node of the first hierarchy. The next “2” indicates that it is the second node in the third hierarchy included in the first node of the second hierarchy. Thus, each node can be specified by attaching a node code.

８行目の「mutex2-4.priority」と、下から６行目の「mutex1-1-1-2.No」は、「2-4.priority」と「1-1-1-2.No」の間に、ｍｕｔｅｘ（排他）条件が設定されていることを示している。 "Mutex2-4.priority" on the 8th line and "mutex1-1-1-2.No" on the 6th line from the bottom are "2-4.priority" and "1-1-1-2.No" ”Indicates that a mutex (exclusive) condition is set.

以上のようにして、ユーザが、ツリー構造を入力すると、前述のパラメータデータ生成手段Ｂ０２は、これを変換して、ＰＩＣＴなどのツールに入力可能なツリー構造にする。なお、テストデータ生成手段Ｂ０４に与えるパラメータデータを生成するための具体的な方法については、後述する。 As described above, when the user inputs a tree structure, the above-described parameter data generation means B02 converts this into a tree structure that can be input to a tool such as PICT. A specific method for generating parameter data to be given to the test data generating means B04 will be described later.

テストデータ生成手段Ｂ０４は、パラメータデータ生成手段Ｂ０２からパラメータデータの入力を受けてテストデータを生成し、テストデータ表示手段Ｂ０６は、その結果を論理構造と同一画面上に表示する。例えば、図４に示すように、第１の表示領域Ｒ１である左側には条件となった論理構造が表示されており、同一画面上の第２の表示領域Ｒ２である右側には、左側の論理構造に基づいて生成されたテストデータが表示されている。 The test data generation unit B04 receives the parameter data input from the parameter data generation unit B02 and generates test data. The test data display unit B06 displays the result on the same screen as the logical structure. For example, as shown in FIG. 4, a logical structure which is a condition is displayed on the left side which is the first display area R1, and the left side which is the second display area R2 on the same screen is displayed on the left side. Test data generated based on the logical structure is displayed.

さらに、論理構造変更手段Ｂ０８は、図４の左側に示す第１の表示領域Ｒ１において、ユーザからのノードを展開し、または折り畳むといった操作入力を受け、論理構造データの変更を行う。パラメータデータ生成手段Ｂ０２は、ユーザからの操作入力を受けて、変更された論理構造に基づいて、再び、パラメータデータを生成する。さらに、これに基づいてテストデータ生成手段Ｂ０４が生成したテストデータが、テストデータ表示手段Ｂ０６によって第２の表示領域Ｒ２に表示されることになる。 Further, the logical structure changing unit B08 receives the operation input such as expanding or folding the node from the user in the first display region R1 shown on the left side of FIG. 4 and changes the logical structure data. The parameter data generation unit B02 receives the operation input from the user and generates parameter data again based on the changed logical structure. Further, based on this, the test data generated by the test data generating means B04 is displayed in the second display area R2 by the test data display means B06.

以上のように、テストデータが、条件となった論理構造と同一画面上に表示されるため、論理構造を調整（一部を削除、追加、変更など）して、所望のテストデータを得ることが容易になる。
As described above, the test data is displayed on the same screen as the logical structure that is the condition. Therefore, the desired test data can be obtained by adjusting the logical structure (deleting, adding, changing, etc.). Becomes easier.

１−２．ハードウエア構成
図２に、テストデータ表示装置のハードウエア構成を示す。ＣＰＵ３０には、メモリ３２、ディスプレイ３４、ハードディスク３６、ＤＶＤ−ＲＯＭドライブ３８、キーボード／マウス４６が接続されている。ハードディスク３６には、WINDOWS（商標）などのオペレーティングシステム４２、テストデータ表示ＤＢ４３、テストデータ生成プログラム４４、テストデータ表示プログラム４５が記録されている。テストデータ生成プログラム４４は、オペレーティングシステム４２と協働してその機能を発揮するものである。テストデータ表示プログラム４５も、オペレーティングシステム４２と協働してその機能を発揮するものである。また、オペレーティングシステム４２、テストデータ生成プログラム４４、テストデータ表示プログラム４５は、ＤＶＤ−ＲＯＭ４０に記録されたものを、ＤＶＤ−ＲＯＭドライブ３８を介して、ハードディスク３６にインストールしたものである。なお、テストデータ生成プログラム４４は、図１に示すパラメータデータ生成手段Ｂ０２およびテストデータ生成手段Ｂ０４を備えている。 1-2. Hardware Configuration FIG. 2 shows a hardware configuration of the test data display device. 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. On the hard disk 36, an operating system 42 such as WINDOWS (trademark), a test data display DB 43, a test data generation program 44, and a test data display program 45 are recorded. The test data generation program 44 performs its function in cooperation with the operating system 42. The test data display program 45 also functions in cooperation with the operating system 42. The operating system 42, the test data generation program 44, and the test data display program 45 are those recorded on the DVD-ROM 40 and installed on the hard disk 36 via the DVD-ROM drive 38. The test data generation program 44 includes parameter data generation means B02 and test data generation means B04 shown in FIG.

図３に、テストデータ表示ＤＢ４３のデータ構造を示す。テストデータ表示ＤＢ４３には、論理構造にて表現されたテキストデータ（後述する元パラメータデータ）と、ＰＩＣＴから出力されたテストデータのＣＳＶファイル（図４ａの右側に表示）がひも付けして記憶されている。ユーザの入力操作を受けてテストデータが算出される毎に、テストデータがテストデータ表示ＤＢ４３に記憶され、画面上に表示される。
FIG. 3 shows the data structure of the test data display DB 43. In the test data display DB 43, text data expressed in a logical structure (original parameter data described later) and a CSV file of test data output from the PICT (displayed on the right side of FIG. 4a) are stored in association with each other. ing. Each time the test data is calculated in response to a user input operation, the test data is stored in the test data display DB 43 and displayed on the screen.

１−３．テストデータ生成プログラムの処理
図４ａは、テストデータ表示プログラム４５によって生成したテストケースを表示した画面の例を示す。図４ａに示す例では、左側の第１の表示領域Ｒ１に表示されている論理構造に基づいて、テストケースが１７個生成されている。なお、左側の第１の表示領域Ｒ１の下方に表示されている、フィーチャー数は総ノード数を表し、制約数は、mutexまたはreqの総数（１２／２＝６）を表している。 1-3. Process of Test Data Generation Program FIG. 4a shows an example of a screen that displays a test case generated by the test data display program 45. In the example illustrated in FIG. 4A, 17 test cases are generated based on the logical structure displayed in the left first display region R1. Note that the number of features displayed below the first display area R1 on the left side represents the total number of nodes, and the number of constraints represents the total number of mutexes or req (12/2 = 6).

図４ａの表示領域Ｒ２において、１行目は、ノード符号を示している。この例では、生成された１７個のテストデータが示されている。黒丸の部分は、当該ノードを選択したデータをテストデータとして生成すべきことを示している。 In the display area R2 of FIG. 4a, the first line indicates a node code. In this example, 17 pieces of generated test data are shown. The black circle portion indicates that data for selecting the node should be generated as test data.

図４ａの状態で、カーソルＣ１をノード1-1.Normal上に移動させてクリックすると、図５に示すように、ノード1-1.Normalが折り畳まれて表示される。すなわち、ノード1-1.Normalより下位の論理構造が全て削除される。 In the state shown in FIG. 4a, when the cursor C1 is moved to the node 1-1.Normal and clicked, the node 1-1.Normal is folded and displayed as shown in FIG. That is, all logical structures below node 1-1.Normal are deleted.

さらに、この状態で、図５に示すテストケース算出ボタンＢ１を押下すると、ノード1-1.Normalが折り畳まれた（すなわち、ノード1-1.Normalより下位の論理構造が削除された）論理構造に基づいて、図６に示すように、テストデータが再び生成され、右側の第２の表示領域Ｒ２に表示される。図６の例では、ノード1-1.Normalより下位の論理構造が削除されたことで、テストケース数が「１７」から「１３」に減少している。このように、テストケース数を減少させることで、テストに要する時間を削減することが可能になる。 Further, in this state, when the test case calculation button B1 shown in FIG. 5 is pressed, the node 1-1.Normal is folded (that is, the logical structure lower than the node 1-1.Normal is deleted). As shown in FIG. 6, the test data is generated again and displayed in the second display area R2 on the right side. In the example of FIG. 6, the number of test cases is reduced from “17” to “13” because the logical structure lower than the node 1-1.Normal is deleted. Thus, by reducing the number of test cases, it is possible to reduce the time required for testing.

図７は、特定のテストケースの上にカーソルを移動させた際の表示例を示す図である。図７に示す例では、１番目のテストケース上にカーソルＣ２を移動させたことによって、当該テストケースＴ１に含まれるバリュー（「1-2 ISR2」、「2-1-1 Valid」など）が全てカーソルＣ２の付近にまとめて表示（ポップアップ）されるように構成している。これにより、第２の表示領域Ｒ２の全体を見渡す必要が無い点でメリットがある。
FIG. 7 is a diagram illustrating a display example when the cursor is moved over a specific test case. In the example shown in FIG. 7, the value (“1-2 ISR2”, “2-1-1 Valid”, etc.) included in the test case T1 is obtained by moving the cursor C2 on the first test case. All are configured to be displayed (popped up) in the vicinity of the cursor C2. This is advantageous in that it is not necessary to look around the entire second display region R2.

１−４．テストデータ生成プログラムの処理（異常値を含めたもの）
上記実施例では、テストデータを構成するパラメータのバリューが全て正常値であることとしているが、テストデータを構成するパラメータのバリュー中に異常値が含まれるように構成してもよい。図４ａに示す例の一部を異常値に設定した例を図９に示す。 1-4. Test data generation program processing (including abnormal values)
In the above embodiment, the values of the parameters constituting the test data are all normal values. However, the values of the parameters constituting the test data may be configured to include abnormal values. FIG. 9 shows an example in which a part of the example shown in FIG.

図９に示す例では、ノード2-1.TaskIDのバリュー2-1-2.Invalidと、ノード2-5Max_activationのバリュー2-5-2 reachedの２つが異常値（図９に太字で示す。）と設定されており、１７個のテストデータのうち、７個のテストデータが異常値のバリュー2-5-2 reachedを含んでいる。 In the example shown in FIG. 9, two values, a value 2-1-2.Invalid of node 2-1.TaskID and a value 2-5-2 reached of node 2-5Max_activation, are abnormal values (shown in bold in FIG. 9). The seven test data out of the 17 test data includes the abnormal value 2-5-2 reached.

このように、テストデータに異常値のバリューを含め、これを把握することで、異常値が含まれている場合であっても、実際にテストした場合に異常値に対応した正しい動作が行われるか否かを容易に確認することができる。 In this way, by including the value of the abnormal value in the test data and grasping this, even if the abnormal value is included, correct operation corresponding to the abnormal value is performed when actually testing. It can be easily confirmed whether or not.

上記実施例では、正常値か異常値の別を太字によって示したが、これに限られるものではない。図８は、特定のノードの上にカーソルを移動させた際の表示例を示す図である。図８に示すように、ノード1-1.NormalにカーソルＣ３を移動させたことによって、正常値か異常値の別「カテゴリ：正常値」をカーソルＣ３の付近に表示（ポップアップ）するようにしてもよい。
In the above embodiment, the normal value or the abnormal value is indicated by bold characters, but the present invention is not limited to this. FIG. 8 is a diagram illustrating a display example when the cursor is moved over a specific node. As shown in FIG. 8, by moving the cursor C3 to the node 1-1.Normal, “category: normal value” of normal value or abnormal value is displayed (popped up) in the vicinity of the cursor C3. Also good.

１−５．その他の実施形態
なお、上記実施形態では、テストデータ表示装置１００（図１）の中に、テストデータ生成装置５０（パラメータデータ生成手段Ｂ０２およびテストデータ生成手段Ｂ０４に相当）を組み込むこととしたが、テストデータ表示装置１００の中に、テストデータ生成装置５０を組み込まないようにしてもよい。 1-5. Other Embodiments In the above embodiment, the test data generation apparatus 50 (corresponding to the parameter data generation means B02 and the test data generation means B04) is incorporated in the test data display apparatus 100 (FIG. 1). The test data generation device 50 may not be incorporated in the test data display device 100.

なお、上記実施形態では、図４に示す第２の表示領域において、パラメータのバリューが列項目に表示され、セル内に各バリュー選択の有無を表すマークを示すように構成したが、これに限定されず、例えば、図１０に示すように、第２の表示領域Ｒ２において、パラメータのバリューがセル内に表示されるように構成してもよい。これにより、行方向の表示幅を狭くすることができる点でメリットがある。 In the above embodiment, in the second display area shown in FIG. 4, the value of the parameter is displayed in the column item and the mark indicating the presence / absence of each value selection is shown in the cell. However, the present invention is not limited to this. Instead, for example, as shown in FIG. 10, the parameter value may be displayed in the cell in the second display region R2. This is advantageous in that the display width in the row direction can be reduced.

なお、上記実施形態では、論理構造を変更することにより、テストケースを再生成することとしたが、これに加えて、あるいはこれに代えて、フルカバレッジ、スリーワイズ、ペアワイズ、フォーワイズなどの種別を選択することによりテストケースを再生成するようにしてもよい。 In the above embodiment, the test case is regenerated by changing the logical structure. However, in addition to or instead of this, types such as full coverage, threewise, pairwise, and fourwise are used. The test case may be regenerated by selecting.

なお、上記実施形態では、ＰＩＣＴ（商標）にパラメータデータを入力することにより、テストケースを生成することとしたが、ＡＣＴＳ（商標）などの他のツールにパラメータデータを入力することによりテストケースを生成するようにしてもよい。さらに、使用するツールとしてＰＩＣＴ（商標）、ＡＣＴＳ（商標）などの種別を選択することによりテストケースを生成するようにしてもよい。
In the above embodiment, the test case is generated by inputting the parameter data to PICT (trademark). However, the test case is generated by inputting the parameter data to another tool such as ACTS (trademark). You may make it produce | generate. Further, a test case may be generated by selecting a type such as PICT (trademark) or ACTS (trademark) as a tool to be used.

２−１．テストデータ生成装置の全体構成
図１１に、この発明の一実施形態によるテストデータ生成装置５０（図１に示すパラメータデータ生成手段Ｂ０２およびテストデータ生成手段Ｂ０４に相当）の全体構成を機能ブロック図にて示す。入力手段２は、論理構造にて表現された元パラメータデータ２０を入力する。 2-1. 11 is a functional block diagram showing the overall configuration of the test data generation device 50 (corresponding to the parameter data generation means B02 and the test data generation means B04 shown in FIG. 1) according to an embodiment of the present invention. Show. The input means 2 inputs original parameter data 20 expressed in a logical structure.

アンド・アンド階層平坦化手段４は、入力された元パラメータデータ２０の論理構造中において、対象ノードから、ＡＮＤ関係とＡＮＤ関係が階層として連続している部分を見いだす。図１１においては、対象ノードがＡＴであり、ＡＮＤ関係とＡＮＤ関係が階層として連続している部分が３０で示されている。 The AND-and-level flattening means 4 finds a portion in which the AND relationship and the AND relationship are continuous as a hierarchy from the target node in the logical structure of the input original parameter data 20. In FIG. 11, 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.

アンド・アンド階層平坦化手段４は、さらに、前記部分３０において、対象子ノードＴa（対象ノードＡＴの子にあたるノード）に要求条件または排他条件が付されていれば、当該要求条件または排他条件を、対象ノードＡＴに付け替える。図１１の例では、対象子ノードＴaに要求条件や排他条件が付されていないので、ここでは何も行われない。続いて、アンド・アンド階層平坦化手段４は、対象子ノードＴaを削除する。 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. 11, 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-hierarchy flattening means 4 executes the above-described processing for all the portions in which the found AND relationship and the AND relationship continue as a hierarchy. As a result, AND-and-level flattening parameter data 22 is obtained.

オア・オア階層平坦化手段６は、アンド・アンド階層平坦化パラメータデータ２２の論理構造中において、対象ノードから、ＯＲ関係とＯＲ関係が階層として連続している部分を見いだす。図１１においては、対象ノードがＥｌであり、ＯＲ関係とＯＲ関係が階層として連続している部分が３２で示されている。 The or-or hierarchy flattening means 6 finds a portion in which the OR relationship and the OR relationship are continuous as a hierarchy from the target node in the logical structure of the AND-and-layer flattening parameter data 22. In FIG. 11, 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.

オア・オア階層平坦化手段６は、さらに、前記部分３２において、対象子ノードＩＳＲに排他条件が付されていれば、これを対象孫ノードＩＳＲ１、ＩＳＲ２（対象子ノードの子ノード）に付け替える。図１１においては、対象子ノードＩＳＲとノードＷＡの間に設定されている排他条件が、対象孫ノードＩＳＲ１、ＩＳＲ２のそれぞれと、ノードＷＡとの間に付け替えられる。また、前記部分３２において、対象子ノードＩＳＲに要求条件が付されていれば、当該要求条件を、対象ノードＥｌに付け替える。この時、この要求条件が、対象子ノードを要求先とするものであれば、対象子ノード以外の子ノードと、当該要求条件の要求元ノードとの間に、排他条件を設定する。続いて、オア・オア階層平坦化手段６は、対象子ノードＩＳＲを削除する。 Further, in the portion 32, the OR-or hierarchy leveling means 6 replaces the target child node ISR with the target grandchild nodes ISR1 and ISR2 (child nodes of the target child node) if an exclusion condition is attached to the target child node ISR. In FIG. 11, 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.

オア・オア階層平坦化手段６は、見いだしたＯＲ関係とＯＲ関係が階層として連続している部分の全てについて、上記の処理を実行する。これにより、オア・オア階層平坦化パラメータデータ２４が得られる。 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 continued as a lower hierarchy from the target node Ta, and further, the portion 34 in which the OR relationship and the AND relationship are continued as an upper hierarchy from the target node.

持上平坦化手段８は、前記部分３４において、対象孫ノードＹ、Ｎから、前記対象ノードＴａに対して要求条件を設定する。さらに、「対象孫ノードＹ、Ｎのいずれでもない」という対象孫ノードＹＮを追加し、対象ノードＴａと対象孫ノードＹＮとの間に、排他条件を設定する。 In the portion 34, the lifting flattening means 8 sets a requirement 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. 11 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.

２−２．テストデータ生成プログラムの処理
図１３に、テストデータ生成プログラム４４のフローチャートを示す。 2-2. Processing of Test Data Generation Program FIG. 13 shows a flowchart of the test data generation program 44.

4.1入力処理
ＣＰＵ３０は、パラメータデータを入力し、ハードディスク３６に記録する（ステップＳ１）。パラメータデータは、キーボード／マウス４６から入力してもよいし、ＤＶＤ−ＲＯＭドライブ３８から入力するようにしてもよい。 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.

ここでは、図２１に示すようなパラメータデータが入力されたものとする。これを模式的に示すと図２２のようになる。なお、この実施形態では、パラメータデータは、図２１のような形式にて入力している。しかし、図２２のようなツリー構造をディスプレイ３４に表示し、キーボード／マウス４６などで編集を行いながら入力するようにしてもよい。 Here, it is assumed that parameter data as shown in FIG. 21 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. 22 may be displayed on the display 34 and input while editing with the keyboard / mouse 46 or the like.

このパラメータデータは、オペレーティングシステムにおけるactivateTaskのプログラムに対する入力データが取り得る状態を示したものである。たとえば、図２２において、ノードactivateTaskから、ノードExecutionlevel（実行レベル）、ノードTask（activate対象となるタスク）に、ＡＮＤ関係が結ばれている。これにより、activateTaskについては、ExecutionlevelとTaskの双方が成立しなければならないことが示されている。つまり、activateTaskは、ExecutionlevelとTaskの双方の決定が必要であることが示されている。 This parameter data indicates the state that the input data for the activateTask program in the operating system can take. For example, in FIG. 22, 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（割り込み）に、ＸＯＲ関係が結ばれている。これにより、Executionlevelについては、ExTaskとISRのいずれか一方のみが成立しなければならないことが示されている。つまり、Executionlevelは、ExTaskとISRのいずれか一方のみの決定が必要であることが示されている。 Further, 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（有効なＩＤ）かinvalid（無効なＩＤ）のいずれかに決定されなければならないことが示されている。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アンド・アンド階層の平坦化処理
次に、ＣＰＵ３０は、入力されたパラメータデータについて、アンド・アンド階層の平坦化処理を行う（ステップＳ２）。前述のように、ＡＮＤ関係が階層として連続している部分を探し出して平坦化を行う。図１４に、アンド・アンド階層の平坦化処理の詳細を示す。 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. 14 shows details of the flattening process of the AND AND hierarchy.

ＣＰＵ３０は、まず、ルートノードactivateTaskを対象ノードに設定する（ステップＳ２０１）。次に、対象ノードからＡＮＤ関係にて子ノードが定義されているかどうかを判断する（ステップＳ２０２）。ここでは、図２２に示すように、対象ノードactivateTaskから、ＡＮＤ関係にて、子ノードExecutionlevelと子ノードTaskが定義されている。したがって、ＣＰＵ３０は、ステップＳ２０３に進み、最初の子ノードExecutionlevelを対象子ノードとする。 The 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. 22, 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.

続いて、ＣＰＵ３０は、対象子ノードから、ＡＮＤ関係にて、孫ノードが定義されているかを判断する（ステップＳ２０４）。ここでは、対象子ノードExecutionlevelから、孫ノードExtask、ISRに対して、ＸＯＲ関係が定義されており満たしていないので、ステップＳ２０５に進む。ステップＳ２０５において、すべての子ノードを対象子ノードとして処理したかどうかを判断する。ここでは、子ノードTaskに対する処理がまだであるから、これを対象子ノードとする（ステップＳ２０６）。 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).

ＣＰＵ３０は、対象子ノードから、ＡＮＤ関係にて、孫ノードが定義されているかを判断する（ステップＳ２０４）。ここでは、対象子ノードTaskから、ＡＮＤ関係にて、孫ノードTaskID、status、priorityが定義されている。したがって、満足するので、ステップＳ２０９に進む。 The CPU 30 determines whether a grandchild node is defined in an AND relationship from the target 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.

ステップＳ２０９において、ＣＰＵ３０は、対象子ノードTaskに条件が付いているかどうかを判断する。ここでは、条件は付いていないので、ステップＳ２１１を実行する。ステップＳ２１１において、ＣＰＵ３０は、対象子ノードTaskを削除し、孫ノードTaskID、status、priorityを対象ノードactivateTaskの子ノードとする。これにより、図２４に示すように、対象子ノード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. 24, the object child node Task is deleted.

次に、ＣＰＵ３０は、すべての子ノードを対象子ノードとして処理したかどうかを判断する（ステップＳ２０５）。ここでは、全ての子ノードについて処理を行ったので、ステップＳ２０７に進む。 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.

ステップＳ２０７において、ＣＰＵ３０は、全てのノードを対象ノードとして処理したかどうかを判断する。ここでは、未処理のノードがあるので、ノードExecutionlevelを対象ノードに設定する（ステップＳ２０８）。 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).

ＣＰＵ３０は、対象ノードExecutionlevelから、ＡＮＤ関係にて、子ノードが定義されているかどうかを判断する（ステップＳ２０２）。ここでは、対象ノードExecutionlevelから、子ノードExtask、ISRに対して、ＸＯＲ関係が定義されており満たしていないので、ステップＳ２０７に進む。まだ、未処理のノードがあるので、ノードTaskIDを対象ノードに設定する（ステップＳ２０８）。なお、既にノードTaskは削除されており、図２４のような状態となっているので、ノード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. 24, the node TaskID is set as the target node.

ＣＰＵ３０は、対象ノードTaskIDから、ＡＮＤ関係にて、子ノードが定義されているかどうかを判断する（ステップＳ２０２）。ここでは、対象ノードTaskIDから、ＸＯＲ関係にて、子ノードvalid、invalidが定義されており、満足しないので、ステップＳ２０８に進む（ステップＳ２０７）。ステップＳ２０８においては、ノードstatusを対象ノードとして設定する。 CPU30 judges whether a child node is defined by AND relation 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.

ここでも、ステップＳ２０２は満足されないので、次に、ノードpriorityが対象ノードとして設定される（ステップＳ２０２、Ｓ２０７、Ｓ２０８）。 Again, since step S202 is not satisfied, the node priority is set as the target node (steps S202, S207, and S208).

以上のような処理を繰り返し、全てのノードを対象ノードとして処理を行えば、アンド・アンド階層の平坦化処理を終了する（ステップＳ２０７）。 If the above processing is repeated and processing is performed for all nodes as target nodes, the flattening processing of the AND AND hierarchy is finished (step S207).

上記のアンド・アンド階層平坦化処理を行った後のパラメータデータを、図２４に示す。 FIG. 24 shows the parameter data after performing the above-described AND-and-level flattening process.

なお、ステップＳ２０９において、アンド・アンド階層の条件を満たす部分の対象子ノードに条件が付いていれば、ＣＰＵ３０は、当該条件を対象ノードに付け替える。たとえば、図２３Ａに示すように、対象子ノードＣに要求条件が付いている場合、図２３Ｂに示すように、この要求条件を対象ノードＡに付け替える。なお、図２３のように対象子ノードＣが要求元となっている場合だけでなく、対象子ノードが要求先となっている場合も同様である。また、対象子ノードＣに排他条件が付されている場合も同様に付け替えを行う。 In step S209, if a condition is attached to a part of the target child node that satisfies the AND-and-hierarchy condition, the CPU 30 changes the condition to the target node. For example, as shown in FIG. 23A, when the required condition is attached to the target child node C, the required condition is replaced with the target node A as shown in FIG. 23B. The same applies not only when the target child node C is the request source as shown in FIG. 23 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.3ＸＯＲ・ＸＯＲ階層の平坦化処理
以上のようにして、アンド・アンド階層の平坦化処理を終了すると、ＣＰＵ３０は、次に、ＸＯＲ・ＸＯＲ階層の平坦化処理を実行する（図１３、ステップＳ３）。ＸＯＲ・ＸＯＲ階層の平坦化処理の詳細を、図１６〜図１８に示す。 4.3 Flattening process of XOR / XOR hierarchy When the flattening process of the AND-and hierarchy is completed as described above, the CPU 30 next executes the flattening process of the XOR / XOR hierarchy (FIG. 13, step S3). ). Details of the flattening processing of the XOR / XOR hierarchy are shown in FIGS.

ＣＰＵ３０は、図２４の平坦化されたデータに対して、まず、ステップＳ３０１において、ルートノードactiavteTaskを対象ノードに設定する。次に、この対象ノードactiavteTaskから、ＸＯＲ関係にて、子ノードが定義されているかどうかを判断する（ステップＳ３０２）。ここでは、ＡＮＤ関係にて、子ノードExecutionlevel、TaskID、status、priorityが定義されており、満足しない。したがって、ステップＳ３０７に進む。 For the flattened data in FIG. 24, the CPU 30 first sets the root node actiavteTask as a target node in step S301. 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.

ステップＳ３０７において、ＣＰＵ３０は、全てのノードを対象ノードとして処理を行ったかどうかを判断する。ここでは、未対象のノードがあるので、次のノードExecutionlevelを対象ノードとする（ステップＳ３０８）。 In step S307, the CPU 30 determines whether or not processing has been performed with all nodes as target nodes. Here, since there is an untargeted node, the next node Executionlevel is set as the target node (step S308).

ＣＰＵ３０は、ステップＳ３０２において、対象ノードExecutionlevelから、ＸＯＲ関係にて、子ノードが定義されているかを判断する。ここでは、ＸＯＲ関係にて、子ノードExTask、ISRが定義されているので、満足する。したがって、ＣＰＵ３０は、子ノードExTaskを対象子ノードに設定する（ステップＳ３０３）。 In step S302, the CPU 30 determines whether or not a child node is defined in an XOR relationship from the target node Executionlevel. 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).

次に、ＣＰＵ３０は、対象子ノードExTaskから、ＸＯＲ関係にて、孫ノードが定義されているかどうかを判断する（ステップＳ３０４）。ここでは、ＡＮＤ関係にて、孫ノードPreemptiveが定義されており満足しないので、ステップＳ３０５に進む。 Next, CPU30 judges whether the grandchild node is defined by XOR relationship from object 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.

ステップＳ３０５において、ＣＰＵ３０は、全ての子ノードを対象子ノードとしたかどうかを判断する。まだ、子ノードISRを対象子ノードとしていないので、これを対象子ノードに設定する（ステップＳ３０６）。 In step S305, the CPU 30 determines whether or not all child nodes are set as 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).

ＣＰＵ３０は、対象子ノードISRから、ＸＯＲ関係にて、孫ノードが定義されているかどうかを判断する（ステップＳ３０４）。ここでは、XOR関係にて、孫ノードISR1、ISR2が定義されているので満足する。したがって、ステップＳ３０９に進む。 The CPU 30 determines whether or not a grandchild node is defined in the 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.

ステップＳ３０９において、対象子ノードISRに条件が付いているかどうかを判断する。ここでは、対象子ノードISRに条件が付いているので、ステップＳ３１０に進む。ステップＳ３１０において、ＣＰＵ３０は、当該条件が排他条件であるかどうかを判断する。ここでは、排他条件が付されているので、ステップＳ３１１を実行する。ステップＳ３１１においては、対象子ノードISRに付された排他条件を、孫ノードISR1、ISR2に付け替える。つまり、ノードpriorityと対象子ノードISRとの間の排他条件が、ノードpriorityと対象孫ノードISR１との間の排他条件、ノード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.

次に、ＣＰＵ３０は、対象子ノードISRに付されている条件が要求条件であるかどうかを判断する（ステップＳ３１２）。ここでは、要求条件は付されていないので、ステップＳ３１７に進む。ステップＳ３１７において、ＣＰＵ３０は、対象子ノードISRを削除し、孫ノードISR1、ISR2を対象ノードExecutionlevelの子ノードとする。したがって、図２７に示すように、排他条件が付け替えられ、対象子ノード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. 27, the exclusion condition is changed and the target child node ISR is deleted.

次に、ＣＰＵ３０は、全ての子ノードについて処理を行ったかどうかを判断する（ステップＳ３０５）。ここでは、未処理の子ノードがあるので、次に、子ノードTaskIDを対象子ノードとして、ステップＳ３０４以下の処理を実行する。同様に、他の子ノードstatus、priorityも、順次、対象子ノードとして、ステップＳ３０４以下の処理を実行する。 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 processes in and after step S304 are executed.

対象ノードの全ての子ノードに対する処理を終えると、次の、ノードを対象ノードとして（ステップＳ３０８）、ステップＳ３０２以下の処理を実行する。このようにして、全てのノードを対象ノードとして処理すると、ＸＯＲ・ＸＯＲ階層平坦化処理を終了する（ステップＳ３０７）。 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).

上記のステップＳ３１０において、対象子ノードに排他条件が付されている場合には、当該排他条件を当該子ノードの孫ノード全てに付け替えるようにしている。この際、対象子ノードに要求条件が付いている場合には（ステップＳ３１２）、ＣＰＵ３０は、次のような処理を行う。 In the above step S310, when an exclusion condition is attached to the target child node, the exclusion condition is changed to all 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.

ＣＰＵ３０は、当該要求条件の要求元が子ノードであるかどうかを判断する（ステップＳ３１３）。そうであれば、ＣＰＵ３０は、子ノードからの要求条件を、当該子ノードの孫ノードおのおのからの要求条件に付け替える（ステップＳ３１４）。 The 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).

たとえば、図２５Ａに示すように、ＸＯＲ階層の連続する部分における対象子ノードＣから、ノードＥに対して要求条件が設定されていたとする。この場合、ＣＰＵ３０は、図２５Ｂに示すように、要求元を当該対象子ノードのそれぞれの孫ノードにして、ノードＥに対する要求条件を設定する。その後、対象子ノードＣを削除し、孫ノードＦ、Ｇ、Ｈを、対象ノードＡの子ノードに加える（ステップＳ３１７）。 For example, as shown in FIG. 25A, 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. 25B, the CPU 30 sets a request condition for the node E with the request source as each 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).

ステップＳ３１３において、対象子ノードを要求先とする要求条件が付されていると判断すると、ＣＰＵ３０は、ステップＳ３１５に進む。ステップＳ３１５においては、ＣＰＵ３０は、対象子ノードに付された要求条件を、対象ノードに付け替える。さらに、当該要求条件の要求元ノードから、対象ノードの子ノードのそれぞれ（対象子ノードを除く）に対して、排他条件を設定する（ステップＳ３１６）。 If it is determined in step S313 that a request condition for requesting the target child node 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).

たとえば、図２６Ａに示すように、ＸＯＲ階層の連続する部分における対象子ノードＣに対し、ノードＥから要求条件が設定されていたとする。この場合、ＣＰＵ３０は、図２６Ｂに示すように、当該要求条件の要求先を対象ノードＡに付け替える。さらに、対象ノードＡの子ノードＢ、Ｃの内、対象子ノードＣを除く全ての子ノードのそれぞれ（ここでは子ノードＢだけとなる）と、前記要求条件の要求元のノードＥとの間に、排他条件を設定する。その後、対象子ノードＣを削除し、孫ノードＦ、Ｇ、Ｈを、対象ノードＡの子ノードに加える（ステップＳ３１７）。 For example, as shown in FIG. 26A, 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. 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持ち上げによる平坦化処理
以上のようにして、ＸＯＲ・ＸＯＲ階層の平坦化処理を終了すると、ＣＰＵ３０は、次に、持ち上げによる平坦化処理を実行する（図１３、ステップＳ４）。つまり、ＡＮＤ関係とＸＯＲ関係によって定義される３階層からなるパラメータデータに平坦化する。持ち上げによる平坦化処理の詳細を、図１９、図２０に示す。 4.4 Flattening Process by Lifting When the flattening process of the XOR / XOR hierarchy is completed as described above, the CPU 30 next executes the flattening process by lifting (FIG. 13, 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.

まず、ＣＰＵ３０は、平坦化された図２７のパラメータデータにおいて、第３階層以下の最初のノードを対象ノードとして設定する（ステップＳ４０１）。ここでは、ノードExTaskが対象ノードとなる。 First, the CPU 30 sets the first node below the third hierarchy as the target node in the flattened parameter data of FIG. 27 (step S401). Here, the node ExTask is the target node.

次に、ＣＰＵ３０は、対象ノードExTaskからＡＮＤ関係にて、子ノードが定義されているかどうかを判断する（ステップＳ４０２）。ここでは、子ノードpreemptiveが定義されているので満足するので、ステップＳ４０３に進む。ステップＳ４０３においては、最初の子ノードを対象子ノードとする。ここでは、子ノード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.

次に、ＣＰＵ３０は、対象子ノードpreemptive以下の構造を、対象ノードExTaskの親の親のノード（親親ノードまたは祖父母ノード）activateTaskの子ノードとして、アンド関係にて定義する（図２８参照）。 Next, the CPU 30 defines the structure below the target child node preemptive as an child relationship of the parent node (parent parent node or grandparent node) activateTask of the target node ExTask (see FIG. 28).

続いて、孫ノードYes、Noのそれぞれから、対象ノードExTaskに対して、要求条件を設定する（ステップＳ４０５）（以下、子ノード、孫ノードなどの表記は、図２７の状態に基づいて表記している）。さらに、ＣＰＵ３０は、「他の孫ノードのいずれでもない」という内容の孫ノードを、ＸＯＲ関係にて追加する（ステップＳ４０６）。ここでは、図１８に示すように、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, the notation of the child node, the grandchild node, etc. is 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. 18, a node YesNo is defined which is neither Yes nor No.

次に、ＣＰＵ３０は、追加した孫ノードYesNoと対象ノードExTaskとの間に、排他条件を設定する（ステップＳ４０７）。これにより、図２８に示すようなパラメータデータとなる。 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. 28 is obtained.

次に、ＣＰＵ３０は、全ての子ノードを対象子ノードとしたかどうかを判断する（ステップＳ４０８）。処理をしていない子ノードがあれば、次の子ノードを対象子ノードとして、ステップＳ４０２以下を実行する。ここでは、全ての子ノードについての処理を行ったので、ステップＳ４１０に進む。 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.

ステップＳ４１０においては、ＣＰＵ３０は、第３階層以下の全てのノードを対象ノードとしたかどうかを判断する。対象となっていない第３階層以下のノードがあれば、次のノードを対象ノードとする（ステップＳ４１１）。ここでは、第３階層以下のノードは存在しないので、持ち上げによる平坦化処理を終了する。 In step S410, CPU 30 determines whether all nodes in the third hierarchy and below are set as 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.

以上のようにして、図２８に示すような平坦化されたパラメータデータを得ることができる。これをデータ形式にて表すと、図２９に示すようになる。 As described above, the flattened parameter data as shown in FIG. 28 can be obtained. This is represented in a data format as shown in FIG.

4.5平坦化パラメータデータに基づくテストデータの生成
次に、ＣＰＵ３０は、このようにして生成したパラメータデータに基づいて、テストデータの生成処理を行う（図１３、ステップＳ５）。この実施形態では、オールペア法に基づいてテストデータの生成を行う。 4.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. 13, step S5). In this embodiment, test data is generated based on the all-pair method.

ここでは、平坦化されたパラメータデータは、ＡＮＤ関係、ＸＯＲ関係からなる３階層のデータとして標準化されている。したがって、オールペア法によるテストデータ生成処理が容易である。また、オールペア法などに基づくテストデータ生成プログラム（たとえば、マイクロソフト社のＰＩＣＴ）などを用いることができる。 Here, the flattened parameter data is standardized as three-layer data including 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.

２−３．その他の実施形態
(1)上記実施形態においては、テストデータの生成までを行っている。しかし、ステップＳ２〜Ｓ４の処理によって平坦化されたパラメータデータを出力するようにしてもよい。この場合、ユーザは、出力されたパラメータデータを、ＰＩＣＴなどのツールにこれを入力し、テストデータを得ることができる。 2-3. 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)上記実施形態においては、スタンドアローンのコンピュータにてテストデータを生成する場合を説明した。しかし、上記の各処理をインターネットなどに接続されたサーバ装置にて行うようにしてもよい。この場合のサーバ装置におけるサーバプログラムの処理フローチャートを、図１３に示す。 (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. FIG. 13 shows a processing flowchart of the server program in the server device in this case.

まず、サーバ装置のＣＰＵは、インターネットを介して端末装置からパラメータデータを受信する（ステップＳ５０）。続いて、ＡＮＤ−ＡＮＤ階層の平坦化（ステップＳ２）、ＸＯＲ−ＸＯＲ階層の平坦化（ステップＳ３）、持ち上げによる平坦化（ステップＳ４）、テストデータの生成（ステップＳ５）を実行する。これらの処理は、図１３と同様である。続いて、生成されたテストデータを、端末装置に送信する（ステップＳ５１）。 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.

また、平坦化されたパラメータデータを端末装置に送信するようにしてもよい。この場合、ユーザは、端末装置側のＰＩＣＴなどのツールにこれを入力し、テストデータを得ることができる。 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)上記実施形態では、ＡＮＤ−ＡＮＤ階層平坦化、ＸＯＲ−ＸＯＲ階層平坦化の順に処理を行っている。しかし、ＡＮＤ−ＡＮＤ階層平坦化より先に、ＸＯＲ−ＸＯＲ階層平坦化を実行するようにしてもよい。 (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)上記実施形態では、ＡＮＤ−ＡＮＤ階層平坦化、ＸＯＲ−ＸＯＲ階層平坦化持ち上げによる平坦化の全ての処理を行っている。しかし、ＡＮＤ−ＡＮＤ階層平坦化だけ、ＸＯＲ−ＸＯＲ階層平坦化だけ、持ち上げによる平坦化だけを実行するようにしてもよい。また、これらのうちの２つだけを実行するようにしてもよい。 (4) In the above-described embodiment, all processes of flattening by AND-AND layer flattening and XOR-XOR layer 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

A test data display device for displaying a user interface for referring to test data,
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. Means for displaying, as a logical structure in the first display area, 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;
Means for displaying test data corresponding to the logical structure of the first display area in a second display area on the same screen on which the first display area is displayed;
A test data display device characterized by comprising:

To display a user interface for viewing test data,
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. Means for displaying, as a logical structure in the first display area, 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;
Means for displaying test data corresponding to the logical structure of the first display area in a second display area on the same screen on which the first display area is displayed;
Test data display program characterized by functioning as

In the program of Claim 2,
A program characterized by causing a test case in the second display area to be recalculated based on a logical structure change operation in the first display area .

In the program according to claim 2 or 3,
A program that expands or folds a node in a first display area based on an input operation in the first display area .

In the program in any one of Claims 2-4,
A program characterized by displaying information of each node when the cursor is moved to the node .

In the program in any one of Claims 2-5,
A program characterized in that all values of a test case are displayed when the cursor is moved to the test case .

In the program in any one of Claims 2-6,
In the second display area, a parameter value is displayed in a column item, and a mark indicating presence / absence of each value selection is indicated in a cell .

In the program in any one of Claims 2-6,
In the second display area, a parameter value is displayed in a cell .

In the program in any one of Claims 2-7,
A program characterized in that an abnormal value is included in the value of a parameter constituting each test data .