特開 2024-147158 テストケース生成装置、及びテストケース生成方法

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024147158

(43)【公開日】2024-10-16

(54)【発明の名称】テストケース生成装置、及びテストケース生成方法

(51)【国際特許分類】

   G06F 11/36 20060101AFI20241008BHJP

【ＦＩ】

G06F11/36 184

【審査請求】未請求

【請求項の数】12

【出願形態】ＯＬ

(21)【出願番号】P 2023059995

(22)【出願日】2023-04-03

(71)【出願人】

【識別番号】000005108

【氏名又は名称】株式会社日立製作所

(74)【代理人】

【識別番号】110000176

【氏名又は名称】弁理士法人一色国際特許事務所

(72)【発明者】

【氏名】鈴木 康文

(72)【発明者】

【氏名】川上 真澄

【テーマコード（参考）】

5B042

【Ｆターム（参考）】

5B042HH11

5B042HH17

5B042HH49

(57)【要約】      （修正有）

【課題】配列型の因子を含むソフトウェアに対しても、仕様を広くカバーするテストケースを自動的に生成するテストケース生成装置及びテストケース生成方法を提供する。
【解決手段】テストケース生成装置は、ソフトウェアテストの因子及びその水準を生成する第１生成部（因子水準生成部３００）と、生成した因子及びその水準から因子を選択し、選択した各因子が持つ各水準の組み合わせについてのテストケースを生成する第２生成部（Ｐａｉｒｗｉｓｅ生成部５００）と、を備える。第１生成部は、所定の要素数を有する配列型の因子について、各要素の因子及びその水準を生成することで、それぞれの配列要素数に応じた因子水準情報４００を生成する。第２生成部は、因子水準情報４００に基づき、Ｐａｉｒｗｉｓｅ法により、生成パラメータ設定情報１２に設定された網羅度ｎのｎ因子網羅のテストケース８００を生成する。
【選択図】図１

【特許請求の範囲】

【請求項1】

プロセッサ及びメモリを有し、
ソフトウェアテストの因子及びその水準を生成する第１生成部と、
前記生成された因子及びその水準から因子を選択し、選択した各因子が持つ各水準の組み合わせについてのテストケースを生成する第２生成部と、
を備え、
前記第１生成部は、所定の要素数を有する配列型の因子について、各要素の因子及びその水準を生成する、
テストケース生成装置。

【請求項2】

前記第１生成部は、前記配列型の因子以外の因子及びその水準を表す配列外因子水準情報、及び、前記配列型の因子の要素の因子及びその水準を表す配列内因子水準情報を生成し、
前記第２生成部は、前記配列外因子水準情報に基づく外部テストケース、及び、前記配列内因子水準情報に基づく内部テストケースを生成し、前記外部テストケースに前記内部テストケースを合成したテストケースを生成する、
請求項１に記載のテストケース生成装置。

【請求項3】

前記第１生成部は、前記配列型の因子を、水準として配列の要素数の値を持つ因子に置き換えた前記配列外因子水準情報を生成し、
前記第２生成部は、前記外部テストケースにおける配列の要素数を表す値を、その要素数の前記内部テストケースを要素に持つ配列に置き換えることにより、前記外部テストケースに前記内部テストケースを合成する、
請求項２に記載のテストケース生成装置。

【請求項4】

前記第２生成部は、配列の要素数を表す値を持つ全ての前記外部テストケースに対して、前記内部テストケースを合成する、
請求項３に記載のテストケース生成装置。

【請求項5】

前記第２生成部は、全ての前記内部テストケースを前記合成に使用して、前記テストケースを生成する、
請求項２に記載のテストケース生成装置。

【請求項6】

前記第２生成部は、合成に使用されていない前記内部テストケースを、合成に使用された前記内部テストケースよりも優先して、前記外部テストケースに合成する、
請求項２に記載のテストケース生成装置。

【請求項7】

情報処理装置が、
ソフトウェアテストの因子及びその水準を生成する第１生成処理と、
前記生成された因子及びその水準から因子を選択し、選択した各因子が持つ各水準の組み合わせについてのテストケースを生成する第２生成処理とを実行し、
前記第１生成処理において、所定の要素数を有する配列型の因子について、各要素の因子及びその水準を生成する、
テストケース生成方法。

【請求項8】

前記情報処理装置が、
前記第１生成処理において、前記配列型の因子以外の因子及びその水準を表す配列外因子水準情報、及び、前記配列型の因子の要素の因子及びその水準を表す配列内因子水準情報を生成し、
前記第２生成処理において、前記配列外因子水準情報に基づく外部テストケース、及び、前記配列内因子水準情報に基づく内部テストケースを生成し、前記外部テストケースに前記内部テストケースを合成したテストケースを生成する、
請求項７に記載のテストケース生成方法。

【請求項9】

前記情報処理装置が、
前記第１生成処理において、前記配列型の因子を、水準として配列の要素数の値を持つ因子及びその水準に置き換えた前記配列外因子水準情報を生成し、
前記第２生成処理において、前記外部テストケースにおける配列の要素数を表す値を、その要素数の前記内部テストケースを要素に持つ配列に置き換えることにより、前記外部テストケースに前記内部テストケースを合成する、
請求項８に記載のテストケース生成方法。

【請求項10】

前記情報処理装置が、
前記第２生成処理において、配列の要素数を表す値を持つ全ての前記外部テストケースに対して、前記内部テストケースを合成する、
請求項９に記載のテストケース生成方法。

【請求項11】

前記情報処理装置が、
前記第２生成処理において、全ての前記内部テストケースを前記合成に使用して、前記テストケースを生成する、
請求項８記載のテストケース生成方法。

【請求項12】

前記情報処理装置が、
前記第２生成処理において、合成に使用されていない前記内部テストケースを、合成に使用された前記内部テストケースよりも優先して、前記外部テストケースに合成する、
請求項８に記載のテストケース生成方法。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、テストケース生成装置、及びテストケース生成方法に関する。

【背景技術】

【0002】

ソフトウェアの不具合を発見し、品質を向上させるためには、ソフトウェアに対してテストを実施することによりソフトウェアを検証する必要がある。ソフトウェアのテストケースの数が増大すると、テストを実施するためにかかる時間や必要な計算資源が増えるため、少ないケース数で不具合を効率的に発見するテストケースを準備することが望ましい。しかし、テストケースを構成する因子が複数ある場合に、それらの因子が取り得る水準値の組合せのすべてを網羅するようなテストケースを生成すると、テストケース数が指数関数的に増大するという課題がある。

