JPWO2014091732A1

JPWO2014091732A1 - テスト支援装置、及び、テスト支援方法

Info

Publication number: JPWO2014091732A1
Application number: JP2014551882A
Authority: JP
Inventors: 貴之黒田
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 2012-12-11
Filing date: 2013-12-06
Publication date: 2017-01-05
Anticipated expiration: 2033-12-06
Also published as: CN104956336B; US20150317239A1; WO2014091732A1; JP6191618B2; CN104956336A; US9792201B2

Abstract

特定のシステム構成部品を含むシステムの全ての構成の検証を網羅的かつ迅速に実施する。テスト支援装置（１００）は、記憶部（１０２）、及び、抽出処理部（１０１）を含む。ここで、システムの構成は、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される。記憶部（１０２）は、１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す構成部品関連情報（２０１）を記憶する。抽出処理部（１０１）は、機能性、または、プログラムが指定された場合に、構成部品関連情報（２０１）をもとに、指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する。

Description

本発明は、テスト支援装置、及び、テスト支援方法に関する。

一般に、ソフトウェア・システムの構築とは、異なる複数のミドルウェアのインストールや設定を行うことにより、これら複数のミドルウェアが協調して動作する環境を整えることである。

ソフトウェア開発の分野において、このような複数のミドルウェアを協調動作させる環境を効率的に構築するための仕組みとして、ソフトウェアの部品化や結合を行う手法が知られている。このような手法として、オブジェクト指向やコンポネント指向などの技術がある。このような手法を、複数のミドルウェアからなるシステムの構築に応用する技術が、例えば、非特許文献１に開示されている。

非特許文献１に開示される技術においては、システムのモデル（pattern）が、いくつかの機能性を実現するシステム構成部品であるプロダクト（component）の組み合わせで定義される。例えば、モデル"Web3Tier"は、機能性"RDB"を実現するプロダクト"MySQL"または"PostgreSQL"、及び、機能性"AP-Server"を実現するプロダクト"Tomcat"または"Jetty"を用いて構築される。すなわち、モデル"Web3Tier"を構成するプロダクトの組み合わせとして、"MySQL"と"Tomcat"、"MySQL"と"Jetty"、"PostgreSQL"と"Tomcat"、"PostgreSQL"と"Jetty"という４パターンが存在する。

また、このような、システム構成部品を組み合せて構成されるシステムの検証（テスト）を効率的に実施する技術が、例えば、特許文献１に開示されている。特許文献１に開示される技術においては、構成部品毎に動作を検証するテストケースが用意され、システムを構成する構成部品毎のテストケースが、当該システムの検証に必要なテストケースとして、まとめて提示される。

特開２０１１−１１８６３７号公報

"IBM Workload Deployer"、International Business Machines Corporation、［online］、［平成24年11月27日検索］、インターネット〈URL：http://www.redbooks.ibm.com/redbooks/SG248011/wwhelp/wwhimpl/js/html/wwhelp.htm〉

しかしながら、上述の特許文献１に記載の技術は、利用者等により指定された構成に係るテストケースを提示するものであり、例えば、特定のシステム構成部品の開発時に、当該構成部品に係るシステムの全ての構成の検証を網羅的に実施することはできない。

このため、例えば、上述のモデル"Web3Tier"を構成するプロダクトの組み合わせの内、検証が行われた"MySQL"と"Tomcat"の組み合わせでは、システムが正しく機能するが、検証が行われていない"MySQL"と"Jetty"の組み合わせでは、システムに問題が発生する可能性がある。

一般に、開発したシステム構成部品に係る検証は、当該構成部品の開発時にできる限り速やかに実施されることが望ましい。その理由は、開発した構成部品の問題の発見時期が遅れるほど、周辺の構成部品との間の依存性の増加に伴い、開発した構成部品について考慮すべき事項が増加するためである。また、他の理由は、開発者が開発した構成部品の内容を忘れたりすることにより、開発した構成部品の修正が困難になるためである。

また、開発したシステム構成部品に係る検証は、開発した構成部品に係る全ての構成について、網羅的に実行されることが望ましい。その理由は、選択される可能性が低い構成の検証が行われなかった場合、当該構成の問題の発見が遅れ、上述のように、開発した構成部品の修正が困難になるためである。

本発明の目的は上述の課題を解決し、特定のシステム構成部品を含むシステムの全ての構成の検証を網羅的かつ迅速に実施できる、テスト支援装置、及び、テスト支援方法を提供することにある。

本発明の一態様におけるテスト支援装置は、システムの構成が、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される場合に、１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す関連情報を記憶する記憶手段と、機能性、または、プログラムが指定された場合に、前記関連情報をもとに、前記指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する抽出手段と、を備える。

本発明の一態様におけるテスト支援方法は、システムの構成が、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される場合に、１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す関連情報を記憶し、機能性、または、プログラムが指定された場合に、前記関連情報をもとに、前記指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する。

本発明の一態様におけるコンピュータが読み取り可能な記録媒体は、システムの構成が、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される場合に、１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す関連情報を記憶し、機能性、または、プログラムが指定された場合に、前記関連情報をもとに、前記指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する、処理をコンピュータに実行させるプログラムを格納する。

本発明の効果は、特定のシステム構成部品を含むシステムの全ての構成の検証を網羅的かつ迅速に実施できることである。

本発明の第１の実施の形態の特徴的な構成を示すブロック図である。本発明の第１の実施の形態における、テスト支援装置１００の構成を示すブロック図である。本発明の第１の実施の形態における、テスト支援装置１００の処理を示すフローチャートである。本発明の第１の実施の形態における、プロダクトに対するシステム構成抽出処理（ステップＳ１０４）の詳細を示すフローチャートである。本発明の第１の実施の形態における、機能性に対するシステム構成抽出処理（ステップＳ１０５）の詳細を示すフローチャートである。本発明の第１の実施の形態における、モデルに対するシステム構成抽出処理（ステップＳ１０６）の詳細を示すフローチャートである。本発明の第１の実施の形態における、構成部品関連情報２０１の例を示す図である。本発明の第１の実施の形態における、構成部品情報２０２の例を示す図である。本発明の第１の実施の形態における、テストケース情報３０１の例を示す図である。本発明の第１の実施の形態における、機能性実現情報４０１の例を示す図である。本発明の第１の実施の形態における、システム構成情報５０１の例を示す図である。本発明の第１の実施の形態における、機能性実現情報４０１の他の例を示す図である。本発明の第１の実施の形態における、システム構成情報５０１の他の例を示す図である。本発明の第１の実施の形態における、機能性実現情報４０１の他の例を示す図である。本発明の第１の実施の形態における、システム構成情報５０１の他の例を示す図である。本発明の第１の実施の形態における、機能性実現情報４０１の他の例を示す図である。本発明の第１の実施の形態における、システム構成情報５０１の他の例を示す図である。本発明の第２の実施の形態における、テスト支援装置１００の処理を示すフローチャートである。本発明の第２の実施の形態における、システム構成抽出処理（ステップＳ２０３）の詳細を示すフローチャートである。本発明の第２の実施の形態における、機能性実現情報４０１の例を示す図である。本発明の第２の実施の形態における、システム構成情報５０１の例を示す図である。

