WO2005054883A1 - 制御装置の検査装置、パターン信号作成装置及び検査プログラム生成装置 - Google Patents

Abstract

電子機器を自動検査するシミュレータで実行される検査プログラムの作成を支援する装置であって、自動検査における準備作業工数の低減及び信頼性の向上を図る装置。この装置は、制御装置の制御対象を模擬するシミュレートユニットと、その制御装置に入力するパターン信号と該パターン信号に応じてシミュレートユニットから出力される出力信号との関係に基づいて、制御装置の動作を検査する検査ユニットと、を備えた検査装置であって、検査ユニットは、所定のタイミングで制御装置の動作を検査するものであり、制御装置の動作が正常であるとの判定が得られない場合には、所定回数のリトライ判定を行う。

Description

制御装置の検査装置、 パターン信号作成装置及び検査プログラム生 成装置

技術分野

本発明は、 電子機器の動作環境を模擬して自動検査するシミ ュ レ 明

ータにおいて実行される検査プログラムの作成を支援する装置 （制 御装置の検査装置、 パターン信号作成装置及び検査プログラム生成 装置） に関する。 書

背景技術

車両に搭載される電子制御装置 （E C U ： El e c t roni c Cont r o l U ni t ) 等の電子機器を検査 · 評価するために、 その電子機器の動作 環境を模擬して自動検査するシミ ュ レータが使用されている。 かか るシミ ュ レータを動作させる検查プログラムは、 人手によつて作成 された検査仕様書に基づき人手によって検査パターン、 判定口ジッ ク等を作成することによ り、 準備されている。

このように、 検査プログラムの準備においては、 検査パターン、 判定口ジック等が人手によって作成されるため、 作業工数及び信頼 性の面で問題がある。 特に、 検査仕様書を作成した担当者とは別の 担当者が検査パターン、 判定ロジック等を作成する場合には、 その 問題が大きくなる。

発明の開示

本発明は、 上述した問題点に鑑みてなされたものであり、 その目 的は、 電子機器を自動検査するシミュレータで実行される検査プロ グラムの作成を支援する装置を提供するこ とによ り、 自動検査にお ける準備作業工数の低減及び信頼性の向上を図ることにある。

上記目的を達成するために、 本発明によれば制御装置の制御対象 を模擬するシミ ユ レ一ト手段と、 前記制御装置に入力するパターン 信号と該パターン信号に応じて前記シミュ レー ト手段から出力され る出力信号との関係に基づいて、 前記制御装置の動作を検査する検 查手段と、 を備え、 前記検査手段は、 所定のタイ ミングで前記制御 装置の動作を検査するものであり、 前記制御装置の動作が正常であ るとの判定が得られない場合には、 所定回数のリ トライ判定を行う 、 制御装置の検査装置、 が提供される。

また、 本発明によれば、 パターン信号を作成するパターン信号作 成装置であって、 前記パターン信号作成装置によって作成された前 記パターン信号を用いる装置の制御周期に基づいて、 前記パターン 信号を作成する第 1 の関数処理手段と、 前記制御周期とは異なる周 期に基づいて、 前記パターン信号を作成する第 2 の関数処理手段と 、 を備えるパターン信号作成装置が提供される。

こ こで、 本発明によれば、 好ましくは、 前記第 2 の関数処理手段 は、 複数の前記制御周期にわたる時間の周期に基づいて、 前記パタ ーン信号を作成する。

また、 好ましくは、 前記第 2の関数処理手段は、 前記制御周期毎 の周期に基づいて、 前記パターン信号を作成する。

また、 本発明によれば、 パターン信号を作成するパターン信号作 成装置であって、 基準パターン信号に対する相関情報が指定された 相関パターン信号を作成する手段と、 該基準パターン信号と作成さ れた該相関パターン信号とを同一画面上に表示する表示手段と、 を 備えるパターン信号作成装置が提供される。

また、 本発明によれば、 パターン信号を作成するパターン信号作 成装置であって、 基準パターン信号に対する相関情報が指定された 相関パターン信号が存在する場合に、 該基準パターン信号と該相関 パターン信号とを同一画面上に表示する表示手段と、 前記基準パタ ーン信号の変更と連動させて該相関パターン信号を変更するパター ン信号連動変更手段と、 を備え、 前記表示手段は、 前記基準パター ン信号の編集が行われた場合には、 前記基準パターン信号と ともに 、 前記パターン信号連動変更手段によって変更された前記相関パタ 一ン信号の再表示を行うパターン信号作成装置が提供される。

また、 本発明によれば、 制御装置にデータの出力を行わせるダイ ァグ機能の検查を行うための検査プログラムを作成する検査プログ ラム作成装置であって、 前記制御装置で処理される前記パターン信 号を画面上に表示する手段と、 前記パターン信号が画面上に表示さ れた状態で、 前記ダイァグ機能の検査における設定を可能とする手 段と、 を備える検査プログラム作成装置が提供される。

こ こで、 本発明によれば、 前記ダイァグ機能の検査における設定 とは、 前記制御装置に対するデータ出力要求情報および該データ出 力要求情報を前記制御装置に要求した場合におけるダイァグ機能の 正常もしく は異常の判定条件である。