【0003】

そのような課題を解決するために、不具合を効率的に発見するようなテストケースを生成する技術としてＰａｉｒｗｉｓｅ法（Ａｌｌ－Ｐａｉｒ法）が知られている。Ｐａｉｒｗｉｓｅ法によりテストケースを生成するための方法は、特許文献１に開示されている。

【0004】

Ｐａｉｒｗｉｓｅ法は、指定された網羅度ｎに対してｎ因子網羅のテストケースを生成する手法である。ｎ因子網羅とは、生成されるテストケース群により、検証対象の因子の任意のｎ因子の組合せに含まれるｎ因子の各々が持つ水準について、少なくとも１回テストが実行されることを意味する。

【0005】

Ｐａｉｒｗｉｓｅ法により生成されたテストケースを用いてテストを実施することにより、全ての因子の組合せを網羅するようなテストケースを生成する場合と比べてテストケースを削減することができ、かつ、複数の因子を組合せた場合にのみ発生するような不具合についても発見することが可能である。

【0006】

非特許文献１では、ＡＰＩ（Ａｐｐｌｉｃａｔｉｏｎ Ｐｒｏｇｒａｍｍｉｎｇ Ｉｎｔｅｒｆａｃｅ）の仕様記述言語の一つであるＯｐｅｎＡＰＩを用いて記述されたインタフェース仕様からＰａｉｒｗｉｓｅ法（非特許文献１においてはＣｏｖｅｒｉｎｇ Ａｒｒａｙと記載されている）を用いて自動的にテストケースを生成する技術が開示されている。非特許文献１では、Ｐａｉｒｗｉｓｅ法を用いることによりインタフェース仕様に定義されたＷｅｂＡＰＩのパラメータの組合せを効率的に網羅したテストケースの生成することが開示されている。

【先行技術文献】

【特許文献】

【0007】

【特許文献1】特許第２８８２６８７号公報

【非特許文献】

【0008】

【非特許文献1】Ｈｕａｙａｏ Ｗｕ，Ｌｉｘｉｎ Ｘｕ，Ｃｈａｎｇｈａｉ Ｎｉｅ，“Ｃｏｍｂｉｎａｔｏｒｉａｌ ｔｅｓｔｉｎｇ ｏｆ ＲＥＳＴｆｕｌ ＡＰＩｓ”， Ｐｒｏｃｅｅｄｉｎｇｓ ｏｆ ４４ｔｈ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ， Ｍａｙ ２０２２， ｐｐ．４２６－４３７．

【発明の概要】

【発明が解決しようとする課題】

【0009】

特許文献１に開示されているＰａｉｒｗｉｓｅ法による生成手法では、各因子が持つデータ型が数値型、文字列型、又は列挙型などのプリミティブ型であることを前提としており、任意の要素数を持つ配列型の因子を扱うことができないという課題がある。

【0010】

非特許文献１に開示されている技術では、ＯｐｅｎＡＰＩで記述されたインタフェース仕様からＰａｉｒｗｉｓｅ法で用いる因子を抽出している。ＯｐｅｎＡＰＩでは、配列型を指定することが可能である。非特許文献１に開示されている方法では、配列型として指定された因子についても、プリミティブ型として指定された場合と同様の方法にてＰａｉｒｗｉｓｅ法を適用し、要素数が１の配列としてテストケースを生成している。そのため、非特許文献１に開示される方法でテストケースを生成した場合には、配列が複数の要素を持つときにのみ発生するような不具合を発見することができないという課題がある。

【0011】

本発明は、このような事情に鑑みてなされたものであり、その目的は、配列型の因子を含むソフトウェアに対しても、仕様を広くカバーするテストケースを自動的に生成することが可能なテストケース生成装置、及びテストケース生成方法を提供することを目的とする。

【課題を解決するための手段】

【0012】

上記課題を解決するための本発明の一つは、プロセッサ及びメモリを有し、ソフトウェアテストの因子及びその水準を生成する第１生成部と、前記生成された因子及びその水準から因子を選択し、選択した各因子が持つ各水準の組み合わせについてのテストケースを生成する第２生成部と、を備え、前記第１生成部は、所定の要素数を有する配列型の因子について、各要素の因子及びその水準を生成する、テストケース生成装置である。

【発明の効果】

【0013】

本発明によれば、可変個の要素を持つ因子を含むソフトウェアに対しても、仕様を広くカバーするテストケースを自動的に生成することができる。
上記した以外の構成及び効果等は、以下の実施形態の説明により明らかにされる。

【図面の簡単な説明】

【0014】

【図1】本発明の第１の実施形態におけるテストケース生成装置の構成例を示す図である。

【図2】ソフトウェア仕様情報の一例を示す図である。

【図3】生成パラメータ設定情報の一例を示す図である。

【図4】本発明の第１の実施形態におけるテストケース生成装置で行われる処理の流れを説明する図である。

【図5】本発明の第１の実施形態における因子水準情報を生成する方法を説明する図である。

【図6】本発明の第１の実施形態におけるテストケース生成装置が生成するテストケースの一例を示す図である。

【図7】本発明の第２の実施形態におけるテストケース生成装置の構成例を示す図である。

【図8】本発明の第２の実施形態におけるテストケース生成装置で行われる処理の流れを説明する図である。

【図9】本発明の第２の実施形態における配列外因子水準情報及び配列内因子水準情報を生成する方法を説明する図である。

【図10】配列外因子水準生成部が実行する配列外因子水準生成処理の一例を説明するフローチャートである。

【図11】配列内因子水準生成部が実行する配列内因子水準生成処理の一例を説明するフローチャートである。

【図12】テストケース合成部が実行するテストケース合成処理の一例を説明するフローチャートである。

【図13】外部テストケースに内部テストケースを合成する方法を説明する図である。

【図14】第１の実施形態に開示する第１の方法と、第２の実施形態に開示する第２の方法のそれぞれを用いて生成したテストケース数を比較するグラフである。

【発明を実施するための形態】

【0015】