（第１の実施の形態）
次に、本発明の第１の実施の形態について説明する。

はじめに、本発明の第１の実施の形態の構成について説明する。図２は、本発明の第１の実施の形態における、テスト支援装置１００の構成を示すブロック図である。

図２を参照すると、本発明の第１の実施の形態のテスト支援装置１００は、抽出処理部（または、抽出部）１０１、及び、記憶部１０２を含む。テスト支援装置１００は、利用者が情報の入出力に用いる入出力装置１１０と、ネットワーク等により通信可能に接続される。

抽出処理部１０１は、入出力装置１１０を介して、利用者から、システム構成の抽出要求を受け付ける。抽出要求は、追加や更新されたシステム構成部品等、他の構成部品への影響をテストする対象である構成部品（対象部品）の指定を含む。そして、抽出処理部１０１は、対象部品を含むシステム構成を抽出し、入出力装置１１０を介して、利用者へ出力する。

記憶部１０２は、構成部品関連情報（または、関連情報）２０１、及び、テストケース情報３０１を記憶する。ここで、構成部品関連情報２０１は、各システム構成部品と他のシステム構成部品との間の関連を示す。テストケース情報３０１は、各システム構成部品に係るテストケースを示す。

本発明の第１の実施の形態においては、システム構成部品として、プロダクト、機能性、及び、モデルが定義される。ここで、プロダクトは、ミドルウェアの実装（プログラム）を示す構成部品である。機能性は、ミドルウェアを抽象化した概念を定義する構成部品である。モデルは、ミドルウェアを組み合せたシステムを抽象的に定義する構成部品である。モデルのシステム構成は、当該モデルが保持すべき機能性と、各機能性を実現するプロダクトの組とにより、決定される。

なお、各システム構成部品（プロダクト、機能性、モデル）には、当該構成部品を一意に識別するための識別子（プロダクトｉｄｅｎｔｉｆｉｅｒ（以下、ＩＤと記載する）、機能性ＩＤ、モデルＩＤ）が付与される。

図７は、本発明の第１の実施の形態における、構成部品関連情報２０１の例を示す図である。図７において、四角はモデル、太線の円は機能性、細線の円はプロダクトを示す。また、実線の矢印は、始点のモデルが終点の機能性、または、モデルを保持すべきであることを示す。また、点線の矢印は、始点のプロダクト、または、機能性が終点の機能性を実現可能であることを示す。

ここで、機能性への点線の矢印の始点のプロダクトを、当該機能性の（直接的な）実現プロダクトと呼ぶ。例えば、図７の構成部品関連情報２０１において、プロダクト"mysql"は、機能性"rdb"の実現プロダクトである。プロダクトは複数の異なる機能性の実現プロダクトでもよい。同一の機能性が、複数の異なる実現プロダクトを有していてもよい。

また、機能性への点線の矢印の始点の他の機能性を、当該機能性の（直接的な）実現機能性と呼ぶ。例えば、図７の構成部品関連情報２０１において、機能性"rdb"は"db"の実現機能性である。機能性は複数の異なる他の機能性の実現機能性でもよい。同一の機能性が、複数の異なる実現機能性を有していてもよい。

また、ある機能性の実現機能性の実現プロダクトは、当該機能性の（間接的な）実現プロダクトでもある。例えば、図７の構成部品関連情報２０１において、プロダクト"mysql"は"rdb"の実現プロダクトであると同時に、"db"の実現プロダクトでもある。

また、モデルからの実線の矢印の終点の機能性を、当該モデルの（直接的な）要求機能性と呼ぶ。例えば、図７の構成部品関連情報２０１において、機能性"rdb"は、モデル"web3tier"の要求機能性である。同一の機能性が、複数の異なるモデルの要求機能性でもよい。同一のモデルが、複数の異なる要求機能性を有していてもよい。

また、モデルからの実線の矢印の終点の他のモデルを、当該モデルの（直接的な）要求モデルと呼ぶ。例えば、図７の構成部品関連情報２０１において、モデル"web3tier"はモデル"mail_web3tier"の要求モデルである。同一のモデルが、複数の異なるモデルの要求モデルでもよい。同一のモデルが、複数の異なる要求モデルを有していてもよい。

また、あるモデルの要求モデルの要求機能性は、当該モデルの（間接的な）要求機能性でもある。例えば、図７の構成部品関連情報２０１において、機能性"rdb"はモデル"web3tier"の要求機能性であると同時に、"mail_web3tier"の要求機能性でもある。

また、あるモデルの要求モデルの要求モデルは、当該モデルの（間接的な）要求モデルでもある。

モデルのシステム構成は、構成部品関連情報２０１において、当該モデルの全ての要求機能性の各々について、実現プロダクトの内のいずれかを選択することで決定される。

例えば、モデル"mail_web3tier"のシステム構成は、機能性"rdb"について、プロダクト"mysql"か"c"、機能性"ap-svr(server)"について、プロダクト"d"か"e"、機能性"mail-svr(server)"について、プロダクト"f"を選択することで決定される。同様に、モデル"batch"のシステム構成は、機能性"cache-svr(server)"について、プロダクト"a"、機能性"db"について、プロダクト"b"か"mysql"か"c"を選択することで決定される。

構成部品関連情報２０１は、各構成部品に係る構成部品情報２０２の集合で表されてもよい。

図８は、本発明の第１の実施の形態における、構成部品情報２０２の例を示す図である。

構成部品情報２０２は、構成部品の種別（プロダクト、機能性、モデル）を示す構成部品種別を含む。

図８において、構成部品情報２０２ａ、２０２ｂ、２０２ｃは、それぞれ、プロダクト、機能性、モデルに係る構成部品情報２０２の例である。

