(57)【要約】【課題】開発済みのサービスモデルを複数組み合わせて新規なサービスモデルを開発する場合に、サービスモデルの検証作業を自動化し、工数を削減する。【解決手段】組み合わせサービスモデルＭ０の各部品コードと、既存のサービスモデルの検査コードが記憶されているデータベースＤＢ１を参照して、設計モデルＭ０を構成する各部品コードに類似する各部品コードをデータベースＤＢ１から類似検査コードとして取得し（ステップＳ１）、類似検査コードを検査コードに変換し（ステップＳ２）、検査条件２が自然言語もしくは検査条件コードで記憶されているデータベースＤＢ２から検査条件２を取得し（ステップＳ３）、検査条件２を検査条件コード３に変換し（ステップＳ４）、ステップＳ２で変換された検査コードにより構成される設計モデルＭ０が検査条件コード３を満たすか否かを全検査する（ステップＳ５）。【選択図】図３
2009098770.tif 000002
【特許請求の範囲】
【請求項１】
複数の開発済みの第１のサービスモデルを組み合わせて合成した第２のサービスモデルを検査する組み合わせサービス検査システムであって、
前記複数の開発済みの第１のサービスモデルを検査する検査コードが記録されたデータベースと、
前記データベースから、前記第２のサービスモデルを検査する検査コードを取得する手段と、
前記第２のサービスモデルの検査条件を取得する手段と、
前記取得した検査条件を検査条件コードに変換する手段と、
前記取得した検査コードと前記検査条件コードに基づいて、前記第２のサービスモデルが前記検査条件に合致するか否かを検査する手段とを、
備えた組み合わせサービス検査システム。
【請求項２】
複数の開発済みの第１のサービスモデルを組み合わせて合成した第２のサービスモデルを検査する組み合わせサービス検査プログラムであって、
前記複数の開発済みの第１のサービスモデルを検査する検査コードをデータベースに記録するステップと、
前記データベースから、前記第２のサービスモデルを検査する検査コードを取得するステップと、
前記第２のサービスモデルの検査条件を取得するステップと、
前記取得した検査条件を検査条件コードに変換するステップと、
前記取得した検査コードと前記検査条件コードに基づいて、前記第２のサービスモデルが前記検査条件に合致するか否かを検査するステップとを、
備えた組み合わせサービス検査プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、開発済みのサービスモデルを複数組み合わせて新規なサービスモデルを開発する際に、その新規なサービスモデルが要求仕様どおりに設計されているかを検査する組み合わせサービス検査システム及び組み合わせサービス検査プログラムに関する。
【背景技術】
【０００２】
新規なサービスを実現するためのソフトウエアやハードウエアを開発する場合、設計作業から始まって設計値に基づいて開発を行い、開発を行った後に実際に正常に動作するかを検証しなければならない。従来技術として、開発したソフトウエアやハードウエアをシステムに実装して動作させ、意図通りに動作するかを検証する方法がある。しかしながら、この方法では、検証時に不具合が見つかった場合に設計まで後戻りすることは膨大な工数が発生する可能性がある。さらに複数のサービスを組み合わせた複雑かつ大規模なサービス（ソフトウエア、ハードウエア）では、天文学的な工数が発生する可能性がある。新規に開発したソフトウエアやハードウエアを検証する従来技術としては、例えば下記の特許文献１、２、３が開示されている。
【特許文献１】特開平１１−１０２２９１号公報（要約書）
【特許文献２】特開２００４−２１７７３０号公報（要約書）
【特許文献３】特開２００６−５３８１３号公報（要約書）
【発明の開示】
【発明が解決しようとする課題】
【０００３】
ところで、開発済みのサービスモデルを複数組み合わせた新規なサービスモデルを開発することは一般的である。一例として、既存のサービスモデルが実現する車載サービスとしては、車部品（ドア、ウインドウ、エアコン、ライト、シート、ワイパーなど）を利用したサービスプログラム（自動ドア開閉サービス、自動ウインドウ開閉サービス、車内空調サービス、自動ライト点灯サービス、シート調整サービス、ワイパー制御サービスなど）である。しかしながら、こられの既存のサービスを実現するサービスモデルを複数組み合わせて新規なサービスモデルを作成し、これに基づいて実際に開発したサービスを車両などのシステムに実装して動作させ、既存のサービスモデルが新規なサービスモデルの動作条件通りに動作するかを検証すると、検証時に不具合が見つかった場合に設計まで後戻りすることがあり、膨大な工数が発生する可能性があるという問題点がある。
【０００４】
本発明は上記従来技術の問題点に鑑み、開発済みのサービスモデルを複数組み合わせて新規なサービスモデルを開発する場合に、新しいサービスモデルの検証作業を自動化することができ、ひいては工数を削減することができる組み合わせサービス検査システム及び組み合わせサービス検査プログラムを提供することを目的とする。
【課題を解決するための手段】
【０００５】
本発明は上記目的を達成するために、複数の開発済みの第１のサービスモデルを組み合わせて合成した第２のサービスモデルを検査する組み合わせサービス検査システムであって、
前記複数の開発済みの第１のサービスモデルを検査する検査コードが記録されたデータベースと、
前記データベースから、前記第２のサービスモデルを検査する検査コードを取得する手段と、
前記第２のサービスモデルの検査条件を取得する手段と、
前記取得した検査条件を検査条件コードに変換する手段と、
前記取得した検査コードと前記検査条件コードに基づいて、前記第２のサービスモデルが前記検査条件に合致するか否かを検査する手段とを、
備えた。
【０００６】
また、本発明は上記目的を達成するために、複数の開発済みの第１のサービスモデルを組み合わせて合成した第２のサービスモデルを検査する組み合わせサービス検査プログラムであって、
前記複数の開発済みの第１のサービスモデルを検査する検査コードをデータベースに記録するステップと、
前記データベースから、前記第２のサービスモデルを検査する検査コードを取得するステップと、
前記第２のサービスモデルの検査条件を取得するステップと、
前記取得した検査条件を検査条件コードに変換するステップと、
前記取得した検査コードと前記検査条件コードに基づいて、前記第２のサービスモデルが前記検査条件に合致するか否かを検査するステップとを、
備えた。
【０００７】
この構成により、開発済みのサービスモデルを複数組み合わせて新規なサービスモデルを開発する場合に、これに基づいて実際に開発したサービスを車両などのシステムに実装して動作させないので、新しいサービスモデルの検証作業を自動化することができ、ひいては工数を削減することができる。
【発明の効果】
【０００８】
本発明によれば、開発済みのサービスモデルを複数組み合わせて新規なサービスモデルを開発する場合に、新しいサービスモデルの検証作業を自動化することができ、ひいては工数を削減することができる。
【発明を実施するための最良の形態】
【０００９】
以下、図面を参照して本発明の実施の形態について説明する。図１は本発明に係る組み合わせサービス検査システム及び組み合わせサービス検査プログラムの第１の実施の形態を示す説明図、図２はサービスモデルを構成する部品を示す説明図、図３は本発明に係る組み合わせサービス検査システム及び組み合わせサービス検査プログラムの第１の実施の形態を説明するためのフローチャートである。
【００１０】
図１において、検査対象の組み合わせサービスモデルＭ０は、既存のサービスモデルであるソフト部品１を複数組み合わせて構成され、状態遷移図やシーケンス図などで記述される。既存のソフト部品１は既存の自動ドア開閉サービス、自動ウインドウ開閉サービス、車内空調サービス、自動ライト点灯サービス、シート調整サービス、ワイパー制御サービスなどであり、単体としては正常に動作することは検査済みである。
【００１１】
既存のソフト部品１は、状態コードと状態遷移条件コードを含む。図２は一例として、自動ドア開閉サービスモデルを構成する部品を示し、自動ドア開閉サービスモデルは、ドア制御コントローラ１０と、監視コントローラ２０と、ドア３０とユーザ４０の各部品を含む。ドア制御コントローラ１０の部品は、ドアストップ（door_stop）状態１１、ドアクローズ（door_closing）状態１２及びドアオープン（door_closing）状態１３の各状態と、各状態１１〜１３の間を遷移する条件やイベントである状態遷移条件を含む。状態遷移条件としては、例えばドアクローズ状態１２及びドアオープン状態１３からドアストップ状態１１に遷移する場合に、車速＞０、障害物検知（car_speed>0,obstacle_detection）などの監視コントローラ２０の監視結果コードを含む。
【００１２】
組み合わせサービスモデルＭ０が正常に動作するかを検査する場合には、検査条件２を入力して検査条件コード３に変換し、モデル検査ツール４が組み合わせサービスモデルＭ０の各部品コード（検査コード）を検査条件コード３に基づいて検査し、検査がＯＫとなった提供可能サービスモデルＭ０’を絞り込む。モデル検査ツール４はＰＲＯＭＥＬＡやＳＰＩＮなどの言語で記述される。ここまでが本発明の処理である。検査がＯＫとなった提供可能サービスモデルＭ０’は、さらに人間によるサービス選定処理５が行われ、ＯＫとなった場合には実際にシステム（車両など）に搭載されてシステムテスト６が行われ、ＮＧとなった場合には検査条件２の制約を追加入力して本発明の処理を再び行う。
【００１３】
図３を参照して検査処理を説明する。まず、検査対象の組み合わせサービスモデル（設計モデル）Ｍ０の各部品コードと、既存のサービスモデルの検査コードが記憶されているデータベースＤＢ１を参照して、設計モデルＭ０を構成する各部品コードに類似する各部品コードをデータベースＤＢ１から類似検査コードとして取得し（ステップＳ１）、次いでこの類似検査コードをＰＲＯＭＥＬＡなどの言語の検査コードに変換する（ステップＳ２）。次いで検査条件２が自然言語もしくは検査条件コードで記憶されているデータベースＤＢ２から検査条件２を取得し（ステップＳ３）、次いで検査条件２をＣＴＬやＬＴＬなどの検査条件コード３に変換する（ステップＳ４）。次いでステップＳ２で変換された検査コードにより構成される設計モデルＭ０が検査条件コード３を満たすか否かを全検査し（ステップＳ５）、次いで検査結果を出力する。
【００１４】
図４は一例として、既存のサービスモデルとしてユーザ認証サービスモデルＭ１と、ユーザ位置特定サービスモデルＭ２とドア制御サービスモデルＭ３を組み合わせて、ユーザが車両に近づくとユーザ認証サービスモデルＭ１によりユーザを認証し、ユーザが車両のどの位置（ドア）に近づくかをユーザ位置特定サービスモデルＭ２により特定し、ユーザ位置特定サービスモデルＭ２により特定した位置のドアをドア制御サービスモデルＭ３によりオープンするなどの新規な乗車支援サービスモデルＭ０”を検査する場合を示す。ここで、乗車支援サービスモデルＭ０”は既存のサービスモデルＭ１、Ｍ２、Ｍ３のみで構成され、他の新規なサービスモデルは含まない。
【００１５】
図５は乗車支援サービスモデルＭ０”を搭載する対象の車両システムを示し、この車両システムは、車両Ｖの前方、右前部座席ドア、左前ドア部座席、右後部座席ドア、左後部座席ドアをそれぞれ撮像するカメラＣ１、Ｃ２、Ｃ３、Ｃ４、Ｃ５と、ユーザ認証サービスモデルＭ１、ユーザ位置特定サービスモデルＭ２、ドア制御サービスモデルＭ３、乗車支援サービスモデルＭ０”それぞれを実行するユーザ認証ＥＣＵ１１、位置特定ＥＣＵ１２、ドア制御ＥＣＵ１３、乗車支援ＥＣＵ１０を有する。
【００１６】
乗車支援サービスのシナリオとは、以下の通りである。
・アクター：ドライバー、パッセンジャー
シナリオ：
１．ドライバー、パッセンジャーの二人は前方から車に近づく。
２．ドライバーは乗車支援サービスをキースイッチで開始する。
３．ドライバーは運転席側へ向かい、パッセンジャーは助手席側へ向かう。
・アクター：ドライバー
シナリオ：
１．ドライバーは運転席ドアの前で立ち止まる。
２．車は運転席ドアをオープンする。
３．ドライバーは運転席に乗車する。
４．車は運転席ドアをクローズする。
・アクター：パッセンジャー
シナリオ：
１．パッセンジャーはトランクの前で立ち止まる。
２．車はトランクをオープンする。
３．パッセンジャーはトランクに荷物を入れる。
４．パッセンジャーはトランクを閉める。
５．パッセンジャーは助手席の前で立ち止まる。
６．車は助手席ドアをオープンする。
７．パッセンジャーは助手席に乗車する。
８．車は助手席ドアをクローズする。
【００１７】
上記のシナリオに対して、既存のユーザ認証サービスモデルＭ１と、ユーザ位置特定サービスモデルＭ２とドア制御サービスモデルＭ３を組み合わせた新規な乗車支援サービスモデルＭ０”を作成し、検査する。
（１）ユーザ認証サービス
概要：図６に示すように、事前に登録したユーザ登録データと車載センサ（本例題ではカメラとする）で取得したデータが一致することでユーザを認証する。
事前条件：ユーザ認証サービスは少なくとも１名のユーザデータを登録している。
基本動作（１）
・ユーザ認証命令でユーザ認証サービスを開始する。
・ユーザ認証サービスはセンサーデータを取得する。
・ユーザ認証サービスはセンサーデータと登録ユーザデータを照合する。
・ユーザ認証サービスはセンサーデータと登録ユーザデータが一致する場合はユーザＩＤを返し、終了する。
・ユーザ認証サービスはすべてのセンサーデータと登録ユーザデータが一致しない場合は−１を返し、終了する。
基本動作（２）
・ユーザ認証サービスはユーザＩＤの登録ユーザデータを提供する。
【００１８】
（２）ユーザ位置特定サービス
概要：図７に示すように、認証済みのユーザＩＤがどのセンサーデータと一致するかでユーザ位置を特定する。
事前条件：ユーザ認証が完了している（ユーザ認証サービスモデルＭ１）。
基本動作
・ユーザ位置特定命令でユーザ位置特定サービスを開始する。
・ユーザ位置特定サービスはユーザ認証サービスを開始する。
・ユーザ位置特定サービスはユーザＩＤと認証結果が一致した場合はセンサーＩＤを取得し返し終了する。
・ユーザ位置特定サービスはユーザＩＤと認証結果が一致しない場合は−１を返し終了する。
【００１９】
（３）ドア制御サービス
概要：図８に示すように、対象ドアのオープン／クローズ／ストップを制御する。
事前条件：
・車速が０ｋｍである。
・周辺に障害物がない。
基本動作：
・ドア制御命令でサービスを開始する。
・命令（オープン／クローズ／ストップ）に従い対象ドアを制御する。
例外動作：
・制御中に事前条件を満たさない場合は警告音を鳴らし、ストップ制御を行う。
【００２０】
（４）乗車支援サービス
概要：
・既存のユーザ認証サービスモデルＭ１と、ユーザ位置特定サービスモデルＭ２とドア制御サービスモデルＭ３を組み合わせて、ドアを自動開閉しユーザの乗車を支援する。
事前条件：
・特になし
基本動作：
・ユーザの命令で乗車支援サービスを開始する。
・ユーザ認証サービスはユーザ認証を行う。
・ユーザ位置特定サービスはユーザの位置を特定する。
・ドア制御サービスは対象のドアをオープンする。
・ユーザが乗車する。
・ドア制御サービスは対象のドアをクローズする。
【００２１】
次に検査条件２及び検査条件コード３について説明する。図９（ａ）はドアオープン状態ｓ２に遷移するための検査条件２及びその検査条件コード３を示し、この例では、ドアストップ中ｐ１にユーザが車内に入る場合（scene）、車速センサからの取得結果がＯＫ（ｃ１）、かつ障害物センサからの取得結果がＯＫ（ｃ２）の場合にドアオープン状態ｓ２に遷移する。図９（ｂ）はドアクローズ状態ｓ３に遷移するための検査条件２及びその検査条件コード３を示し、この例では、ドアストップ中ｐ１にユーザが車内に入る場合（scene）、車速センサからの取得結果がＯＫ（ｃ１）、かつ障害物センサからの取得結果がＯＫ（ｃ２）の場合にドアクローズ状態ｓ３に遷移する。
【００２２】
図９（ｃ）はドアオープン状態ｓ２に遷移するための他の検査条件２及びその検査条件コード３を示し、この例では、ドアクローズ中ｐ３にユーザが車内に入る場合（scene）、車速センサからの取得結果がＯＫ（ｃ１）、かつ障害物センサからの取得結果がＯＫ（ｃ２）の場合にドアオープン状態ｓ２に遷移する。図９（ｄ）はドアクローズ状態ｓ３に遷移するための他の検査条件２及びその検査条件コード３を示し、この例では、ドアオープン中ｐ２にユーザが車内に入る場合（scene）、車速センサからの取得結果がＯＫ（ｃ１）、かつ障害物センサからの取得結果がＯＫ（ｃ２）の場合にドアクローズ状態ｓ３に遷移する。
【００２３】
図９（ｅ）はドアストップｓ１に遷移するための検査条件２及びその検査条件コード３を示し、この例では、ドアオープン中ｐ２に車速センサからの取得結果がＮＧ（ｃ３）、又は障害物センサからの取得結果がＮＧ（ｃ４）の場合にドアストップｓ１に遷移する。図９（ｆ）はドアストップｓ１に遷移するための他の検査条件２及びその検査条件コード３を示し、この例では、ドアクローズ中ｐ３に車速センサからの取得結果がＮＧ（ｃ３）、又は障害物センサからの取得結果がＮＧ（ｃ４）の場合にドアストップｓ１に遷移する。
【００２４】
次に検査条件２を満たさない組み合わせサービスモデルＭ０の一例を説明する。図１０はドア制御サービス（運転席ドアオープン／クローズ）と運転席制御サービス（運転席シートダウン／アップ）を組み合わせた組み合わせサービスモデルＭ０１を示し、「運転席ドアオープン」→「運転席シートダウン」→「運転席シートアップ」→「運転席ドアクローズ」の各部品がこの順番の条件を満たせばＯＫであることを示す。そこで、検査条件２として、
（１）シートはドアが開いているときに動作すること
（２）ドアは移動範囲に障害物がないときに動作すること
を入力する。
【００２５】
そして、この検査条件（１）、（２）で、図１１（ａ）に示すように「運転席ドアオープン」→「運転席ドアクローズ」→「運転席シートダウン」→「運転席シートアップ」の順番の組み合わせサービスモデルＭ０２を検査すると、「運転席シートダウン」は運転席ドアがクローズしたときのシート動作状態であるので、検査条件（１）を満たさず、この組み合わせサービスモデルＭ０２をＮＧとする。また、検査条件（１）、（２）で、図１１（ｂ）に示すように「運転席ドアオープン」→「運転席シートダウン」→「運転席ドアクローズ」→「運転席シートアップ」の順番の組み合わせサービスモデルＭ０３を検査すると、「運転席ドアクローズ」は運転席シートがダウンしたときのドア動作状態であるので、検査条件（２）を満たさず、この組み合わせサービスモデルＭ０３をＮＧとする。
【産業上の利用可能性】
【００２６】
本発明は、開発済みのサービスモデルを複数組み合わせて新規なサービスモデルを開発する場合に、新しいサービスモデルの検証作業を自動化することができ、ひいては工数を削減することができるという効果を有し、車載サービスなど各種のサービスに利用することができる。
【図面の簡単な説明】
【００２７】
【図１】本発明に係る組み合わせサービス検査システム及び組み合わせサービス検査プログラムの第１の実施の形態を示す説明図である。
【図２】サービスモデルを構成する部品を示す説明図である。
【図３】本発明に係る組み合わせサービス検査システム及び組み合わせサービス検査プログラムの第１の実施の形態を説明するためのフローチャートである。
【図４】組み合わせサービスモデルの一例を示す説明図である。
【図５】図４の乗車支援サービスが適用される車両を示す説明図である。
【図６】図４のユーザ認証サービスを示す説明図である。
【図７】図４のユーザ位置特定サービスを示す説明図である。
【図８】図４のドア制御サービスを示す説明図である。
【図９】検査条件と検査条件コードを示す説明図である。
【図１０】組み合わせサービスモデルの他の例を示す説明図である。
【図１１】検査結果がＮＧの組み合わせサービスモデルの例を示す説明図である。
【符号の説明】
【００２８】
１  ソフト部品（開発済みサービスモデル）
２  検査条件
３  検査条件コード
４  モデル検査ツール
５  サービス選定処理
６  システムテスト
【図１】
2009098770.tif 000003
【図２】
2009098770.tif 000004
【図３】
2009098770.tif 000005
【図４】
2009098770.tif 000006
【図５】
2009098770.tif 000007
【図６】
2009098770.tif 000008
【図７】
2009098770.tif 000009
【図８】
2009098770.tif 000010
【図９】
2009098770.tif 000011
【図１０】
2009098770.tif 000012
【図１１】
2009098770.tif 000013