以下、図面を参照して、本発明の実施形態について詳細に説明する。以下の記載および図面は、本発明を説明するための例示であって、説明の明確化のため、適宜、省略および簡略化がなされている。本発明は、他の種々の形態でも実施する事が可能である。特に限定しない限り、各構成要素は単数でも複数でも構わない。
図面において示す各構成要素の位置、大きさ、形状、範囲などは、発明の理解を容易にするため、実際の位置、大きさ、形状、範囲などを表していない場合がある。このため、本発明は、必ずしも、図面に開示された位置、大きさ、形状、範囲などに限定されない。
以下の説明では、「テーブル」、「リスト」、「キュー」等の表現にて各種情報を説明することがあるが、各種情報は、これら以外のデータ構造で表現されていてもよい。データ構造に依存しないことを示すために「ＸＸテーブル」、「ＸＸリスト」等を「ＸＸ情報」と呼ぶことがある。識別情報について説明する際に、「識別情報」、「識別子」、「名」、「ＩＤ」、「番号」等の表現を用いるが、これらについてはお互いに置換が可能である。
同一あるいは同様な機能を有する構成要素が複数ある場合には、同一の符号に異なる添字を付して説明する場合がある。ただし、これらの複数の構成要素を区別する必要がない場合には、添字を省略して説明する場合がある。
また、以下の説明では、プログラムを実行して行う処理を説明する場合があるが、プログラムは、プロセッサ（例えばＣＰＵ、ＧＰＵ）によって実行されることで、定められた処理を、適宜に記憶資源（例えばメモリ）および／またはインタフェースデバイス（例えば通信ポート）等を用いながら行うため、処理の主体がプロセッサとされてもよい。同様に、プログラムを実行して行う処理の主体が、プロセッサを有するコントローラ、装置、システム、計算機、ノードであってもよい。プログラムを実行して行う処理の主体は、演算部であれば良く、特定の処理を行う専用回路（例えばＦＰＧＡやＡＳＩＣ）を含んでいてもよい。
プログラムは、プログラムソースから計算機のような装置にインストールされてもよい。プログラムソースは、例えば、プログラム配布サーバまたは計算機が読み取り可能な記憶メディアであってもよい。プログラムソースがプログラム配布サーバの場合、プログラム配布サーバはプロセッサと配布対象のプログラムを記憶する記憶資源を含み、プログラム配布サーバのプロセッサが配布対象のプログラムを他の計算機に配布してもよい。また、以下の説明において、２以上のプログラムが１つのプログラムとして実現されてもよいし、１つのプログラムが２以上のプログラムとして実現されてもよい。

【0016】

［第１の実施形態］
まず、本発明の第１の実施形態におけるテストケース生成装置及びテストケース生成方法について説明する。

【0017】

図１は、本発明の第１の実施形態におけるテストケース生成装置１００の構成例を示す図である。
テストケース生成装置１００は、テストによる検証の対象のソフトウェア（以下、「対象ソフトウェア」とする。）のテスト環境に配置された情報処理装置である。テストケース生成装置１００は、対象ソフトウェアのテストに必要な効率的なテストケースを自動的に生成する。テストケース生成装置１００は、１又は複数のコンピュータにより構成され
る情報処理装置により実現される。テストケース生成装置１００は、自装置にユーザインタフェースを備えてもよいし、適宜なネットワークを介して接続するユーザ端末をユーザインタフェースとして利用してもよい。この場合、ユーザ端末は、ソフトウェアの開発者又はテスタなどのユーザが操作する端末装置である。このユーザ端末は、具体的には、パーソナルコンピュータ、スマートフォン、又はタブレット端末などである。

【0018】

図示するように、テストケース生成装置１００は、記憶装置２００、演算装置２５０、メモリ２６０、及び入出力装置２７０を備える。記憶装置２００、演算装置２５０、メモリ２６０、及び入出力装置２７０は、バスを介して相互に通信接続する。

【0019】

演算装置２５０は、記憶装置２００に保持されるプログラム２１０をメモリ２６０に読み出すなどして実行し装置自体の統括制御を行なうとともに各種判定、演算及び制御処理を行なうＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）である。
また、メモリ２６０は、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）、またはＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）などの揮発性記憶素子で構成される。

【0020】

また、入出力装置２７０は、ユーザからのキー入力や音声入力を受け付け、また、処理データの出力を行う装置である。例えば、入出力装置２７０は、キーボード、マウス、タッチパネル、マイクなどの入力装置と、液晶ディスプレイ（ＬＣＤ： Ｌｉｑｕｉｄ Ｃｒｙｓｔａｌ Ｄｉｓｐｌａｙ）或いは有機ＥＬ（Ｅｌｅｃｔｒｏ―Ｌｕｍｉｎｅｓｃｅｎｃｅ）ディスプレイ等の表示装置又はプリンタ等の印字出力装置とからなる。或いは、入出力装置２７０は、適宜なネットワークと接続してユーザ端末との通信処理を担うネットワークインタフェースカードを含んでいてもよい。

【0021】

また、記憶装置２００は、ＳＳＤ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ）やハードディスクドライブなど適宜な不揮発性記憶素子で構成される。記憶装置２００内には、本実施例のテストケース生成装置１００として必要な各機能を実現する為のプログラム２１０に加えて、テストケースの生成に関する中間データである因子水準情報４００、及び出力データであるテストケース８００が記憶されている。因子水準情報４００、及びテストケース８００の詳細については後述する。

【0022】

テストケース生成装置１００への入力には、対象ソフトウェアのソフトウェア仕様情報１１、及び生成パラメータ設定情報１２が含まれる。

【0023】

ソフトウェア仕様情報１１は、対象ソフトウェアのテストに用いる因子及び水準を生成するために必要な情報が含まれた仕様情報である。因子とは、ソフトウェアのテスト対象となるパラメータ及び要素の種類である。また、水準とは、その因子に入力が許される値又は値の代表値である。例えば、ソフトウェア仕様情報１１として、因子及び水準が直接記述された情報の他、ウェブサービスであればＯｐｅｎＡＰＩ仕様記述に基づく仕様記述を用いることができる。

【0024】