プロダクトに係る構成部品情報２０２ａは、プロダクトＩＤ、及び、当該プロダクトを（直接的な）実現プロダクトとする機能性の機能性ＩＤを含む。また、プロダクトや、当該プロダクトのインストールや設定などを行うためのドライバ等が、プロダクトＩＤに対応付けて、図示しない外部の記憶部に記憶されていてもよい。図８の例では、構成部品情報２０２ａは、プロダクト"mysql"が、機能性"rdb"の実現プロダクトであることを示している。

機能性に係る構成部品情報２０２ｂは、機能性ＩＤを含む。構成部品情報２０２ｂは、当該機能性を（直接的な）実現機能性とする他の機能性の機能性ＩＤを含んでいてもよい。また、機能性を実現するプロダクトの抽象化、すなわちプロダクト毎の差異の吸収を行うドライバ等が、機能性ＩＤに対応付けて、図示しない外部の記憶部に記憶されていてもよい。図８の例では、構成部品情報２０２ｂは、機能性"rdb"が、機能性"db"の実現機能性であることを示している。

モデルに係る構成部品情報２０２ｃは、モデルＩＤ、及び、当該モデルの（直接的な）要求機能性の機能性ＩＤを含む。また、構成部品情報２０２ｃは、当該モデルの（直接的な）要求モデルのモデルＩＤを含んでいてもよい。また、モデルの複数の要求機能性を実現するプロダクト間の協調動作を調整するドライバ等が、モデルＩＤに対応付けて、図示しない外部の記憶部に記憶されていてもよい。図８の例では、構成部品情報２０２ｃは、モデル"web3tier"の要求機能性が、機能性"rdb"と"ap-svr"であることを示している。

図９は、本発明の第１の実施の形態における、テストケース情報３０１の例を示す図である。

テストケース情報３０１は、テストケースの識別子（テストケースＩＤ）、及び、当該テストケースがテストを行う構成部品（プロダクト、機能性、モデル）の識別子を示すテスト対象を含む。テストケース情報３０１は、さらに、テスト内容として、プロダクトの正常なインストールを確認するためのコマンドや判定条件、機能性やモデルの正常性を確認するためのサンプルプログラムのインストールやそのコマンド、判定条件を含んでいてもよい。図９の例では、テストケース"mysql_test"が、プロダクト"mysql"のテストを行うためのテストケースであることを示している。また、テスト内容として、コマンド"aptitude show mysql"を実行すること、及び、コマンドの応答が"OK"の場合、テスト結果を正常と判定することを示している。

記憶部１０２は、各システム構成部品（プロダクト、機能性、モデル）について、テストケース情報３０１を記憶する。

なお、構成部品情報２０２やテストケース情報３０１は、Ｅｘｔｅｎｓｉｂｌｅ Markup Language（以下、ＸＭＬと記載する）形式で表現されていてもよい。

また、構成部品関連情報２０１やテストケース情報３０１は、図示しない外部の記憶部に記憶されており、図示しない取得部が、構成部品関連情報２０１やテストケース情報３０１を外部の記憶部から取得してもよい。

また、テスト支援装置１００はＣＰＵ（Central Processing Unit）とプログラムを記憶した記憶媒体を含み、プログラムに基づく制御によって動作するコンピュータであってもよい。

また、テスト支援装置１００は、さらに、テスト支援装置１００が出力するシステム構成に従って、コンピュータ上にシステムを構築するシステム構築装置（図示せず）、及び、テスト支援装置１００が出力するテストケースに従って、システムのテストを行うテスト実行装置（図示せず）と接続されていてもよい。

次に、本発明の第１の実施の形態におけるテスト支援装置１００の動作について説明する。図３は、本発明の第１の実施の形態における、テスト支援装置１００の処理を示すフローチャートである。

ここでは、記憶部１０２に、図７の構成部品関連情報２０１が記憶されている場合を例に、動作を説明する。

はじめに、抽出処理部１０１は、入出力装置１１０を介して、利用者からシステム構成の抽出要求を受け付ける（ステップＳ１０１）。ここで、抽出要求は、追加や更新されたシステム構成部品（対象部品）の識別子を含む。

抽出処理部１０１は、記憶部１０２から、抽出要求で指定された対象部品に係る構成部品情報２０２を取得する（ステップＳ１０２）。

抽出処理部１０１は、取得したシステム構成部品情報２０２の構成部品種別により、対象部品の種別を確認する（ステップＳ１０３）。

対象部品の種別がプロダクトの場合（ステップＳ１０３／プロダクト）、抽出処理部１０１は、後述する、プロダクトに対するシステム構成抽出処理を実行する（ステップＳ１０４）。

対象部品の種別が機能性の場合（ステップＳ１０３／機能性）、抽出処理部１０１は、後述する、機能性に対するシステム構成抽出処理を実行する（ステップＳ１０５）。

対象部品の種別がモデルの場合（ステップＳ１０３／モデル）、抽出処理部１０１は、後述する、モデルに対するシステム構成抽出処理を実行する（ステップＳ１０６）。

ステップＳ１０４〜Ｓ１０６のシステム構成抽出処理により、対象部品を含むシステム構成を示すシステム構成情報５０１が生成される。

抽出処理部１０１は、テストケース情報３０１をもとに、システム構成情報５０１に含まれる、各システム構成の各構成部品について、当該構成部品をテスト対象とするテストケースを取得し、システム構成情報５０１に設定する（ステップＳ１０７）。

抽出処理部１０１は、システム構成情報５０１を、入出力装置１１０を介して、利用者へ出力する（ステップＳ１０８）。

次に、ステップＳ１０４〜Ｓ１０６のシステム構成抽出処理の詳細を説明する。

＜プロダクトに対するシステム構成抽出処理＞
はじめに、プロダクトに対するシステム構成抽出処理（ステップＳ１０４）の詳細を説明する。

図４は、本発明の第１の実施の形態における、プロダクトに対するシステム構成抽出処理（ステップＳ１０４）の詳細を示すフローチャートである。

プロダクトに対するシステム構成抽出処理では、対象部品であるプロダクト（対象プロダクト）が影響を及ぼす機能性及びモデルが抽出される。そして、抽出されたモデルについて、対象プロダクトを含むシステム構成が抽出される。

はじめに、抽出処理部１０１は、構成部品関連情報２０１をもとに、対象プロダクトを実現プロダクトとする機能性を特定する。ここで、抽出処理部１０１は、構成部品関連情報２０１において、対象プロダクトからの点線の矢印を順方向に再帰的に辿って得られる全ての経路上の機能性を探索することにより、対象プロダクトを実現プロダクトとする機能性を特定する（ステップＳ１０４１）。

