JPH04125476A - テストケース生成装置及びその方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

［０００１］

【産業上の利用分野】

本発明は、電子デバイス及びソフトウェアプログラムの
テスト方法に関し、特に、その種のテストを実行するた
めの最適なテストの組を生成する方法に関する［０００
２］

【従来の技術】

電子デバイス、ソフトウェアプログラム等の製品の設計
を、それらが販売に供される前に企図された通りの機能
を満足に実行することを確認するためにテストすること
は常に必要である。簡潔に述べれば、新たな設計のテス
トを行なうことば、独立したパラメータの組よりなる実
験手続きをその各々のレベルすなわち値を一回の実、験
毎に変えて実行し、その結果を記録することである。そ
ののち、それらの結果は、そのテストされた設計の有効
性を確認するために解析される。過去においては、特定
の製品を適切にテストするために要求されるテストファ
クタ及びレベルは、設計者によりその特定の設計及びテ
ストの結果得られる製品の応答に関する知識のみに基づ
いて導出されていた。しかしながら、電子デバイス及び
ソフトウェアプログラムがより複雑になるにつれ、この
種のテストファクタ及び各々のファクタがとるべき値さ
らにそれらのどの組合せを用いるべきかを導出する仕事
が非常に困難になりつつある。そのため、製品のテスト
段階が今では全体の開発に係る手間の内のおよそ３０−
４０％を占めており、それゆえ、そのための費用がその
種のデバイス及びソフトウェアの価格における大きな比
率を占めつつある。 ［０００３］ この問題と取り組むために、設計者は今ではテストパタ
ーン（ケース）の生成を簡潔にするのを補助する、いく
つかの相異なった方法を用いつつある。その種の方法の
一つにおいては、一般に直交行列と呼称されるものを用
いている。直交行列は、ラテン方陣としても知られてい
るものであるが、オイラー（Ｅｕｌｅｒ）の時代から用
いられてきており、最近では、欠陥率例えば百方コード
性に２欠陥というようなソフトウェアに対するテストケ
ースの生成に効果的であることが証明されている。 ［０００４］ 直交行列を用いるために、設計者は例えばソフトウェア
コマンドをコマンドに対するファクタ（パラメータ）の
数及び各々のファクタに関するレベルの数を規定する２
項組（２−タプル）にマツピングする。そののち、設計
者は直交行列のライブラリを自ら検索して前記２−タプ
ルと一致する最適直交行列を捜す。 ［０００５］

【発明が解決しようとする課題１ しかしながら、この方法には、設計者がどの直交行列が
前記２−タプルを最適にカバーするかを認識できないこ
とが多々あるという問題点が含まれている。結果として
、設計者は、所童するテストケースの生成に最適な行列
ではなく、効率のよくない行列を選択してしまうことに
なる。 ［０００６］ 【課題を解決するための手段】 従来技術に対する前進が、本発明に係るテスト生成方法
によってなされる。当該テスト生成方法は、当該方法を
用いるユーザによって入力されたテストパラメータ（フ
ァクタ）及びその対応する値（レベル）に基づいて、対
応するテストケースを生成するのに最適な最小直交行列
を選択する。そののち、当該方法は、対応するテストケ
ースの組を生成し、例えばコンピュータのモニタ等の出
力デバイスに出力する。このように、ユーザは、テスト
ファクタ及びそれぞれに対応するレベルを入力するだけ
でよい。− ［０００７］ 具体的には、本発明の原理にしたがって、直交行列の選
択が、直交行列の各々を対応するキュムラティブレベル
ベクトルによって特徴付けを行ない力りユーザの入力を
対応するキュムラティブレベル入力ベクトルに形成する
ことによってなされる。そののち、テストケースを生成
するのに最適の最小直交行列カミ入力ベクトルと選択さ
れる行列を特徴付けるキュムラティブベクトルとの間の
あらがじめ定め、られた関係に基づいて選択される。本
発明のある具体例においては、当該関係は、例えば、入
力ベクトルの値が選択された行列に関するキュムラティ
ブベクトルの対応する値よりも決して大きくないという
ものである。 ［０００８］

【実施例】