図２は、ソフトウェア仕様情報１１の一例を示す図である。図に例示するソフトウェア仕様情報１１には、ｖｅｈｉｃｌｅ＿ｄｅｌｉｖｅｒｉｅｓ型の構造体が定義されている。ｖｅｈｉｃｌｅ＿ｄｅｌｉｖｅｒｉｅｓ型は、ｖｅｈｉｃｌｅ、ｖｅｈｉｃｌｅ＿ｓｉｚｅ、及びｗｅａｔｈｅｒという、列挙型の要素（以下、構造体の要素（メンバ）を「プロパティ」と称す。）を持つ。ｖｅｈｉｃｌｅは、２種類（EV, Diesel）の水準値を持ち、ｖｅｈｉｃｌｅ＿ｓｉｚｅは、３種類（Small, Medium, Large）の水準値を持ち、ｗｅａｔｈｅｒは、３種類（Sunny, Clouded, Rainy）の水準値を持つ。さらに、ｖｅｈｉｃ
ｌｅ＿ｄｅｌｉｖｅｒｉｅｓ型は、ｄｅｌｉｖｅｒｉｅｓという配列型のプロパティを持つ。ｄｅｌｉｖｅｒｉｅｓプロパティはｄｅｌｉｖｅｒｙ型の配列をとる。ｄｅｌｉｖｅ
ｒｙ型は、ｔｉｍｅ、ｗｅｉｇｈｔという列挙型のプロパティを持つ。ｔｉｍｅは、４種類（AM, PM1, PM2, Night）の水準値を持ち、ｗｅｉｇｈｔは、６種類（5, 10, 15, 20, 25, 30）の水準値を持つ。

【0025】

生成パラメータ設定情報１２は、Ｐａｉｒｗｉｓｅ法によるテストケースの生成に関する各パラメータの設定値の情報である。生成パラメータ設定情報１２には、Ｐａｉｒｗｉｓｅ法における網羅度の設定値を含めることができる。また、ソフトウェア仕様情報１１に配列型の因子が含まれる場合には、生成パラメータ設定情報１２は、その配列の要素数の最小値および最大値に関する設定を含んでもよい。なお、生成パラメータ設定情報１２に設定される情報は、ソフトウェア仕様情報１１に含まれていてもよい。

【0026】

図３は、生成パラメータ設定情報１２の一例を示す図である。図に例示する生成パラメータ設定情報１２には、網羅度「２」、及び、配列要素数「０－３」（配列の要素数の最小値「０」及び最大値「３」）が設定されている。

【0027】

続いて、図１に示すように、プログラム２１０は、因子水準生成部３００（第１生成部）、及びＰａｉｒｗｉｓｅ生成部５００（第２生成部）のそれぞれを実現するプログラムを含む。

【0028】

因子水準生成部３００は、ソフトウェア仕様情報１１からソフトウェアテストに用いる因子水準情報４００を生成する。このとき、因子水準生成部３００は、所定の要素数を有する配列型の因子について、各要素の因子及び水準を生成する第１生成処理を実行する。ＯｐｅｎＡＰＩ仕様記述から因子と水準を生成するための手法については非特許文献１に開示されている手法を用いることができる。

【0029】

Ｐａｉｒｗｉｓｅ生成部５００は、因子水準生成部３００が生成した因子水準情報４００に基づき、生成された因子及びその水準から因子を選択し、選択した各因子が持つ各水準の組み合わせについてのテストケースを生成する。具体的には、Ｐａｉｒｗｉｓｅ生成部５００は、Ｐａｉｒｗｉｓｅ法により、網羅度ｎに対してｎ因子網羅のテストケース８００を生成する第２生成処理を実行する。ｎ因子網羅とは、生成されるテストケース群により、検証対象の因子の任意のｎ因子の組合せに含まれるｎ因子が持つ各水準について、少なくとも１回テストが実行されることを意味する。例えば、１因子網羅とは、実行するテストケース群によって、テスト対象の各因子が持つ水準について、少なくとも１回テストが実行されるとことを意味する。同様に、２因子網羅とは、実行するテストケース群により、検証対象の因子の２因子の組合せに含まれる２因子のそれぞれが持つ各水準について、少なくとも１回テストが実行されることを意味する。Ｐａｉｒｗｉｓｅ法を用いたテストケース生成の方法としては特許文献１に開示された方法などを用いることができる。例えば、Ｐａｉｒｗｉｓｅ生成部５００は、因子間の各関係に対してテストケースを列挙し、異なる関係に対するテストケースを結合して、単一のテストケースとする手法などによりテストケースを生成する。

【0030】

テストケース生成装置１００は、予め記憶装置２００に記憶されるプログラム２１０を演算装置２５０がメモリ２６０にロードして実行することにより、因子水準生成部３００、及びＰａｉｒｗｉｓｅ生成部５００のそれぞれの各機能を実現する。

【0031】

テストケース生成装置１００は、構成する各機能を単一の情報処理装置内に配置する構成例の他、ネットワークを介して接続する複数の情報処理装置、または、クラウド上の計算資源にその機能を分散して配置してもよい。

【0032】

図４は、本発明の第１の実施形態におけるテストケース生成装置１００で行われる処理
の流れを説明する図である。図示するように、まず、因子水準生成部３００は、ソフトウェア仕様情報１１及び生成パラメータ設定情報１２に基づき、ソフトウェアテストに用いる因子及びその水準を生成し、因子水準情報４００を生成する（Ｓ１１）。なお、この処理は、例えば、テストケース生成装置１００にユーザから所定の入力がされた場合、又は所定のタイミング（例えば、所定の時刻、所定の時間間隔）等に開始される。例えば、因子水準生成部３００は、ユーザが対象ソフトウェアのソフトウェア仕様情報１１及び生成パラメータ設定情報１２を指定してテストケース生成装置１００に読み込ませたときにこの処理を開始してもよい。

【0033】

図５は、本発明の第１の実施形態における因子水準情報４００を生成する方法を説明する図である。本図を参照して、ソフトウェア仕様情報１１に配列型のパラメータ又は変数が含まれる場合における因子水準情報４００の生成方法を具体的に説明する。以下、因子水準生成部３００が、ｖｅｈｉｃｌｅ＿ｄｅｌｉｖｅｒｉｅｓ型についてテストケースを生成する場合を例に具体的に説明する。

【0034】

まず、上記したように、生成パラメータ設定情報１２において、配列要素数は０から３と指定されている。そこで、因子水準生成部３００は、０，１，２，３の配列要素数それぞれに対応する因子及びその水準を生成する。

【0035】

具体的には、因子水準生成部３００は、配列要素数が０の場合には、ｄｅｌｉｖｅｒｉｅｓは空配列しか取ることができないので、ｄｅｌｉｖｅｒｉｅｓ以外のプロパティを用いて、テストケースに用いる因子及び各因子が持つ水準を生成する（符号１０００参照）。また、因子水準生成部３００は、配列要素数が１の場合には、唯一の配列要素に対応するｄｅｌｉｖｅｒｉｅｓ［０］．ｔｉｍｅ因子及びｄｅｌｉｖｅｒｉｅｓ［０］．ｗｅｉｇｈｔ因子を生成する（符号１００１参照）。