例えば、対象プロダクトとして、図７の構成部品関連情報２０１における、プロダクト"mysql"が指定された場合、抽出処理部１０１は、プロダクト"mysql"を実現プロダクトとする機能性として、機能性"rdb"、"db"を特定する。

次に、抽出処理部１０１は、構成部品関連情報２０１をもとに、ステップＳ１０４１にて特定した機能性の各々について、当該機能性を要求機能性とするモデルを抽出する。ここで、抽出処理部１０１は、構成部品関連情報２０１において、抽出したモデルへの実線の矢印を逆方向に再帰的に辿って得られる全ての経路上のモデルを探索することにより、特定した各機能性を要求機能性とするモデルを抽出する（ステップＳ１０４２）。

例えば、抽出処理部１０１は、機能性"rdb"を要求機能性とするモデルとして、"web3tier"、"mail_web3tier"を抽出する。また、抽出処理部１０１は、機能性"db"を要求機能性とするモデルとして、"batch"を抽出する。

次に、抽出処理部１０１は、ステップＳ１０４２で抽出したモデルの内の１つを選択する（ステップＳ１０４３）。ここで、抽出処理部１０１は、構成部品関連情報２０１において、ステップＳ１０４１で特定された機能性に近いモデルから先に選択してもよい。

抽出処理部１０１は、構成部品関連情報２０１をもとに、ステップＳ１０４３で選択したモデルの要求機能性を抽出する。ここで、抽出処理部１０１は、構成部品関連情報２０１において、選択したモデルからの実線の矢印を順方向に再帰的に辿って得られる全ての経路上の要求モデルを探索することにより、選択したモデルの要求モデルを抽出する。そして、選択したモデル、及び、抽出した各要求モデルの要求機能性を抽出する（ステップＳ１０４４）。

例えば、ステップＳ１０４３でモデル"web3tier"が選択された場合、抽出処理部１０１は、モデル"web3tier"の要求機能性として、機能性"rdb"、"ap-svr"を抽出する。

次に、抽出処理部１０１は、ステップＳ１０４４で抽出した各要求機能性について、当該要求機能性の実現プロダクトの集合を抽出する。ここで、抽出処理部１０１は、構成部品関連情報２０１において、抽出した要求機能性への点線の矢印を逆方向に再帰的に辿って得られる全ての経路上の機能性を探索し、抽出した各要求機能性の実現機能性を抽出する。そして、抽出した要求機能性、及び、抽出した実現機能性の実現プロダクトを抽出する。そして、抽出処理部１０１は、モデルに適用可能な実現プロダクトを示す機能性実現情報４０１を生成する（ステップＳ１０４５）。

なお、ステップＳ１０４４で抽出した要求機能性が、ステップＳ１０４１で特定された対象プロダクトを実現プロダクトとする機能性の場合、抽出処理部１０１は、構成部品関連情報２０１において、次のように、実現機能性を抽出する。すなわち、抽出処理部１０１は、抽出した要求機能性への点線の矢印を逆方向に再帰的に辿って得られる経路の内、抽出した要求機能性と対象プロダクトとの間の経路上の機能性のみを探索し、実現機能性を抽出する。この場合、抽出処理部１０１は、実現プロダクトとして、対象プロダクトのみを抽出する。

図１０、図１２、図１４、図１６は、本発明の第１の実施の形態における、機能性実現情報４０１の例を示す図である。機能性実現情報４０１は、モデルについて抽出された要求モデルのモデルＩＤと要求機能性の機能性ＩＤ、及び、当該要求機能性について抽出された実現機能性の機能性ＩＤと実現プロダクトのプロダクトＩＤの集合を含む。

例えば、抽出した要求機能性の内、機能性"rdb"は、対象プロダクト"mysql"を実現プロダクトとする機能性であるため、抽出処理部１０１は、機能性"rdb"について、実現プロダクト"mysql"を抽出する。また、抽出処理部１０１は、機能性"ap-svr"について、実現プロダクト"d"、"e"を抽出する。この結果、抽出処理部１０１は、モデル"web3tier"に対して、図１０の機能性実現情報４０１ａを生成する。

なお、抽出処理部１０１は、ステップＳ１０４３で選択したモデルの要求モデルについて、機能性実現情報４０１が既に生成されている場合は、当該生成済みの機能性実現情報４０１の内容を利用してもよい。

次に、抽出処理部１０１は、ステップＳ１０４５で抽出された、各要求機能性についての実現プロダクトの集合をもとに、モデルに適用可能なシステム構成を抽出する。ここで、抽出処理部１０１は、各要求機能性の実現プロダクトの集合の直積を求め、実現プロダクトの組み合わせを取得することにより、システム構成を抽出する。そして、抽出処理部１０１は、得られたシステム構成をシステム構成情報５０１に設定する（ステップＳ１０４６）。

図１１、図１３、図１５、図１７は、本発明の第１の実施の形態における、システム構成情報５０１の例を示す図である。システム構成情報５０１は、システム構成を識別するための識別子（構成ＩＤ）、モデルのモデルＩＤ、当該モデルについて抽出された要求モデルのモデルＩＤと要求機能性の機能性ＩＤを含む。さらに、システム構成情報５０１は、当該要求機能性について抽出された実現機能性の機能性ＩＤと実現プロダクトのプロダクトＩＤ、及び、当該実現プロダクトのテストを行うためのテストケースのテストケースＩＤを含む。

例えば、抽出処理部１０１は、要求機能性"rdb"の実現プロダクトの集合{"mysql"}と要求機能性"ap-svr"の実現プロダクトの集合{"d","e"}との直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"mysql","d"}、{"mysql","e"}となる。抽出処理部１０１は、これらの組み合わせについて、図１０の機能性実現情報４０１から、モデルと要求モデルのモデルＩＤ、要求機能性と実現機能性の機能性ＩＤ、及び、実現プロダクトのプロダクトＩＤを取得し、図１１のシステム構成情報５０１ａにおける、構成ＩＤ"1"、"2"のように、システム構成を設定する。

抽出処理部１０１は、ステップＳ１０４２で抽出した全てのモデルについて、ステップＳ１０４３〜Ｓ１０４６を繰り返す（ステップＳ１０４７）。

例えば、ステップＳ１０４３でモデル"mail_web3tier"が選択された場合、抽出処理部１０１は、モデル"mail_web3tier"の要求モデル、要求機能性として、モデル"web3tier"、機能性"rdb"、"ap-svr"、及び、機能性"mail-svr"を抽出する。