複数個の標準直交行列から一つを選択するには、ユーザ
は少なくとも４（ａ）テストさるべきファクタ（パラメ
ータ）の数及び（ｂ）これらのファクタの各々に対応す
るレベルの数をまず規定しなければならない。（以下、
本明細書においては、　パラメーダ′という用語と′”
ファクタ″という用語は相互に交換可能であるように用
いられ、かつ、　レベル″という用語とパ値″という用
語も相互に交換可能であるように用いられる。）その後
、ユーザは、選択された制御ファクタの全てを調べるた
めに生成さるべき最少数の実験を規定するための自由度
の総数を決定する。あるファクタに係る自由度の数は、
当該ファクタに対して選択されたレベルの数から１を減
じたものに等しい。加えて、−自由度は、テストケース
を定式化するために用いられる制御ファクタの数に拘ら
ずに、全体の平均に係るものである。 ［０００９］ 例えば、ある特定のプロジェクト（実、験）が、７つの
２値フアクタを必要とすると仮定する。この実験に係る
自由度の総数は８である一全体の平均に対して１２値フ
アクタに対して７（すなわち、７ｘ（２−１））である
。 ［００１０］ 図１には、複数個の相異なった直交行列を規定する図表
が示されている。具体的には、識別さ−れな行列の各々
における列及び行の総数及び対応する値が行にわたって
分配されている様子を識別している。例えば、直交行列
Ｌ４は、４つの列と３つの行を有し、その各々の行が２
つのレベルを有している。さらには、Ｌ１６ａ２という
行列は、１６の列と１３の行を有し、その内の１２の行
が２つのレベル、かつ、１つの行が４つのレベル、を有
している。 ［００１１］ 特定の直交行列がテストケースの組の規定に係る実行可
能な選択であるためには、当該行列の列の数が少なくと
も当該特定の実験に対して計算された自由度の数に等し
くなければならない。よって、８つの自由度を有する前
掲のケースにおいては、Ｌ８で示された行列が最も適切
な行列である。なぜならば、当該行列は８列及び７行を
有し、各行が２つのレベルを有するからである。 ［００１２］ 次の具体例として、図２に示されているように、１つの
２レベルフアクタ、３つの３レベルフアクタ及び１つの
５レベルフアクタを有する実、験を考える。図２におい
ては、　ＬＥＶＥＬＳ“°とラベルされている行に示さ
れた文字は、対応するファクタによって仮定されている
対応する値を表わしている。例えば、ファクタＦ２は、
ｄ及びＤによって表わされている２つの値の内のひとつ
を取る。この実、験においては、自由度の数は１２に等
しい（（２−１）＋３　（３−１）　＋（５−１）＋１
）。この実、験が１２の自由度を有しているので、少な
くとも１２の列を有する直交行列がテストケースの最適
な組を規定するための最も適切な行列で有り得る。図１
に示されたライブラリにおいては、唯１つの行列、すな
わち行列Ｌ１２、が１２の列を有している。しかしなが
ら、行列Ｌ１２は１１の２レベルフアクタを有する実験
に対してはよい選択であるカミ図２の実験に対してはよ
い選択ではない。なぜならば、行列Ｌ１２は、３レベル
フアクタ及び５レベルフアクタを有するテストケースを
規定するために用いられ得ないがらである。従って、設
計者は、より大きな行列を用いることを考慮しなければ
ならない。 ［００１３］ しかしながら、図１に示されたライブラリを検索するこ
とにより、その中で規定されたどの行列が１つの２レベ
ルフアクタ、３つの３レベルフアクタ及び１つの５レベ
ルフアクタを有する実、験に対する最良の選択であるか
は、直ちには明らかではない。ここに問題、すなわち、
設計者は、どの直交行列を所定の実験に対するテストケ
ースの最適の組を生成するために選択するべきか、とい
う問題の核心が存在している。我々は、通常、行列の選
択は簡単な仕事ではなく、設計者が直交行列に対して精
通していることを要求する、ということを見いだした。 さらに、これらのプロセスの自動化の方法を研究した。 この自動化においては、設計者は、ファクタの数及びそ
れぞれの対応するレベルをコンピュータのキーボード等
を介して自動化装置に入力するだけでよい。自動化装置
は、そののち、最適な直交行列を選択し、選択された直
交行列を用いてテストケースを生成する。 ［００１４］ 我々は、行列の選択を行なうアルゴリズムの設計が複雑
となりかつ失敗し易いことを見いだした。 ［００１５］ しかしながら、本発明の原理に従って、直交行列選択問
題は、図１にリストされた行列に対して規定されたレベ
ルの値を所謂キュムラティブレベルベクトル（ＣＬＶ）
に変換することによって、非常に簡単化される。具体的
に述べれば、本発明においては、与えられた行列に対し
て規定されたレベルの値を行列ベクトルとして扱う。そ
ののち、当該行列ベクトルから対応するＣＬＶが生成さ
れる。すなわち、当該ＣＬＶの第一の値は当該行列ベク
トルの第一の値である。当該ＣＬ■の第一の値は、その
後、当該行列ベクトルの第二の値に加算されて当該ＣＬ
ｖの第二の値が生成される。その後、当該ＣＬＶの第二
の値が当該行列ベクトルの第三の値に加算されて当該Ｃ
ＬＶの第三の値が生成される。当該ＣＬＶの第三の値は
、その後、当該行列ベクトルの第四の値に加算されて当
該ＣＬＶの第四の値が生成される、等等。すなわち、Ｃ
ＬＶの最新の値が行列ベクトルの月の値と加算されてＣ
ＬＶの次の値が生成される。 ［００１６］ 前述のプロセスが図３に描かれており、直交行列Ｌ１８
ａ２を表現する行列ベクトル０６００１が対応するＣＬ
Ｖ７７１１１に変換される様子が示されている。ＣＬＶ
の重要な性質の一つは、それが直ちに、対応する直交行
列によってサポートされるファクタの数にわたって２か
ら６の値を取る種々のファクタレベルが分配される様子
を識別するということである。例えば、行列Ｌ１８ａ２
に対するＣＬＶ７７１１１は、当該行列によってサポー
トされる７つのファクタが、例えば、７つの２レベルフ
アクタ、あるいは７つの３レベルフアクタ、あるいは１
つの４レベルフアクタ、１つの５レベルフアクタ及び１
つの６レベルフアクタを有する実、験において用いられ
ることを示している。 ［００１７］ 加えて、本発明に従って、特定の実験に対して規定され
る種々のファクタレベルが最適行列検索をさらに簡単化
するためにキュムラティブレベルベクトルに変換される
。ある直交行列に対するＣＬＶとある実験に係る対応す
るファクタ（入力ベクトル）のレベルを規定するＣＬＶ
とを区別するために、後者をＣＬＶ−Ｅと呼称する。具
体的には、ＣＬＶ−Ｅは、入力ベクトルから、ＣＬＶが
対応する直交行列に対して生成されたのと同一の方法で
生成される。例えば、図４は、図２に示された実、験に
対する入力ベクトルを別な形式で表わしたものである。 前述されているように、この実験に対する入力ベクトル
は、１つの２レベルフアクタ３つの３レベルフアクタ及
び１つの５レベルフアクタを規定する（１３０１０）。 図４に示されているように、結果として得られるＣＬＶ
−Ｅは５４１１０であり、これは既に議論されたように
入力ベクトル１３０１０に前記キュムラティブレベル手
続きを適用することによって得られる。 ［００１８］ ＣＬＶ−Ｅと最適直交行列との一致をさらに促進するた
めに、図１にリストされた直交行列に対して示された行
列ベクトルがそれぞれに対応するＣＬＶベクトルに置換
されて図５に示されている。図５より直ちに明らかなよ
うに、直交行列Ｌ１８ａ２は、図２の実験に対するテス
トケースを規定するための最適な選択である。この理由
は、当該実験に対して導かれたＣＬＶ−Ｅが行列Ｌ１８
ａ２に対して導かれたＣＬＶによって最適にカバーされ
るからである。すなわち、当該ＣＬＶ−Ｅの各々の数字
は、ＣＬＶの対応する数字よりも大きくない。よって、
最適直交行列検索は、行列ベクトルを対応するＣＬＶベ
クトルに変換し、入力ベクトルを対応するＣＬＶ−Ｅベ
クトルに変換する“ことによって大幅に簡略化される［
００１９］ 以上のことから直ちに理解されるように、最適直交行列
検索は容易に自動化されて、ユーザ（回路もしくはソフ
トウェア設計者）がしなければならないことが入力ベク
トルを入力するだけになる。当該自動化手段−具体的に
はコンピューターは、そののち、図５に示されたライブ
ラリ等のストアされている直交行列ライブラリを検索し
、当該入力ベクトルに基づいて最適直交行列を選択し、
テストケース行列を出力する。本発明の利点は、設計者
がテストケースの最適の組を生成するために直交行列に
関する知識を予め有していることを必要としない点であ
る［００２０］ 図６には、直交行列の選択を自動化し、選択された行列
に基づいて対応するテストケースを生成するように配置
されたコンピュータ１０が示されている。当該コンピュ
ータ１０は、例えば、ヒユーレットパラカード（Ｈｅｗ
ｌｅｔ−Ｐａｃｋａｒｄ）社製のＨＰ９０００／８６０
である。本発明に係る配置においては、ＨＰ　９０００
／８６０は、例えば、公知のＵＮＩＸ（Ｒ）オペレーテ
ィングシステム等の特定のオペレーティングシステムの
制御下で機能する。あるいは、コンピュータ１０は、エ
イ・ティー・アンド・ティー（ＡＴ＆Ｔ）社製のＰＣ６
３００ｐｌｕｓ等の所謂パーソナルコンピュータでもよ
い。具体的には、特定の実験に対するテストケースの組
を生成するために、ユーザは、本発明をコンピュータ１
０上で実現するテストケース生成ツールを起動する。ユ
ーザは、このことを、コンピュータ１０がデイスプレィ
２０上に示したプロンプトに応じて対応するコマンド、
例えば○ＡＴＳ　（すなわち、直交行列テストシステム
−ｏｒ　ｔｈｏｇｏｎａｌ　　ａｒｒａｙ　　ｔｅｓｔ
　　ｓｙｓｔｅｍ　−）、をキーボード１５を介して入
力することにより行なう。そののち、ユーザは、図７に
示されているように、ファクタ及び対応するレベル、さ
らに関連するパラメータのアイデンティティを入力する
。