【0036】

また、因子水準生成部３００は、配列要素数が２の場合には、ｄｅｌｉｖｅｒｉｅｓ［０］及びｄｅｌｉｖｅｒｉｅｓ［１］のそれぞれの配列要素に対応する因子を生成する（符号１００２参照）。因子水準生成部３００は、配列要素数３の場合にも同様に因子及び水準を生成することで、図５に示すように、それぞれの配列要素数に応じた因子水準情報４００を生成する（符号１００３参照）。

【0037】

続いて、Ｐａｉｒｗｉｓｅ生成部５００が、因子水準情報４００に基づき、Ｐａｉｒｗｉｓｅ法により、生成パラメータ設定情報１２に設定された網羅度ｎのｎ因子網羅のテストケース８００を生成する（Ｓ１２）。

【0038】

図６は、本発明の第１の実施形態におけるテストケース生成装置１００が生成するテストケース８００の一例を示す図である。上記の方法により、配列要素数が０の場合には３因子、配列要素数が１の場合には５因子、配列要素数が２の場合には７因子、配列要素数が３の場合には９因子のＰａｉｒｗｉｓｅ法によるテストケースの生成と同様な方法でテストケース８００を生成することが可能となる。

【0039】

以上説明したように、本実施形態のテストケース生成装置１００は、ソフトウェアテストの因子及びその水準を生成する因子水準生成部３００と、生成された因子及びその水準から因子を選択し、選択した各因子が持つ各水準の組み合わせについてのテストケースを生成するＰａｉｒｗｉｓｅ生成部５００と、を備え、因子水準生成部３００は、所定の要素数を有する配列型の因子について、各要素の因子及びその水準を生成する。

【0040】

すなわち、本実施形態のテストケース生成装置１００は、所定の要素数を持つ配列型の因子の各要素について因子網羅のテストケースを生成することができる。これにより、任
意の要素数を持つ配列型の因子に対するテストを実施することができる。よって、配列が複数の要素を持つときにのみ発生するような不具合を発見することができる。

【0041】

［第２の実施形態］
続いて、本発明の第２の実施形態におけるテストケース生成装置及びテストケース生成方法について説明する。

【0042】

第１の実施形態において開示した第１の方法により、配列型を持つソフトウェアに対しても、仕様を広くカバーするテストケースの生成が実現される。しかし、配列の要素数が多い場合には、生成される因子の数が増大し、それにより生成するテストケースの数も膨大となる、という課題がある。そこで、本実施形態では、配列の要素数が多い場合であっても、生成されるテストケース数が膨大になることを防ぎつつ、仕様を広くカバーするテストケースを生成する方法について開示する。

【0043】

ここで、パラメータに配列型を用いる理由として、可変個の集合としてソフトウェアにデータを渡したいケースがある。そのようなケースでは、配列内における要素の順番は重要ではないことが多い。また、配列内に設定されたデータでなく、要素数にのみ依存する不具合も多く存在する。このような性質の不具合を効率的に発見するために、本実施形態では、配列の要素数と、当該配列以外の因子（以下、「配列外の因子」とする。）との網羅を取ること、及び、配列外の因子と配列内に含まれる因子（以下、「配列内の因子」とする。）については、配列内の任意の要素位置において網羅が取れればよいとすることにより、第１の実施形態で示した方法と比較して網羅性を緩和することによって、より少ないテストケースで仕様を広くカバーする。

【0044】

図７は、本発明の第２の実施形態におけるテストケース生成装置１００Ａの構成例を示す図である。本図において、図１に示す第１の実施形態のテストケース生成装置１００と同様の構成には同一の符号を付し、その説明を省略する。

【0045】

本実施形態におけるテストケース生成装置１００Ａの記憶装置２００は、配列外因子水準生成部３１０、配列内因子水準生成部３２０、Ｐａｉｒｗｉｓｅ生成部５００、及びテストケース合成部７００のそれぞれを実現するプログラム２１０Ａを記憶している。配列外因子水準生成部３１０、及び配列内因子水準生成部３２０が、第１生成部に相当し、Ｐａｉｒｗｉｓｅ生成部５００、及びテストケース合成部７００が、第２生成部に相当する。

【0046】

配列外因子水準生成部３１０は、ソフトウェア仕様情報１１に基づいて、可変個の要素を持つ配列型の因子及びその水準を表す配列外因子水準情報４１０を生成する。

【0047】

配列内因子水準生成部３２０は、ソフトウェア仕様情報１１に基づいて、可変個の要素を持つ配列型の因子の要素の因子及びその水準を表す配列内因子水準情報４２０を生成する。

【0048】

Ｐａｉｒｗｉｓｅ生成部５００は、生成パラメータ設定情報１２に定義された網羅度ｎを用いて、配列外因子水準情報４１０に基づき、Ｐａｉｒｗｉｓｅ法によりｎ因子網羅の後述する外部テストケース６１０を生成する。また、Ｐａｉｒｗｉｓｅ生成部５００は、生成パラメータ設定情報１２に定義された網羅度ｎを用いて、配列内因子水準情報４２０に基づき、Ｐａｉｒｗｉｓｅ法によりｎ因子網羅の後述する内部テストケース６２０を生成する。

【0049】

テストケース合成部７００は、外部テストケース６１０と内部テストケース６２０とを
合成し、テストに用いるためのテストケース８００を出力する。

【0050】

また、記憶装置２００内には、テストケース生成に関する中間データである配列外因子水準情報４１０、配列内因子水準情報４２０、外部テストケース６１０、内部テストケース６２０、及び出力データであるテストケース８００が記憶されている。配列外因子水準情報４１０、配列内因子水準情報４２０、外部テストケース６１０、及び内部テストケース６２０の詳細については後述する。

【0051】

図８は、本発明の第２の実施形態におけるテストケース生成装置１００Ａで行われる処理の流れを説明する図である。図示するように、まず、配列外因子水準生成部３１０は、ソフトウェア仕様情報１１に基づき、配列外因子水準情報４１０を生成する（Ｓ３１０）。配列外因子水準情報４１０を生成する処理の詳細については後述する。なお、この処理は、例えば、テストケース生成装置１００にユーザから所定の入力がされた場合、又は所定のタイミング（例えば、所定の時刻、所定の時間間隔）等に開始される。例えば、因子水準生成部３００は、ユーザが対象ソフトウェアのソフトウェア仕様情報１１及び生成パラメータ設定情報１２を指定してテストケース生成装置１００に読み込ませたときにこの処理を開始してもよい。