そして、抽出処理部１０１は、上述と同様に、抽出した要求機能性の内、機能性"rdb"について、実現プロダクト"mysql"を、機能性"ap-svr"について、実現プロダクト"d"、"e"を抽出する。さらに、抽出処理部１０１は、機能性"mail-svr"について、実現プロダクト"f"を抽出する。この結果、抽出処理部１０１は、モデル"mail_web3tier"に対して、図１０の機能性実現情報４０１ｂを生成する。

抽出処理部１０１は、要求機能性"rdb"の実現プロダクトの集合{"mysql"}、要求機能性"ap-svr"の実現プロダクトの集合{"d","e"}、及び、要求機能性"mail-svr"の実現プロダクトの集合{"f"}の直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"mysql","d","f"}、{"mysql","e","f"}となる。抽出処理部１０１は、これらの組み合わせについて、図１１のシステム構成情報５０１ａにおける、構成ＩＤ"3"、"4"のように、システム構成を設定する。

また、ステップＳ１０４３でモデル"batch"が選択された場合、抽出処理部１０１は、モデル"batch"の要求機能性として、機能性"cache-svr"、"db"を抽出する。

そして、抽出処理部１０１は、抽出した要求機能性の内、機能性"cache-svr"について、実現プロダクト"a"を抽出する。また、機能性"db"は、対象プロダクト"mysql"を実現プロダクトとする機能性であるため、抽出処理部１０１は、機能性"mail-svr"について、実現機能性"rdb"、実現プロダクト"mysql"を抽出する。この結果、抽出処理部１０１は、モデル"batch"に対して、図１０の機能性実現情報４０１ｃを生成する。

抽出処理部１０１は、要求機能性"cache-svr"の実現プロダクトの集合{"a"}と要求機能性"db"の実現プロダクトの集合{"mysql"}の直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"a","mysql"}となる。抽出処理部１０１は、これらの組み合わせについて、図１１のシステム構成情報５０１ａにおける、構成ＩＤ"5"のように、システム構成を設定する。

そして、抽出処理部１０１は、図９のテストケース情報３０１をもとに、図１１のシステム構成情報５０１ａにおける実現プロダクト"mysql"のテストケースとして、テストケース"mysql_test"を設定する。抽出処理部１０１は、他の実現プロダクトについても、図１１に示すように、テストケースを設定する。

また、他の例として、例えば、対象プロダクトとして、図７の構成部品関連情報２０１における、プロダクト"a"が指定された場合、抽出処理部１０１は、プロダクト"a"を実現プロダクトとする機能性として、機能性"cache-svr"を特定する。

抽出処理部１０１は、機能性"cache-svr"を要求機能性とするモデルとして、"batch"を抽出する。

抽出処理部１０１は、モデル"batch"の要求機能性として、機能性"cache-svr"、"db"を抽出する。

抽出処理部１０１は、抽出した要求機能性の内、機能性"cache-svr"は、対象プロダクト"a"を実現プロダクトとする機能性であるため、抽出処理部１０１は、機能性"cache-svr"について、実現プロダクト"a"を抽出する。また、抽出処理部１０１は、機能性"db"について、実現プロダクト"b"、及び、実現機能性"rdb"、実現プロダクト"mysql"、"c"を抽出する。この結果、抽出処理部１０１は、モデル"batch"に対して、図１２の機能性実現情報４０１ｄを生成する。

抽出処理部１０１は、要求機能性"cache-svr"の実現プロダクトの集合{"a"}と要求機能性"db"の実現プロダクトの集合{"b","mysql","c"}の直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"a","b"}、{"a","mysql"}、{"a","c"}となる。抽出処理部１０１は、これらの組み合わせについて、図１３のシステム構成情報５０１ｂにおける、構成ＩＤ"1"、"2"、"3"のように、システム構成を設定する。

＜機能性に対するシステム構成抽出処理＞
次に、機能性に対するシステム構成抽出処理（ステップＳ１０５）の詳細を説明する。

図５は、本発明の第１の実施の形態における、機能性に対するシステム構成抽出処理（ステップＳ１０５）の詳細を示すフローチャートである。

機能性に対するシステム構成抽出処理では、対象部品である機能性（対象機能性）が影響を及ぼす機能性およびモデルが抽出される。そして、抽出されたモデルについて、対象機能性を含むシステム構成が抽出される。

はじめに、抽出処理部１０１は、構成部品関連情報２０１をもとに、対象機能性を実現機能性とする機能性を特定する。ここで、抽出処理部１０１は、構成部品関連情報２０１において、対象機能性からの点線の矢印を順方向に再帰的に辿って得られる全ての経路上の機能性を探索することにより、対象機能性を実現機能性とする機能性を特定する（ステップＳ１０５１）。

例えば、対象機能性として、図７の構成部品関連情報２０１における、機能性"rdb"が指定された場合、抽出処理部１０１は、機能性"rdb"を実現機能性とする機能性として、機能性"db"を特定する。

次に、抽出処理部１０１は、ステップＳ１０４２と同様に、対象機能性、及び、ステップＳ１０５１にて特定した機能性の各々について、当該機能性を要求機能性とするモデルを抽出する（ステップＳ１０５２）。

次に、抽出処理部１０１は、ステップＳ１０５２で抽出したモデルの内の１つを選択する（ステップＳ１０５３）。

抽出処理部１０１は、ステップＳ１０４４と同様に、ステップＳ１０５３で選択したモデルの要求機能性を抽出する（ステップＳ１０５４）。

次に、抽出処理部１０１は、ステップＳ１０４５と同様に、ステップＳ１０５４で抽出した各要求機能性について、当該要求機能性の実現プロダクトの集合を抽出する（ステップＳ１０５５）。

なお、ステップＳ１０５４で抽出した要求機能性が、ステップＳ１０５１で特定された対象機能性を実現機能性とする機能性の場合、抽出処理部１０１は、構成部品関連情報２０１において、以下のように、実現機能性を抽出する。すなわち、抽出処理部１０１は、抽出した要求機能性への点線の矢印を逆方向に再帰的に辿って得られる経路の内、抽出した要求機能性と対象機能性との間の経路を含む経路上の機能性のみを探索し、実現機能性を抽出する。

例えば、抽出処理部１０１は、抽出した要求機能性の内、機能性"rdb"について、実現プロダクト"mysql"、"c"を抽出する。同様に、抽出処理部１０１は、機能性"ap-svr"について、実現プロダクト"d"、"e"を抽出する。この結果、抽出処理部１０１は、モデル"web3tier"に対して、図１４の機能性実現情報４０１ｅを生成する。