【００２月 図７は、ユーザが図２に示された実験に関連するデータ
を入力する様子を示している。具体的に述べれば、ユー
ザは、　ＦＡＣＴＯＲ”　という語を入力し、次のプロ
ンプトに対してＴＡＢ　（図７においては直線で表わさ
れている）及び°′ＮＡＭＥ”　という語、さらにファ
クタの名前−ここではＦｌ−を入力する。その次のプロ
ンプト（〉）に対しては、ユーザはＴＡＢ、　　　ｏｒ
ｄｅｒ　　という語及びそれに引き続いて関連するファ
クタすなわちＦｌのオーダーを規定する数を、関連する
テストケースのコマンドライン上に入力する。この具体
例では、ファクタＦ１は、１という値によって示されて
いるように、コマンドライン上で一番目に配置されてい
る。次のプロンプトでは、ユーザはＴＡＢに引き続いて
”ＬｅｖｅｌＳ　という語を入力する。そののち、ユー
ザは名前のつけられたファクタに係る各々のレベルの値
を入力する。前述されているように、ファクタＦ１は、
３つの３レベルフアクタの内の一つである。従って、ユ
ーザは当該ファクタに対してキーボード１５を介して値
Ｏ１１及び２によって識別される３つのレベルを入力す
る。ここで、これらのレベルの後には対応する値が入力
される。図７より明らかなように、ユーザはファクタＦ
１に対して値ａ、ｂ及びＣを入力する。その後、ユーザ
は、図７に示されているように、残っているファクタに
係るレベル及びパラメータを入力する。 ［００２２］ 本発明の一側面として、ユーザは入力するテストケース
データを特定のコマンドを関連させることが可能である
。このためには、ユーザは、　（ａ）′”　ｃｏｍｍａ
ｎｄ”　という語（ｂ）コマンドの型（例えば、・　ｃ
ｔｙｐｅ　　　　ｍａｉｎ）及び（Ｃ）コマンドの識別
（例えば、　ｃ　ｍ　ｄ””’ｘｙｚ）を入力すればよ
い。ここで、　　ｘｙｚ“′というコマンドは架空のも
のである。その後、ユーザは入力ファイルの終端を表わ
す”　ｃ　ｎ　ｔ　ｌ−Ｄ”を入力する。（ここで、図
に示された直線が、前述されているように、キーボード
からのｔａｂ入力を表わすことに留意されたい。） ［００２３］ 入力に応答して、本発明に係るテストケース生成ツール
（以下、　ツール゛′と呼称する）は入力ベクトルを形
成し、それをＣＬＶ−Ｅベクトルに変換する。後者のベ
クトルを用いて、ツールは図５に示されたライブラリを
、対応するテストケースを生成するために最適の直交行
列を選択するために検索する（当該ライブラリはコンピ
ュータ１０のメモリにストアされている）。（前述され
ているように、最適直交行列は、ＣＬＶ−Ｅの各々の数
の値が関連するＣＬＶの対応する数の値よりも大きくな
いような最小行列である。）従って、ツールは直交行列
Ｌ１８ａ２をテストケースを生成するのに最適な行列と
して選択する。 ［００２４］ 図８には、直交行列Ｌ１８ａ２が示されており、ツール
は当該行列をコンピュータ１０のメモリからアンロード
する。ここで、行列の最下段に示されている列Ｏは、行
列の一部ではなく、行に係る最大の値を示しており、後
に説明されるように、当該行列の対応する行に対する、
ユーザによって入力された名前を有するファクタの割当
てに関してツールを補助するために用いられることに留
意されたい。例えば、列０における６という値は、当該
行列の第１行に含まれる最高のレベルが６であることを
示している。列Ｏにおける残りの３という値は、行１か
ら７の各々に含まれる最高のレベルが３であることを示
している。 ［００２５］ 従って、ツールは列Ｏに与えられている情報をファクタ
を対応する行にすばやく割り当てるために用いる。この
ことを行なうために、ツールは具体的（こは行７から開
始して左側の行１の方へ進む。しかしながら、このよう
にして進行する前に、ツールはまずファクタＦ５を行１
に割り当てる。なぜなら、当該性は、ファクタＦ５にか
かる５つのレベルをカバーするために十分な数のレベル
を有する当該行列中の唯一の行であるからである。その
のち、ツールは、より低いレベル、すなわち各々３つの
レベルを有するファクタＦ１、Ｆ３及びＦ４をそれぞれ
行１２及び３に割り当てる。その後、ツールは次に低い
レベル、すなわち２つのレベルを有するファクタＦ２を
行４に割り当てる。そののち、ツールは行列Ｌ１８ａ２
の行２及び行４から７を用いて対応するテストケースを
生成する。ここで、行１が６つのレベルに対応している
のに対してファクタＦ５が５つのレベルしか有かないこ
とに留意されたい。このケースを扱うために、ツールは
、本発明の一側面に従って、ファクタＦ５に所謂ダミー
レベルを追加し、追加されたレベルに所定のパラメータ
を割り当てることによってファクタＦ５を６レベルに増
加する。当該具体例においては、ファクタにダミーレベ
ルが追加されるべき場合には、図９に示されているよう
に、対応するファクタに既に割り当てられているパラメ
ータの内の一つが当該レベルに割り当てられる。 ［００２６］ 図９は、ツールが図８の直交行列を用いて生成した１８
のテストケースが示されている。当該行列の行１におけ
る６というレベル（列１６から１８）の各々において、
ツールがこれらのレベルに対してダミーレベル、すなわ
ちファクタＦ５に係るＩＩ　ＷＩ＋　という値を追加し
ていることがわかる。さらに、ツールがファクタＦ２（
２レベルフアクタ）に対して割り当てられた行４におい
て、レベル３を表わす各々の列にダミーレベルを挿入し
たことも理解される。 ［００２７］ ツールがテストケースを生成する場合には、当該テスト
ケースがデイスプレィ２０上に表示される。この時点に
おいて、ユーザは特定のソフトウェアあるいは回路をテ
ストするために当該テストケースを関連する架空のコマ
ンド”ｘｙｚ”によってコンピュータ１０に実行させる
。あるいは、ユーザは当該テストケースを後の使用のた
めにファイルにストアするように指示する。（ここで、
図２の実験に係る入力ベクトルに対して導出された可能
なテストの組合せの総数が２７０であることに留意され
たい。しかしながら、この数は直交行列Ｌ１８ａ２を用
いて１８のテストケースに還元されている。）［００２
８］ 本発明の一側面として、ユーザが特定のファクタに対し
て二組以上のパラメータの組を規定しそのような組の各
々を実験における他のファクタに係る対応する値に依存
させることが可能である。例えば、図１０は、４つの値
からなる３つの組、すなわち９０１から９０３がファク
タＦ３に対して規定されている実験を示している。当該
実験においては、パラメータ９０１から９０３の３つの
組がファクタＦ３に対して規定された３つの値にそれぞ
れ依存していることが仮定されている。 ［００２９］ ユーザがキーボード１５を介してファクタ及びその対応
するレベルを入力すると、前述のツールが直交行列Ｌ２
５を対応するテストケースを生成するのに最適な行列と
して選択する。行列Ｌ２５の一部が図１１に示されてい
る。既に議論されているような方式で、ツールはファク
タＦ１からＦ４までを行列Ｌ２５のそれぞれ行６．５．
４及び３に割り当てる。そののち、ツールは対応するテ
ストケースを生成する。当該テストケースは図１２に示
されている。図１１及び１２よりわかるように、テスト
ケースＮｏ、１は第一のレベル値を要求する。従って、
ツールは関連するファクタの各々の第一のレベル値をそ
れぞれ対応する行に挿入する。このことを行なうに際し
、ツールは第一のレベル値、すなわち値”　ｏ”　　を
組９０１から選択する。なぜなら、組９０２はファクタ
Ｆ２の第一のレベル値″ｆ＋＋に依存するからである。 他方、実験Ｎｏ、２　（テストケースＮｏ、２）は、行
３から６までに対する第二のレベル値を規定する。従っ
て、ツールはテストケースＮｏ、２を生成するに際して
第二のレベル値、すなわち値′”　１″　　を組９０２
から選択する。なぜなら、組９０２はファクタＦ２の第
二のレベル値ｕ　ｇ　に依存するからである。さらに、
実験Ｎｏ、７に対して行３及び４がそれぞれ３つ及び５
つのレベル値を要求することも理解される。対応するテ
ストケースＮｏ。 ７においては、ツールはファクタＦ２に追加された第五
のレベル値に対してダミー値として°′ｈ”°を挿入し
、ファクタＦ３に対して組９０３の第四のレベル値″８
“を挿入する。なぜなら、組９０３はファクタＦ２の値
ＩＩ　ｈｌ＋に依存するからである。 ［００３０１ 本発明の実用性は、図１３に示されているように、ノー
ドネットワークに係る特定の可能性をテストするため、
すなわち、当該ノードの内の対応するものに係るステー
タスアラームの動作を遠隔地から制御するため、に用い
られるテストケースの生成を例示する具体例によって示
される。ノード１２０１から１２０７の各々は、対応す
る電話機能（図示せず）の動作をモニターして種々の結
果、すなわちアラームコンデイション、を中央にレポー
トする機能動作システムである。 ノード１２０１から１２０７は、例えばＡＴ＆Ｔ社製の
Ｄａｔａｋｉｔ仮想回路交換機等の装置を用いて所謂円
環トポロジーによって相互に接続されている。当該テス
トは、当該ネットワークが将来例えば９つのノード（１
２０８及び１２０９、図示せず）に増大した場合の可能
性を説明するために必要とされたものである。従って、
本具体例に係る実験は、各々２つのレベルを有し、一方
のレベルがノードにおけるアラームをオンにするために
用いられ他方のレベルがアラームをオフニするために用
いられる、９つのファクタＦ１からＦ９を有している。 ９つの２レベルフアクタに係る可能な全ての組合せは５
１２の相異なったテストケースよりなることに留意され
たい。 ［００３１３ しかしながら、テストケースの数は、本発明にしたがっ
てテストケースが生成された場合、すなわち図１４に示
されているように直交行列Ｌ１２を最適な選択肢として
選択した結果、僅か１２にまで減少する。特定のテスト
ケースに対する１″　という値は、特定のノード、例え
ばファクタ１によって表現されるノード１２０１、に関
するアラームがオン状態におかれていることを表わして
いる。 ２″　という値は、アラームがオフ状態におかれている
ことを表わしている。 ［００３２］ 図１５には、本発明をコンピュータ１０上で実現するプ
ログラムが論理演算を扱う流れ図の形で示されている。 当該プログラムは、起動されるとブロック１５０１に進
んでプログラム内の種々のパラメータ、ポインタ等を初
期化する。そののち、プログラムはブロック１５０２に
進んで直交行列のライブラリ（図１）がコンピュータ１
０のメモリ上にストアされているか否かをチエツクする
。ストアされている場合には、プログラムはブロック１
５０５へ進む。そうでない場合にはプログラムはブロッ
ク１５０３へ進む。ブロック１５０３においては、プロ
グラムはデイスプレィ上にエラーを出力してブロック１
５０４において終了する。 ［００３３］ ブロック１５０５においては、プログラムは直交行列（
０，Ａ、）のライブラリのコピーを所謂ＲＡＭメモリ等
の局所記憶装置（ローカルメモリ）にストアしブロック
１５０６へ進む。ブロック１５０６においては、プログ
ラムは、ブロック１５０５において得られたＯ、Ａ、ラ
イブラリのＣＬＶ版（すなわち、図５に示されたライブ
ラリ）を生成する。（あるいは、ブロック１５０５にお
いて後者のライブラリのコピーがメモリにストアされ、
ブロック１５０６が削除されることに留意されたい。）
加えて、ブロック１５０６においては、プログラムはユ
−ザから入力されたデータを読み込み、ユーザがエンド
オブファイル（ＥＯＦ）、例えばｃｎｔｌ−ｄ、を入力
するとブロック１５０７に進む。 ［００３４］ ブロック１５０７においては、プログラムはユーザの入
力をチエツクしてパラメータ間に依存性があるかないか
を調べる。依存性がある場合には、プログラムはテスト
ケース生成の準備の際にパラメータ間のリンクを生成す
る。そののち、プログラムはブロック１２０８に進んで
ユーザ入力から入力ベクトルを生成し、関連するＣＬＶ
−Ｅベクトルを形成する。その後、プログラムはブロッ
ク１５０６で生成したＣＬＶライブラリを検索し最適直
交行列を見いだす。ブロック１５０９においては、プロ
グラムは検索結果をチエツクし、最適直交行列が見いだ
されなかった場合にはブロック１５１０へ進む。そうで
ない場合には、ブロック１５１２へ進む。 ［００３５］ ブロック１５１０においては、プログラムはデイスプレ
ィ２０上に、最適行列が選択され得るためにユーザが入
力を修正する方法を提案するメツセージを出力する。例
えば、プログラムは、少なくとも１つのレベルが入力フ
ァクタから削除さるべきである、などと提案する。この
提案は、削除されたレベルが例えばユーザによって形成
された個別のテストケースとしてテストされ得ることに
基づいてなされる。そののち、プログラムはブロック１
５１１において終了する。 ［００３６］ ブロック１５１２においては、プログラムはＲＯＭメモ
リ等のメインメモリから選択された直交行列のコピーを
読み込み、それをＲＡＭメモリ等の一時メモリヘスドア
する。その後、プログラムはブロック１５１３へ進んで
、ユーザによって入力されたファクタを当該行列の個々
の行へ割り当てる。プログラムはこの作業を前述された
方法で行なう。そののち、プログラムはブロック１５１
４へ進む。ブロック１５１４においては、プログラムは
選択された０、Ａ、からレベルを表わす列を読み込み、
ブロック１５１５へ進む。ブロック１５１５においては
、プログラムは当該０．Ａ、の最後に到達したか否か、
すなわち対応するテストケース生成が完了したか、をチ
エツクする。完了した場合には、プログラムはブロツク
１５１７で終了する。そうでない場合には、プログラム
は１５１６へ進んでブロック１５０７で形成した依存性
リンクを用いて前述の方法で関連するテストケースを生
成する。その後、プログラムはテストケースをデイスプ
レィ２０に出力し、ブロック１５１４へ進んで選択され
た０、Ａ、のレベルを表わす次の列を用いて次のテスト
ケースを出力する。 ［００３７］ 以上の説明は、本発明の一実施例に関するもので、この
技術分野の当業者であれば、本発明の種々の変形例が考
え得るカミそれらはいずれも本発明の技術的範囲に包含
される。 尚、特許請求の範囲に記載した参照番号は発明の容易な
る理解のためで、その技術的範囲を制限するよう解釈さ
れるべきではない。 【発明の効果】 以上述べたごとく、本発明によれば、プログラムあるい
は回路等のテストを行なう場合のテストケースの最適な
組がわずかな入力作業を行なうだけで自動的に生成され
、テストケース生成に係る困難が解決される。