【0052】

一方、配列内因子水準生成部３２０は、ソフトウェア仕様情報１１に基づき、配列内因子水準情報４２０を生成する（Ｓ３２０）。配列内因子水準情報４２０を生成する処理の詳細については後述する。

【0053】

Ｐａｉｒｗｉｓｅ生成部５００は、生成パラメータ設定情報１２に定義された網羅度ｎを用いて、配列外因子水準情報４１０に基づき、Ｐａｉｒｗｉｓｅ法によりｎ因子網羅の外部テストケース６１０を生成する（Ｓ５００）。また、Ｐａｉｒｗｉｓｅ生成部５００は、生成パラメータ設定情報１２に定義された網羅度ｎを用いて、配列内因子水準情報４２０に基づき、Ｐａｉｒｗｉｓｅ法によりｎ因子網羅の内部テストケース６２０を生成する。

【0054】

テストケース合成部７００は、外部テストケース６１０と内部テストケース６２０とを合成し、テストに用いるためのテストケース８００を出力する（Ｓ７００）。外部テストケース６１０と内部テストケース６２０とを合成する処理の詳細については後述する。

【0055】

次に、テストケース生成装置１００Ａが実行する各処理の詳細について説明する。

【0056】

図９は、本発明の第２の実施形態における配列外因子水準情報４１０及び配列内因子水準情報４２０を生成する方法を説明する図である。以下、本図に示す例を用いて具体的に、配列外因子水準情報４１０を生成する配列外因子水準生成処理、及び配列内因子水準情報４２０を生成する配列内因子水準生成処理について説明する。

【0057】

＜配列外因子水準生成処理＞
図１０は、配列外因子水準生成部３１０が実行する配列外因子水準生成処理Ｓ３１０の一例を説明するフローチャートである。

【0058】

まず、配列外因子水準生成部３１０は、ソフトウェア仕様情報１１から、生成するテストケースのデータ構造を読み出し、第１の実施形態と同様の手法により因子及び水準を生成する（Ｓ３１１）。

【0059】

続いて、配列外因子水準生成部３１０は、生成した因子に配列型を持つ因子が含まれるか否かを判定する（Ｓ３１２）。

【0060】

配列外因子水準生成部３１０は、配列型を持つ因子が含まれない場合（Ｓ３１２：Ｎｏ）には、ステップＳ３１５の処理に進み、Ｓ３１１で生成した因子及び水準をそのまま配列外因子水準情報４１０として出力する。

【0061】

一方、配列外因子水準生成部３１０は、配列型を持つ因子が含まれる場合（Ｓ３１２：Ｙｅｓ）には、その中から一つを選択する（Ｓ３１３）。

【0062】

そして、配列外因子水準生成部３１０は、選択した因子を、その因子の配列要素数を表す（水準として配列要素数の値を持つ）因子に置き換える（Ｓ３１４）。また、配列外因子水準生成部３１０は、生成パラメータ設定情報１２を参照して、置き換えた因子の水準として、配列要素数として取り得る値を設定する。

【0063】

図９に示した例では、配列外因子水準生成部３１０は、配列型を持つｄｅｌｉｖｅｒｉｅｓ因子を、その配列要素数を表すｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈ因子に置換している（符号２０００参照）。また、配列外因子水準生成部３１０は、生成パラメータ設定情報１２において配列要素数が０から３の間と定義されているため、ｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈ因子の水準として０、１、２、３の４種類の水準を設定している（符号２００１参照）。

【0064】

配列外因子水準生成部３１０は、Ｓ３１４の処理の後、Ｓ３１２の処理に戻る。すなわち、配列外因子水準生成部３１０は、すべての配列型の因子に対してＳ３１４の処理を行うことにより、最終的に配列型の因子を含まない（配列型の因子を、配列要素数を表す因子に置き換えた）配列外因子水準情報４１０を生成する。配列外因子水準生成部３１０は、すべての配列型の因子に対してＳ３１４の処理を実行すると（Ｓ３１２：Ｎｏ）、生成した配列外因子水準情報４１０を出力する（Ｓ３１５）。その後、配列外因子水準生成部３１０は、本配列外因子水準生成処理Ｓ３１０の処理を終了する。

【0065】

＜配列内因子水準生成処理＞
図１１は、配列内因子水準生成部３２０が実行する配列内因子水準生成処理Ｓ３２０の一例を説明するフローチャートである。

【0066】

まず、配列内因子水準生成部３２０は、ソフトウェア仕様情報１１から、生成するテストケースのデータ構造を読み出し、第１の実施形態と同様の手法により因子及び水準を生成する（Ｓ３３２）。

【0067】

続いて、配列内因子水準生成部３２０は、生成した因子に配列型を持つ因子が含まれるか否かを判定する（Ｓ３２２）。

【0068】

配列内因子水準生成部３２０は、配列型を持つ因子が含まれない場合（Ｓ３２２：Ｎｏ）には、配列内因子水準情報４２０を生成せずに、本配列内因子水準生成処理を終了する。

【0069】

一方、配列内因子水準生成部３２０は、配列型を持つ因子が含まれる場合（Ｓ３２２：Ｙｅｓ）には、その中から一つを選択する（Ｓ３２３）。

【0070】

そして、配列内因子水準生成部３２０は、選択した因子に対し、その配列の要素の型について因子及び水準の情報を配列内因子水準情報４２０として出力する（Ｓ３２４）。

【0071】

図９に示した例では、配列内因子水準生成部３２０は、配列型を持つｄｅｌｉｖｅｒｉ
ｅｓ因子に対して、その要素の型の因子である因子ｔｉｍｅ及び因子ｗｅｉｇｈｔについて、それぞれの水準とともに配列内因子水準情報４２０とする。

【0072】

配列内因子水準生成部３２０は、Ｓ３２４の処理の後、Ｓ３２２の処理に戻る。すなわち、配列内因子水準生成部３２０は、すべての配列型の因子に対してＳ３２４の処理を行うことにより、最終的に配列型の因子の数と同じ数だけの配列内因子水準情報４２０を出力する。図９に示した例では、配列型を持つのはｄｅｌｉｖｅｒｉｅｓ因子の１つであるため、配列内因子水準生成部３２０は、配列内因子水準情報４２０を１つ出力する。