また、 本発明によれば、 検查プログラムを作成する検査プロダラ ム作成装置であって、 制御装置に入力するパターン信号と該パター ン信号間の遷移条件とを含む子プロジェク ト と、 前記子プロジェク ト と前記子プロジェク ト間の遷移条件とを含む親プロジェク ト と、 前記子プロジヱク トの編集画面と、 前記親プロジェク トの編集画面 とを同時に表示する表示手段と、 前記表示手段に表示された前記親 プロジヱク トの編集画面における前記子プロジヱク トを選択すると 、 該選択された子プロジ ク ト の内容を前記子プロジェク ト の編集 画面に表示し、 編集可能とする第 1の編集手段と、 前記表示手段に 表示された前記子プロジ ク トの編集画面における前記子プロジェ ク トの内容を選択すると、 該選択された前記子プロジ ク トの内容 の設定情報を新たな編集画面に表示し、 編集可能とする第 2の編集 手段と、 を備える検査プログラム作成装置が提供される。

また、 本発明によれば、 制御装置の検査装置であって、 前記制御 装置に入力するパターン信号と該パターン信号に応じて前記制御装 置の制御対象から出力される出力信号との関係に基づいて、 前記制 御装置の動作を検査する検査手段と、 前記検査手段が前記パターン 信号を実行しているときに他の前記パターン信号の実行に移行する ためのパターン信号遷移条件が成立した場合に、 前記検査手段を該 他の前記パターン信号の実行に移行させる手段と、 を備える、 制御 装置の検査装置が提供される。

本発明によれば、 検査パターン等の作成が容易となり、 準備作業 工数が低減すると ともに、 作成される検査プログラムの信頼性が向 上する。 図面の簡単な説明

図 1 は、 本発明による電子機器自動検査プログラム作成支援装置 を含む電子機器自動検査システムの構成例を示す図である。

図 2は、 支援装置によって実行される判定リ トライ設定処理の手 順を示すフローチヤ一トである。

図 3は、 8 m s更新カウンタに対する判定リ トライ設定処理によ つて生成されシミ ュ レータによって実行される リ トライ判定処理の 手順を示すフローチャートである。

図 4は、 図 3のリ トライ判定によって 8 m s更新カウンタについ ての判定がなされていく様子を例示する図である。

図 5 A、 5 B及び 5 Cは、 支援装置によって生成される正弦波信 号を例示する図である。

図 6は、 支援装置によって実行される S i n信号作成処理の手順 を示すフローチヤ一トである。

図 7は、 相関信号を定義するための画面表示の例である。

図 8は、 相関信号のタイムチャートを例示する図である。

図 9は、 支援装置によって実行される相関信号作成処理の手順を 示すフローチヤ一トである。

図 1 0は、 支援装置によって実行される信号パターン作成処理の 手順を示すフローチャートである。

図 1 1 は、 通信データ設定画面を例示する図である。

図 1 2は、 支援装置によって実行される通信ィベント信号作成処 理の手順を示すフローチヤ一トである。

図 1 3は、 シミュレータによって実行される通信機能検查処理の 手順を例示するプログラムである。

図 1 4は、 検査パターン間状態遷移設定機能を実現する機能構成 (ソフ トウェア構成） の例を示す図である。

図 1 5は、 状態遷移設定画面を例示する図である。

図 1 6は、 チャー ト画面を例示する図である。

図 1 7は、 遷移条件設定画面を例示する図である。

図 1 8は、 支援装置によって実行される状態遷移設定処理の手順 を示すフローチャー ト （ 1 / 2 ) である。

図 1 9は、 支援装置によって実行される状態遷移設定処理の手順 を示すフローチャート ( 2 / 2 ) である。

図 2 0は、 シミ ュ レータによつて実行される自動検査処理の手順 を示すフローチヤ一トである。

発明を実施するための最良の形態 以下、 添付図面を参照して本発明の実施形態について説明する。 図 1 は、 本発明による電子機器自動検査プログラム作成支援装置 1 0を含む電子機器自動検査システムの構成例を示す図である。 同 図に示されるように、 このシステムは、 電子機器自動検査プロダラ ム作成支援装置 1 0、 シミ ュ レータ 2 0及び電子機器 3 0から構成 される。