次に、抽出処理部１０１は、ステップＳ１０４６と同様に、モデルに適用可能なシステム構成を抽出する（ステップＳ１０５６）。

例えば、抽出処理部１０１は、要求機能性"rdb"の実現プロダクトの集合{"mysql","c"}と要求機能性"ap-svr"の実現プロダクトの集合{"d","e"}との直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"mysql","d"}、{"mysql","e"}、{"c","d"}、{"c","e"}となる。抽出処理部１０１は、これらの組み合わせについて、図１５のシステム構成情報５０１ｃにおける、構成ＩＤ"1"、"2"、"3"、"4"のように、システム構成を設定する。

抽出処理部１０１は、ステップＳ１０５２で抽出した全てのモデルについて、ステップＳ１０５３〜Ｓ１０５６を繰り返す（ステップＳ１０５７）。

例えば、ステップＳ１０５３でモデル"mail_web3tier"が選択された場合、抽出処理部１０１は、モデル"mail_web3tier"の要求モデル、要求機能性として、モデル"web3tier"、機能性"rdb"、"ap-svr"、及び、機能性"mail-svr"を抽出する。

そして、抽出処理部１０１は、上述と同様に、抽出した要求機能性の内、機能性"rdb"について、実現プロダクト"mysql"、"c"を、機能性"ap-svr"について、実現プロダクト"d"、"e"を抽出する。また、抽出処理部１０１は、機能性"mail-svr"について、実現プロダクト"f"を抽出する。この結果、抽出処理部１０１は、モデル"mail_web3tier"に対して、図１４の機能性実現情報４０１ｆを生成する。

抽出処理部１０１は、要求機能性"rdb"の実現プロダクトの集合{"mysql","c"}、要求機能性"ap-svr"の実現プロダクトの集合{"d","e"}、及び、要求機能性"mail-svr"の実現プロダクトの集合{"f"}の直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"mysql","d","f"}、{"mysql","e","f"}、{"c","d","f"}、{"c","e","f"}となる。抽出処理部１０１は、これらの組み合わせについて、図１５のシステム構成情報５０１ｃにおける、構成ＩＤ"5"、"6"、"7"、"8"のように、システム構成を設定する。

また、ステップＳ１０５３でモデル"batch"が選択された場合、抽出処理部１０１は、モデル"batch"の要求機能性として、機能性"cache-svr"、"db"を抽出する。

そして、抽出処理部１０１は、抽出した要求機能性の内、機能性"cache-svr"について、実現プロダクト"a"を抽出する。また、機能性"db"は、対象機能性"rdb"を実現機能性とする機能性であるため、抽出処理部１０１は、機能性"db"について、実現機能性"rdb"、実現プロダクト"mysql"、"c"を抽出する。この結果、抽出処理部１０１は、モデル"batch"に対して、図１４の機能性実現情報４０１ｇを生成する。

抽出処理部１０１は、要求機能性"cache-svr"の実現プロダクトの集合{"a"}と要求機能性"db"の実現プロダクトの集合{"mysql","c"}の直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"a","mysql"}、{"a","c"}となる。抽出処理部１０１は、これらの組み合わせについて、図１５のシステム構成情報５０１ｃにおける、構成ＩＤ"9"、"10"のように、システム構成を設定する。

＜モデルに対するシステム構成抽出処理＞
次に、モデルに対するシステム構成抽出処理（ステップＳ１０６）の詳細を説明する。

図６は、本発明の第１の実施の形態における、モデルに対するシステム構成抽出処理（ステップＳ１０６）の詳細を示すフローチャートである。

モデルに対するシステム構成抽出処理では、対象部品であるモデル（対象モデル）が影響を及ぼす機能性及びモデルが抽出される。そして、抽出されたモデルについて、対象モデルを含むシステム構成が抽出される。

はじめに、抽出処理部１０１は、構成部品関連情報２０１をもとに、対象モデルを要求モデルとするモデルを抽出する。ここで、抽出処理部１０１は、構成部品関連情報２０１において、対象モデルへの実線の矢印を逆方向に再帰的に辿って得られる全ての経路上のモデルを探索することにより、対象モデルを要求モデルとするモデルを抽出する（ステップＳ１０６２）。

例えば、対象モデルとして、図７の構成部品関連情報２０１における、モデル"web3tier"が指定された場合、抽出処理部１０１は、モデル"web3tier"を要求モデルとするモデルとして、"mail_web3tier"を抽出する。

次に、抽出処理部１０１は、対象モデル、及び、ステップＳ１０６２で抽出したモデルの内の１つを選択する（ステップＳ１０６３）。

抽出処理部１０１は、ステップＳ１０４４と同様に、ステップＳ１０６３で選択したモデルの要求機能性を抽出する（ステップＳ１０６４）。

次に、抽出処理部１０１は、ステップＳ１０４５と同様に、ステップＳ１０６４で抽出した各要求機能性について、当該要求機能性の実現プロダクトの集合を抽出する（ステップＳ１０６５）。

例えば、抽出処理部１０１は、抽出した要求機能性の内、機能性"rdb"について、実現プロダクト"mysql"、"c"を抽出する。同様に、抽出処理部１０１は、機能性"ap-svr"について、実現プロダクト"d"、"e"を抽出する。この結果、抽出処理部１０１は、モデル"web3tier"に対して、図１６の機能性実現情報４０１ｈを生成する。

次に、抽出処理部１０１は、ステップＳ１０４６と同様に、モデルに適用可能なシステム構成を抽出する（ステップＳ１０６６）。

例えば、抽出処理部１０１は、要求機能性"rdb"の実現プロダクトの集合{"mysql","c"}と要求機能性"ap-svr"の実現プロダクトの集合{"d","e"}との直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"mysql","d"}、{"mysql","e"}、{"c","d"}、{"c","e"}となる。抽出処理部１０１は、これらの組み合わせについて、図１７のシステム構成情報５０１ｄにおける、構成ＩＤ"1"、"2"、"3"、"4"のように、システム構成を設定する。

抽出処理部１０１は、対象モデル、及び、ステップＳ１０６２で抽出したモデルの全てについて、ステップＳ１０６３〜Ｓ１０６６を繰り返す（ステップＳ１０６７）。

例えば、ステップＳ１０６３でモデル"mail_web3tier"が選択された場合、抽出処理部１０１は、モデル"mail_web3tier"の要求モデル、要求機能性として、モデル"web3tier"、機能性"rdb"、"ap-svr"、及び、機能性"mail-svr"を抽出する。

