(57)【要約】【課題】開発対象の不具合の早期発見および検証作業の効率化を図ること。【解決手段】検証支援装置２００において、入力部２０１は、検証対象の機能をあらわすユースケース図の入力を受け付ける。抽出部２０２は、ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出する。設定部２０３は、関連情報に基づいてユースケースに関する検証項目の優先度を設定する。決定部２０４は、関連情報によって関連付けられているいずれのユースケースに対しても上位ユースケースとなるユースケースを、ユースケース図の中で最も上位概念のユースケースに決定する。判定部２０５は、抽出された関連情報と、関連情報によって関連付けられるユースケースとからなる記述集合が、有向閉路を形成しているか否かを判定する。出力部２０６は、ユースケースに関する検証項目とその優先度とを関連付けた検証項目リストを出力する。【選択図】        図２
2006252489.tif 000002
【特許請求の範囲】
【請求項１】
検証対象の機能をあらわすユースケース図の入力を受け付ける入力手段と、
前記入力手段によって入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出する抽出手段と、
前記抽出手段によって抽出された関連情報に基づいて、前記ユースケースに関する検証項目の優先度を設定する設定手段と、
を備えることを特徴とする検証支援装置。
【請求項２】
前記抽出手段は、
前記入力手段によって入力されたユースケース図の中から、前記設定手段によって優先度が設定された検証項目のユースケース（以下、「第１のユースケース」という）の関連情報を抽出し、
前記設定手段は、
前記第１のユースケースに関する検証項目の優先度と、前記抽出手段によって抽出された関連情報と、に基づいて、当該関連情報によって前記第１のユースケースと関連付けられている第２のユースケースに関する検証項目の優先度を設定することを特徴とする請求項１に記載の検証支援装置。
【請求項３】
前記設定手段は、
前記第２のユースケースに関する検証項目の優先度が、前記第２のユースケースの他の関連情報に基づいて設定されている場合、前記第２のユースケースに関する検証項目の優先度を再設定することを特徴とする請求項２に記載の検証支援装置。
【請求項４】
検証対象の機能をあらわすユースケース図の入力を受け付ける入力工程と、
前記入力工程によって入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出する抽出工程と、
前記抽出工程によって抽出された関連情報に基づいて、前記ユースケースに関する検証項目の優先度を設定する設定工程と、
を含んだことを特徴とする検証支援方法。
【請求項５】
前記抽出工程は、
前記入力工程によって入力されたユースケース図の中から、前記設定工程によって優先度が設定された検証項目のユースケース（以下、「第１のユースケース」という）の関連情報を抽出し、
前記設定工程は、
前記第１のユースケースに関する検証項目の優先度と、前記抽出工程によって抽出された関連情報と、に基づいて、当該関連情報によって前記第１のユースケースと関連付けられている第２のユースケースに関する検証項目の優先度を設定することを特徴とする請求項４に記載の検証支援方法。
【請求項６】
前記設定工程は、
前記第２のユースケースに関する検証項目の優先度が、前記第２のユースケースの他の関連情報に基づいて設定されている場合、前記第２のユースケースに関する検証項目の優先度を再設定することを特徴とする請求項５に記載の検証支援方法。
【請求項７】
検証対象の機能をあらわすユースケース図の入力を受け付けさせる入力工程と、
前記入力工程によって入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出させる抽出工程と、
前記抽出工程によって抽出された関連情報に基づいて、前記ユースケースに関する検証項目の優先度を設定させる設定工程と、
をコンピュータに実行させることを特徴とする検証支援プログラム。
【請求項８】
前記抽出工程は、
前記入力工程によって入力されたユースケース図の中から、前記設定工程によって優先度が設定された検証項目のユースケース（以下、「第１のユースケース」という）の関連情報を抽出させ、
前記設定工程は、
前記第１のユースケースに関する検証項目の優先度と、前記抽出工程によって抽出された関連情報と、に基づいて、当該関連情報によって前記第１のユースケースと関連付けられている第２のユースケースに関する検証項目の優先度を設定させることを特徴とする請求項７に記載の検証支援プログラム。
【請求項９】
前記設定工程は、
前記第２のユースケースに関する検証項目の優先度が、前記第２のユースケースの他の関連情報に基づいて設定されている場合、前記第２のユースケースに関する検証項目の優先度を再設定させることを特徴とする請求項８に記載の検証支援プログラム。
【請求項１０】
請求項７〜９のいずれか一つに記載の検証支援プログラムを記録したコンピュータに読み取り可能な記録媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、ハードウェアやソフトウェアなどの検証対象の検証作業を支援する検証支援装置、検証支援方法、検証支援プログラム、および記録媒体に関する。
【背景技術】
【０００２】
従来、ハードウェアやソフトウェアの開発においては、設計技術の進歩によりハードウェアやソフトウェアの開発対象が大規模化している。一方で、開発工程全体における検証工程の占める割合が上昇する傾向にある。従来において、複雑で多岐にわたる開発対象の機能を検証するために、仕様書から検証項目を生成する手法は存在しておらず、原因−結果グラフを用いることにより、優先度をつけて検証項目を生成している（たとえば、下記特許文献１を参照。）。
【０００３】
【特許文献１】特開２００１−９９５０２号公報
【発明の開示】
【発明が解決しようとする課題】
【０００４】
しかしながら、上述した従来技術では、検証者は恣意的に検証項目を生成したり、設計済みの実装から検証項目を生成していた。したがって、検証者の経験や能力によって、生成された検証項目の機能の網羅性にばらつきがあり、開発対象の仕様書に記述された機能を正確に網羅しているか否かを評価することが困難であるという問題があった。また、上述した特許文献１の従来技術においても同様、開発対象の仕様書に記述された機能を正確に網羅しているか否かを評価することが困難であるという問題があった。
【０００５】
また、上述した従来技術では、検証作業の途中、特に終了間際に検証した検証項目において、開発対象の不具合、たとえば重大なバグを検出すると、これまでおこなってきた検証作業が無駄になってしまうという問題があった。また、上述した従来技術では、生成された検証項目が膨大になってすべて検証することが困難な場合、どの検証項目を優先して検証すべきかを決めることができず、検証作業が無駄になってしまうという問題があった。
【０００６】
この発明は、上述した従来技術による問題点を解消するため、開発対象の仕様書に記述された機能を正確に網羅している検証項目に対して簡単かつ正確に優先度を設定することにより、開発対象の不具合の早期発見および検証作業の効率化を図ることができる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体を提供することを目的とする。
【課題を解決するための手段】
【０００７】
上述した課題を解決し、目的を達成するため、この発明にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体は、検証対象の機能をあらわすユースケース図の入力を受け付け、入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出し、抽出された関連情報に基づいて、前記ユースケースに関する検証項目の優先度を設定することを特徴とする。
【０００８】
また、上記発明において、入力されたユースケース図の中から、優先度が設定された検証項目のユースケース（以下、「第１のユースケース」という）の関連情報を抽出し、前記第１のユースケースに関する検証項目の優先度と、抽出された関連情報と、に基づいて、当該関連情報によって前記第１のユースケースと関連付けられている第２のユースケースに関する検証項目の優先度を設定することとしてもよい。
【０００９】
また、上記発明において、前記第２のユースケースに関する検証項目の優先度が、前記第２のユースケースの他の関連情報に基づいて設定されている場合、前記第２のユースケースに関する検証項目の優先度を再設定することとしてもよい。
【００１０】
また、上記発明において、入力されたユースケース図の中から、第１のユースケースと第２のユースケースとの間の汎化関係を示す第１の関連情報と、前記第１のユースケースと第３のユースケースとの間の包含または拡張関係を示す第２の関連情報と、を抽出し、抽出された第１および第２の関連情報に基づいて、前記第１〜第３のユースケースに関する優先度を設定することとしてもよい。
【００１１】
また、上記発明において、抽出された関連情報に基づいて、当該関連情報によって関連付けられているいずれのユースケースに対しても、上位概念のユースケースとなるユースケースを、前記ユースケース図の中で最も上位概念のユースケース（以下、「最上位ユースケース」という）に決定し、決定された最上位ユースケースに関する検証項目の優先度に基づいて、前記最上位ユースケース以外の他のユースケースに関する検証項目の優先度を設定することとしてもよい。
【００１２】
また、上記発明において、抽出されたいずれの関連情報にも関連付けられていないユースケースを、前記ユースケース図の中で最も上位概念のユースケース（以下、「最上位ユースケース」という）に決定し、決定されたユースケースに関する検証項目に、所定の優先度を設定することとしてもよい。
【００１３】
また、上記発明において、抽出された関連情報と、当該関連情報によって関連付けられるユースケースと、からなる記述集合が、有向閉路を形成しているか否かを判定し、判定結果に基づいて、前記記述集合内のすべてのユースケースに関する検証項目に、同一の優先度を設定することとしてもよい。
【００１４】
また、上記発明において、抽出された関連情報と、当該関連情報によって関連付けられるユースケースと、からなる記述集合が、有向閉路を形成しているか否かを判定し、判定結果に基づいて、前記ユースケース図の記述エラー情報を出力することとしてもよい。
【００１５】
これらの発明によれば、ユースケース図に記述されているユースケースを用いているため、開発対象の仕様書に記述された機能を、検証項目として正確に網羅することができる。また、開発対象の仕様書に記述された機能を正確に網羅している検証項目に対して、ユースケースおよび関連情報に基づいて優先度を設定することにより、不具合が発生する可能性が高い重要な検証項目を認識することができる。
【００１６】
また、第１のユースケースと第２のユースケースとの間の汎化関係を示す第１の関連情報と、第１のユースケースと第３のユースケースとの間の包含または拡張関係を示す第２の関連情報と、を抽出することにより、ユースケース図には記述されていない関連情報、いわゆる暗黙の関連情報を検出することができる。したがって、この暗黙の関連情報を用いることにより、第１〜第３のユースケースに関する検証項目の優先度をより正確に設定することができる。
【００１７】
また、最上位ユースケースに関する検証項目の優先度を設定することにより、最上位ユースケース以外の他のユースケースに関する検証項目の優先度を、最上位ユースケースに関する検証項目の優先度を基準にして設定することができる。
【００１８】
また、有向閉路の判定をおこなうことにより、有向閉路内のユースケースに関する検証項目を、関連情報によらず一定の優先度を設定することができる。また、記述エラー情報を出力することにより、検証作業をおこなう前、または優先度の設定前に、記述ミスを検出することができ、検証作業や優先度設定処理の無駄を未然に防止することができる。
【発明の効果】
【００１９】
本発明にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体によれば、開発対象の仕様書に記述された機能を正確に網羅している検証項目に対して簡単かつ正確に優先度を設定することにより、開発対象の不具合の早期発見および検証作業の効率化を図ることができるという効果を奏する。
【発明を実施するための最良の形態】
【００２０】
以下に添付図面を参照して、この発明にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体の好適な実施の形態を詳細に説明する。
【００２１】
（検証支援装置のハードウェア構成）
まず、この発明の実施の形態にかかる検証支援装置のハードウェア構成について説明する。図１は、この発明の実施の形態にかかる検証支援装置のハードウェア構成を示すブロック図である。
【００２２】
図１において、検証支援装置は、ＣＰＵ１０１と、ＲＯＭ１０２と、ＲＡＭ１０３と、ＨＤＤ（ハードディスクドライブ）１０４と、ＨＤ（ハードディスク）１０５と、ＦＤＤ（フレキシブルディスクドライブ）１０６と、着脱可能な記録媒体の一例としてのＦＤ（フレキシブルディスク）１０７と、ディスプレイ１０８と、Ｉ／Ｆ（インターフェース）１０９と、キーボード１１０と、マウス１１１と、スキャナ１１２と、プリンタ１１３と、を備えている。また、各構成部はバス１００によってそれぞれ接続されている。
【００２３】
ここで、ＣＰＵ１０１は、検証支援装置の全体の制御を司る。ＲＯＭ１０２は、ブートプログラムなどのプログラムを記憶している。ＲＡＭ１０３は、ＣＰＵ１０１のワークエリアとして使用される。ＨＤＤ１０４は、ＣＰＵ１０１の制御にしたがってＨＤ１０５に対するデータのリード／ライトを制御する。ＨＤ１０５は、ＨＤＤ１０４の制御で書き込まれたデータを記憶する。
【００２４】
ＦＤＤ１０６は、ＣＰＵ１０１の制御にしたがってＦＤ１０７に対するデータのリード／ライトを制御する。ＦＤ１０７は、ＦＤＤ１０６の制御で書き込まれたデータを記憶したり、ＦＤ１０７に記憶されたデータを検証支援装置に読み取らせたりする。
【００２５】
また、着脱可能な記録媒体として、ＦＤ１０７のほか、ＣＤ−ＲＯＭ（ＣＤ−Ｒ、ＣＤ−ＲＷ）、ＭＯ、ＤＶＤ（Ｄｉｇｉｔａｌ  Ｖｅｒｓａｔｉｌｅ  Ｄｉｓｋ）、メモリーカードなどであってもよい。ディスプレイ１０８は、カーソル、アイコンあるいはツールボックスをはじめ、文書、画像、機能情報などのデータを表示する。このディスプレイ１０８は、たとえば、ＣＲＴ、ＴＦＴ液晶ディスプレイ、プラズマディスプレイなどを採用することができる。
【００２６】
Ｉ／Ｆ１０９は、通信回線を通じてインターネットなどのネットワーク１１４に接続され、このネットワーク１１４を介して他の装置に接続される。そして、Ｉ／Ｆ１０９は、ネットワーク１１４と内部のインターフェースを司り、外部装置からのデータの入出力を制御する。Ｉ／Ｆ１０９には、たとえばモデムやＬＡＮアダプタなどを採用することができる。
【００２７】
キーボード１１０は、文字、数字、各種指示などの入力のためのキーを備え、データの入力をおこなう。また、タッチパネル式の入力パッドやテンキーなどであってもよい。マウス１１１は、カーソルの移動や範囲選択、あるいはウィンドウの移動やサイズの変更などをおこなう。ポインティングデバイスとして同様に機能を備えるものであれば、トラックボールやジョイスティックなどであってもよい。
【００２８】
スキャナ１１２は、画像を光学的に読み取り、検証支援装置内に画像データを取り込む。なお、スキャナ１１２は、ＯＣＲ機能を持たせてもよい。また、プリンタ１１３は、画像データや文書データを印刷する。プリンタ１１３には、たとえば、レーザプリンタやインクジェットプリンタを採用することができる。
【００２９】
（検証支援装置の機能的構成）
つぎに、この発明の実施の形態にかかる検証支援装置の機能的構成について説明する。図２は、この発明の実施の形態にかかる検証支援装置の機能的構成を示す説明図である。図２において、検証支援装置２００は、入力部２０１と、抽出部２０２と、設定部２０３と、決定部２０４と、判定部２０５と、出力部２０６と、から構成されている。
【００３０】
まず、入力部２０１は、検証対象の機能をあらわすユースケース図の入力を受け付ける。検証対象とは、たとえば、ＬＳＩなどのハードウェアや各種ソフトウェアなどの開発対象である。ユースケース図は、オブジェクト指向言語であるＵＭＬによって記述されたコンピュータリーダブルな電子データである。入力部２０１は、図１に示したキーボード１１０やマウス１１１を操作してユースケース図を入力してもよく、また、外部からネットワーク１１４を介してユースケース図を受信することによって入力することとしてもよい。
【００３１】
また、抽出部２０２は、入力部２０１によって入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出する。ここで、関連情報は、２つのユースケース間に記述されており、この２つのユースケース間の関係の型（包含関係、拡張関係または汎化関係）を示している。
【００３２】
ここで、包含関係とは、一方のユースケースの機能が、他方のユースケースの機能を含んでいる場合に成立する関係である。すなわち、一方のユースケースが上位概念のユースケース（上位ユースケース）となり、他方のユースケースが下位概念のユースケース（下位ユースケース）となる。たとえば、一方のユースケースの機能の検証項目が「矩形を描画する」であり、他方のユースケースの機能の検証項目が「直線を描画する」である場合、「矩形」は「直線」の組み合わせによって構成されるため、包含関係が成立する。包含関係は、点線矢印（矢印の先端が下位ユースケースを指す。）とステレオタイプ＜＜ｉｎｃｌｕｄｅ＞＞で表記される。
【００３３】
また、拡張関係とは、一方のユースケースの機能が、他方のユースケースの機能によって拡張される場合に成立する関係である。たとえば、一方のユースケースの機能の検証項目が「点を描画する」であり、他方のユースケースの機能の検証項目が「描画色を設定する」である場合、一定条件下で、「点」に「描画色を設定する」ため、拡張関係が成立する。したがって、一定条件を満たさない場合には、描画色は設定されないこととなる。拡張関係は、点線矢印（矢印の先端が上位ユースケースを指す。）とステレオタイプ＜＜ｅｘｔｅｎｄ＞＞で表記される。
【００３４】
さらに、汎化関係とは、一方のユースケースの機能により、他方のユースケースの機能が一般化（抽象化）された場合に成立する関係である。たとえば、一方のユースケースの機能の検証項目が「矩形を描画する」であり、他方のユースケースの機能の検証項目が「三角形を描画する」である場合、「矩形」は「三角形」を一般化した図形であるため、汎化関係が成立する。汎化関係は、実線矢印（矢印の先端が上位ユースケースを指す。）で表記される。
【００３５】
また、設定部２０３は、抽出部２０２によって抽出された関連情報に基づいて、ユースケースに関する検証項目の優先度を設定する。具体的には、関連情報から、当該関連情報に関連付けられている一対のユースケースをそれぞれ上位概念のユースケース（上位ユースケース）と下位概念のユースケース（下位ユースケース）に定義する。
【００３６】
そして、関連情報に応じた値を与えることで、上位ユースケースに関する検証項目の優先度と下位ユースケースに関する検証項目の優先度とを設定する。すなわち、上位ユースケースの優先度に、関連情報の値を加算することで、下位ユースケースの優先度を設定することができる。また、下位ユースケースの優先度に、関連情報の値を減算することで、上位ユースケースの優先度を設定することができる。すなわち、ユースケースが下位概念になるほど、機能が複雑化するため優先度も高く設定されることとなる。なお、優先度の具体的な設定手法について下記実施例１〜１１において後述する。
【００３７】
また、決定部２０４は、抽出部２０２によって抽出された関連情報に基づいて、当該関連情報によって関連付けられているいずれのユースケースに対しても、上位ユースケースとなるユースケースを、ユースケース図の中で最も上位概念のユースケース（最上位ユースケース）に決定する。この場合、設定部２０３は、最上位ユースケースに関する検証項目の優先度に基づいて、最上位ユースケース以外の他のユースケースに関する検証項目の優先度を設定する。すなわち、最上位ユースケースの優先度を、他のユースケースの優先度の基準値に設定することができる。
【００３８】
また、決定部２０４は、抽出部２０２によって抽出されたいずれの関連情報にも関連付けられていないユースケースを、ユースケース図の中で最も上位概念のユースケース（最上位ユースケース）に決定することもできる。この場合、設定部２０３は、最上位ユースケースに関する検証項目に、所定の優先度を設定する。関連情報がない最上位ユースケースは、機能が詳細化されないため、所定の優先度を低く設定しておく必要がある。具体的には、所定の優先度としては、他の最上位ユースケースの優先度と同一優先度に設定することが好ましい。
【００３９】
また、判定部２０５は、抽出部２０２によって抽出された関連情報と、当該関連情報によって関連付けられるユースケースと、からなる記述集合が、有向閉路を形成しているか否かを判定する。有向閉路とは、一定の方向周りで閉塞しているループである。この場合、記述集合の中で最も上位概念のユースケース（最上位ユースケース）を基準にすると、下位ユースケースに向かうように関連情報を辿り、最も下位概念のユースケース（最下位ユースケース）が、最上位ユースケースに対する上位ユースケースとなるケースが挙げられる。この場合、優先度による優劣をつけられないため、記述集合内のすべてのユースケースに関する検証項目に対して同一の優先度を設定する。
【００４０】
また、出力部２０６は、ユースケースに関する検証項目とその優先度とを関連付けた検証項目リストを出力する。この検証項目リストを検証者が見ることにより、どの検証項目を最優先すべきかを早期かつ正確に把握することができ、必要な検証項目の絞込みをおこなって、検証工数の短縮化を図ることができる。また、上述したように、また、有向閉路である場合は、設計ミスであるとして、後述する出力部２０６から記述エラー情報を出力することとしてもよい。これにより、優先度を設定する前に、バグなどの不具合を早期発見することができる。
【００４１】
なお、上述した入力部２０１、抽出部２０２、設定部２０３、決定部２０４、判定部２０５および出力部２０６は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５、ＦＤ１０７などの記録媒体に記録されたプログラムをＣＰＵ１０１が実行することによってその機能を実現する。
【００４２】
（優先度設定の実施例）
つぎに、優先度設定の実施例について説明する。以下に示すユースケース図において、関連情報のステレオタイプに併記されている記号は、その関連情報によって関連付けられるユースケースに関する検証項目の優先度を設定するための値であり、関連情報のステレオタイプに併記されている演算式は、その関連情報によって関連付けられるユースケースに関する検証項目の優先度を設定するための式である。
【実施例１】
【００４３】
図３は、実施例１にかかるユースケース図を示す説明図であり、図４は、実施例１にかかる検証項目リストを示す図表である。図３は、ユースケース３０１〜３０４と、関連情報３１１，３１２とからなるユースケース図３００を示しており、図４は、ユースケース図３００の検証項目リスト４００を示している。
【００４４】
すなわち、図３および図４において、ユースケース３０１に関する検証項目の優先度をＰ１、ユースケース３０２に関する検証項目の優先度をＰ２、ユースケース３０３に関する検証項目の優先度をＰ３、ユースケース３０４に関する検証項目の優先度をＰ４に設定している。図３および図４に示した例によれば、ユースケース図３００を用いていているため、開発対象の仕様書に記述された機能を正確に網羅している検証項目に対して、簡単かつ正確に優先度を設定することができる。
【実施例２】
【００４５】
つぎに、優先度設定の実施例２について説明する。図５は、実施例２にかかるユースケース図を示す説明図であり、図６は、実施例２にかかる検証項目リストを示す図表である。図５は、上位ユースケース５０１と、下位ユースケース５０２と、上位ユースケース５０１および下位ユースケース５０２を関連付ける関連情報５１０と、からなるユースケース図５００を示している。図６は、ユースケース図５００の検証項目リスト６００を示している。
【００４６】
図５において、上位ユースケース５０１に関する検証項目の優先度はＰに設定されている。また、包含関係を示す関連情報５１０の値が＋αに設定されている。したがって、下位ユースケースに関する検証項目の優先度は、Ｐ＋αとなる。図５および図６に示した例によれば、上位ユースケース５０１に関する検証項目の優先度と、関連情報５１０の値とにより、下位ユースケース５０２に関する検証項目の優先度を相対的に設定することができる。
【実施例３】
【００４７】
つぎに、優先度設定の実施例３について説明する。図７は、実施例３にかかるユースケース図を示す説明図であり、図８は、実施例３にかかる検証項目リストを示す図表である。図７は、上位ユースケース７０１と、下位ユースケース７０２と、下位ユースケース７０３と、上位ユースケース７０１および下位ユースケース７０２を関連付ける関連情報７１１と、上位ユースケース７０１および下位ユースケース７０３を関連付ける関連情報７１２と、からなるユースケース図７００を示している。図８は、ユースケース図７００の検証項目リスト８００を示している。
【００４８】
図７において、上位ユースケース７０１に関する検証項目の優先度はＰに設定されている。また、包含関係を示す関連情報７１１の値が＋αに設定されている。したがって、下位ユースケース７０２に関する検証項目の優先度は、Ｐ＋αとなる。また、拡張関係を示す関連情報７１２の値が＋βに設定されている。したがって、下位ユースケース７０３に関する検証項目の優先度は、Ｐ＋βとなる。関連情報７１１の値（＋α）と関連情報７１２の値（＋β）は、異なる値である。たとえば、包含関係の方が、拡張関係よりも関連性が強いため、α＞βとすることができる。これにより、関連情報の型に応じて優先度を設定することができる。
【実施例４】
【００４９】
つぎに、優先度設定の実施例４について説明する。図９は、実施例４にかかるユースケース図を示す説明図であり、図１０は、実施例４にかかる検証項目リストを示す図表である。図９は、上位ユースケース９０１と、下位ユースケース９０２と、下位ユースケース９０３と、上位ユースケース９０１および下位ユースケース９０２を関連付ける関連情報９１１と、上位ユースケース９０１および下位ユースケース９０３を関連付ける関連情報９１２と、からなるユースケース図９００を示している。図１０は、ユースケース図９００の検証項目リスト１０００を示している。
【００５０】
図９において、上位ユースケース９０１に関する検証項目の優先度はＰに設定されている。また、包含関係を示す関連情報９１１は、演算式９２１（上位＞下位）で定義されている。したがって、下位ユースケース９０２に関する検証項目の優先度は、演算式９２１を満たすＰ−３に設定される。また、拡張関係を示す関連情報９１２は、演算式９２２（上位≦下位）で定義されている。したがって、下位ユースケース９０３に関する検証項目の優先度は、演算式９２１を満たすＰ＋１に設定される。このように、演算式を用いても、関連情報の型に応じて優先度を設定することができる。
【実施例５】
【００５１】
つぎに、優先度設定の実施例５について説明する。図１１は、実施例５にかかるユースケース図を示す説明図であり、図１２は、実施例５にかかる検証項目リストを示す図表である。図１１は、ユースケース１１０１と、ユースケース１１０２と、ユースケース１１０３と、ユースケース１１０１およびユースケース１１０２を関連付ける関連情報１１１１と、ユースケース１１０２およびユースケース１１０３を関連付ける関連情報１１１２と、からなるユースケース図１１００を示している。図１２は、ユースケース図１１００の検証項目リスト１２００を示している。
【００５２】
図１１において、包含関係を示す関連情報１１１１により、ユースケース１１０１とユースケース１１０２との間では、ユースケース１１０１が上位ユースケース、ユースケース１１０２が下位ユースケースとなる。また、拡張関係を示す関連情報１１１２により、ユースケース１１０２とユースケース１１０３との間では、ユースケース１１０２が上位ユースケース、ユースケース１１０３が下位ユースケースとなる。
【００５３】
ユースケース１１０１に関する検証項目の優先度はＰに設定されているため、その下位ユースケースであるユースケース１１０２に関する検証項目の優先度は、Ｐ＋αに設定される。また、ユースケース１１０２に関する検証項目の優先度はＰ＋αに設定されたため、その下位ユースケースであるユースケース１１０３に関する検証項目の優先度は、Ｐ＋α＋βに設定される。このように、設定された優先度を基準にして、未設定の優先度を探索して、優先度を設定していくことができる。
【実施例６】
【００５４】
つぎに、優先度設定の実施例６について説明する。図１３は、実施例６にかかるユースケース図を示す説明図であり、図１４は、実施例６にかかる検証項目リストを示す図表である。図１３は、ユースケース１３０１〜１３０４と、関連情報１３１１〜１３１３と、からなるユースケース図１３００を示している。図１４は、ユースケース図１３００の検証項目リスト１４００を示している。
【００５５】
図１３において、包含関係を示す関連情報１３１１により、ユースケース１３０１とユースケース１３０２との間では、ユースケース１３０１が上位ユースケース、ユースケース１３０２が下位ユースケースとなる。ユースケース１３０１に関する検証項目の優先度はＰに設定されているため、その下位ユースケースであるユースケース１３０２に関する検証項目の優先度は、Ｐ＋αに設定される。
【００５６】
また、包含関係を示す関連情報１３１２により、ユースケース１３０３とユースケース１３０４との間では、ユースケース１３０３が上位ユースケース、ユースケース１３０４が下位ユースケースとなる。ユースケース１３０３に関する検証項目の優先度はＰに設定されているため、その下位ユースケースであるユースケース１３０４に関する検証項目の優先度は、Ｐ＋αに設定される。
【００５７】
一方、拡張関係を示す関連情報１３１３により、ユースケース１３０４とユースケース１３０２との間では、ユースケース１３０４が上位ユースケース、ユースケース１３０２が下位ユースケースとなる。この関係では、下位ユースケースであるユースケース１３０２に関する検証項目の優先度は、Ｐ＋α＋βに設定される。
【００５８】
ユースケース１３０２では、関連情報１３１１に基づいて設定された優先度Ｐ＋αと、関連情報１３１３に基づいて設定された優先度Ｐ＋α＋βとが重複設定されているが、重複設定されている優先度のうち値が大きい優先度（Ｐ＋α＋β）をユースケース１３０２の優先度として選択することができる。このように、先に優先度が設定された場合であっても、他の関連情報に基づいて後から得られる優先度と比較考慮することができるため、優先度の正確性の向上を図ることができる。
【実施例７】
【００５９】
つぎに、優先度設定の実施例７について説明する。図１５は、実施例７にかかるユースケース図を示す説明図であり、図１６は、実施例７にかかる検証項目リストを示す図表である。図１５は、ユースケース１５０１と、ユースケース１５０２と、からなるユースケース図１５００を示している。図１６は、ユースケース図１５００の検証項目リスト１６００を示している。
【００６０】
図１５においては、ユースケース１５０１およびユースケース１５０２の間には関連情報がなく、それぞれ独立して存在する。このような場合には、上位／下位の特定ができず、また、関連情報の値や演算式もないため、ユースケース１５０１およびユースケース１５０２に関する検証項目の優先度として、同一の優先度Ｐを設定する。ユースケース１５０１およびユースケース１５０２に関する検証項目の優先度は、実施例６で示したように、後から新たな優先度が設定されることもない。したがって、ユースケース図１５００に他のユースケースや関連情報が存在している場合、ユースケース１５０１およびユースケース１５０２に関する検証項目は、最も優先度が低い検証項目となる。
【実施例８】
【００６１】
つぎに、優先度設定の実施例８について説明する。図１７は、実施例８にかかるユースケース図を示す説明図であり、図１８は、実施例８にかかる検証項目リストを示す図表である。図１７は、ユースケース１７０１〜１７０３と、関連情報１７１１および関連情報１７１２と、からなるユースケース図１７００を示している。図１８は、ユースケース図１７００の検証項目リスト１８００を示している。
【００６２】
図１７において、まず、汎化関係を示す関連情報１７１１により、ユースケース１７０１とユースケース１７０２との間では、ユースケース１７０１が上位ユースケース、ユースケース１７０２が下位ユースケースとなる。ユースケース１７０１に関する検証項目の優先度はＰに設定されているため、その下位ユースケースであるユースケース１７０２に関する検証項目の優先度は、Ｐ＋βに設定される。
【００６３】
また、ユースケース１７０１とユースケース１７０３との間では、ユースケース１７０１が上位ユースケース、ユースケース１７０３が下位ユースケースとなる。ユースケース１７０１に関する検証項目の優先度はＰに設定されているため、その下位ユースケースであるユースケース１７０３に関する検証項目の優先度は、Ｐ＋αに設定される。
【００６４】
ここで、このユースケース図１７００に着目すると、関連情報１７１１はユースケース１７０１とユースケース１７０２との間の汎化関係を示しているため、ユースケース１７０１とユースケース１７０３との間に拡張関係の関連情報１７１２があれば、ユースケース図１７００に記述がなくても、ユースケース１７０２とユースケース１７０３との間にも拡張関係が成立する。すなわち、ユースケース１７０２とユースケース１７０３との間には、拡張関係を示す暗黙の関連情報１７１３が実質的に存在する。この関連情報１７１３が有する値は、関連情報１７１１の値に依存するため、＋βとなる。
【００６５】
このユースケース１７０２とユースケース１７０３との間では、ユースケース１７０２が上位ユースケース、ユースケース１７０３が下位ユースケースとなる。また、ユースケース１７０２およびに関する検証項目の優先度はＰ＋βに設定されている。したがって、その下位ユースケースであるユースケース１７０３に関する検証項目の優先度は、Ｐ＋αからＰ＋α＋βに更新される。これにより、実際に記述されていない暗黙の関連情報１７１３を検出することにより、優先度を正確に設定することができる。
【００６６】
なお、上述した例では、関連情報１７１２は拡張関係を示しているが、ユースケース１７０１を上位ユースケース、ユースケース１７０３を下位ユースケースとする包含関係でもよい。その場合には、暗黙の関連情報１７１３も、ユースケース１７０２を上位ユースケース、ユースケース１７０３を下位ユースケースとする包含関係となる。
【実施例９】
【００６７】
つぎに、優先度設定の実施例９について説明する。図１９は、実施例９にかかるユースケース図を示す説明図であり、図２０は、実施例９にかかる検証項目リストを示す図表である。図１９は、ユースケース１９０１からなるユースケース図１９００を示している。図２０は、ユースケース図１９００の検証項目リスト２０００を示している。
【００６８】
図１９において、ユースケース１９０１は固有の優先度λを有している。この優先度λは検証者が与える優先度である。したがって、上述した実施例１〜８に示したように、ユースケース１９０１に後から優先度Ｐが与えられても、優先度λを維持する。これにより、優先度設定の自由度の向上を図ることができる。
【実施例１０】
【００６９】
つぎに、優先度設定の実施例１０について説明する。図２１は、実施例１０にかかるユースケース図を示す説明図であり、図２２は、実施例１０にかかる検証項目リストを示す図表である。図２１は、ユースケース２１０１〜２１０５と、関連情報２１１１〜２１１３とからなるユースケース図２１００を示している。図２２は、ユースケース図２１００の検証項目リスト２２００を示している。この実施例１０では、図２に示した決定部２０４による最上位ユースケースの決定処理も含めて説明する。
【００７０】
まず、最上位ユースケースを決定する。具体的には、まず関連情報２１１１〜２１１３を抽出し、関連情報２１１１〜２１１３によって関連付けられているユースケース２１０１〜２１０５の中から、最上位ユースケースを決定する。すなわち、下記の要件１および要件２に合致する必要がある。
【００７１】
・要件１：いずれのユースケースの下位概念にはならないユースケースであり、かつ、少なくともいずれか一つのユースケースの上位概念のユースケースとなっているユースケース。
・要件２：いずれの関連情報によっても関連付けされていないユースケース。
【００７２】
たとえば、ユースケース２１０１は、関連情報２１１１および関連情報２１１２を有するが、関連情報２１１１によりユースケース２１０３の上位ユースケースと定義され、また、ユースケース２１０４の上位ユースケースと定義される。したがって、ユースケース２１０１は、上記要件１に合致しているため、ユースケース図２１００において、最上位ユースケースに決定することができる。また、ユースケース２１０２は、上記要件２に合致するため、ユースケース図２１００において、最上位ユースケースに決定することができる。なお、残余のユースケース２１０３〜２１０５は、上記要件１および要件２に合致しないため、最上位ユースケースにはならない。
【００７３】
つぎに、最上位ユースケースに決定されたユースケース２１０１および２１０２に関する検証項目に、優先度Ｐを設定する。そして、ユースケース２１０１の関連情報２１１１を抽出し、ユースケース２１０１の優先度Ｐと関連情報２１１１の値「＋２」とを用いて、ユースケース２１０３に関する検証項目の優先度を設定する。この場合、ユースケース２１０３に関する検証項目の優先度はＰ＋２となる。
【００７４】
また、ユースケース２１０１の関連情報２１１２を抽出し、ユースケース２１０１の優先度Ｐと関連情報２１１２の値「＋１」とを用いて、ユースケース２１０４に関する検証項目の優先度を設定する。この場合、ユースケース２１０４に関する検証項目の優先度はＰ＋１となる。
【００７５】
さらに、ユースケース２１０４の関連情報２１１３を抽出し、ユースケース２１０４の優先度Ｐ＋１と関連情報２１１３の値「＋２」とを用いて、ユースケース２１０４に関する検証項目の優先度を設定する。この場合、ユースケース２１０５に関する検証項目の優先度はＰ＋３となる。したがって、優先度が最も高いユースケース２１０５に関する検証項目が最も重要であることがわかる。
【実施例１１】
【００７６】
つぎに、優先度設定の実施例１１について説明する。図２３は、実施例１１にかかるユースケース図を示す説明図であり、図２４は、実施例１１にかかる検証項目リストを示す図表である。図２３は、ユースケース２３０１〜２３０４からなるユースケース図２３００を示している。図２４は、ユースケース図２３００の検証項目リスト２４００を示している。この実施例１１では、図２に示した判定部２０５による有向閉路の判定処理も含めて説明する。
【００７７】
判定処理について説明すると、まず、ユースケース図の中から、閉路を形成している、ユースケースおよび関連情報からなる記述集合を検出する。この場合、上述した実施例８で示したように、閉路でない場合であっても、暗黙の関連情報によって閉路になる場合には、閉路を形成する記述集合として検出する。そして、閉路を形成する記述集合内において、実施例１０に示した最上位ユースケースの要件１に合致するユースケースが記述されているか否かを検出する。
【００７８】
検出された場合には、当該閉路の記述集合は有向閉路の記述集合ではない。一方、検出された場合には、記述集合内において、最も上位概念のユースケース（最上位ユースケース）と最も下位概念のユースケース（最下位ユースケース）とを関連付けている関連情報において、当該最上位ユースケースが、最下位ユースケースに対して下位概念のユースケースに定義されることとなる。したがって、この記述集合は有向閉路と判定される。
【００７９】
すなわち、図２３に示したユースケース図（記述集合）２３００においては、ユースケース２３０１〜２３０４および関連情報２３１１〜２３１４は、閉路を形成している。この中のユースケース２３０１〜２３０４のうち、最上位ユースケースの要件１に合致するユースケースは存在しないため、ユースケース図２３００は、有向閉路を形成していると判定される。
【００８０】
有向閉路と判定されたユースケース図２３００のユースケース２３０１〜２３０４に関する検証項目については、図２４に示したように、同一の優先度Ｐを設定することとしてもよい。また、記述に誤りがあるとして、図２に示した出力部２０６から記述エラー情報を出力することとしてもよい。これにより、検証作業の開始前に記述エラーを発見することができ、検証作業の無駄を防止することができる。
【００８１】
（検証支援処理手順）
つぎに、この発明の実施の形態にかかる検証支援処理手順について説明する。図２５は、この発明の実施の形態にかかる検証支援処理手順を示すフローチャートである。図２５において、まず、ユースケース図が入力された場合（ステップＳ２５０１：Ｙｅｓ）、実施例１１で示したように、有向閉路判定処理をおこなう（ステップＳ２５０２）。有向閉路があった場合（ステップＳ２５０３：Ｙｅｓ）、記述エラー情報を出力する（ステップＳ２５０４）。これにより、一連の処理を終了する。一方、有向閉路がなかった場合（ステップＳ２５０３：Ｎｏ）、実施例１０に示したように、最上位ユースケース決定処理をおこなう（ステップＳ２５０５）。
【００８２】
そして、最上位ユースケースに決定されたユースケースに関する検証項目に優先度を設定する（ステップＳ２５０６）。つぎに、ユースケース図内の関連情報を抽出し（ステップＳ２５０７）、実施例１〜７に示したように、この関連情報によって関連付けられているユースケースに関する検証項目に優先度を設定する優先度設定処理を実行する（ステップＳ２５０８）。そして、すべての関連情報が抽出されていない場合（ステップＳ２５０９：Ｎｏ）、ステップＳ２５０７に移行して未抽出の関連情報を抽出する。
【００８３】
一方、すべての関連情報が抽出された場合（ステップＳ２５０９：Ｙｅｓ）、実施例８に示したような暗黙の関連情報が検出されたか否かを判断する（ステップＳ２５１０）。暗黙の関連情報が検出された場合（ステップＳ２５１０：Ｙｅｓ）、ステップＳ２５０８に移行して、暗黙の関連情報を用いて優先度設定処理をおこなう。一方、暗黙の関連情報が検出されなかった場合（ステップＳ２５１０：Ｎｏ）、検証項目に優先度が設定された検証項目リストを出力する（ステップＳ２５１１）。このあと、一連の処理を終了する。
【００８４】
なお、上述したフローチャートにおいては、ステップＳ２５０３において有向閉路があった場合（ステップＳ２５０３：Ｙｅｓ）、ステップＳ２５０４で記述エラー情報を出力することとしているが、実施例１１で示したように、有向閉路内のユースケースに関する検証項目に同一の優先度を設定することとしてもよい。
【００８５】
また、上述した実施の形態では、優先度の設定において、上位ユースケースと下位ユースケースとを関連付けている関連情報の値（または演算式）と、上位ユースケースに関する検証項目の優先度と、を用いて、下位ユースケースに関する検証項目の優先度を設定しているが、上位ユースケースと下位ユースケースとを関連付けている関連情報の値（または演算式）と、下位ユースケースに関する検証項目の優先度と、を用いて、上位ユースケースに関する検証項目の優先度を設定することとしてもよい。
【００８６】
たとえば、図５において、下位ユースケースに関する検証項目に優先度Ｐが設定されており、上位ユースケースに関する検証項目の優先度が未設定と仮定すると、上位ユースケースに関する検証項目の優先度をＰ−αとして設定する。
【００８７】
以上説明したように、本実施の形態によれば、ユースケース図に記述されているユースケースを用いているため、開発対象の仕様書に記述された機能を、検証項目として正確に網羅することができる。また、開発対象の仕様書に記述された機能を正確に網羅している検証項目に対して、ユースケースおよび関連情報に基づいて優先度を設定することにより、不具合が発生する可能性が高い重要な検証項目を認識することができる。
【００８８】
したがって、検証者は、優先度が高い順に検証項目を検証することにより、重大なバグの早期発見することができる。また、検証すべき検証項目が膨大な場合や検証期間が限られている場合などすべての検証項目の検証ができないときであっても、優先度の高い検証項目を選択して効率的な絞込みをおこなうことができ、検証工数の圧縮化を図ることができる。
【００８９】
以上説明したように、検証支援装置、検証支援方法、検証支援プログラム、および記録媒体によれば、開発対象の仕様書に記述された機能を正確に網羅している検証項目に対して簡単かつ正確に優先度を設定することにより、開発対象の不具合の早期発見および検証作業の効率化を図ることができる。
【００９０】
なお、本実施の形態で説明した検証支援方法は、予め用意されたプログラムをパーソナル・コンピュータやワークステーション等のコンピュータで実行することにより実現することができる。このプログラムは、ハードディスク、フレキシブルディスク、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤ等のコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。またこのプログラムは、インターネット等のネットワークを介して配布することが可能な伝送媒体であってもよい。
【００９１】
（付記１）検証対象の機能をあらわすユースケース図の入力を受け付ける入力手段と、
前記入力手段によって入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出する抽出手段と、
前記抽出手段によって抽出された関連情報に基づいて、前記ユースケースに関する検証項目の優先度を設定する設定手段と、
を備えることを特徴とする検証支援装置。
【００９２】
（付記２）前記抽出手段は、
前記入力手段によって入力されたユースケース図の中から、前記設定手段によって優先度が設定された検証項目のユースケース（以下、「第１のユースケース」という）の関連情報を抽出し、
前記設定手段は、
前記第１のユースケースに関する検証項目の優先度と、前記抽出手段によって抽出された関連情報と、に基づいて、当該関連情報によって前記第１のユースケースと関連付けられている第２のユースケースに関する検証項目の優先度を設定することを特徴とする付記１に記載の検証支援装置。
【００９３】
（付記３）前記設定手段は、
前記第２のユースケースに関する検証項目の優先度が、前記第２のユースケースの他の関連情報に基づいて設定されている場合、前記第２のユースケースに関する検証項目の優先度を再設定することを特徴とする付記２に記載の検証支援装置。
【００９４】
（付記４）前記抽出手段は、
前記入力手段によって入力されたユースケース図の中から、第１のユースケースと第２のユースケースとの間の汎化関係を示す第１の関連情報と、前記第１のユースケースと第３のユースケースとの間の包含または拡張関係を示す第２の関連情報と、を抽出し、
前記設定手段は、
前記抽出手段によって抽出された第１および第２の関連情報に基づいて、前記第１〜第３のユースケースに関する優先度を設定することを特徴とする付記１に記載の検証支援装置。
【００９５】
（付記５）前記抽出手段によって抽出された関連情報に基づいて、当該関連情報によって関連付けられているいずれのユースケースに対しても、上位概念のユースケースとなるユースケースを、前記ユースケース図の中で最も上位概念のユースケース（以下、「最上位ユースケース」という）に決定する決定手段を備え、
前記設定手段は、
前記決定手段によって決定された最上位ユースケースに関する検証項目の優先度に基づいて、前記最上位ユースケース以外の他のユースケースに関する検証項目の優先度を設定することを特徴とする付記１〜４のいずれか一つに記載の検証支援装置。
【００９６】
（付記６）前記抽出手段によって抽出されたいずれの関連情報にも関連付けられていないユースケースを、前記ユースケース図の中で最も上位概念のユースケース（以下、「最上位ユースケース」という）に決定する決定手段を備え、
前記設定手段は、
前記決定手段によって決定されたユースケースに関する検証項目に、所定の優先度を設定することを特徴とする付記１〜４のいずれか一つに記載の検証支援装置。
【００９７】
（付記７）前記抽出手段によって抽出された関連情報と、当該関連情報によって関連付けられるユースケースと、からなる記述集合が、有向閉路を形成しているか否かを判定する判定手段を備え、
前記設定手段は、
前記判定手段によって判定された判定結果に基づいて、前記記述集合内のすべてのユースケースに関する検証項目に、同一の優先度を設定することを特徴とする付記１〜６のいずれか一つに記載の検証支援装置。
【００９８】
（付記８）前記抽出手段によって抽出された関連情報と、当該関連情報によって関連付けられるユースケースと、からなる記述集合が、有向閉路を形成しているか否かを判定する判定手段と、
前記判定手段によって判定された判定結果に基づいて、前記ユースケース図の記述エラー情報を出力する出力手段と、
を備えることを特徴とする付記１〜７のいずれか一つに記載の検証支援装置。
【００９９】
（付記９）検証対象の機能をあらわすユースケース図の入力を受け付ける入力工程と、
前記入力工程によって入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出する抽出工程と、
前記抽出工程によって抽出された関連情報に基づいて、前記ユースケースに関する検証項目の優先度を設定する設定工程と、
を含んだことを特徴とする検証支援方法。
【０１００】
（付記１０）前記抽出工程は、
前記入力工程によって入力されたユースケース図の中から、前記設定工程によって優先度が設定された検証項目のユースケース（以下、「第１のユースケース」という）の関連情報を抽出し、
前記設定工程は、
前記第１のユースケースに関する検証項目の優先度と、前記抽出工程によって抽出された関連情報と、に基づいて、当該関連情報によって前記第１のユースケースと関連付けられている第２のユースケースに関する検証項目の優先度を設定することを特徴とする付記９に記載の検証支援方法。
【０１０１】
（付記１１）前記設定工程は、
前記第２のユースケースに関する検証項目の優先度が、前記第２のユースケースの他の関連情報に基づいて設定されている場合、前記第２のユースケースに関する検証項目の優先度を再設定することを特徴とする付記１０に記載の検証支援方法。
【０１０２】
（付記１２）検証対象の機能をあらわすユースケース図の入力を受け付けさせる入力工程と、
前記入力工程によって入力されたユースケース図の中から、当該ユースケース図に記述されているユースケース間の関係を示す任意の関連情報を抽出させる抽出工程と、
前記抽出工程によって抽出された関連情報に基づいて、前記ユースケースに関する検証項目の優先度を設定させる設定工程と、
をコンピュータに実行させることを特徴とする検証支援プログラム。
【０１０３】
（付記１３）前記抽出工程は、
前記入力工程によって入力されたユースケース図の中から、前記設定工程によって優先度が設定された検証項目のユースケース（以下、「第１のユースケース」という）の関連情報を抽出させ、
前記設定工程は、
前記第１のユースケースに関する検証項目の優先度と、前記抽出工程によって抽出された関連情報と、に基づいて、当該関連情報によって前記第１のユースケースと関連付けられている第２のユースケースに関する検証項目の優先度を設定させることを特徴とする付記１２に記載の検証支援プログラム。
【０１０４】
（付記１４）前記設定工程は、
前記第２のユースケースに関する検証項目の優先度が、前記第２のユースケースの他の関連情報に基づいて設定されている場合、前記第２のユースケースに関する検証項目の優先度を再設定させることを特徴とする付記１３に記載の検証支援プログラム。
【０１０５】
（付記１５）付記１２〜１４のいずれか一つに記載の検証支援プログラムを記録したコンピュータに読み取り可能な記録媒体。
【産業上の利用可能性】
【０１０６】
以上のように、本発明にかかる検証支援装置、検証支援方法、検証支援プログラム、および記録媒体は、ハードウェアやソフトウェアなどの検証ツールに有用である。
【図面の簡単な説明】
【０１０７】
【図１】この発明の実施の形態にかかる検証支援装置のハードウェア構成を示すブロック図である。
【図２】この発明の実施の形態にかかる検証支援装置の機能的構成を示す説明図である。
【図３】実施例１にかかるユースケース図を示す説明図である。
【図４】実施例１にかかる検証項目リストを示す図表である。
【図５】実施例２にかかるユースケース図を示す説明図である。
【図６】実施例２にかかる検証項目リストを示す図表である。
【図７】実施例３にかかるユースケース図を示す説明図である。
【図８】実施例３にかかる検証項目リストを示す図表である。
【図９】実施例４にかかるユースケース図を示す説明図である。
【図１０】実施例４にかかる検証項目リストを示す図表である。
【図１１】実施例５にかかるユースケース図を示す説明図である。
【図１２】実施例５にかかる検証項目リストを示す図表である。
【図１３】実施例６にかかるユースケース図を示す説明図である。
【図１４】実施例６にかかる検証項目リストを示す図表である。
【図１５】実施例７にかかるユースケース図を示す説明図である。
【図１６】実施例７にかかる検証項目リストを示す図表である。
【図１７】実施例８にかかるユースケース図を示す説明図である。
【図１８】実施例８にかかる検証項目リストを示す図表である。
【図１９】実施例９にかかるユースケース図を示す説明図である。
【図２０】実施例９にかかる検証項目リストを示す図表である。
【図２１】実施例１０にかかるユースケース図を示す説明図である。
【図２２】実施例１０にかかる検証項目リストを示す図表である。
【図２３】実施例１１にかかるユースケース図を示す説明図である。
【図２４】実施例１１にかかる検証項目リストを示す図表である。
【図２５】この発明の実施の形態にかかる検証支援処理手順を示すフローチャートである。
【符号の説明】
【０１０８】
２００  検証支援装置
２０１  入力部
２０２  抽出部
２０３  設定部
２０４  決定部
２０５  判定部
２０６  出力部
【図１】
2006252489.tif 000003
【図２】
2006252489.tif 000004
【図３】
2006252489.tif 000005
【図４】
2006252489.tif 000006
【図５】
2006252489.tif 000007
【図６】
2006252489.tif 000008
【図７】
2006252489.tif 000009
【図８】
2006252489.tif 000010
【図９】
2006252489.tif 000011
【図１０】
2006252489.tif 000012
【図１１】
2006252489.tif 000013
【図１２】
2006252489.tif 000014
【図１３】
2006252489.tif 000015
【図１４】
2006252489.tif 000016
【図１５】
2006252489.tif 000017
【図１６】
2006252489.tif 000018
【図１７】
2006252489.tif 000019
【図１８】
2006252489.tif 000020
【図１９】
2006252489.tif 000021
【図２０】
2006252489.tif 000022
【図２１】
2006252489.tif 000023
【図２２】
2006252489.tif 000024
【図２３】
2006252489.tif 000025
【図２４】
2006252489.tif 000026
【図２５】
2006252489.tif 000027