【0073】

＜テストケース合成処理＞
図１２は、テストケース合成部７００が実行するテストケース合成処理Ｓ７００の一例を説明するフローチャートである。

【0074】

テストケース合成部７００は、複数の外部テストケース６１０それぞれに対して内部テストケース６２０を合成してテストケースを生成する。テストケース合成部７００は、外部テストケース６１０の全てに対して合成が終わるまで後述するＳ７０１～Ｓ７０４の処理を繰り返す。

【0075】

まず、テストケース合成部７００は、全ての外部テストケース６１０を内部テストケース６２０と合成したか否かを判定する（Ｓ７０１）。

【0076】

テストケース合成部７００は、全ての外部テストケース６１０を合成していない場合（Ｓ７０１：Ｎｏ）には、未だ内部テストケース６２０を合成していない外部テストケース６１０を一つ選択する（Ｓ７０２）。

【0077】

続いて、テストケース合成部７００は、選択された外部テストケース６１０に配列要素数を表す因子が設定されている否かを判定する（Ｓ７０３）。テストケース合成部７００は、選択された外部テストケース６１０に配列要素数を表す因子が設定されていない場合（Ｓ７０３：Ｎｏ）、Ｓ７０１の処理に戻る。

【0078】

一方、テストケース合成部７００は、選択された外部テストケース６１０に配列要素数を表す因子が設定されている場合（Ｓ７０３：Ｙｅｓ）、その因子が表す配列要素数の値（水準値）の数だけ、内部テストケース６２０から要素値を選択し、配列の要素として置き換える（Ｓ７０４）。この際、テストケース合成部７００は、置き換える要素値を、内部テストケース６２０から可能な限り重複しないように選択する。すなわち、テストケース合成部７００は、合成に使用されていない内部テストケース６２０を、合成に使用された内部テストケース６２０よりも優先して、外部テストケース６１０に合成する。ただし、テストケース合成部７００は、全ての内部テストケース６２０がすでに１回以上使われている場合には、重複して使用してもよい。

【0079】

その後、テストケース合成部７００は、Ｓ７０３の処理に戻る。すなわち、テストケース合成部７００は、外部テストケース６１０に含まれる、配列要素数を表す因子全てに対し、Ｓ７０４の処理を実行する。換言すると、テストケース合成部７００は、外部テストケース６１０が配列要素数を表す因子を複数持っている場合には、配列要素数を表す因子それぞれに対し、Ｓ７０４の要素値の置き換えを実施する。その際、テストケース合成部７００は、異なる配列間の要素の組合せについて、すでに合成したテストケース８００では実現できていない組合せとなるように置き換える要素を選択することにより網羅性を高めることができる。

【0080】

テストケース合成部７００は、全ての外部テストケース６１０中の全ての配列要素数を
表す因子の値の置き換えを完了すると（Ｓ７０１：Ｙｅｓ）、内部テストケース６２０中の配列の要素の値が全て置き換えに使用されたか否かを判定する（Ｓ７０５，Ｓ７０６）。すなわち、テストケース合成部７００は、合成されたテストケース８００の中で、全ての内部テストケース６２０が使用されたか否かを判定する。

【0081】

テストケース合成部７００は、置き換えに使用されていない値が内部テストケース６２０にある場合（Ｓ７０６：Ｎｏ）には、外部テストケース６１０を追加し、追加した外部テストケース６１０の置き換えに、使用されていない値を使うことで内部テストケース６２０の全ての値を置き換えに使用する（Ｓ７０７）。テストケース合成部７００は、追加する外部テストケース６１０として、既存の外部テストケース６１０の一部を再利用してもよい。または、テストケース合成部７００は、網羅度を上げることによりＰａｉｒｗｉｓｅ生成部５００で他の外部テストケース６１０を新たに生成してもよい。

【0082】

テストケース合成部７００は、内部テストケース６２０の全ての値が置き換えに使用されている場合（Ｓ７０６：Ｙｅｓ）には、本テストケース合成処理を終了する。

【0083】

図１３は、外部テストケース６１０に内部テストケース６２０を合成する方法を説明する図である。以下、本図に示す例を用いて具体的に、外部テストケース６１０と内部テストケース６２０とを合成するテストケース合成処理について説明する。

【0084】

本図には、図９に例示する配列内因子水準情報４２０を用いて生成された内部テストケース６２０と、配列外因子水準情報４１０を用いて生成された外部テストケース６１１の一部（外部テストケース６１１～６１３）を例示している。本例では、Ｐａｉｒｗｉｓｅ生成部５００は、４種類の水準を持つ因子ｔｉｍｅと６種類の水準を持つ因子ｗｅｉｇｈｔとの組合せにより、２４個の内部テストケース６２０を生成している。

【0085】

例えば、テストケース合成部７００は、外部テストケース６１１については、配列要素数を表すｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈの値が０であるため、ｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈを空配列ｄｅｌｉｖｅｒｉｅｓ［］に置き換えたテストケース８１１を生成する。

【0086】

また、テストケース合成部７００は、外部テストケース６１２については、ｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈの値が１であるため、内部テストケース６２０から１個の配列の要素の値｛ｔｉｍｅ：ＡＭ，ｗｅｉｇｈｔ：５｝を選択する。そして、テストケース合成部７００は、ｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈを、｛ｔｉｍｅ：ＡＭ，ｗｅｉｇｈｔ：５｝を要素に持つ配列ｄｅｌｉｖｅｒｉｅｓ［｛ｔｉｍｅ：ＡＭ，ｗｅｉｇｈｔ：５｝］に置き換えたテストケース８１２を生成する。

【0087】

また、テストケース合成部７００は、外部テストケース６１３については、ｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈの値が２であるため、内部テストケース６２０から２個の配列の要素の値｛ｔｉｍｅ：ＡＭ，ｗｅｉｇｈｔ：１０｝，｛ｔｉｍｅ：ＰＭ１，ｗｅｉｇｈｔ：５｝を選択する。そして、テストケース合成部７００は、ｄｅｌｉｖｅｒｉｅｓ＿ｌｅｎｇｔｈを、｛ｔｉｍｅ：ＡＭ，ｗｅｉｇｈｔ：１０｝，｛ｔｉｍｅ：ＰＭ１，ｗｅｉｇｈｔ：５｝を要素に持つ配列要素数が２の配列ｄｅｌｉｖｅｒｉｅｓ［｛ｔｉｍｅ：ＡＭ，ｗｅｉｇｈｔ：１０｝，｛ｔｉｍｅ：ＰＭ１，ｗｅｉｇｈｔ：５｝］に置き換えたテストケース８１３を生成する。テストケース合成部７００は、同様の処理をすべての外部テストケース６１０に対して実行することによりテストケース８００の集合を生成する。