【図面の簡単な説明】

【図１】 本発明の具体例において用いられる公知の直交行列のラ
イブラリを示す図表。

【図２】 架空の実、験に関する種々のファクタ及びレベルを示す
図表。

【図３】 図１に示された行列のうち特定の一つを特徴付ける複数
のファクタ及びそれぞれに対応するレベルが、本発明の
原理に従って、キュムラティブレベルベクトルに変換さ
れる様子を示した図。

【図４】 図２に示されたファクタ及びレベル力瓢本発明の原理に
従って、キュムラティブレベル入力ベクトルに変換され
る様子を示した図。

【図５】 図１に示されたライブラリを別な形式で示した図表。

【図６】 本発明がインプリメントされ得るコンピュータ配置を示
す図。

【図７】 ユーザが図６に示された配置に特定の実、験に係るファ
クタ及びレベルを入力する様子を示した図。

【図８】 図１及び図５のライブラリにリストされている行列の内
の一つを示した図。

【図９】 図８の行列を用いて本発明の原理に従って生成されたテ
ストケースを示した図表。

【図１０１ 相異なったテストファクタのレベル間に依存性がある場
合におけるテストケース生成例を示す図。 【図１１】 相異なったテストファクタのレベル間に依存性がある場
合におけるテストケース生成例を示す図。