電子機器 3 0は、 自動検査の対象であり、 本実施形態では、 車両 に搭載される電子制御装置 （E CU ： Electronic Control Unit) である。 シミュレータ 2 0は、 E C U 3 0の動作環境を模擬して自 動検査するコ ンピュータである。 自動検査プログラム作成支援装置 (以下、 支援装置と略称する） 1 0は、 シミ ュ レータ 2 0において 実行される検査プログラムの作成を支援する装置であり、 コンビュ ータ本体 （C P U、 記憶装置等を備える） 1 2、 ディ スプレイ 1 4 、 キーボー ド 1 6等からなる通常のパーソナルコンピュータによつ て実現される。

支援装置 1 0は、 基本的には、 ユーザによる画面上での入力操作 (こ基づレヽて、 すなわち GU I (Graphical User Interface) 【こよ り 、 E CU 3 0に対する検査仕様を入力し、 その検査仕様に基づいて 検査パターン （ E C U 3 0への入力信号、 その入力信号に応答して E C U 3 0から出力される信号が正常か否かを判定するための判定 ロジック、 等を含む。 ） を生成する。

図 1 に示される構成の自動検査システムの下では、 シミュレータ 2 0の実行周期ごとに E C U 3 0内の RAM (Random Access Memo ry) の値を自動判定する場合、 E C U 3 0が R AM値を更新するタ イ ミ ングとシミ ュ レータ 2 0が RAM値をサンプリ ングするタイ ミ ングとの間にズレが生ずるため、 誤判定が生ずる可能性がある。 そ こで、 支援装置 1 0は、 判定ロジックを生成する際の機能の一つと して、 判定リ トライ機能をサポートしている。 この判定リ トライ機 能は、 リ トライ回数の設定を可能と し、 一度 N G判定がなされたと しても、 直ぐには N Gを確定させることはせず、 指定されたリ トラ ィ回数だけリ トライ判定することで誤判定の防止を図るものである

図 2は、 支援装置 1 0によって実行される判定リ トライ設定処理 の手順を示すフローチャー トである。 まず、 ステップ 5 2では、 リ トライを行う判定並びにそのリ トライ回数及びリ トライ周期を設定 するための判定リ トライ設定画面を表示する。 次いで、 ステップ 5

4では、 リ トライ判定に関する各種の条件を設定する処理を行う。 例えば、 ユーザは、 この画面を介して、 E C U 3 0内の 8 m s更新 カウンタの判定に関してリ トライを設定することを指定し、 さ らに そのリ トライ回数として 2回、 リ トライ周期と して 1 m s を設定す ることができる。 最後に、 ステップ 5 6では、 判定リ トライ設定画 面をクローズする。

図 3は、 例示した 8 m s更新カウンタに対する判定リ トライ設定 処理によつて生成されシミ ュレータ 2 0によつて実行される リ トラ ィ判定処理の手順を示すフローチヤ一トである。 この処理において は、 まず、 ステップ 6 2において、 リ トライ回数を計数する リ トラ ィカウンタが 2であるか否かを判定する。 なお、 このリ トライカウ ンタは、 メイン周期で実行されるイニシャル処理で 2に初期設定さ れる。 リ トライカウンタが 2であれば、 ステップ 6 4に進み、 判定 処理 （通常の判定処理） 、 すなわち 8 m s更新カウンタが正常に更 新されているか否かを判定する処理を行う。 ステップ 6 6では、 "

〇" （O K ) 判定であったかどうかを判断し、 "〇" 判定の場合に は本ルーチンを終了する一方、 " X " ( N G ) 判定の場合にはステ ップ 6 8にてリ トライカウンタをデク リ メ ント した後、 本ルーチン を終了する。

ステップ 6 2においてリ トライカウンタが 2でないと判定された 場合には、 ステップ 7 0に進み、 リ トライカウンタが 1であるか否 かを判定する。 リ トライカウンタが 1であれば、 ステップ 7 2に進 み、 判定処理 （ 1回目のリ トライ判定処理） を行う。 ステヅプ 7 4 では、 "〇 " 判定であったかどうかを判断し、 "〇 " 判定の場合に は、 ステップ 7 6においてリ トライカウンタを 2に戻して本ルーチ ンを終了する一方、 " X " 判定の場合には、 ステップ 7 8において リ トライカウンタを更にデク リ メ ント して本ルーチンを終了する。 ステップ 7 0においてリ トライカウンタが 1でないと判定された 場合には、 ステップ 8 0に進み、 判定処理 （ 2回目のリ トライ判定 処理） を行う。 ステップ 8 2では、 "〇" 判定であったかどうかを 判断し、 "〇" 判定の場合には、 本ルーチンを終了する一方、 " X " 判定の場合には、 ステップ 8 4において " X " 判定を確定させる 処理を行う と ともに、 ステップ 8 6においてリ トライカウンタを 2 に戻した後、 本ルーチンを終了する。

図 4は、 図 3のリ トライ判定処理によって、 8 m s更新カウンタ についての判定がなされていく様子を例示する図である。 同図に示 されるように、 一度 N G判定がなされたと しても、 直ぐには N G判 定を確定させることはせず、 再度指定されたリ トライ回数 （この例 では 2回） だけリ トライ判定が行われる。 この判定リ トライ機能に よって、 誤判定が防止されると ともに、 判定ロジックにおける監視 式 （判定の合否を決定するための式） の設定機能の向上が図られる ところで、 支援装置 1 0では、 ユーザが E C U 3 0に対する検査 パターンを生成するのを支援するために、 時間を変数とするパター ン信号編集関数を準備し、 指定された関数に応じてパターン信号を 生成する機能を備えている。 ここで、 検査ステップ毎の時間変数で しかパターン信号を記述することができない場合には、 ステップを 跨いだパターン信号を表現しても、 信号のつながりが不連続となり 、 任意のパターン信号を記述することができないという問題がある

。 すなわち、 例えば、 ステップ内の経過時間 $ Tを用いて S i n信 号 y = s i n ( ω ( $ Τ) ) を記述した場合には、 図 5 Αに示され るようになる。

そこで、 支援装置 1 0では、 ステップ内の時間変数だけでなく、 複数ステップ間における時間に関する変数を用意するこ とで、 不連 続点なく ステップ間を跨ぐパターン信号についても任意に設定する ことができるよ うにしている。 例えば、 開始時からの経過時間 $ S Y S T E MT I MEを用いて S i n信号 y = s i n ( ω ( $ S Y S Τ Ε ΜΤ Ι ΜΕ ) ) を記述することができ、 図 5 Βに示されるよ う な信号を生成する。

また、 ステツプ毎の時間変数で S i n波形を記述しよう とする場 合、 ステップ毎に周期を変えて S i n信号を記述することができな いと、 任意の S i n波形を発生させることができない。 そこで、 支 援装置 1 0では、 周期が一定となる y = s i n ( ( 2 Z t ) ( $ T) ) なる記述を拡張し、 変数 $ S T E Pによって周期を任意に設 定可能な y = s i n ( ( 2 TI / $ S T E P ) ( $ T ) ) なる記述を もサポー トすることで、 図 5 Cに示されるよ うに、 周期をステップ 毎に変更することができるようにしている。

図 6は、 支援装置 1 0によって実行される S i n信号作成処理の 手順を示すフローチャー トである。 まず、 ステップ 1 0 2では、 入 力された S i n関数が複数ステップ間にわたる記述であるか否かを 判定する。 複数ステップ間にわたるものでない場合には、 ステップ 1 0 4に進み、 変数 Tに入力 $ Tを代入する一方、 複数ステップ間 にわたるものである場合には、 ステップ 1 0 6に進み、 変数 Tに入 力 $ S Y S T EMT I MEを代入する。

次いで、 ステップ 1 0 8では、 ステップ毎の周期設定か否かを判 定する。 ステツプ毎の周期設定でない場合には、 ステップ 1 1 0に 進み、 角周波数 ωを 2 π/ t とする一方、 ステップ毎の周期設定で ある場合には、 ステップ 1 1 2に進み、 角周波数のを 2 TC / $ S T E P とする。 次いで、 ステップ 1 1 4では、 先行するステップで求 められた T及び ωを用いて S i n信号 y = s i n ( ω T) を作成し 、 最後に、 ステップ 1 1 6において、 作成された S i n信号を画面 上に描画する。 このよ う に、 時間に関する変数が拡張されたことに より、 S i n信号において任意の波形を設定することが可能となり 、 パターン信号編集機能が向上する。

ところで、 相関して変化する二つ以上のパターン信号を作成する 際、 別々に設定することとなると、 工数が増大するとともに、 それ らの信号を変更する際にも、 同様の工数増加が発生する。 そこで、 支援装置 1 0では、 相関する二以上の信号については、 基準となる 信号を指定し、 その信号に対してオフセッ トゃ係数を設定すること で、 関連して変化する二つ以上のパターン信号を作成することがで きるようにしている。

具体的には、 図 7に示されるように、 パターン信号編集画面にお ける関数入力機能を利用して、 信号 Bを信号 A * 3 6 と定義した場 合には、 図 8に示されるように、 信号 Aを 3 6倍することによ り信 号 Bが自動的に作成されるとともに、 信号 Aについて修正が施され た場合には、 信号 Bについて同様の修正が自動的になされる。

図 9は、 支援装置 1 0によって実行される上述した相関信号作成 処理の手順を示すフローチャートである。 まず、 ステップ 1 3 2で は、 基準信号と しての信号 Aの指定を受け付ける。 次いで、 ステツ プ 1 3 4では、 指定された関数式に基づいて基準信号 * 3 6なる演 算により yを求める。 最後に、 ステップ 1 3 6では、 演算結果 yを 用いて信号 Bを作成する。 かく して、 関連する複数の信号を容易に 作成することが可能となり、 パターン信号変更時においても工数の 低減が図られる。

図 1 0は、 支援装置 1 0によって実行される信号パターン作成処 理の手順を示すフローチャートである。 まず、 ステップ 1 5 2では 、 信号の条件を設定するための画面を表示する。 次いで、 ステップ 1 5 4では、 画面上での入力に基づき各種条件を設定する。 次いで 、 ステップ 1 5 6では、 条件設定画面をク口一ズする。 そして、 ス テツプ 1 5 8では、 作成した信号が他信号を利用しているか否か、 すなわち前述のよ うに他信号を用いて記述されているか否か、 を判 定する。 他信号を利用している場合には、 ステップ 1 6 0に進み、 作成した信号と利用された他信号とを同時に描画する一方、 他信号 を利用していない場合には、 ステップ 1 6 2に進み、 作成した信号 についてのみ描画処理を行う。 以上で、 信号パターン作成処理が終 了する。

ところで、 一般に、 E C U 3 0はダイァグ機能を備えている。 か かるダイァグ機能を検査するために、 通信データの設定や判定値の 設定を行うにあたり、 それぞれ別々の画面で設定することとなれば 、 その工数が増大する。 そこで、 支援装置 1 0では、 検査対象の E C U 3 0への送信データ及びその送信タイ ミ ング並びに当該送信デ ータに応じて E C U 3 0から受信されるべき受信データ理論値を設 定することにより、 E C U 3 0への送信データの自動送信の実行及 び E C U 3 0からの受信データの合否判定を行う機能を備えている この機能は、 送信データ、 送信タイ ミ ング及び受信データ理論値 を、 同一画面上で、 E CU 3 0の他の入出力信号チャー ト （電圧、 スィ ッチ、 デューティ等） と ともに記載することができるようにし て検査仕様全体をみわたすことができるようにし、 ダイァグ機能の 検査に関する設定 （送信データ、 送信タイ ミ ング、 受信データ） を 行う G U I機能である。

具体的には、 図 1 1 に示されるように、 信号パターン編集画面上 で、 通信イベントタイ ミ ング信号としての特定の信号に設定された イベントマーク （中黒三角） をク リ ックすると、 通信データ設定画 面のウィンドウが表示され、 当該特定の信号に関連する送信メ ッセ ージ及び受信メ ッセージ （理論値） の設定が可能となる。 送信タイ ミングは、 ク リ ックされたイベントマークの位置に応じて自動的に 生成される。

図 1 2は、 支援装置 1 0によって実行される通信ィベント信号作 成処理の手順を示すフローチャー トである。 まず、 ステップ 1 8 2 では、 図 1 1 に示されるよ うな、 通信イベントの条件設定画面を表 示する。 次いで、 ステップ 1 8 4では、 GU I による入力に基づい て各種の条件 （送信メ ッセージ、 送信タイ ミ ング、 受信メ ッセージ 理論値） を設定する。 次いで、 ステップ 1 8 6では、 条件設定画面 をクローズする。 最後に、 ステップ 1 8 8では、 作成した通信ィべ ントの描画処理を行う と ともに、 シミ ュレータ 2 0によつて実行可 能なダイァグ機能検査処理プログラムを作成する。

図 1 3は、 シミ ュレータ 2 0によって実行されるダイァグ機能検 查処理の手順を例示するフローチャー トである。 この処理は、 検査 対象の E CU 3 0へ送信データ O x 1 0を送信し、 E CU 3 0から 受信データ 0 x 2 0が返されてく ることを確認するものである。 ま ず、 ステップ 2 0 2では、 検査対象 E CUへデータ 0 x 1 0を送信 する。 次いで、 ステップ 2 0 4では、 検査対象 E C Uからデータが 受信されたか否かを判定する。 受信されていない場合には、 ステツ プ 2 0 6に進み、 タイムオーバーか否かを判定し、 タイムオーバー でない場合には、 ステップ 2 0 4に戻る。

ステップ 2 0 4で検査対象 E C Uからの受信データがあった場合 には、 ステップ 2 0 8でその判定処理を行い、 ステップ 2 1 0で受 信データが 0 X 2 0か否かをチヱックする。 受信データが期待値た る 0 X 2 0である場合には、 ステップ 2 1 2において O K判定時の 処理を行う一方、 受信データが期待値と異なる場合には、 ステップ 2 1 4に進み、 N G判定時の処理を行う。 また、 ステップ 2 0 6で タイムオーバーと判定された場合にも、 ステップ 2 1 4にて N G判 定時の処理を行う。

かく して、 一画面で通信に関する検査内容を容易に且つ信頼性を 有して設計することが可能になると ともに、 ダイァグ関連の自動検 査に関する設計工数の低減が図られる。

ところで、 類似した目的の検査を行う際には、 共通の検査項目は 一個のフアイルと して保存しておき、 再利用することができるよう にすることが好ましい。 そこで、 支援装置 1 0では、 検査パターン 間の状態遷移設定機能を設けることによ り、 共通検査項目の再利用 を可能にしている。

図 1 4は、 かかる状態遷移設定機能を実現する機能構成 （ソフ ト ウェア構成） の例を示す図である。 支援装置 1 0の自動検査パター ンエディタには、 プロジェク ト編集機能とプロジェク ト保存 · 読出 機能とを備える自動検査プロジェク ト設定機能 （親） が設けられる 。 また、 この自動検査プロジェク ト設定機能 （親） の内部には、 同 様に、 プロジェク ト編集機能とプロジェク ト保存 · 読出機能とを備 える自動検査プロジェク ト設定機能 （子） が設けられる。 そして、 この自動検査プロジェク ト設定機能 （子） の内部には、 自動検査パ ターン設定機能と遷移条件設定機能とが設けられる。 自動検査パタ ーン設定機能はパターン編集機能とパターン保存 · 読出機能とを備 え、 遷移条件設定機能は遷移条件編集機能を備える。 一方、 シミ ュ レータには、 自動検査パターン実行機能が設けられ、 この自動検査 パターン実行機能の内部には、 遷移条件監視機能とパターン切り換 え機能とを備える自動検査パターン遷移機能が設けられる。

上述の機能構成に基づいて、 状態遷移設定機能は、 設計された一 つの検查パターンを一つのファイル (以下、 パターンファイルと称 する） と して保存し、 保存されたパターンファイルを読み出して、 再度編集したり別の名称で再度保存する機能を実現する。 また、 状 態遷移設定機能は、 自動検査パターンエディタにて設計された検査 パターン 1 と別の目的で設定された検査パターン 2 とに対して、 検 查パターン 1がシミ ュレータ上で自動実行されているときに、 別に 設定された条件 （以下、 パターン遷移条件という） が常時監視され 、 遷移条件が成立した場合に検査パターン 2の実行に移行する機能 を実現する。

また、 状態遷移設定機能は、 かかるパターン遷移条件を G U I で 設定するこ とができるよ う にし、 検査パターン 1、 検査パターン 2 及びパターン遷移条件の組み合わせ情報を、 任意の名称のプロジヱ ク ト と してファイル (以下、 プロジェク トファイルと称する） に保 存し、 保存されたプロジェク トファイルを読み出して、 再度編集し たり別の名称で再度保存する機能を実現する。

また、 状態遷移設定機能は、 前述したプロジェク トを複数設計し 、 複数のプロジェク ト間についてもパターン遷移条件と同様のプロ ジェク ト遷移条件を設定することで、 プロジェク ト間の状態遷移が シミ ュ レーショ ン環境で実行される機能を実現する。

そして、 状態遷移設定機能は、 プロジ タ ト遷移条件を設定する ための欄を親と しパターン遷移条件を設定するための欄を子とする 階層構造を有して一つの画面上に当該二つの欄を同時に表示するこ とにより、 一度に両遷移条件の設定及びプロジヱク ト /パターンの 組み合わせ設定が編集可能な機能を持つ G U I を実現する。

具体的な例と して、 状態遷移設定画面を例示する図が図 1 5に示 される。 画面左側の 「設定 1」 の欄には、 プロジェク トと しての 「 状態 A」 、 「状態 B」 及び 「状態 C」 の各状態 （プロジェク トに係 る状態を 「グループ」 と称する。 ） ブロ ックが配置されている。 「 状態 A」 、 「状態 B」 及び 「状態 C」 の各状態 （ 「グループ」 ） ブ ロ ック間に配置された丸印 （〇） のノードは、 プロジェク ト遷移条 件を表す。 この 「設定 1」 によ り複数のプロジェク ト とプロジェク ト遷移条件とからなる検査プログラムの編集が可能となる。

一方、 画面右側の 「設定 2」 の欄には、 現在アクティブな状態 （

「グループ」 ） プロ ックである 「状態 B」 の設定内容を表示すべく 、 「状態 B」 を構成する検査パターンと しての 「状態ァ」 、 「状態 ィ」 及び 「状態ゥ」 の各状態 （検査パターンに係る状態を 「詳細」 と称する。 ） ブロ ックが配置されている。 「状態ァ」 、 「状態ィ」 及び 「状態ゥ」 の各状態 （ 「詳細」 ） プロ ック間に配置された丸印

(〇） のノー ドは、 パターン遷移条件を表す。 この 「設定 2」 によ り複数の検査パターンとパターン遷移条件とからなるプロジェク ト の編集が可能となる。

図 1 5に示される画面において、 例えば、 状態 （ 「詳細」 ） プロ ックとしての 「状態ィ」 をダプルク リ ックすると、 図 1 6に示され るような、 「状態ィ」 に係る検査パターンの各信号を表示するチヤ ー ト画面が現れ、 その内容を編集することが可能となる。

また、 「状態ァ」 と 「状態ィ」 との間に配置された丸印 （〇） の ノードをダブルク リ ックすると、 図 1 7に示されるよ うな、 そのパ ターン遷移条件に係る遷移条件設定画面が現れ、 その内容が表示さ れる。 この遷移条件設定画面の例は、 「状態ァ」 にあるときには、

「E V e n. t 1」 が発生すると 「状態ィ」 に遷移する一方、 「E v e n t 2」 が発生すると 「状態ゥ」 に遷移することを表している。 この画面によ り、 パターン遷移条件の設定や変更が可能となる。 ま た、 プロジェク ト遷移条件についても同様である。

図 1 8及び図 1 9は、 支援装置 1 0によつて実行される状態遷移 設定処理の手順を示すフローチャートである。 まず、 ステップ 3 0 2では、 プロジェク トファイルの新規作成か否かを判定し、 新規作 成の場合には、 ステップ 3 0 8に進む。 一方、 新規作成でない場合 には、 ステップ 3 0 4で既存のプロジェク トフアイルを読み出し、 ステップ 3 0 6でその描画処理を行った後、 ステップ 3 0 8に進む ステップ 3 0 8では 「グループ」 の作成 ' 編集か否かを判定し、 「グループ」 の作成 · 編集の場合にはステップ 3 1 0にて既存の 「 グループ」 の流用か否かを判定する。 流用の場合のみステップ 3 1 2において流用元のパターンファイルの読出しを行う。 次いで、 ス テツプ 3 1 4ではユーザの入力に応じて 「グループ」 の設定を行い 、 ステップ 3 1 6では設定された 「グループ」 記号の描画を行う。 ステップ 3 0 8で 「グループ」 の作成 ' 編集ではないと判定され た場合には、 ステップ 3 1 8に進み、 いずれかの 「グループ」 の指 定か否かを判定する。 「グループ」 の指定の場合には、 ステップ 3 2 0に進み、 指定された 「グループ」 の内容を 「設定 2」 画面に表 示する。

ステップ 3 1 8にて 「グループ」 の指定ではないと判定された場 合には、 ステップ 3 2 2に進み、 「詳細」 の作成 ' 編集か否かを判 定する。 「詳細」 の作成 ' 編集の場合には、 ステップ 3 2 4でユー ザの入力に応じて 「詳細」 の設定を行い、 ステップ 3 2 6では設定 された 「詳細」 記号の描画を行う。 次いで、 ステップ 3 2 8でチヤ ―ト画面 （図 1 6 ) の表示、 ステップ 3 3 0でチヤ一ト編集処理を それぞれ行った後、 ステップ 3 3 2でチヤ一ト画面をクローズする ステップ 3 2 2において 「詳細」 の作成 . 編集ではないと判定さ れた場合には、 ステップ 3 3 4に進み、 「遷移条件」 の作成 ' 編集 か否かを判定する。 「遷移条件」 の作成 ' 編集の場合には、 ステツ プ 3 3 6で 「遷移」 記号の描画を行う。 次いで、 ステップ 3 3 8で 「遷移条件」 設定画面 （図 1 7 ) の表示、 ステップ 3 4 0で 「遷移 条件」 設定処理をそれぞれ行った後、 ステップ 3 4 2で 「遷移条件 」 設定画面をク口ーズする。

ステップ 3 3 4において 「遷移条件」 の作成 . 編集ではないと判 定された場合には、 ステップ 3 4 4に進み、 その他の編集処理を実 行する。 ステップ 3 1 6、 3 2 0、 3 3 2、 3 4 2又は 3 4 4の実 行後には、 ステップ 3 4 6に進み、 編集作業が全て終了したか否か を判定し、 終了していない場合には、 ステップ 3 0 8にループパッ クする。 一方、 終了した場合には、 ステップ 3 4 8においてプロジ ェク トファイル及びパターンファイルを保存して、 本ルーチンを終 了する。

図 2 0は、 上述した状態遷移設定処理を経て作成された検査プロ グラムに従ってシミユレータ 2 0によ り実行される自動検査処理の 手順を示すフローチャー トである。 まず、 ステップ 4 0 2において 自動検査パターンの実行が開始されると、 ステップ 4 0 4において プロジヱク ト遷移条件が成立するか否かが判定される。 プロジェク ト遷移条件が成立する場合には、 ステップ 4 0 6において実行 （遷 移先） プロジェク トが更新される。 次いで、 ステップ 4 0 8においては実行プロジェク トが選択され る。 次いで、 ステップ 4 1 0においてパターン遷移条件が成立する か否かが判定される。 パターン遷移条件が成立する場合には、 ステ ップ 4 1 2において実行 （遷移先） パターンが更新される。

そして、 ステップ 4 1 4においては実行パターンが選択され、 ス テツプ 4 1 6ではその選択されたパターンが実行される。 ステップ 4 1 8では、 検査が終了したか否かが判定され、 終了していない場 合にはステップ 4 0 4にループバックする一方、 終了した場合には 自動検査を完了する。

かく して、 検査パターンをライブラリ化し、 パターン間の状態遷 移機能を実現するこ とで、 検査パターンの再利用率が向上する。 ま た、 一画面上で上記の設定機能を可能とすることで、 検査パターン の設計に要する工数が低減される。

Claims

請 求 の 範 囲

1 . 制御装置の制御対象を模擬するシミ ュ レー ト手段と、 前記制御装置に入力するパタ一ン信号と該パターン信号に応じて 前記シミユ レ一ト手段から出力される出力信号との関係に基づいて

、 前記制御装置の動作を検査する検査手段と、

を備え、

前記検査手段は、 所定のタイ ミ ングで前記制御装置の動作を検査 するものであり、 前記制御装置の動作が正常であるとの判定が得ら れない場合には、 所定回数のリ トライ判定を行う、

制御装置の検査装置。

2 . パターン信号を作成するパターン信号作成装置であって.、 前記パターン信号作成装置によって作成された前記パターン信.号 を用いる装置の制御周期に基づいて、 前記パターン信号を作成する 第 1の関数処理手段と、

前記制御周期とは異なる周期に基づいて、 前記パターン信号を作 成する第 2の関数処理手段と、

を備えるパターン信号作成装置。

3 . 前記第 2の関数処理手段は、 複数の前記制御周期にわたる時 間の周期に基づいて、 前記パターン信号を作成する、 請求項 2に記 載のパターン信号作成装置。

4 . 前記第 2の関数処理手段は、 前記制御周期毎の周期に基づい て、 前記パターン信号を作成する、 請求項 3に記載のパターン信号 作成装置。

5 . パターン信号を作成するパターン信号作成装置であって、 基準パターン信号に対する相関情報が指定された相関パターン信 号を作成する手段と、 該基準パターン信号と作成された該相関パターン信号とを同一画 面上に表示する表示手段と、

を備えるパターン信号作成装置。 '

6 . パターン信号を作成するパターン信号作成装置であって、 基準パターン信号に対する相関情報が指定された相関パターン信 号が存在する場合に、 該基準パターン信号と該相関パターン信号と を同一画面上に表示する表示手段と、

前記基準パターン信号の変更と連動させて該相関パターン信号を 変更するパターン信号連動変更手段と、

を備え、

前記表示手段は、 前記基準パターン信号の編集が行われた場合に は、 前記基準パターン信号と ともに、 前記パターン信号連動変更手 段によって変更された前記相関パターン信号の再表示を行うパター ン信号作成装置。

7 . 制御装置にデータの出力を行わせるダイァグ機能の検査を行 うための検査プログラムを作成する検査プログラム作成装置であつ て、

前記制御装置で処理される前記パターン信号を画面上に表示する 手段と、

前記パターン信号が画面上に表示された状態で、 前記ダイァグ機 能の検査における設定を可能とする手段と、

を備える検査プログラム作成装置。

8 . 前記ダイァグ機能の検査における設定とは、 前記制御装置に 対するデータ出力要求情報および該データ出力要求情報を前記制御 装置に要求した場合におけるダイァグ機能の正常もしく は異常の判 定条件である、 請求項 7に記載の検査プログラム作成装置。

9 . 検査プログラムを作成する検査プログラム作成装置であって 制御装置に入力するパターン信号と該パタ一ン信号間の遷移条件 とを含む子プロジェク トと、

前記子プロジ ク ト と前記子プロジェク ト間の遷移条件とを含む 親プロジェク ト と、

前記子プロジェタ トの編集画面と、 前記親プロジヱク トの編集画 面とを同時に表示する表示手段と、

前記表示手段に表示された前記親プロジュク トの編集画面におけ る前記子プロジェク トを選択すると、 該選択された子プロジェク ト の内容を前記子プロジェク トの編集画面に表示し、 編集可能とする 第 1 の編集手段と、

前記表示手段に表示された前記子プロジ タ トの編集画面におけ る前記子プロジ ク トの内容を選択すると、 該選択された前記子プ ロジェク トの内容の設定情報を新たな編集画面に表示し、 編集可能 とする第 2の編集手段と、

を備える検査プログラム作成装置。

1 0 . 制御装置の検査装置であって、

前記制御装置に入力するパターン信号と該パターン信号に応じて 前記制御装置の制御対象から出力される出力信号との関係に基づい て、 前記制御装置の動作を検査する検査手段と、

前記検査手段が前記パターン信号を実行しているときに他の前記 パターン信号の実行に移行するためのパターン信号遷移条件が成立 した場合に、 前記検査手段を該他の前記パターン信号の実行に移行 させる手段と、

を備える、 制御装置の検査装置。

1 1 . 制御装置の動作を検査する検査方法であって、

前記制御装置の制御対象を模擬するシミュレー トステップと、 前記制御装置に入力するパターン信号と該パターン信号に応じて 前記シミ ュレー トステップで出力された出力信号との関係に基づい て、 前記制御装置の動作を検査する検査ステップと、 を含み、 前記検査ステップは、 所定のタイ ミ ングで前記制御装置の動作を 検査するものであり、 前記制御装置の動作が正常であるとの判定が 得られない場合には、 所定回数のリ トライ判定を行う ことを特徴と する制御装置の検査方法。

1 2 . パターン信号を作成する方法であって、

前記パターン信号を用いる装置の制御周期に基づいて、 前記パタ ーン信号を作成する第 1 の関数処理ステップと、

前記制御周期とは異なる周期に基づいて、 前記パターン信号を作 成する第 2の関数処理ステップと、

を備えることを特徴とするパターン信号作成方法。

1 3 . 前記第 2の関数処理ステップは、 複数の前記制御周期にわ たる時間の周期に基づいて、 前記パターン信号を作成することを特 徴とする、 請求項 1 2に記載のパターン信号作成方法。

1 4 . 前記第 2の関数処理ステップは、 前記制御周期毎の周期に 基づいて、 前記パターン信号を作成することを特徴とする、 請求項 1 3に記載のパターン信号作成方法。

1 5 . パターン信号を作成する方法であって、

基準パターン信号を作成するステップと、

該基準パターン信号に対する相関情報が指定された相関パターン 信号を作成するステップと、

該基準パターン信号と作成された該相関パターン信号とを同一画 面上に表示する表示ステップと、

を備えることを特徴とするパターン信号作成方法。

1 6 . パターン信号を作成する方法であって、 基準パターン信号に対する相関情報が指定された相関パターン信 号が存在する場合に、 該基準パターン信号と該相関パターン信号と を同一画面上に表示する表示ステップと、

前記基準パターン信号の変更と連動させて該相関パターン信号を 変更するパターン信号連動変更ステップと、

前記基準パターン信号の編集が行われた場合には、 前記基準パタ ーン信号と ともに、 前記パターン信号連動変更ステップによって変 更された前記相関パターン信号の再表示を行うステップと、

を備えることを特徴とするパターン信号作成方法。

1 7 . 制御装置にデータの出力を行わせるダイァグ機能の検查を 行うための検査プログラムを作成する検査プログラム作成方法であ つて、

前記制御装置で処理される前記パターン信号を画面上に表示する ステップと、

前記ダイァグ機能の検査における設定を可能とするステップと、 を備えることを特徴とする検査プログラム作成方法。

1 8 . 前記ダイァグ機能の検査における設定とは、 前記制御装置 に対するデータ出力要求情報および該データ出力要求情報を前記制 御装置に要求した場合におけるダイァグ機能の正常もしくは異常の 判定条件であることを特徴とする、 請求項 1 7に記載の検査プログ ラム作成方法。

1 9 . 制御装置に入力するパターン信号と該パターン信号間の遷 移条件とを含む子プロジェク ト と、 前記子プロジェタ ト と前記子プ ロジェク ト間の遷移条件とを含む親プロジェク ト と、 を備えた検査 プログラムを作成する検査プログラム作成方法であって、

前記子プロジェク トの編集画面と、 前記親プロジェク トの編集画 面とを同時に表示する表示ステツプと、 前記表示ステップで表示された前記親プロジェク トの編集画面に おける前記子プロジェク トを選択すると、 該選択された子プロジェ ク トの内容を前記子プロジェク トの編集画面に表示し、 編集可能と する第 1 の編集ステップと、

前記表示ステップで表示された前記子プロジェク トの編集画面に おける前記子プロジ ク トの内容を選択すると、 該選択された前記 子プロジェク トの内容の設定情報を新たな編集画面に表示し、 編集 可能とする第 2の編集ステップと、

を備えることを特徴とする検査プログラム作成方法。

2 0 . 前記制御装置に入力するパターン信号と該パターン信号に 応じて前記制御装置の制御対象から出力される出力信号との関係に 基づいて、 前記制御装置の動作を検査する制御装置の検査方法であ つて、

前記パターン信号を実行するステツプと、

前記実行をしているときに他の前記パターン信号の実行に移行す るためのパターン信号遷移条件が成立した場合に、 該他の前記パタ ―ン信号の実行に移行するステップと、

を備えることを特徴とする制御装置の検査方法。