【0088】

なお、本例では、テストケース合成部７００は、２４個の内部テストケース６２０が全て配列の要素として使われる（外部テストケース６１０に合成される）ため、追加の外部
テストケース６１０の生成は行わない。

【0089】

ここまで、配列型の要素の型は配列型を持たない例を説明したが、実際には、配列の要素の中に配列型を持つような場合も存在する。そのような場合には、内部テストケースの生成の際に本実施形態の手順を再帰的に実施することにより、配列の中に配列を含むような場合においてもテストケースの生成が可能となる。

【0090】

本実施形態に開示する第２の方法を用いることにより、第１の実施形態に開示する第１の方法と比べて少ないテストケース数で、配列を含む仕様に対する網羅的なテストケースの生成が可能となる。

【0091】

図１４は、第１の実施形態に開示する第１の方法と、第２の実施形態に開示する第２の方法のそれぞれを用いて生成したテストケース数を比較するグラフである。本図に示すグラフの横軸は、配列要素数の最大値（上限値）を示し、縦軸は、生成されたテストケース数を示す対数軸である。本図に示すグラフでは、網羅度を２と設定して、図２に例示するソフトウェア仕様情報１１からテストケースを生成した場合に生成されるテストケース数を比較している。例えば、配列要素数の最大値を５０とした場合には、第１の実施形態に開示する第１の方法では４１２９個のテストケースが生成されるのに対して、第２の実施形態に開示する第２の方法では１５３個のテストケースに抑えることが可能となる。図示するように、配列要素数が大きくなるほど、テストケースの削減効果が大きくなる。

【0092】

以上説明したように、本実施形態のテストケース生成装置１００Ａは、配列型の因子以外の因子及びその水準を表す配列外因子水準情報、及び、配列型の因子の要素の因子及びその水準を表す配列内因子水準情報を生成し、配列外因子水準情報に基づく外部テストケース、及び、配列内因子水準情報に基づく内部テストケースを生成し、外部テストケースに内部テストケースを合成したテストケースを生成する。

【0093】

すなわち、本実施形態のテストケース生成装置１００Ａは、配列型の因子以外の因子と、配列型の因子の要素数の組合せについて、因子網羅のテストケースを生成することができる。これにより、第１の実施形態に開示した第１の方法に比べて、少ないテストケース数で、配列の要素数にのみ依存する不具合を効率よく検出することができる。すなわち、より少ないテストケースの数で仕様を広くカバーすることができる。

【0094】

また、本実施形態のテストケース生成装置１００Ａは、配列型の因子を、水準として配列の要素数の値を持つ因子に置き換えた配列外因子水準情報を生成し、外部テストケースにおける配列の要素数を表す値を、その要素数の内部テストケースを要素に持つ配列に置き換える。

【0095】

このような構成により、配列の要素数の内部テストケースが外部テストケースの配列の要素に挿入される。これにより、外部テストケース及び内部テストケースを効率的に合成することができる。

【0096】

また、本実施形態のテストケース生成装置１００Ａは、配列の要素数を表す値を持つ全ての外部テストケースに対して、内部テストケースを合成する。

【0097】

このような構成により、全ての外部テストケースを使用したテストケースを生成することができるため、配列型の因子以外について、因子網羅テストのテストケースを生成することができる。よって、仕様を広くカバーしたテストケースを生成することができる。

【0098】

また、本実施形態のテストケース生成装置１００Ａは、全ての内部テストケースを合成
に使用して、テストケースを生成する。

【0099】

このような構成により、配列型の因子の要素の各因子が持つ各水準についてテストケースを生成することができる。よって、配列内の因子の組合せについて、取り得る値の組合せを効率よく網羅したテストケースを生成することができる。

【0100】

また、本実施形態のテストケース生成装置１００Ａは、合成に使用されていない内部テストケースを、合成に使用された内部テストケースよりも優先して、外部テストケースに合成する。

【0101】

このような構成により、テストケース間における内部テストケースの重複を抑制することができる。これにより、より少ないテストケース数で、仕様を広くカバーしたテストケースを効率的に生成することができる。

【0102】

本発明は、上記実施形態に限定されるものではなく、その要旨を逸脱しない範囲内で、任意の構成要素を用いて実施可能である。以上説明した実施形態や変形例はあくまで一例であり、発明の特徴が損なわれない限り、本発明はこれらの内容に限定されるものではない。また、上記では種々の実施形態や変形例を説明したが、本発明はこれらの内容に限定されるものではない。本発明の技術的思想の範囲内で考えられるその他の態様も本発明の範囲内に含まれる。

【0103】

例えば、本実施形態の各装置が備えるハードウェアの一部は、他の装置に設けてもよい。

【0104】

また、テストケース生成装置の各プログラムは他の装置に設けてもよいし、あるプログラムを複数のプログラムからなるものとしてもよいし、複数のプログラムを一つのプログラムに統合してもよい。

【0105】

また、上述した実施形態では、因子水準生成部３００及び配列外因子水準生成部３１０は、生成パラメータ設定情報１２から配列要素数を読み出しているが、これに限らず、ソフトウェア仕様情報１１に配列要素数が定義されている場合には、ソフトウェア仕様情報１１から配列要素数を読み出してもよい。

【符号の説明】

【0106】

１１ ソフトウェア仕様情報
１２ 生成パラメータ設定情報
１００，１００Ａ テストケース生成装置
２００ 記憶装置
２１０，２１０Ａ プログラム
２５０ 演算装置
２６０ メモリ
２７０ 入出力装置
３００ 因子水準生成部
３１０ 配列外因子水準生成部
３２０ 配列内因子水準生成部
４００ 因子水準情報
４１０ 配列外因子水準情報
４２０ 配列内因子水準情報
５００ Ｐａｉｒｗｉｓｅ生成部
６１０ 外部テストケース
６２０ 内部テストケース
７００ テストケース合成部
８００ テストケース

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】

【図13】

【図14】