【図１２】 相異なったテストファクタのレベル間に依存性がある場
合におけるテストケース生成例全示す図。

【図１３】 本発明の実際の応用例を示す図。

【図１４】 本発明の実際の応用例を示す図。

【図１５】 図６のコンピュータ配置において本発明を実現するプロ
グラムを示した流れ図

【図１６】 図６のコンピュータ配置において本発明を実現するプロ
グラムを示した流れ図

【図１７】 図１５及び図１６が配置きるべき様子を示した図。

【符号の説明】

１０　コンピュータ １５　デイスプレィ ２０　キーボード

【書類基】

【図１】 図面

【図２】

【図３】

【図４１ 【図７】 〉 ＡＴＳ 〉 ＡＣＴＯＲ ＡＭＥＦｌ ＯＲＤＥＲ１ ＥＶＥＬＳ ＡＣＴＯＲ ＡＭＥＦ２ ＯＲＤＥＲ２ ＥＶＥＬＳ ＡＣＴＯＲ ＡＭＥＦ５ ＯＲＤＥＲ５ ＥＶＥＬＳ □０ □４ □Ｗ ＴＹＰＥ ＡＩＮ ＭＤ 　ＸＹＺ 〉 ＴＬＤ

Claims (9)

【特許請求の範囲】
1. 【請求項１】特定の装置の設計あるいは動作を評価する
   ためのテストケースを生成する装置において、 前記装置が直交行列のライブラリを有し、前記直交行列
   が前記ライブラリ中で対応するキュムラティブベクトル
   によって特徴付けられており、各々対応する個数のレベ
   ルを有する複数個のファクタの受信に応答して、前記フ
   ァクタ及びそれぞれの対応するレベルの関数として生成
   された一連の数によって特徴付けられるキュムラティブ
   レベル入力ベクトルを生成する手段；及び、前記一連の
   数の各々の値と前記選択された行列を特徴付けるキュム
   ラティブ入力ベクトルの対応する値との間の所定の関係
   に基づいて前記ライブラリから前記行列の内の一つを選
   択し、そののち前記選択された行列を用いて前記テスト
   ケースを生成する手段； を有することを特徴とするテストケース生成装置。
