(57)【要約】【課題】  電子機器を自動検査するシミュレータで実行される検査プログラムの作成を支援する装置を提供することにより、自動検査における準備作業工数の低減及び信頼性の向上を図る。【解決手段】  本発明は、制御装置３０の制御対象を模擬するシミュレート手段２０と、前記制御装置３０に入力するパターン信号と該パターン信号に応じて前記シミュレート手段２０から出力される出力信号との関係に基づいて、前記制御装置３０の動作を検査する検査手段とを備えた検査装置１０であって、前記検査手段は、所定のタイミングで前記制御装置の動作を検査するものであり、前記制御装置の動作が正常であるとの判定が得られない場合には、所定回数のリトライ判定を行うことを特徴とする。【選択図】      図１
2005164338.tif 000002
【特許請求の範囲】
【請求項１】
制御装置の制御対象を模擬するシミュレート手段と、
前記制御装置に入力するパターン信号と該パターン信号に応じて前記シミュレート手段から出力される出力信号との関係に基づいて、前記制御装置の動作を検査する検査手段とを備えた検査装置であって、
前記検査手段は、所定のタイミングで前記制御装置の動作を検査するものであり、前記制御装置の動作が正常であるとの判定が得られない場合には、所定回数のリトライ判定を行うことを特徴とする制御装置の検査装置。
【請求項２】
パターン信号を作成するパターン信号作成装置であって、
前記パターン信号作成装置によって作成された前記パターン信号を用いる装置の制御周期に基づいて、前記パターン信号を作成する第１の関数処理手段と、
前記制御周期とは異なる周期に基づいて、前記パターン信号を作成する第２の関数処理手段とを備えることを特徴とするパターン信号作成装置。
【請求項３】
前記第２の関数処理手段は、複数の前記制御周期にわたる時間の周期に基づいて、前記パターン信号を作成することを特徴とする、請求項２に記載のパターン信号作成装置。
【請求項４】
前記第２の関数処理手段は、前記制御周期毎の周期に基づいて、前記パターン信号を作成することを特徴とする、請求項３に記載のパターン信号作成装置。
【請求項５】
パターン信号を作成するパターン信号作成装置であって、
基準パターン信号に対する相関情報が指定された相関パターン信号を作成する場合に、該基準パターン信号と作成された該相関パターン信号とを同一画面上に表示する表示手段を備えることを特徴とするパターン信号作成装置。
【請求項６】
パターン信号を作成するパターン信号作成装置であって、
基準パターン信号に対する相関情報が指定された相関パターン信号が存在する場合に、該基準パターン信号と該相関パターン信号とを同一画面上に表示する表示手段と、
前記基準パターン信号の変更と連動させて該相関パターン信号を変更するパターン信号連動変更手段とを備え、
前記表示手段は、前記基準パターン信号の編集が行われた場合には、前記基準パターン信号とともに、前記パターン信号連動変更手段によって変更された前記相関パターン信号の再表示を行うことを特徴とするパターン信号作成装置。
【請求項７】
制御装置にデータの出力を行わせるダイアグ機能の検査を行うための検査プログラムを作成する検査プログラム作成装置であって、
前記制御装置で処理される前記パターン信号を画面上に表示した状態で、前記ダイアグ機能の検査における設定を可能とすることを特徴とする検査プログラム作成装置。
【請求項８】
前記ダイアグ機能の検査における設定とは、前記制御装置に対するデータ出力要求情報および該データ出力要求情報を前記制御装置に要求した場合におけるダイアグ機能の正常もしくは異常の判定条件であることを特徴とする、請求項７に記載の検査プログラム作成装置。
【請求項９】
制御装置に入力するパターン信号と該パターン信号間の遷移条件とを含む子プロジェクトと、
前記子プロジェクトと前記子プロジェクト間の遷移条件とを含む親プロジェクトとを備えた検査プログラムを作成する検査プログラム作成装置であって、
前記子プロジェクトの編集画面と、前記親プロジェクトの編集画面とを同時に表示する表示手段と、
前記表示手段に表示された前記親プロジェクトの編集画面における前記子プロジェクトを選択すると、該選択された子プロジェクトの内容を前記子プロジェクトの編集画面に表示し、編集可能とする第１の編集手段と、
前記表示手段に表示された前記子プロジェクトの編集画面における前記子プロジェクトの内容を選択すると、該選択された前記子プロジェクトの内容の設定情報を新たな編集画面に表示し、編集可能とする第２の編集手段とを備えることを特徴とする検査プログラム作成装置。
【請求項１０】
前記制御装置に入力するパターン信号と該パターン信号に応じて前記制御装置の制御対象から出力される出力信号との関係に基づいて、前記制御装置の動作を検査する検査手段とを備えた制御装置の検査装置であって、
前記検査手段は、前記パターン信号を実行しているときに他の前記パターン信号の実行に移行するためのパターン信号遷移条件が成立した場合に、該他の前記パターン信号の実行に移行することを特徴とする制御装置の検査装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、電子機器の動作環境を模擬して自動検査するシミュレータにおいて実行される検査プログラムの作成を支援する装置（制御装置の検査装置、パターン信号作成装置及び検査プログラム生成装置）に関する。
【背景技術】
【０００２】
車両に搭載される電子制御装置（ＥＣＵ：Electronic Control Unit）等の電子機器を検査・評価するために、その電子機器の動作環境を模擬して自動検査するシミュレータが使用されている。かかるシミュレータを動作させる検査プログラムは、人手によって作成された検査仕様書に基づき人手によって検査パターン、判定ロジック等を作成することにより、準備されている。
【０００３】
このように、検査プログラムの準備においては、検査パターン、判定ロジック等が人手によって作成されるため、作業工数及び信頼性の面で問題がある。特に、検査仕様書を作成した担当者とは別の担当者が検査パターン、判定ロジック等を作成する場合には、その問題が大きくなる。
【発明の開示】
【発明が解決しようとする課題】
【０００４】
本発明は、上述した問題点に鑑みてなされたものであり、その目的は、電子機器を自動検査するシミュレータで実行される検査プログラムの作成を支援する装置を提供することにより、自動検査における準備作業工数の低減及び信頼性の向上を図ることにある。
【課題を解決するための手段】
【０００５】
上記目的を達成するために、本発明によれば、制御装置の制御対象を模擬するシミュレート手段と、前記制御装置に入力するパターン信号と該パターン信号に応じて前記シミュレート手段から出力される出力信号との関係に基づいて、前記制御装置の動作を検査する検査手段とを備えた検査装置であって、前記検査手段は、所定のタイミングで前記制御装置の動作を検査するものであり、前記制御装置の動作が正常であるとの判定が得られない場合には、所定回数のリトライ判定を行うことを特徴とする制御装置の検査装置が提供される。
【０００６】
また、本発明によれば、パターン信号を作成するパターン信号作成装置であって、前記パターン信号作成装置によって作成された前記パターン信号を用いる装置の制御周期に基づいて、前記パターン信号を作成する第１の関数処理手段と、前記制御周期とは異なる周期に基づいて、前記パターン信号を作成する第２の関数処理手段とを備えることを特徴とするパターン信号作成装置が提供される。
【０００７】
ここで、本発明によれば、前記第２の関数処理手段は、複数の前記制御周期にわたる時間の周期に基づいて、前記パターン信号を作成することを特徴とする。
【０００８】
また、前記第２の関数処理手段は、前記制御周期毎の周期に基づいて、前記パターン信号を作成することを特徴とする。
【０００９】
また、本発明によれば、パターン信号を作成するパターン信号作成装置であって、基準パターン信号に対する相関情報が指定された相関パターン信号を作成する場合に、該基準パターン信号と作成された該相関パターン信号とを同一画面上に表示する表示手段を備えることを特徴とするパターン信号作成装置が提供される。
【００１０】
また、本発明によれば、パターン信号を作成するパターン信号作成装置であって、基準パターン信号に対する相関情報が指定された相関パターン信号が存在する場合に、該基準パターン信号と該相関パターン信号とを同一画面上に表示する表示手段と、前記基準パターン信号の変更と連動させて該相関パターン信号を変更するパターン信号連動変更手段とを備え、前記表示手段は、前記基準パターン信号の編集が行われた場合には、前記基準パターン信号とともに、前記パターン信号連動変更手段によって変更された前記相関パターン信号の再表示を行うことを特徴とするパターン信号作成装置が提供される。
【００１１】
また、本発明によれば、制御装置にデータの出力を行わせるダイアグ機能の検査を行うための検査プログラムを作成する検査プログラム作成装置であって、前記制御装置で処理される前記パターン信号を画面上に表示した状態で、前記ダイアグ機能の検査における設定を可能とすることを特徴とする検査プログラム作成装置が提供される。
【００１２】
ここで、本発明によれば、前記ダイアグ機能の検査における設定とは、前記制御装置に対するデータ出力要求情報および該データ出力要求情報を前記制御装置に要求した場合におけるダイアグ機能の正常もしくは異常の判定条件である。
【００１３】
また、本発明によれば、制御装置に入力するパターン信号と該パターン信号間の遷移条件とを含む子プロジェクトと、前記子プロジェクトと前記子プロジェクト間の遷移条件とを含む親プロジェクトとを備えた検査プログラムを作成する検査プログラム作成装置であって、前記子プロジェクトの編集画面と、前記親プロジェクトの編集画面とを同時に表示する表示手段と、前記表示手段に表示された前記親プロジェクトの編集画面における前記子プロジェクトを選択すると、該選択された子プロジェクトの内容を前記子プロジェクトの編集画面に表示し、編集可能とする第１の編集手段と、前記表示手段に表示された前記子プロジェクトの編集画面における前記子プロジェクトの内容を選択すると、該選択された前記子プロジェクトの内容の設定情報を新たな編集画面に表示し、編集可能とする第２の編集手段とを備えることを特徴とする検査プログラム作成装置が提供される。
【００１４】
また、本発明によれば、前記制御装置に入力するパターン信号と該パターン信号に応じて前記制御装置の制御対象から出力される出力信号との関係に基づいて、前記制御装置の動作を検査する検査手段とを備えた制御装置の検査装置であって、前記検査手段は、前記パターン信号を実行しているときに他の前記パターン信号の実行に移行するためのパターン信号遷移条件が成立した場合に、該他の前記パターン信号の実行に移行することを特徴とする制御装置の検査装置が提供される。
【発明の効果】
【００１５】
本発明によれば、検査パターン等の作成が容易となり、準備作業工数が低減するとともに、作成される検査プログラムの信頼性が向上する。
【発明を実施するための最良の形態】
【００１６】
以下、添付図面を参照して本発明の実施形態について説明する。
【００１７】
図１は、本発明による電子機器自動検査プログラム作成支援装置１０を含む電子機器自動検査システムの構成例を示す図である。同図に示されるように、このシステムは、電子機器自動検査プログラム作成支援装置１０、シミュレータ２０及び電子機器３０から構成される。
【００１８】
電子機器３０は、自動検査の対象であり、本実施形態では、車両に搭載される電子制御装置（ＥＣＵ：Electronic Control Unit）である。シミュレータ２０は、ＥＣＵ３０の動作環境を模擬して自動検査するコンピュータである。自動検査プログラム作成支援装置（以下、支援装置と略称する）１０は、シミュレータ２０において実行される検査プログラムの作成を支援する装置であり、コンピュータ本体（ＣＰＵ、記憶装置等を備える）１２、ディスプレイ１４、キーボード１６等からなる通常のパーソナルコンピュータによって実現される。
【００１９】
支援装置１０は、基本的には、ユーザによる画面上での入力操作に基づいて、すなわちＧＵＩ（Graphical User Interface）により、ＥＣＵ３０に対する検査仕様を入力し、その検査仕様に基づいて検査パターン（ＥＣＵ３０への入力信号、その入力信号に応答してＥＣＵ３０から出力される信号が正常か否かを判定するための判定ロジック、等を含む。）を生成する。
【００２０】
図１に示される構成の自動検査システムの下では、シミュレータ２０の実行周期ごとにＥＣＵ３０内のＲＡＭ（Random Access Memory）の値を自動判定する場合、ＥＣＵ３０がＲＡＭ値を更新するタイミングとシミュレータ２０がＲＡＭ値をサンプリングするタイミングとの間にズレが生ずるため、誤判定が生ずる可能性がある。そこで、支援装置１０は、判定ロジックを生成する際の機能の一つとして、判定リトライ機能をサポートしている。この判定リトライ機能は、リトライ回数の設定を可能とし、一度ＮＧ判定がなされたとしても、直ぐにはＮＧを確定させることはせず、指定されたリトライ回数だけリトライ判定することで誤判定の防止を図るものである。
【００２１】
図２は、支援装置１０によって実行される判定リトライ設定処理の手順を示すフローチャートである。まず、ステップ５２では、リトライを行う判定並びにそのリトライ回数及びリトライ周期を設定するための判定リトライ設定画面を表示する。次いで、ステップ５４では、リトライ判定に関する各種の条件を設定する処理を行う。例えば、ユーザは、この画面を介して、ＥＣＵ３０内の８ｍｓ更新カウンタの判定に関してリトライを設定することを指定し、さらにそのリトライ回数として２回、リトライ周期として１ｍｓを設定することができる。最後に、ステップ５６では、判定リトライ設定画面をクローズする。
【００２２】
図３は、例示した８ｍｓ更新カウンタに対する判定リトライ設定処理によって生成されシミュレータ２０によって実行されるリトライ判定処理の手順を示すフローチャートである。この処理においては、まず、ステップ６２において、リトライ回数を計数するリトライカウンタが２であるか否かを判定する。なお、このリトライカウンタは、メイン周期で実行されるイニシャル処理で２に初期設定される。リトライカウンタが２であれば、ステップ６４に進み、判定処理（通常の判定処理）、すなわち８ｍｓ更新カウンタが正常に更新されているか否かを判定する処理を行う。ステップ６６では、“○”（ＯＫ）判定であったかどうかを判断し、“○”判定の場合には本ルーチンを終了する一方、“×”（ＮＧ）判定の場合にはステップ６８にてリトライカウンタをデクリメントした後、本ルーチンを終了する。
【００２３】
ステップ６２においてリトライカウンタが２でないと判定された場合には、ステップ７０に進み、リトライカウンタが１であるか否かを判定する。リトライカウンタが１であれば、ステップ７２に進み、判定処理（１回目のリトライ判定処理）を行う。ステップ７４では、“○”判定であったかどうかを判断し、“○”判定の場合には、ステップ７６においてリトライカウンタを２に戻して本ルーチンを終了する一方、“×”判定の場合には、ステップ７８においてリトライカウンタを更にデクリメントして本ルーチンを終了する。
【００２４】
ステップ７０においてリトライカウンタが１でないと判定された場合には、ステップ８０に進み、判定処理（２回目のリトライ判定処理）を行う。ステップ８２では、“○”判定であったかどうかを判断し、“○”判定の場合には、本ルーチンを終了する一方、“×”判定の場合には、ステップ８４において“×”判定を確定させる処理を行うとともに、ステップ８６においてリトライカウンタを２に戻した後、本ルーチンを終了する。
【００２５】
図４は、図３のリトライ判定処理によって、８ｍｓ更新カウンタについての判定がなされていく様子を例示する図である。同図に示されるように、一度ＮＧ判定がなされたとしても、直ぐにはＮＧ判定を確定させることはせず、再度指定されたリトライ回数（この例では２回）だけリトライ判定が行われる。この判定リトライ機能によって、誤判定が防止されるとともに、判定ロジックにおける監視式（判定の合否を決定するための式）の設定機能の向上が図られる。
【００２６】
ところで、支援装置１０では、ユーザがＥＣＵ３０に対する検査パターンを生成するのを支援するために、時間を変数とするパターン信号編集関数を準備し、指定された関数に応じてパターン信号を生成する機能を備えている。ここで、検査ステップ毎の時間変数でしかパターン信号を記述することができない場合には、ステップを跨いだパターン信号を表現しても、信号のつながりが不連続となり、任意のパターン信号を記述することができないという問題がある。すなわち、例えば、ステップ内の経過時間＄Ｔを用いてＳｉｎ信号ｙ＝ｓｉｎ（ω（＄Ｔ））を記述した場合には、図５（Ａ）に示されるようになる。
【００２７】
そこで、支援装置１０では、ステップ内の時間変数だけでなく、複数ステップ間における時間に関する変数を用意することで、不連続点なくステップ間を跨ぐパターン信号についても任意に設定することができるようにしている。例えば、開始時からの経過時間＄ＳＹＳＴＥＭＴＩＭＥを用いてＳｉｎ信号ｙ＝ｓｉｎ（ω（＄ＳＹＳＴＥＭＴＩＭＥ））を記述することができ、図５（Ｂ）に示されるような信号を生成する。
【００２８】
また、ステップ毎の時間変数でＳｉｎ波形を記述しようとする場合、ステップ毎に周期を変えてＳｉｎ信号を記述することができないと、任意のＳｉｎ波形を発生させることができない。そこで、支援装置１０では、周期が一定となるｙ＝ｓｉｎ（（２π／ｔ）（＄Ｔ））なる記述を拡張し、変数＄ＳＴＥＰによって周期を任意に設定可能なｙ＝ｓｉｎ（（２π／＄ＳＴＥＰ）（＄Ｔ））なる記述をもサポートすることで、図５（Ｃ）に示されるように、周期をステップ毎に変更することができるようにしている。
【００２９】
図６は、支援装置１０によって実行されるＳｉｎ信号作成処理の手順を示すフローチャートである。まず、ステップ１０２では、入力されたＳｉｎ関数が複数ステップ間にわたる記述であるか否かを判定する。複数ステップ間にわたるものでない場合には、ステップ１０４に進み、変数Ｔに入力＄Ｔを代入する一方、複数ステップ間にわたるものである場合には、ステップ１０６に進み、変数Ｔに入力＄ＳＹＳＴＥＭＴＩＭＥを代入する。
【００３０】
次いで、ステップ１０８では、ステップ毎の周期設定か否かを判定する。ステップ毎の周期設定でない場合には、ステップ１１０に進み、角周波数ωを２π／ｔとする一方、ステップ毎の周期設定である場合には、ステップ１１２に進み、角周波数ωを２π／＄ＳＴＥＰとする。次いで、ステップ１１４では、先行するステップで求められたＴ及びωを用いてＳｉｎ信号ｙ＝ｓｉｎ（ωＴ）を作成し、最後に、ステップ１１６において、作成されたＳｉｎ信号を画面上に描画する。このように、時間に関する変数が拡張されたことにより、Ｓｉｎ信号において任意の波形を設定することが可能となり、パターン信号編集機能が向上する。
【００３１】
ところで、相関して変化する二つ以上のパターン信号を作成する際、別々に設定することとなると、工数が増大するとともに、それらの信号を変更する際にも、同様の工数増加が発生する。そこで、支援装置１０では、相関する二以上の信号については、基準となる信号を指定し、その信号に対してオフセットや係数を設定することで、関連して変化する二つ以上のパターン信号を作成することができるようにしている。
【００３２】
具体的には、図７に示されるように、パターン信号編集画面における関数入力機能を利用して、信号Ｂを信号Ａ＊３６と定義した場合には、図８に示されるように、信号Ａを３６倍することにより信号Ｂが自動的に作成されるとともに、信号Ａについて修正が施された場合には、信号Ｂについて同様の修正が自動的になされる。
【００３３】
図９は、支援装置１０によって実行される上述した相関信号作成処理の手順を示すフローチャートである。まず、ステップ１３２では、基準信号としての信号Ａの指定を受け付ける。次いで、ステップ１３４では、指定された関数式に基づいて基準信号＊３６なる演算によりｙを求める。最後に、ステップ１３６では、演算結果ｙを用いて信号Ｂを作成する。かくして、関連する複数の信号を容易に作成することが可能となり、パターン信号変更時においても工数の低減が図られる。
【００３４】
図１０は、支援装置１０によって実行される信号パターン作成処理の手順を示すフローチャートである。まず、ステップ１５２では、信号の条件を設定するための画面を表示する。次いで、ステップ１５４では、画面上での入力に基づき各種条件を設定する。次いで、ステップ１５６では、条件設定画面をクローズする。そして、ステップ１５８では、作成した信号が他信号を利用しているか否か、すなわち前述のように他信号を用いて記述されているか否か、を判定する。他信号を利用している場合には、ステップ１６０に進み、作成した信号と利用された他信号とを同時に描画する一方、他信号を利用していない場合には、ステップ１６２に進み、作成した信号についてのみ描画処理を行う。以上で、信号パターン作成処理が終了する。
【００３５】
ところで、一般に、ＥＣＵ３０はダイアグ機能を備えている。かかるダイアグ機能を検査するために、通信データの設定や判定値の設定を行うにあたり、それぞれ別々の画面で設定することとなれば、その工数が増大する。そこで、支援装置１０では、検査対象のＥＣＵ３０への送信データ及びその送信タイミング並びに当該送信データに応じてＥＣＵ３０から受信されるべき受信データ理論値を設定することにより、ＥＣＵ３０への送信データの自動送信の実行及びＥＣＵ３０からの受信データの合否判定を行う機能を備えている。
【００３６】
この機能は、送信データ、送信タイミング及び受信データ理論値を、同一画面上で、ＥＣＵ３０の他の入出力信号チャート（電圧、スイッチ、デューティ等）とともに記載することができるようにして検査仕様全体をみわたすことができるようにし、ダイアグ機能の検査に関する設定（送信データ、送信タイミング、受信データ）を行うＧＵＩ機能である。
【００３７】
具体的には、図１１に示されるように、信号パターン編集画面上で、通信イベントタイミング信号としての特定の信号に設定されたイベントマーク（中黒三角）をクリックすると、通信データ設定画面のウィンドウが表示され、当該特定の信号に関連する送信メッセージ及び受信メッセージ（理論値）の設定が可能となる。送信タイミングは、クリックされたイベントマークの位置に応じて自動的に生成される。
【００３８】
図１２は、支援装置１０によって実行される通信イベント信号作成処理の手順を示すフローチャートである。まず、ステップ１８２では、図１１に示されるような、通信イベントの条件設定画面を表示する。次いで、ステップ１８４では、ＧＵＩによる入力に基づいて各種の条件（送信メッセージ、送信タイミング、受信メッセージ理論値）を設定する。次いで、ステップ１８６では、条件設定画面をクローズする。最後に、ステップ１８８では、作成した通信イベントの描画処理を行うとともに、シミュレータ２０によって実行可能なダイアグ機能検査処理プログラムを作成する。
【００３９】
図１３は、シミュレータ２０によって実行されるダイアグ機能検査処理の手順を例示するフローチャートである。この処理は、検査対象のＥＣＵ３０へ送信データ０ｘ１０を送信し、ＥＣＵ３０から受信データ０ｘ２０が返されてくることを確認するものである。まず、ステップ２０２では、検査対象ＥＣＵへデータ０ｘ１０を送信する。次いで、ステップ２０４では、検査対象ＥＣＵからデータが受信されたか否かを判定する。受信されていない場合には、ステップ２０６に進み、タイムオーバーか否かを判定し、タイムオーバーでない場合には、ステップ２０４に戻る。
【００４０】
ステップ２０４で検査対象ＥＣＵからの受信データがあった場合には、ステップ２０８でその判定処理を行い、ステップ２１０で受信データが０ｘ２０か否かをチェックする。受信データが期待値たる０ｘ２０である場合には、ステップ２１２においてＯＫ判定時の処理を行う一方、受信データが期待値と異なる場合には、ステップ２１４に進み、ＮＧ判定時の処理を行う。また、ステップ２０６でタイムオーバーと判定された場合にも、ステップ２１４にてＮＧ判定時の処理を行う。
【００４１】
かくして、一画面で通信に関する検査内容を容易に且つ信頼性を有して設計することが可能になるとともに、ダイアグ関連の自動検査に関する設計工数の低減が図られる。
【００４２】
ところで、類似した目的の検査を行う際には、共通の検査項目は一個のファイルとして保存しておき、再利用することができるようにすることが好ましい。そこで、支援装置１０では、検査パターン間の状態遷移設定機能を設けることにより、共通検査項目の再利用を可能にしている。
【００４３】
図１４は、かかる状態遷移設定機能を実現する機能構成（ソフトウェア構成）の例を示す図である。支援装置１０の自動検査パターンエディタには、プロジェクト編集機能とプロジェクト保存・読出機能とを備える自動検査プロジェクト設定機能（親）が設けられる。また、この自動検査プロジェクト設定機能（親）の内部には、同様に、プロジェクト編集機能とプロジェクト保存・読出機能とを備える自動検査プロジェクト設定機能（子）が設けられる。そして、この自動検査プロジェクト設定機能（子）の内部には、自動検査パターン設定機能と遷移条件設定機能とが設けられる。自動検査パターン設定機能はパターン編集機能とパターン保存・読出機能とを備え、遷移条件設定機能は遷移条件編集機能を備える。一方、シミュレータには、自動検査パターン実行機能が設けられ、この自動検査パターン実行機能の内部には、遷移条件監視機能とパターン切り換え機能とを備える自動検査パターン遷移機能が設けられる。
【００４４】
上述の機能構成に基づいて、状態遷移設定機能は、設計された一つの検査パターンを一つのファイル（以下、パターンファイルと称する）として保存し、保存されたパターンファイルを読み出して、再度編集したり別の名称で再度保存する機能を実現する。また、状態遷移設定機能は、自動検査パターンエディタにて設計された検査パターン１と別の目的で設定された検査パターン２とに対して、検査パターン１がシミュレータ上で自動実行されているときに、別に設定された条件（以下、パターン遷移条件という）が常時監視され、遷移条件が成立した場合に検査パターン２の実行に移行する機能を実現する。
【００４５】
また、状態遷移設定機能は、かかるパターン遷移条件をＧＵＩで設定することができるようにし、検査パターン１、検査パターン２及びパターン遷移条件の組み合わせ情報を、任意の名称のプロジェクトとしてファイル（以下、プロジェクトファイルと称する）に保存し、保存されたプロジェクトファイルを読み出して、再度編集したり別の名称で再度保存する機能を実現する。
【００４６】
また、状態遷移設定機能は、前述したプロジェクトを複数設計し、複数のプロジェクト間についてもパターン遷移条件と同様のプロジェクト遷移条件を設定することで、プロジェクト間の状態遷移がシミュレーション環境で実行される機能を実現する。
【００４７】
そして、状態遷移設定機能は、プロジェクト遷移条件を設定するための欄を親としパターン遷移条件を設定するための欄を子とする階層構造を有して一つの画面上に当該二つの欄を同時に表示することにより、一度に両遷移条件の設定及びプロジェクト／パターンの組み合わせ設定が編集可能な機能を持つＧＵＩを実現する。
【００４８】
具体的な例として、状態遷移設定画面を例示する図が図１５に示される。画面左側の「設定１」の欄には、プロジェクトとしての「状態Ａ」、「状態Ｂ」及び「状態Ｃ」の各状態（プロジェクトに係る状態を「グループ」と称する。）ブロックが配置されている。「状態Ａ」、「状態Ｂ」及び「状態Ｃ」の各状態（「グループ」）ブロック間に配置された丸印（○）のノードは、プロジェクト遷移条件を表す。この「設定１」により複数のプロジェクトとプロジェクト遷移条件とからなる検査プログラムの編集が可能となる。
【００４９】
一方、画面右側の「設定２」の欄には、現在アクティブな状態（「グループ」）ブロックである「状態Ｂ」の設定内容を表示すべく、「状態Ｂ」を構成する検査パターンとしての「状態ア」、「状態イ」及び「状態ウ」の各状態（検査パターンに係る状態を「詳細」と称する。）ブロックが配置されている。「状態ア」、「状態イ」及び「状態ウ」の各状態（「詳細」）ブロック間に配置された丸印（○）のノードは、パターン遷移条件を表す。この「設定２」により複数の検査パターンとパターン遷移条件とからなるプロジェクトの編集が可能となる。
【００５０】
図１５に示される画面において、例えば、状態（「詳細」）ブロックとしての「状態イ」をダブルクリックすると、図１６に示されるような、「状態イ」に係る検査パターンの各信号を表示するチャート画面が現れ、その内容を編集することが可能となる。
【００５１】
また、「状態ア」と「状態イ」との間に配置された丸印（○）のノードをダブルクリックすると、図１７に示されるような、そのパターン遷移条件に係る遷移条件設定画面が現れ、その内容が表示される。この遷移条件設定画面の例は、「状態ア」にあるときには、「Ｅｖｅｎｔ１」が発生すると「状態イ」に遷移する一方、「Ｅｖｅｎｔ２」が発生すると「状態ウ」に遷移することを表している。この画面により、パターン遷移条件の設定や変更が可能となる。また、プロジェクト遷移条件についても同様である。
【００５２】
図１８及び図１９は、支援装置１０によって実行される状態遷移設定処理の手順を示すフローチャートである。まず、ステップ３０２では、プロジェクトファイルの新規作成か否かを判定し、新規作成の場合には、ステップ３０８に進む。一方、新規作成でない場合には、ステップ３０４で既存のプロジェクトファイルを読み出し、ステップ３０６でその描画処理を行った後、ステップ３０８に進む。
【００５３】
ステップ３０８では「グループ」の作成・編集か否かを判定し、「グループ」の作成・編集の場合にはステップ３１０にて既存の「グループ」の流用か否かを判定する。流用の場合のみステップ３１２において流用元のパターンファイルの読出しを行う。次いで、ステップ３１４ではユーザの入力に応じて「グループ」の設定を行い、ステップ３１６では設定された「グループ」記号の描画を行う。
【００５４】
ステップ３０８で「グループ」の作成・編集ではないと判定された場合には、ステップ３１８に進み、いずれかの「グループ」の指定か否かを判定する。「グループ」の指定の場合には、ステップ３２０に進み、指定された「グループ」の内容を「設定２」画面に表示する。
【００５５】
ステップ３１８にて「グループ」の指定ではないと判定された場合には、ステップ３２２に進み、「詳細」の作成・編集か否かを判定する。「詳細」の作成・編集の場合には、ステップ３２４でユーザの入力に応じて「詳細」の設定を行い、ステップ３２６では設定された「詳細」記号の描画を行う。次いで、ステップ３２８でチャート画面（図１６）の表示、ステップ３３０でチャート編集処理をそれぞれ行った後、ステップ３３２でチャート画面をクローズする。
【００５６】
ステップ３２２において「詳細」の作成・編集ではないと判定された場合には、ステップ３３４に進み、「遷移条件」の作成・編集か否かを判定する。「遷移条件」の作成・編集の場合には、ステップ３３６で「遷移」記号の描画を行う。次いで、ステップ３３８で「遷移条件」設定画面（図１７）の表示、ステップ３４０で「遷移条件」設定処理をそれぞれ行った後、ステップ３４２で「遷移条件」設定画面をクローズする。
【００５７】
ステップ３３４において「遷移条件」の作成・編集ではないと判定された場合には、ステップ３４４に進み、その他の編集処理を実行する。ステップ３１６、３２０、３３２、３４２又は３４４の実行後には、ステップ３４６に進み、編集作業が全て終了したか否かを判定し、終了していない場合には、ステップ３０８にループバックする。一方、終了した場合には、ステップ３４８においてプロジェクトファイル及びパターンファイルを保存して、本ルーチンを終了する。
【００５８】
図２０は、上述した状態遷移設定処理を経て作成された検査プログラムに従ってシミュレータ２０により実行される自動検査処理の手順を示すフローチャートである。まず、ステップ４０２において自動検査パターンの実行が開始されると、ステップ４０４においてプロジェクト遷移条件が成立するか否かが判定される。プロジェクト遷移条件が成立する場合には、ステップ４０６において実行（遷移先）プロジェクトが更新される。
【００５９】
次いで、ステップ４０８においては実行プロジェクトが選択される。次いで、ステップ４１０においてパターン遷移条件が成立するか否かが判定される。パターン遷移条件が成立する場合には、ステップ４１２において実行（遷移先）パターンが更新される。
【００６０】
そして、ステップ４１４においては実行パターンが選択され、ステップ４１６ではその選択されたパターンが実行される。ステップ４１８では、検査が終了したか否かが判定され、終了していない場合にはステップ４０４にループバックする一方、終了した場合には自動検査を完了する。
【００６１】
かくして、検査パターンをライブラリ化し、パターン間の状態遷移機能を実現することで、検査パターンの再利用率が向上する。また、一画面上で上記の設定機能を可能とすることで、検査パターンの設計に要する工数が低減される。
【図面の簡単な説明】
【００６２】
【図１】本発明による電子機器自動検査プログラム作成支援装置を含む電子機器自動検査システムの構成例を示す図である。
【図２】支援装置によって実行される判定リトライ設定処理の手順を示すフローチャートである。
【図３】８ｍｓ更新カウンタに対する判定リトライ設定処理によって生成されシミュレータによって実行されるリトライ判定処理の手順を示すフローチャートである。
【図４】図３のリトライ判定によって８ｍｓ更新カウンタについての判定がなされていく様子を例示する図である。
【図５】支援装置によって生成される正弦波信号を例示する図である。
【図６】支援装置によって実行されるＳｉｎ信号作成処理の手順を示すフローチャートである。
【図７】相関信号を定義するための画面表示の例である。
【図８】相関信号のタイムチャートを例示する図である。
【図９】支援装置によって実行される相関信号作成処理の手順を示すフローチャートである。
【図１０】支援装置によって実行される信号パターン作成処理の手順を示すフローチャートである。
【図１１】通信データ設定画面を例示する図である。
【図１２】支援装置によって実行される通信イベント信号作成処理の手順を示すフローチャートである。
【図１３】シミュレータによって実行される通信機能検査処理の手順を例示するプログラムである。
【図１４】検査パターン間状態遷移設定機能を実現する機能構成（ソフトウェア構成）の例を示す図である。
【図１５】状態遷移設定画面を例示する図である。
【図１６】チャート画面を例示する図である。
【図１７】遷移条件設定画面を例示する図である。
【図１８】支援装置によって実行される状態遷移設定処理の手順を示すフローチャート（１／２）である。
【図１９】支援装置によって実行される状態遷移設定処理の手順を示すフローチャート（２／２）である。
【図２０】シミュレータによって実行される自動検査処理の手順を示すフローチャートである。
【符号の説明】
【００６３】
１０…電子機器自動検査プログラム作成支援装置
１２…コンピュータ本体
１４…ディスプレイ
１６…キーボード
２０…シミュレータ
３０…電子機器（電子制御装置（ＥＣＵ：Electronic Control Unit））
【図１】
2005164338.tif 000003
【図２】
2005164338.tif 000004
【図３】
2005164338.tif 000005
【図４】
2005164338.tif 000006
【図５】
2005164338.tif 000007
【図６】
2005164338.tif 000008
【図７】
2005164338.tif 000009
【図８】
2005164338.tif 000010
【図９】
2005164338.tif 000011
【図１０】
2005164338.tif 000012
【図１１】
2005164338.tif 000013
【図１２】
2005164338.tif 000014
【図１３】
2005164338.tif 000015
【図１４】
2005164338.tif 000016
【図１５】
2005164338.tif 000017
【図１６】
2005164338.tif 000018
【図１７】
2005164338.tif 000019
【図１８】
2005164338.tif 000020
【図１９】
2005164338.tif 000021
【図２０】
2005164338.tif 000022