そして、抽出処理部１０１は、上述と同様に、抽出した要求機能性の内、機能性"rdb"について、実現プロダクト"mysql"、"c"を、機能性"ap-svr"について、実現プロダクト"d"、"e"を抽出する。また、抽出処理部１０１は、機能性"mail-svr"について、実現プロダクト"f"を抽出する。この結果、抽出処理部１０１は、モデル"mail_web3tier"に対して、図１６の機能性実現情報４０１ｉを生成する。

抽出処理部１０１は、要求機能性"rdb"の実現プロダクトの集合{"mysql","c"}、要求機能性"ap-svr"の実現プロダクトの集合{"d","e"}、及び、要求機能性"mail-svr"の実現プロダクトの集合{"f"}の直積を算出する。直積の算出結果が、実現プロダクトの組み合わせ{"mysql","d","f"}、{"mysql","e","f"}、{"c","d","f"}、{"c","e","f"}となる。抽出処理部１０１は、これらの組み合わせについて、図１７のシステム構成情報５０１ｄにおける、構成ＩＤ"5"、"6"、"7"、"8"のように、システム構成を設定する。

以上により、本発明の第１の実施の形態の動作が完了する。

次に、本発明の第１の実施の形態の特徴的な構成を説明する。図１は、本発明の第１の実施の形態の特徴的な構成を示すブロック図である。

図１を参照すると、テスト支援装置１００は、記憶部１０２、及び、抽出処理部１０１を含む。ここで、システムの構成は、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される。記憶部１０２は、１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す構成部品関連情報２０１を記憶する。抽出処理部１０１は、機能性、または、プログラムが指定された場合に、構成部品関連情報２０１をもとに、指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する。

本発明の第１の実施の形態によれば、特定のシステム構成部品を含むシステムの全ての構成の検証を網羅的かつ迅速に実施できる。その理由は、抽出処理部１０１が、機能性、または、プログラムが指定された場合に、構成部品関連情報２０１をもとに、指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力するためである。これにより、システム構成部品の追加や更新に伴う、検証のための工数を低減するとともに、追加や更新のあるシステムの構成を、もれなく検証できる。

また、本発明の第１の実施の形態によれば、特定のシステム構成部品を含むシステムの全ての構成の検証に必要なテストケースを、容易に取得できる。その理由は、抽出処理部１０１が、テストケース情報３０１から、抽出されたシステム構成に含まれる、各機能性、及び、各プログラムに係るテストケースの識別子を抽出し、出力するためである。

また、本発明の第１の実施の形態によれば、特定のシステム構成部品を含むシステムの全ての構成の検証を自動化できる。その理由は、システム構築装置が、抽出処理部１０１により抽出されたシステムの構成に従って、システムを構築し、テスト実行装置が、抽出処理部１０１により抽出されたテストケースに従って、システムのテストを行えるためである。

（第２の実施の形態）
次に、本発明の第２の実施の形態について説明する。

本発明の第２の実施の形態においては、抽出処理部１０１が、構成部品関連情報２０１に含まれる全てのモデルについて適用可能なシステム構成を生成した後で、対象部品を含むシステム構成を抽出する点で、本発明の第１の実施の形態と異なる。

本発明の第２の実施の形態における、テスト支援装置１００の構成は、本発明の第１の実施の形態の構成（図２）と同様である。

次に、本発明の第２の実施の形態におけるテスト支援装置１００の動作について説明する。図１８は、本発明の第２の実施の形態における、テスト支援装置１００の処理を示すフローチャートである。

ここでは、本発明の第１の実施の形態と同様に、記憶部１０２に、図７の構成部品関連情報２０１が記憶されている場合を例に、動作を説明する。

図１８において、対象部品に係る構成部品情報２０２の取得までの処理とテストケースの取得以降の処理（ステップＳ２０１〜Ｓ２０２、Ｓ２０７〜Ｓ２０８）は、本発明の第１の実施の形態（ステップＳ１０１〜Ｓ１０２、Ｓ１０７〜Ｓ２０８）と同様である。

抽出処理部１０１は、対象部品の種別によらず、後述するシステム構成抽出処理を実行する（ステップＳ２０３）。

次に、ステップＳ２０３のシステム構成抽出処理の詳細を説明する。

＜システム構成抽出処理＞
図１９は、本発明の第２の実施の形態における、システム構成抽出処理（ステップＳ２０３）の詳細を示すフローチャートである。

本発明の第２の実施の形態におけるシステム構成抽出処理では、構成部品関連情報２０１に含まれる全てのモデルについて、適用可能なシステム構成が生成される。そして、抽出されたシステム構成の内、対象部品を含むシステム構成が抽出される。

はじめに、抽出処理部１０１は、構成部品関連情報２０１に含まれる全てのモデルを抽出する（ステップＳ２０３２）。

次に、抽出処理部１０１は、ステップＳ２０３２で抽出したモデルの内の１つを選択する（ステップＳ２０３３）。

抽出処理部１０１は、ステップＳ１０４４と同様に、ステップＳ２０３３で選択したモデルの要求機能性を抽出する（ステップＳ２０３４）。

次に、抽出処理部１０１は、ステップＳ１０４５と同様に、ステップＳ２０３４で抽出した要求機能性の各々について、当該要求機能性の実現プロダクトの集合を抽出する（ステップＳ２０３５）。

次に、抽出処理部１０１は、ステップＳ１０４６と同様に、モデルに適用可能なシステム構成を設定する（ステップＳ２０３６）。

抽出処理部１０１は、対象モデル、及び、ステップＳ２０３２で抽出したモデルの全てについて、ステップＳ２０３３〜Ｓ２０３６を繰り返す（ステップＳ２０３７）。

図２０は、本発明の第２の実施の形態における、機能性実現情報４０１の例を示す図である。図２１は、本発明の第２の実施の形態における、システム構成情報５０１の例を示す図である。

例えば、抽出処理部１０１は、図７の構成部品関連情報２０１に含まれるモデル"web3tier"、"mail_web3tier"、"batch"に対して、図２０の機能性実現情報４０１ｊ、４０１ｋ、４０１ｌを生成する。そして、抽出処理部１０１は、図２１のシステム構成情報５０１ｅのように、システム構成を設定する。

最後に、抽出処理部１０１は、システム構成情報５０１に含まれるシステム構成の内、対象部品を含む構成のみを抽出する（ステップＳ２０３８）。