2. 【請求項２】前記所定の関係が、さらに、前記一連の数
   の各々の値が前記選択された行列に係るキュムラティブ
   レベルベクトルの前記対応する値より大きくないことに
   基づいていることを特徴とする請求項１に記載のテスト
   ケース生成装置。
3. 【請求項３】前記テストケースを生成する前記手段が、
   さらに、ユーザからの所定のソフトウェアコマンドの受
   信に応じて前記コマンドを前記テストケースの各々と関
   連付けかつ出力デバイスに生成されたテストケースを出
   力する手段を有することを特徴とする請求項１に記載の
   テストケース生成装置。
4. 【請求項４】前記入力ベクトル生成手段及び前記選択生
   成手段が、さらに、コンピュータにインプリメントされ
   たソフトウェアプログラムの対応するセグメントである
   ことを特徴とする請求項１に記載のテストケース生成装
   置。
5. 【請求項５】前記入力ベクトル生成装置が、さらに、同
   一個数のレベルを有する前記ファクタの内の個々のファ
   クタを対応するグループとして形成しかつ前記グループ
   の内の対応するものにおけるファクタの個数を表わす数
   を関連するレベルの順序に基づいて前記一連の数として
   順序づける手段を有することを特徴とする請求項１に記
   載のテストケース生成装置。
6. 【請求項６】前記直交行列の各々が各々対応するレベル
   の個数に関連する所定の個数のファクタによってさらに
   特徴付けられており、さらに、前記キュムラティブレベ
   ルベクトルの各々が前記行列の内の対応するものを特徴
   付ける数ファクタ及びその関連するレベル数の関数とし
   て導出されることを特徴とする請求項１に記載のテスト
   ケース生成装置。
7. 【請求項７】前記テストケースを生成する前記手段が、
   さらに、前記ユーザから受信したファクタの内の少なく
   とも一つに対して、当該ファクタに係るレベルの個数が
   前記選択された行列によって提供される最も近いレベル
   数未満である場合に、少なくとも一つのダミーレベルを
   追加する手段を有することを特徴とする請求項６に記載
   のテストケース生成装置。
8. 【請求項８】前記ユーザから受信したファクタの内の少
   なくとも一つが、各々前記ユーザから受信したファクタ
   の内の他のものに関連する対応するレベルに依存する前
   記レベルの相異なった組の所定の個数に関連しており、
   前記テストケースを生成する前記手段が前記テストケー
   スが生成されつつある間に前記依存性を解説する手段を
   有することを特徴とする請求項１に記載のテストケース
   生成装置。
9. 【請求項９】装置の設計あるいは動作を評価するための
   テストケースを生成する方法において、 前記評価が各々対応する個数のレベルを有する所定の個
   数のファクタによって特徴付けられており、 各々、前記レベルの内の対応するものに関連する所定の
   個数のファクタを表現する各々特定の一連の値によって
   特徴付けられ、ライブラリ中で各々対応する行列を特徴
   付ける一連の値より導出された対応するキュムラティブ
   レベルベクトルによって表現されている直交行列のライ
   ブラリを管理するステップ；前記レベルの対応する個別
   のものに関連する前記評価ファクタの個数を表わす別の
   一連の値を形成しかつ前記別の一連の値をキュムラティ
   ブレベル入力ベクトルに形成するステップ； 前記ライブラリから前記入力ベクトルの各々の値が前記
   行列を特徴付けるキュムラティブレベルベクトルの対応
   する値よりも大きくないような前記行列の内の最小のも
   のを選択するステップ；及び、 前記テストケースを、前記選択された行列及び前記評価
   ファクタ及びその対応するレベル、の関数として生成す
   るステップ；よりなることを特徴とするテストケース生
   成方法。