例えば、対象部品として、図７の構成部品関連情報２０１における、プロダクト"mysql"が指定された場合、抽出処理部１０１は、図２１のシステム構成情報５０１ｅに含まれるシステム構成の内、プロダクト"mysql"を実現プロダクトに含む、構成ＩＤ"1"、"2"、"5"、"6"、"10"の構成を抽出する。

以上により、本発明の第２の実施の形態の動作が完了する。

本発明の第２の実施の形態によれば、本発明の第１の実施の形態と同様に、特定のシステム構成部品を含むシステムの全ての構成の検証を網羅的かつ迅速に実施できる。

以上、実施形態を参照して本願発明を説明したが、本願発明は上記実施形態に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得る様々な変更をすることができる。

この出願は、２０１２年１２月１１日に出願された日本出願特願２０１２−２７０３６４を基礎とする優先権を主張し、その開示の全てをここに取り込む。

１００テスト支援装置
１０１抽出処理部
１０２記憶部
１１０入出力装置
２０１構成部品関連情報
２０２構成部品情報
３０１テストケース情報
４０１機能性実現情報
５０１システム構成情報

Claims

システムの構成が、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される場合に、
１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す関連情報を記憶する記憶手段と、
機能性、または、プログラムが指定された場合に、前記関連情報をもとに、前記指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する抽出手段と、
を備えるテスト支援装置。
前記記憶手段は、さらに、各システム、各機能性、及び、各プログラムに係るテストケースの識別子を含むテストケース情報を記憶し、
前記抽出手段は、前記テストケース情報を参照し、前記抽出されたシステムに係るテストケース、及び、前記抽出されたシステムの構成に含まれる、各機能性、及び、各プログラムに係るテストケースの識別子を、前記抽出されたシステムの構成とともに出力する、
請求項１に記載のテスト支援装置。
前記抽出手段は、プログラムが指定された場合に、
前記指定されたプログラムが実現する機能性を特定し、
前記特定された機能性を保持すべき全てのシステムを抽出し、
前記抽出された全てのシステムの各々について、当該システムが保持すべき複数の機能性を抽出し、前記抽出された複数の機能性の内、前記指定されたプログラムが実現する機能性については、前記指定されたプログラムからなる集合を生成し、前記指定されたプログラムが実現する機能性以外の各機能性については、当該機能性を実現可能な１以上のプログラムからなる集合を生成し、前記抽出された複数の機能性について生成された全ての集合の直積により、前記抽出された複数の機能性の各々を実現するプログラムの組を抽出することにより、システムの構成を抽出する、
請求項１または２に記載のテスト支援装置。
前記機能性について、上位の機能性と当該上位の機能性を実現する下位の機能性との１以上の繰り返しが定義可能な場合、
前記関連情報は、さらに、各機能性を実現可能な１以上の下位の機能性を示し、
前記抽出手段は、
前記指定されたプログラムが実現する機能性を特定する場合、前記指定されたプログラムが実現する機能性が実現する上位の機能性を再帰的に特定し、
前記抽出された複数の機能性の各々を実現するプログラムの組を抽出する場合、前記抽出された複数の機能性の内、前記指定されたプログラムから再帰的に特定された機能性については、当該機能性を実現する下位の機能性を、前記指定されたプログラムが実現する機能性まで再帰的に抽出し、前記指定されたプログラムからなる集合を生成し、前記指定されたプログラムから再帰的に特定された機能性以外の機能性については、当該機能性を実現可能な下位の機能性を再帰的に抽出し、前記再帰的に抽出された各機能性を実現可能な１以上のプログラムからなる集合を生成する、
請求項３に記載のテスト支援装置。
前記システムについて、上位のシステムと当該上位のシステムが保持すべき下位のシステムとの１以上の繰り返しが定義可能な場合に、
前記関連情報は、さらに、各システムが保持すべき１以上の下位のシステムを示し、
前記抽出手段は、
前記特定された機能性を保持すべき全てのシステムを抽出する場合、前記特定された機能性を保持すべきシステムの各々を保持すべき上位のシステムを再帰的に抽出し、
前記抽出された各システムが保持すべき複数の機能性を抽出する場合、当該システムが保持すべき下位のシステムを再帰的に抽出し、当該再帰的に抽出された全てのシステムの各々が保持すべき複数の機能性を抽出する、
請求項３に記載のテスト支援装置。
前記抽出手段は、機能性が指定された場合に、
前記指定された機能性を保持すべきシステムを抽出し、
前記抽出されたシステムが保持すべき複数の機能性を抽出し、
前記抽出された複数の機能性の各々について、当該機能性を実現可能な１以上のプログラムからなる集合を生成し、
前記抽出された複数の機能性について生成された全ての集合の直積により、前記抽出された複数の機能性の各々を実現するプログラムの組を抽出する、
請求項１または２に記載のテスト支援装置。
前記抽出手段は、さらに、システムが指定された場合に、
前記指定されたステムが保持すべき複数の機能性を抽出し、
前記抽出された複数の前記機能性の各々について、当該機能性を実現可能な１以上の前記プログラムの集合を生成し、
前記抽出された複数の機能性について生成された全ての集合の直積により、前記抽出された複数の機能性の各々を実現するプログラムの組を抽出する、
請求項１または２に記載のテスト支援装置。
前記抽出手段は、
前記１以上のシステムの各々について、当該システムが保持すべき複数の機能性を抽出し、前記抽出された複数の機能性の各々について、当該機能性を実現可能な１以上のプログラムからなる集合を生成し、前記抽出された複数の機能性について生成された全ての集合の直積により、前記抽出された複数の機能性の各々を実現するプログラムの組を抽出することにより、システムの構成を生成し、
前記１以上のシステムについて生成されたシステムの構成の内、前記機能性、または、前記プログラムを含む構成を抽出する、
請求項１または２に記載のテスト支援装置。
システムの構成が、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される場合に、
１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す関連情報を記憶し、
機能性、または、プログラムが指定された場合に、前記関連情報をもとに、前記指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する、
テスト支援方法。
システムの構成が、システムが保持すべき複数の機能性、及び、各機能性を実現するプログラムの組により定義される場合に、
１以上のシステムの識別子、各システムが保持すべき複数の機能性の識別子、及び、各機能性を実現可能な１以上のプログラムの識別子を示す関連情報を記憶し、
機能性、または、プログラムが指定された場合に、前記関連情報をもとに、前記指定された機能性、または、プログラムを含むシステムの構成を抽出し、出力する、
処理をコンピュータに実行させるプログラムを格納する、コンピュータが読み取り可能な記録媒体。