JPH1063532A - 検査項目生成装置 - Google Patents

Abstract

(57)【要約】 【課題】 制御機器の実際の仕様とプログラムの設計仕
様との間に不整合があっても、マイクロコンピュータを
制御機器に組込んだ際に行なうべき検査項目を実際の仕
様に合わせて生成する。 【解決手段】 状態遷移表Ｔ１には、状態遷移毎にイベ
ント情報とアクション情報とが対応して記述され、イベ
ント操作対応表Ｔ２には制御機器１が発生すべきイベン
ト情報と制御機器１の操作内容とが対応して記述され、
アクション動作対応表Ｔ３にはマイクロコンピュータが
発生すべきアクション情報と制御機器１の動作内容とが
対応して記述されている。このため、遷移抽出部３２が
状態遷移表Ｔ１からイベント情報とアクション情報とを
抽出すると、変換部３３，３４が対応表Ｔ２，Ｔ３に基
づいて制御機器の操作内容および動作内容に変換し、出
力部３５がその変換結果を検査項目として出力する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、マイクロコンピュ
ータによって動作内容が制御される制御機器の検査項目
を生成する検査項目生成装置に関する。

【０００２】

【従来の技術】現在、家電や自動車、産業用制御機器等
の様々な制御機器の動作は、その制御機器の中に組込ま
れたマイクロコンピュータによって制御されることが一
般的になっている。この様なマイクロコンピュータのプ
ログラムが正しく作成され、制御機器が正常に動作する
ことを検証するには、マイクロコンピュータを実際に制
御機器に組込み、またはそれと等価の条件を備えた検証
用の環境の上で、所定の検査項目に基づき検査作業を行
なって、制御機器の動作を確認する必要がある。

【０００３】そのため、このような検査項目を自動的に
作成する従来の検査項目生成装置では、例えば特開平4-
271440号公報や特開昭59ー151248号公報等に示すよう
に、マイクロコンピュータのプログラム自体の構造や、
プログラムの設計情報等に基づいて検査項目を作成して
いた。

【０００４】

【発明が解決しようとする課題】しかし、前記公報等に
示す従来の検査項目生成装置では、検査作業で行なうべ
き検査項目をプログラム自体の構造や、プログラムの設
計情報等からのみ作成していたため、プログラムによっ
て動作させようとする制御機器の実際の仕様とプログラ
ムの設計仕様との間に不整合があった場合には、その不
整合による不具合等を検出することができない、という
問題があった。そこで、本発明は、このような問題を解
決するためになされたもので、制御機器の実際の仕様と
プログラムの設計仕様との間に不整合があっても、マイ
クロコンピュータを制御機器に組込んだ際に行なうべき
検査項目を実際の仕様に合わせて生成することができる
検査項目生成装置を提供することを目的とする。

【０００５】

【課題を解決するための手段】前記目的を達成するた
め、本発明では、マイクロコンピュータによって動作内
容が制御される制御機器の検査項目を生成する検査項目
生成装置において、前記制御機器の操作内容とその操作
内容が実行された場合に前記制御機器が前記マイクロコ
ンピュータヘ送るべきイベント情報とが対応して記述さ
れたイベント操作対応表と、前記マイクロコンピュータ
が前記制御機器へ送るべきアクション情報とそのアクシ
ョン情報により動作する前記制御機器の動作内容とが対
応して記述されたアクション動作対応表と、前記制御機
器が特定の状態で特定のイベント情報を前記マイクロコ
ンピュータへ送った場合に前記制御機器が移行する次の
状態と前記マイクロコンピュータが前記制御機器へ送る
べき特定のアクション情報とが対応して記述された状態
遷移表と、前記状態遷移表に基づいて前記制御機器の状
態が遷移する際の前記イベント情報と当該イベント情報
に対応するアクション情報との組を状態遷移毎に抽出す
る遷移抽出部と、前記遷移抽出部によって抽出された前
記イベント情報を前記イベント操作対応表に基づいて前
記制御機器の操作内容に変換するイベント操作変換部
と、前記遷移抽出部によって抽出された前記アクション
情報を前記アクション動作対応表に基づいて前記制御機
器の動作内容に変換するアクション動作変換部と、前記
イベント操作変換部によって変換された前記制御機器の
操作内容と前記アクション動作変換部によって変換され
た前記制御機器の動作内容とを前記遷移抽出部が抽出し
た組毎に並べ検査項目として出力する検査項目出力部と
を具備するものである。

【０００６】また、本発明では、マイクロコンピュータ
によって動作内容が制御される制御機器の検査項目を生
成する検査項目生成装置において、イベント情報とその
イベント情報が前記制御機器からマイクロコンピュータ
へ送られた場合に前記マイクロコンピュータの特定のメ
モリアドレスに入るべき特定の入力値とその特定のメモ
リアドレスとが対応して記述されたイベントアドレス対
応表と、アクション情報とそのアクション情報が前記マ
イクロコンピュータから前記制御機器へ送られた場合に
前記マイクロコンピュータの特定のメモリアドレスに格
納されるべき特定の期待値とその特定のメモリアドレス
とが対応して記述されたアクションアドレス対応表と、
前記制御機器が特定の状態で特定のイベント情報を前記
マイクロコンピュータへ送った場合に前記制御機器が移
行する次の状態と前記マイクロコンピュータが前記制御
機器へ送るべき特定のアクション情報とが対応して記述
された状態遷移表と、前記状態遷移表に基づいて前記制
御機器の状態が遷移する際の前記イベント情報と当該イ
ベント情報に対応するアクション情報との組を状態遷移
毎に抽出する遷移抽出部と、前記遷移抽出部によって抽
出された前記イベント情報を前記イベントアドレス対応
表に基づいて前記制御機器のメモリアドレスとそのメモ
リアドレスに格納される入力値とに変換するイベントア
ドレス変換部と、前記遷移抽出部によって抽出された前
記アクション情報を前記アクションアドレス対応表に基
づいて前記制御機器のメモリアドレスとそのメモリアド
レスに格納される期待値とに変換するアクションアドレ
ス変換部と、前記イベントアドレス変換部によって変換
された前記メモリアドレスおよび入力値と前記アクショ
ンアドレス変換部によって変換された前記メモリアドレ
スおよび期待値とを前記遷移抽出部が抽出した組毎に並
べ検査項目として出力する検査項目出力部と、を具備す
るものである。

【０００７】また、本発明では、マイクロコンピュータ
によって動作内容が制御される制御機器の検査項目を生
成する検査項目生成装置において、前記制御機器の操作
内容とその操作内容が実行された場合に前記制御機器が
前記マイクロコンピュータヘ送るべきイベント情報とが
対応して記述されたイベント操作対応表と、前記マイク
ロコンピュータが前記制御機器へ送るべきアクション情
報とそのアクション情報により動作する前記制御機器の
動作内容とが対応して記述されたアクション動作対応表
と、前記制御機器の特定のメモリアドレスに特定の入力
値が入った場合に前記制御機器が前記マイクロコンピュ
ータヘ送るべきイベント情報が記述されたイベントアド
レス対応表と、前記マイクロコンピュータが特定のアク
ション情報を前記制御機器へ送った場合前記制御機器の
特定のメモリアドレスに格納されるべき特定の期待値が
記述されたアクションアドレス対応表と、前記制御機器
が特定の状態で特定のイベント情報を前記マイクロコン
ピュータへ送った場合に前記制御機器が移行する次の状
態と前記マイクロコンピュータが前記制御機器へ送るべ
き特定のアクション情報とが対応して記述された状態遷
移表と、前記状態遷移表に基づいて前記制御機器の状態
が遷移する際の前記イベント情報と当該イベント情報に
対応するアクション情報との組を状態遷移毎に抽出する
遷移抽出部と、前記遷移抽出部によって抽出された前記
イベント情報を前記イベント操作対応表に基づいて前記
制御機器の操作内容に変換するイベント操作変換部と、
前記遷移抽出部によって抽出された前記アクション情報
を前記アクション動作対応表に基づいて前記制御機器の
動作内容に変換するアクション動作変換部と、記遷移抽
出部によって抽出された前記イベント情報を前記イベン
トアドレス対応表に基づいて前記制御機器のメモリアド
レスとそのメモリアドレスに格納される入力値とに変換
するイベントアドレス変換部と、前記遷移抽出部によっ
て抽出された前記アクション情報を前記アクションアド
レス対応表に基づいて前記制御機器のメモリアドレスと
そのメモリアドレスに格納される期待値とに変換するア
クションアドレス変換部と、前記イベント操作変換部に
よって変換された前記制御機器の操作内容と前記アクシ
ョン動作変換部によって変換された前記制御機器の動作
内容と前記イベントアドレス変換部によって変換された
前記メモリアドレスおよび入力値と前記アクションアド
レス変換部によって変換された前記メモリアドレスおよ
び期待値とを前記遷移抽出部が抽出した組毎に並べ検査
項目として出力する検査項目出力部と、を具備するもの
である。

【０００８】また、本発明では、状態遷移表の各状態遷
移には遷移回数が指定されており、遷移抽出部は、前記
状態遷移表の各状態遷移に指定された前記遷移回数に基
づいてその遷移回数だけイベント情報と当該イベント情
報に対応するアクション情報との組を抽出するものであ
る。

【０００９】また、本発明では、検査項目の書式を指定
する書式指定部と、前記書式指定部の指定にした書式に
基づいて検査項目出力部が出力した検査項目を整形する
書式整形部とをさらに具備するものである。

【００１０】また、本発明では、イベント情報およびア
クション情報の論理名とメモリアドレスとの対応を示す
論理名アドレス対応表をさらに具備し、イベントアドレ
ス対応表には、メモリアドレスの代わりにイベント情報
の論理名が記述可能であり、イベントアドレス変換部
は、イベント情報を前記イベントアドレス対応表に基づ
いて前記制御機器のメモリアドレスとそのメモリアドレ
スに格納される入力値とに変換する際、イベント情報の
論理名とその入力値とに変換した場合には、前記論理名
アドレス対応表に基づきその論理名をメモリアドレスに
変換する一方、アクションアドレス対応表には、メモリ
アドレスの代わりにアクション情報の論理名が記述可能
であり、アクションアドレス変換部は、アクション情報
を前記アクションアドレス対応表に基づいて前記制御機
器のメモリアドレスとそのメモリアドレスに格納される
期待値とに変換する際、アクション情報の論理名とその
期待値とに変換した場合には、前記論理名アドレス対応
表に基づきその論理名をメモリアドレスに変換するもの
である。

【００１１】また、本発明では、引数を決定する引数決
定部をさらに具備し、状態遷移表には、特定のイベント
情報とその特定のイベント情報に対応した特定のアクシ
ョン情報とには引数が設定可能であり、遷移抽出部は、
前記状態遷移表に基づいて前記制御機器の状態が遷移す
る際の前記イベント情報と当該イベント情報に対応する
アクション情報との組を状態遷移毎に抽出した際、引数
の設定されたイベント情報とアクション情報とを抽出し
た場合には、前記引数決定部により引数を決定して出力
するものである。

【００１２】

【発明の実施の形態】

実施の形態１．以下、本発明に係る検査項目生成装置の
実施の形態１を説明する。

【００１３】図１に、本発明により検査項目を生成する
対象となる制御機械の概略構成を示す。図１において、
１は制御機器、２は制御機器に組み込まれ当該制御機器
を制御するデータメモリ２１を有するマイクロコンピュ
ータである。制御機器１とマイクロコンピュータ２との
間では様々な信号がやりとりされ、これによりマイクロ
コンピュータ２は制御機器１を制御する。ここで、制御
機器１からマイクロコンピュータ２に送られる信号やデ
ータ等をイベント情報ｅ、マイクロコンピュータ２から
制御機器１に送られる信号やデータ等をアクション情報
ａと定義することにする。

【００１４】図２に、この発明に係る実施の形態１の検
査項目生成装置の構成を示す。図２において、３１は後
述する状態遷移表Ｔ１、イベント操作対応表Ｔ２および
アクション動作対応表Ｔ３が予め格納されたテーブルメ
モリ、３２は状態遷移表Ｔ１に基づいて制御機器１の状
態が遷移する際のイベント情報と当該イベント情報に対
応するアクション情報との組を状態遷移毎に抽出する遷
移抽出部、３３は遷移抽出部３２によって抽出されたイ
ベント情報をイベント操作対応表Ｔ２に基づいて制御機
器１の操作内容に変換するイベント操作変換部、３４は
遷移抽出部３２によって抽出されたアクション情報をア
クション動作対応表Ｔ３に基づいて制御機器１の動作内
容に変換するアクション動作変換部、３５はイベント操
作変換部３３によって変換された制御機器１の操作内容
とアクション動作変換部３４によって変換された制御機
器１の動作内容とを遷移抽出部３２が抽出した組毎に並
べ検査項目として出力する検査項目出力部である。

【００１５】図３に、状態遷移表Ｔ１の例を示す。この
状態遷移表Ｔ１は、この図に示すように、予め制御機器
１が特定の状態で特定のイベント情報ｅ１，ｅ２，ｅ
３，・・・をマイクロコンピュータ２へ送った場合に制
御機器１が移行する次の状態Ｓ１，Ｓ２，Ｓ３，・・・
と、マイクロコンピュータ２が制御機器１へ送るべき特
定のアクション情報ａ１１，ａ１２，ａ１３，・・・と
が対応して記述されたものである。具体的には、この状
態遷移表Ｔ１には、例えば、“状態Ｓ１において制御機
器１がイベント情報ｅ１をマイクロコンピュータ２へ送
信した場合には、状態Ｓ２へ移行すると共に、アクショ
ンａ１１がマイクロコンピュータ２から送られてきて、
アクションａ１１に対応した動作を実行する。”という
状態遷移が表現されている。

【００１６】図４（ａ），（ｂ）に、イベント操作対応
表Ｔ２の例とその具体例を示す。図４（ａ）は、このイ
ベント操作対応表Ｔ２には、操作１、操作２、操作３、
・・・等からなる制御機器１の操作内容と、その操作内
容を制御機器１が実行した場合に当該制御機器１がマイ
クロコンピュータ２ヘ送るべきイベント情報ｅ１，ｅ
２，ｅ３，・・・とが対応して記述されていることを示
している。図４（ｂ）は、図４（ａ）に示すイベント操
作対応表Ｔ２における操作内容の具体例を示しておリ、
例えば、操作１であれば、“電源スイッチを押す”等の
操作内容を示している。なお、以下、具体例は、制御機
械としてテレビを想定して、テレビの操作内容および動
作内容について説明するものとする。

【００１７】図５（ａ），（ｂ）に、アクション動作対
応表Ｔ３の例とその具体例を示す。図５（ａ）は、この
アクション動作対応表Ｔ３には、マイクロコンピュータ
２が制御０機器１へ送るべきａ１１，ａ１２，ａ１３，
・・・等からなるアクション情報と、そのアクション情
報を制御機器１が受けると実行すべき動作１、動作２、
動作３、・・・等からなる制御機器１の動作内容とが対
応して記述されていることを示している。

【００１８】図５（ｂ）は、図５（ａ）に示すアクショ
ン動作対応表Ｔ３における動作内容の具体例を示してお
り、例えば、動作１であれば、“各部を初期状態にセッ
トする。”、動作２であれば“チャンネルを１ｃｈに切
り替える。”等の動作内容を示しているものである。

【００１９】次に、この実施の形態１の動作を図面を参
照して説明する。図６に、この実施の形態１の動作手順
を示す。この検査項目生成装置では、検査項目生成処理
を開始すると、まず、遷移抽出部３２がテーブルメモリ
３１から状態遷移表Ｔ１を読み出して（ステップ１０
０）、その状態遷移表Ｔ１を順に辿り、例えばＳ１−Ｓ
２−Ｓ７−・・・というように一連の状態遷移の組を１
つ抽出して、その一連の状態遷移にしたがったイベント
ｅとアクションａの組をシーケンスで出力する（ステッ
プ１１０）。状態の遷移は、状態遷移表Ｔ１（図３参
照）に示すようにイベント情報ｅの発生により起きるた
め、状態の遷移にイベントｅとアクションａとの組が特
定できるからである。

【００２０】次いで、全ての遷移パターンを状態遷移表
Ｔ１から読み出せた否かを判断して（ステップ１２
０）、全ての遷移パターンを読み出していない場合には
（ステップ１２０“ＮＯ”）、遷移パターンの抽出を再
度行なう一方（ステップ１１０）、全ての遷移パターン
を読み出した場合には（ステップ１２０“ＹＥＳ”）、
続いて、イベント操作変換部３３がテーブルメモリ３１
からイベント操作対応表Ｔ２を読み込み（ステップ１３
０）、そのイベント操作対応表Ｔ２に基づいて各遷移パ
ターン毎に遷移抽出部３２が抽出したイベント情報を、
それに対応する制御機器１の操作内容に変換する（ステ
ップ１４０）。

【００２１】次に、アクション動作変換部３４は、テー
ブルメモリ３１からアクション動作対応表Ｔ３を読込み
（ステップ１５０）、そのアクション動作対応表Ｔ３に
基づいて各遷移パターン毎に遷移抽出部３２が抽出した
アクション情報を、それに対応する制御機器１の動作内
容に変換する（ステップ１６０）。そして、最後に、検
査項目出力部３５が、イベント操作変換部３３によって
変換された制御機器１の操作内容と、アクション動作変
換部３４によって変換された制御機器１の動作内容とを
検査項目として遷移抽出部３２が抽出したシーケンスな
組毎に並べて、検査項目書３５ａ上に記述して出力する
ようにする（ステップ１７０）。つまり、これら一連の
作業によって制御機器１の操作内容と、その操作結果と
して現れる制御機器１の動作内容とのシーケンスな組を
得ることができ、これが制御機器１に組込まれたマイク
ロコンピュータ２が正常に制御機器１を制御しているか
を検査するための検査項目の集合となる。なお、これで
検査項目生成動作は終了したが、前記ステップ１３０，
１４０とステップ１５０，１６０とは同時に行なうよう
にしても良いし、またステップ１５０，１６０をステッ
プ１３０，１４０より先に行なうようにしてもよい。

【００２２】図７に、図６のステップ１７０に示す処理
によって出力される検査項目書の一例を示す。具体的に
は、この検査項目には、遷移抽出部３２が抽出したシー
ケンスな組、すなわち項目毎に“1-1”や“1-2”等の項
目Ｎｏ．が付されて、“電源スイッチを押す。”等のイ
ベント情報ｅ１に対応した操作内容と、“各部を初期状
態にセットする。”等のアクション情報ａ１１に対応し
た動作内容との組が記述されて出力されることになる。

【００２３】よって、この図７に示すような検査項目に
基づいて制御機器１の検査を行なう場合には、その検査
項目に含まれる操作内容を制御機器１に対し操作して、
その結果としてその操作内容に対応した検査項目に含ま
れる動作が行われるかどうかを調べれば、制御機械の実
際の仕様に応じた検査項目を検査できることになる。

【００２４】従って、この実施の形態１による検査項目
自動生成装置によれば、イベント情報と制御機器１の操
作内容との対応を示すイベント操作対応表Ｔ２や、アク
ション情報と制御機器１の動作内容との対応を示すアク
ション動作対応表Ｔ３とを予め記憶しておき、プログラ
ム自体やプログラムの構造情報を必要とせずに、その制
御機器１の操作や動作に基づいてマイクロコンピュータ
２を制御機器に組み込んだ際の検査項目を出力できるの
で、制御機器１の実際の仕様とプログラムの設計仕様と
の間に不整合があっても、制御機器１の実際の仕様に応
じて検査項目を自動的に作成することが可能になる。

【００２５】実施の形態２．図８に、この発明の実施の
形態２に係る検査項目生成装置の構成を示す。なお、前
記実施の形態１のものと同一部材には同一符号を付して
その説明は省略する。図８において、４１は状態遷移表
Ｔ１、後述するイベントアドレス対応表Ｔ４およびアク
ションアドレス対応表Ｔ５が予め格納されたテーブルメ
モリ、３２は遷移抽出部、４３は遷移抽出部３２によっ
て抽出されたイベント情報を、イベントアドレス対応表
Ｔ２に基づいて制御機器１のデータメモリ２１のアドレ
ス（以下、「メモリアドレス」という。）とそのメモリ
アドレスに格納される入力値とに変換するイベントアド
レス変換部、４４は遷移抽出部３２によって抽出された
アクション情報をアクションアドレス対応表Ｔ３に基づ
いてデータメモリ２１のメモリアドレスとそのメモリア
ドレスに格納される期待値とに変換するアクションアド
レス変換部、４５はイベントアドレス変換部４３によっ
て変換されたメモリアドレスおよび入力値とアクション
アドレス変換部４４によって変換されたメモリアドレス
および期待値とを遷移抽出部３２が抽出した組毎に並べ
検査項目として出力する検査項目出力部である。

【００２６】図９に、イベントアドレス対応表Ｔ４を示
す。このイベントアドレス対応表Ｔ４は、この図に示す
ように、制御機器１のデータメモリ２１の特定のメモリ
アドレスに、特定の入力値が入った場合に、制御機器１
がマイクロコンピュータ２ヘ送るべきイベント情報ｅ
１，ｅ２，ｅ３，・・・が予め記述されたものである。

【００２７】図１０に、アクションアドレス対応表Ｔ５
を示す。このアクションアドレス対応表Ｔ５は、この図
に示すように、マイクロコンピュータ２がａ１１，ａ１
２，ａ１３，・・・等の特定のアクション情報を制御機
器１へ送った場合、当該制御機器１の特定のメモリアド
レスに格納されるべき特定の期待値が予め記述されたも
のである。

【００２８】次に、この実施の形態２の動作を図面を参
照して説明する。図１１に、この実施の形態２の動作手
順を示す。なお、この実施の形態２の動作手順も、基本
的には、前記実施の形態１の動作手順と同じなので、相
違点を中心に説明するものとすると、ステップ２３０以
降の処理で、イベントアドレス変換部３３がテーブルメ
モリ４１からイベント操作対応表Ｔ４を読み込み、続い
て次のステップ２４０でそのイベントアドレス対応表Ｔ
４に基づいて各遷移パターン毎に遷移抽出部３２が抽出
したイベント情報を、それに対応する入力値とその入力
値が格納されるメモリアドレスとに変換する。

【００２９】また、ステップ２５０では、アクション期
待値変換部３４は、テーブルメモリ４１からアクション
アドレス対応表Ｔ５を読込み、続いて次のステップ２６
０でそのアクションアドレス対応表Ｔ５に基づいて各遷
移パターン毎に遷移抽出部３２が抽出したアクション情
報を、それに対応する出力値とその出力値が格納される
メモリアドレスに変換する。

【００３０】そして、最後に、ステップ２７０で検査項
目出力部３５が、イベントアドレス変換部４３によって
変換されたメモリアドレスおよび入力値とアクションア
ドレス変換部４４によって変換されたメモリアドレスお
よび期待値とを検査項目として遷移抽出部３２が抽出し
たシーケンスな組毎に並べ、それを検査項目書４５ａに
記述して出力する。なお、上記動作手順では、ステップ
２３０，２４０の処理をステップ２５０，２６０の処理
より前に行っているが、本発明では同時に行なうように
しても良いし、またステップ２５０，２６０の処理をス
テップ２３０，２４０の処理より先に行なうようにして
もよい。

【００３１】図１２に、図１１のステップ２７０に示す
処理によって出力される検査項目書の一例を示す。具体
的には、この検査項目書４５ａには、この図１１に示す
ように、遷移抽出部３２が抽出したシーケンスな組、す
なわち項目（Subtest）毎に“1-1”等のＮｏ．が付され
て、“set 0071H，00H”等のイベント情報ｅ１に対応
したメモリアドレスおよびそのメモリアドレスに格納さ
れる入力値と、“test 007EH eq01H”等のアクション
情報に対応したメモリアドレスとそのメモリアドレスに
格納される期待値との組が検査項目として記述されてい
る。

【００３２】このため、この実施の形態２では、出力し
た検査項目に基づいて制御機器１の検査を行なう場合に
は、図１２に示す検査項目上に記述されたメモリアドレ
スとそのメモリアドレスに格納される入力値や期待値と
によりマイクロコンピュータ２を検査することが可能に
なる。

【００３３】従って、この実施の形態２によれば、前記
実施の形態１の場合と同様にプログラム自体やプログラ
ムの構造情報を必要とせずに、マイクロコンピュータ２
を制御機器に組み込んだ際の検査項目を出力でき、制御
機器１の実際の仕様とプログラムの設計仕様との間に不
整合があっても、制御機器１の実際の仕様に応じて検査
項目を自動的に作成することが可能になると共に、特
に、イベント情報およびアクション情報をマイクロコン
ピュータ２中のデータメモリ２１の値の変化として捉
え、それぞれ対応するメモリアドレスとそのメモリアド
レスに格納される入力値または期待値とに変換するよう
にしたので、この検査項目上のメモリアドレスやそのメ
モリアドレスに格納される入力値や期待値を使用するよ
うにすれば、実際に制御機器１にマイクロコンピュータ
２を組み込まなくても、マイクロコンピュータ１を制御
機器２に組込んだ場合と等価な検査を実施することが可
能となる。

【００３４】実施の形態３．この実施の形態３は、前記
実施の形態１と実施の形態２とを組み合わせたことを特
徴とするものである。図１３に、この実施の形態３の検
査項目生成装置を示す。図中、５１は状態遷移表Ｔ１、
イベント操作対応表Ｔ２、アクション動作対応表Ｔ３、
イベントアドレス対応表Ｔ４およびアクションアドレス
対応表Ｔ５が格納されたテーブルメモリ、５５はイベン
ト操作変換部３３からの操作内容、アクション動作変換
部３４からの動作内容、イベント操作変換部４３からの
メモリアドレス及び入力値、アクション期待値変換部４
４からのメモリアドレスおよび期待値を検査項目として
出力する検査項目出力部である。なお、前記実施の形態
１，２のものと同一部材には同一符号を付してその説明
は省略する。

【００３５】次に、この実施の形態３の動作を説明する
が、この実施の形態３は、前記実施の形態１，２を組み
合わせたものであるので、図６および図１１に示す実施
の形態１，２の場合と同様に動作するので、その動作の
説明は省略する。なお、この実施の形態３では、実施の
形態１，２の動作を、直列あるいは並列に実行するよう
にしてもよい。

【００３６】図１４に、この実施の形態３によって出力
される検査項目書の一例を示す。この実施の形態３によ
る検査項目書５５ａは、基本的には、前記実施の形態１
の検査項目書３５ａと実施の形態２の検査項目書４５ａ
とを合成したものであり、具体的には、遷移抽出部３２
が抽出したシーケンスな組、すなわち検査項目（Subtes
t）毎に“1-1”等の項目Ｎｏ．が付されて、テキストア
イテムとしての“電源スイッチを押す。”等のイベント
情報ｅ１に対応した操作内容と、“各部を初期状態にセ
ットする。”等のアクション情報ａ１１に対応した動作
内容との組が記述されると共に、“set 0071H，00H”
等のイベント情報ｅ１に対応したメモリアドレスおよび
そのメモリアドレスに格納される入力値と、“test 00
7EHeq 01H”等のアクション情報に対応したメモリアド
レスとそのメモリアドレスに格納される期待値との組が
記述されることになる。

【００３７】従って、この実施の形態３の検査項目生成
装置によれば、上記実施の形態１の構成と上記実施の形
態２の構成とを併せ持つので、前記実施の形態１および
実施の形態２の場合と同様に、プログラム自体やプログ
ラムの構造情報を必要とせずに、マイクロコンピュータ
２を制御機器に組み込んだ際の検査項目を出力でき、制
御機器１の実際の仕様とプログラムの設計仕様との間に
不整合があっても、制御機器１の実際の仕様に応じて検
査項目を自動的に作成することが可能になると共に、検
査項目上のメモリアドレスやそのメモリアドレスに格納
される入力値や期待値を使用することにより、実際に制
御機器１にマイクロコンピュータ２を組み込まなくて
も、マイクロコンピュータ２を制御機器２に組込んだ場
合と等価な検査を実施することが可能となる。

【００３８】実施の形態４．この実施の形態４は、前記
実施の形態１において特定の状態の遷移回数を指定でき
るようにしたことを特徴とするものである。図１５に、
この発明の実施の形態４に係る検査項目生成装置の構成
を示す図である。なお、この実施の形態４は、前記実施
の形態１を改良したものであるので、前記実施の形態１
のものと同一部材には同一符号を付してその説明は省略
するものとする。図中、Ｔ６は制御機器１の状態遷移の
組み毎に遷移回数が設定された状態遷移表、６１はその
状態遷移表Ｔ１等を予め記憶したテーブルメモリ、６２
は状態遷移表Ｔ６に基づいて制御機器１の状態が遷移す
る際のイベント情報と当該イベント情報に対応するアク
ション情報との組を、設定された遷移回数だけ抽出する
遷移抽出部である。

【００３９】図１６に、この実施の形態４の状態遷移表
Ｔ６を示す。この状態遷移表Ｔ６は、この図に示すよう
に、基本的には図３に示す実施の形態１の状態遷移表Ｔ
１と同じで、さらに各状態遷移毎に遷移回数が設定され
るもので、図中、{}の中に記述された数値が各状態遷移
の遷移回数を示している。具体的には、状態Ｓ２でイベ
ント情報ｅ３が発生した場合、状態Ｓ１５ヘ移行しかつ
アクション情報ａ２３が発生するという状態遷移は、２
回行なうように遷移回数が設定されている。

【００４０】次に、この実施の形態４の動作を説明する
と、基本的には前記実施の形態１の場合と同じで、異な
るのは、遷移抽出部６２はテーブルメモリ６１の状態遷
移表Ｔ６から状態遷移の組み毎に遷移状態を抽出する
際、各状態遷移に設定された遷移回数だけ遷移を行なっ
て、その指定された遷移回数を満たすように一連の遷移
を抽出するだけである。

【００４１】図１７に、この実施の形態４によって出力
される検査項目書３５ｂの一例を示すこの実施の形態４
による検査項目書３５ｂは、基本的には、前記実施の形
態１の検査項目３５ａと同様で、異なるのは、状態遷移
に遷移回数が設定されているので、検査項目Ｎｏ．２−
２の状態遷移が３回指定されているものとすると、この
図に示すように、検査項目Ｎｏ．２−２の状態遷移が３
回行われて、検査項目として記述されることになる。

【００４２】従って、この実施の形態４によれば、状態
遷移表で特定の状態遷移に複数回の遷移回数を指定でき
るので、その特定の状態遷移をその遷移回数だけ何度も
抽出することができる。このため、通常の検査では、状
態遷移表における遷移を１度通れば十分であるが、制御
機器の信頼性を確認するため、特定の状態遷移を何回か
通って制御機器が正常に動作することを確認する場合に
は、状態遷移表の特定の状態遷移に遷移回数を指定する
ことにより、その遷移回数だけその遷移を通過するよう
な状態遷移を抽出でき、制御機器が正常に動作するか否
かを確実に確認することが可能になる。

【００４３】実施の形態５．検査を実施するためだけの
目的であれば、検査項目書の出力書式は単一のものでか
まわないが、検査仕様書等としても活用しようとする場
合には、仕様書として適当な書式に変換して出力するの
が望ましい。そこで、この実施の形態５では、予め求め
ようとする検査仕様書等の書式を記述した書式指定情報
を用意し、前記実施の形態１等により出力される検査項
目の書式整形を行なうようにしたことを特徴とするもの
である。なお、この実施の形態４は、前記実施の形態１
を改良したものであるので、前記実施の形態１のものと
同一部材には同一符号を付してその説明は省略するもの
とする。図１８に、この発明の実施の形態５に係る検査
項目生成装置の構成を示す。図中、７１は書式指定情報
にしたがって検査項目出力部３５から出力された検査項
目を整形する書式整形部である。なお、その他の構成
は、前記実施の形態１と同様である。

【００４４】図１９に、書式整形部７１が検査項目を整
形する際に使用する書式指定情報の例を示す。この書式
指定情報は、検査項目出力部３５から出力された検査項
目書に“ＴＶセット検査項目”等の検査項目書の表題
（タイトル）や、日付、頁付け、Ａ４等の紙のサイズ、
最大項目数等の書式を指定するためのものである。

【００４５】次に、この実施の形態５の動作を説明する
と、検査項目出力部３５が検査項目書を出力するまで前
記実施の形態１と同様であり、検査項目出力部３５が検
査項目書を出力すると、書式性警部７１が図１９等に示
す書式指定情報に従って検査項目書の書式を整形し、所
定の形式に整形された検査項目書が出力される。

【００４６】図２０に、この実施の形態５により得られ
る検査項目書７１ａを示す。この図に示すように、この
検査項目書７１ａには、図７に示す検査項目書３５ａと
は異なり、表題や、日付や、頁番号等が付されて整形さ
れて出力される。

【００４７】従って、この実施の形態５によれば、前記
実施の形態１と同様の効果が得られると共に、書式が整
形された所定の検査項目書が得られる。なお、この実施
の形態５は、前記実施の形態１に適用して説明したが、
他の実施形態にも適用可能である。

【００４８】実施の形態６．この実施の形態６は、前記
実施の形態２を改良したもので、イベントアドレス対応
表やアクションアドレス対応表にメモリアドレスが格納
されてなく、代わりに論理名が格納されている場合で
も、その論理名をメモリアドレスに変換できるようにし
たことを特徴とするものである。図２１に、この実施の
形態６に係る検査項目生成装置の構成を示す。なお、前
記実施の形態２のものと同一部材には同一符号を付して
その説明は省略するものとする。図において、Ｔ７は入
力値のメモリアドレスの代わりに各イベント情報の論理
名が設定可能なイベントアドレス対応表、Ｔ８は期待値
のメモリアドレスの代わりに各アクション情報の論理名
が設定可能なアクションアドレス対応表、Ｔ９は各種論
理名とその論理名の命令が実行された場合その入力値や
期待値が格納されるメモリアドレスとの対応を示した論
理名アドレス対応表、８１はこれらの対応表等を記憶し
たテーブルメモリ８１、８２はイベント操作変換部３３
やアクション動作変換部３４がイベントアドレス対応表
Ｔ７やアクションアドレス対応表Ｔ８から入力値や期待
値のメモリアドレスの代わりに論理名を読み出した場
合、その論理名を受けて対応するメモリアドレスに変換
する論理名アドレス変換部である。なお、その他の構成
は、前記実施の形態２と同じである。

【００４９】図２２（ａ）〜（ｃ）に、それぞれ、本実
施の形態６の対応表を示す。図２２（ａ）は、イベント
アドレス対応表Ｔ７を示しており、メモリアドレスの代
わりに、“ＭＡＩＮＭＯＤＥ”や“ＫＥＹ ＢＵＦＦ”
等の論理名が設定されている。図２２（ｂ）は、アクシ
ョンアドレス対応表Ｔ８を示しており、メモリアドレス
の代わりに、“ＳＴＡＴＥ ＦＬＧ”や“ＣＨ ＢＵＦ
Ｆ”等の論理名が設定されている。図２２（ｃ）は、論
理名アドレス対応表Ｔ９を示しており、“ＭＡＩＮＭＯ
ＤＥ”や“ＫＥＹ ＢＵＦＦ”等の論理名に対応するア
ドレス“００７１Ｈ”や、“００ＡＦＨ”が予め記述さ
れているものである。

【００５０】次にこの実施の形態６の動作を説明する
と、基本的には前記実施の形態２と同様であり、相違点
を説明すると、イベントアドレス対応表Ｔ７およびアク
ションアドレス対応表Ｔ８にはメモリアドレスの代わり
に論理名が設定されている場合があるので、イベントア
ドレス変換部４３がイベントアドレス対応表Ｔ７に基づ
いてイベント情報に対応した入力値およびそのメモリア
ドレスに変換した際、メモリアドレスの代わりに論理名
に変換した場合には、論理名アドレス変換部８２にその
論理名を送る。また、これと同様に、アクションアドレ
ス変換部４４がアクション情報を入力値と論理名とに変
換した場合には、その論理名を論理名アドレス変換部８
２に送る。

【００５１】すると、論理名アドレス変換部８２は、論
理名アドレス対応表Ｔ９に基づいてその論理名を対応す
るメモリアドレスに変換して、そのメモリアドレスをイ
ベントアドレス変換部４２またはアクションアドレス変
換部４４に送るようにする。

【００５２】このため、イベントアドレス変換部４２ま
たはアクションアドレス変換部４４は、論理名に対応し
たメモリアドレスを得ることができるので、検査項目出
力部３５に対し入力値若しくは期待値と、それに対応す
るメモリアドレスとを送ることができる。

【００５３】従って、この実施の形態６によれば、イベ
ントアドレス対応表Ｔ７やアクションアドレス対応表Ｔ
８にメモリアドレスの代わりに論理名が設定可能で、論
理名を設定した場合でも、前記実施の形態２と同様の効
果を得ることができる。

【００５４】実施の形態７．実施の形態７は、前記実施
の形態１を改良したもので、イベント情報およびアクシ
ョン情報が引数（パラメータ）を持つようにしたことを
特徴とするものである。図２３に、この発明の実施の形
態７に係る検査項目生成装置の構成を示す。なお、前記
実施の形態２のものと同一部材には同一符号を付してそ
の説明は省略するものとする。図中、Ｔ８は引数を有す
るイベント情報からなる状態遷移表、９１は遷移抽出部
３２が抽出したイベント情報を受けて、そのイベント情
報が引数を有する場合には所定の条件にしたがってその
引数を設定する引数決定部である。ここで、引数決定部
９１が引数を設定する際の所定の条件とは、例えば、引
数のとり得る値の範囲の中央値を取るとか、引数のとり
得る範囲の中央値を取るとか、さらにはとり得る範囲の
中からランダムに選択する、最大値を取る、最小値を取
る、等が考えられ、これらが１つだけ用意されていて
も、あるいは複数用意されていて、検査項目毎に選択し
たり、すべての項目に対して一括して選択するようにし
て良い。なお、その他の構成は、前記実施の形態１と同
様である。

【００５５】図２４に、この実施の形態７の状態遷移表
Ｔ１０を示す。この実施の形態７の状態遷移表Ｔ１０
は、基本的には、図３に示す実施の形態１の状態遷移表
Ｔ１と同じであるが、イベント情報に引数ｎが設定可能
であることが異なる。具体的には、この状態遷移表Ｔ１
０では、イベント情報ｅ３に引数ｎ（０≦ｎ≦１５）が
設けられており、そのイベント情報ｅ３に対応したアク
ション情報ａ１１，ａ２３等にも引数ｎが設定されてい
る。

【００５６】次に、この実施の形態７の動作を説明する
と、遷移抽出部３２が状態遷移表Ｔ１０から状態遷移毎
にイベント情報とアクション情報との一連の各組を抽出
して、引数決定部９１へ送る。引数決定部９１では、遷
移抽出部から入力したイベント情報及びアクション情報
が引数ｎを有するか否かを判断して、引数ｎを有する場
合には、その引数ｎをとり得る値の範囲の中央値を取る
等の前記所定の条件に基づき設定して、それぞれ、イベ
ント操作変換部３３およびアクション動作変換部３４へ
送る。図２４に示す状態遷移表Ｔ１０であれば、イベン
ト情報ｅ３およびアクション情報ａ１１，ａ２３の場合
である。すると、イベント操作変換部３３およびアクシ
ョン動作変換部３４は、イベント操作対応表Ｔ２および
アクション動作対応表Ｔ３に基づいてそれぞれ引数ｎの
確定したイベント情報およびアクション情報を操作内容
および動作内容に変換し、検査項目出力部３５が前記実
施の形態１の場合と同様に、検査項目を出力する。

【００５７】従って、この実施の形態７によれば、イベ
ント情報およびアクション情報に引数が設定可能であ
り、この場合でも、その引数を所定の方法により決定し
て、その決定したイベント情報およびアクション情報と
に基づいて操作内容および動作内容に変換できるので、
上記実施の形態１と同様の効果が得られる。

【００５８】

【発明の効果】以上説明したように、本発明によれば、
イベント情報と制御機器の操作内容との対応を示すイベ
ント操作対応表や、アクション情報と制御機器の動作内
容との対応を示すアクション動作対応表とを予め記憶し
ておき、プログラム自体やプログラムの構造情報を必要
とせずに、その制御機器の操作や動作に基づいてマイク
ロコンピュータを制御機器に組み込んだ際の検査項目を
出力できるようにしたので、制御機器の実際の仕様とプ
ログラムの設計仕様との間に不整合があっても、制御機
器の実際の仕様に応じて検査項目を自動的に作成するこ
とが可能になる。このため、その検査項目に基づき、制
御機械やマイクロコンピュータを検査する場合には、そ
の検査項目に含まれる操作内容を実施し、その結果とし
て検査項目に含まれるその動作内容が行われるかどうか
を調べればよい。

【００５９】また、本発明によれば、イベント情報およ
びアクション情報をマイクロコンピュータ中のデータメ
モリの値の変化として捉え、それぞれ対応するメモリア
ドレスとそのメモリアドレスに格納される入力値または
期待値とに変換するようにしたので、プログラム自体や
プログラムの構造情報を必要とせずに、マイクロコンピ
ュータを制御機器に組み込んだ際の検査項目を出力で
き、制御機器の実際の仕様とプログラムの設計仕様との
間に不整合があっても、制御機器の実際の仕様に応じて
検査項目を自動的に作成することができると共に、この
検査項目上のメモリアドレスやそのメモリアドレスに格
納される入力値や期待値を使用するようにすれば、実際
に制御機器にマイクロコンピュータを組み込まなくて
も、マイクロコンピュータを制御機器に組込んだ場合と
等価な検査を実施することが可能となる。

【００６０】また、本発明によれば、状態遷移表の各状
態遷移には遷移回数が設定可能で、その状態遷移表の各
状態遷移に指定された前記遷移回数に基づいて遷移回数
だけイベント情報と当該イベント情報に対応するアクシ
ョン情報との組を抽出するようにしたので、その特定の
状態遷移をその遷移回数だけ何度も抽出することができ
る。このため、通常の検査では、状態遷移表における遷
移を１度通れば十分であるが、制御機器の信頼性を確認
するため、特定の状態遷移を何回か通って制御機器が正
常に動作することを確認する場合には、状態遷移表の特
定の状態遷移に遷移回数を指定することにより、その遷
移回数だけその遷移を通過するような状態遷移を抽出で
き、制御機器が正常に動作するか否かを確実に確認する
ことが可能になる。

【００６１】また、本発明によれば、検査項目の書式指
定情報に基づいて検査項目の書式を整形するようにした
ので、必要な書式にしたがった検査仕様書を作成するこ
とができる。

【００６２】また、本発明によれば、イベント情報およ
びアクション情報の論理名とメモリアドレスとの対応を
示す論理名アドレス対応表をさらに具備し、イベントア
ドレス対応表にはメモリアドレスの代わりにイベント情
報の論理名が記述可能で、イベント情報をそのイベント
アドレス対応表に基づいてメモリアドレスとそのメモリ
アドレスに格納される入力値とに変換する際、イベント
情報の論理名とその入力値とに変換した場合には、前記
論理名アドレス対応表に基づきその論理名をメモリアド
レスに変換する一方、アクションアドレス対応表にはメ
モリアドレスの代わりにアクション情報の論理名が記述
可能で、アクション情報をそのアクションアドレス対応
表に基づいてメモリアドレスとそのメモリアドレスに格
納される期待値とに変換する際、アクション情報の論理
名とその期待値とに変換した場合には、前記論理名アド
レス対応表に基づきその論理名をメモリアドレスに変換
するようにしたので、イベントアドレス対応表やアクシ
ョンアドレス対応表にメモリアドレスの代わりに論理名
が設定されている場合があっても、その論理名をメモリ
アドレスに変換することが可能になる。

【００６３】また、本発明によれば、状態遷移表には、
特定のイベント情報とその特定のイベント情報に対応し
た特定のアクション情報とには引数が設定可能であり、
その状態遷移表に基づいて制御機器の状態が遷移する際
のイベント情報と当該イベント情報に対応するアクショ
ン情報との組を状態遷移毎に抽出した際、引数の設定さ
れたイベント情報とアクション情報とを抽出した場合に
は、その引数を決定して出力するようにしたので、イベ
ント情報およびアクション情報に引数が設定可能であ
り、この場合でも、その引数を所定の方法により決定し
て、その決定したイベント情報およびアクション情報と
に基づいて操作内容および動作内容に変換できるので、
上記実施の形態１と同様の効果が得られる。

【００６４】このため、イベント情報を規定する際に、
引数を持つイベント情報を使用できるので、複数のイベ
ント情報を一つのイベント情報にまとめることにより状
態遷移表をより簡単に記述することができる。また、引
数を任意の値に設定可能あり、その引数の決定方法も任
意に選択可能なので、制御機器の種類が変わっても状態
遷移表を変更することなく、引数の設定を変えるだけで
対処することが可能になると共に、検査の要求にしたが
って引数選択の条件を変えることにより、例えば限界値
試験向きの検査項目を生成するなどが可能となる。

【図面の簡単な説明】

【図１】 本発明において検査項目を生成する対象とな
る制御機器の構成を示す図である。

【図２】 この発明の実施の形態１に係る検査項目生成
装置の構成を示す図である。

【図３】 実施の形態１の状態遷移表Ｔ１を示す図であ
る。

【図４】 （ａ），（ｂ）それぞれ、イベント操作対応
表Ｔ２の内容とその具体例を示す図である。

【図５】 （ａ），（ｂ）それぞれ、アクション動作対
応表Ｔ３の内容とその具体例を示す図である。

【図６】 この実施の形態１による検査項目生成装置の
動作手順を示すフローチャート。

【図７】 この実施の形態１による検査項目書３５ａの
一例を示す図である。

【図８】 この発明の実施の形態２に係る検査項目生成
装置の構成を示す図である。

【図９】 イベントアドレス対応表Ｔ４の内容を示す図
である。

【図１０】 アクションアドレス対応表Ｔ５の内容を示
す図である。

【図１１】 実施の形態２に係る検査項目生成装置の動
作を示すフローチャートである。

【図１２】 実施の形態２による検査項目書４５ａの一
例を示す図である。

【図１３】 この発明の実施の形態３に係る検査項目生
成装置の構成を示す図である。

【図１４】 実施の形態３による検査項目書５５ａの一
例を示す図である。

【図１５】 この発明の実施の形態４に係る検査項目生
成装置の構成を示す図である。

【図１６】 実施の形態４の状態遷移表Ｔ６を示す図で
ある。

【図１７】 実施の形態４による検査項目書の一例を示
す図である。

【図１８】 この発明の実施の形態５に係る検査項目生
成装置の構成を示す図である。

【図１９】 実施の形態５における書式指定情報の例を
示す図である。

【図２０】 実施の形態５による検査項目書の一例を示
す図である。

【図２１】 この発明の実施の形態６に係る検査項目生
成装置の構成を示す図である。

【図２２】 （ａ）〜（ｃ）それぞれ、実施の形態６に
おけるイベントアドレス対応表Ｔ４、アクションアドレ
ス対応表Ｔ５、論理名アドレス対応表Ｔ７を示す図であ
る。

【図２３】 この発明の実施の形態７に係る検査項目生
成装置の構成を示す図である。

【図２４】 実施の形態７の状態遷移表Ｔ１０を示す図
である。

【符号の説明】

１ 制御機器、２ マイクロコンピュータ、２１ デー
タメモリ、３２ 遷移抽出部、３３ イベント操作変換
部、３４ アクション動作変換部、３５，４５，５５
検査項目出力部、４３ イベントアドレス変換部、４４
アクション期待値変換部、６２ 遷移抽出部、７１
書式整形部、８１ 論理名アドレス変換部、９１ 引数
決定部、Ｔ１，Ｔ６，Ｔ１０ 状態遷移表、Ｔ２ イベ
ント操作対応表、Ｔ３ アクション動作対応表、Ｔ４，
Ｔ７ イベントアドレス対応表、Ｔ５，Ｔ８ アクショ
ンアドレス対応表、Ｔ９ 論理名アドレス対応表

Claims (7)

【特許請求の範囲】
1. 【請求項１】 マイクロコンピュータによって動作内容
   が制御される制御機器の検査項目を生成する検査項目生
   成装置において、 前記制御機器の操作内容とその操作内容が実行された場
   合に前記制御機器が前記マイクロコンピュータヘ送るべ
   きイベント情報とが対応して記述されたイベント操作対
   応表と、 前記マイクロコンピュータが前記制御機器へ送るべきア
   クション情報とそのアクション情報により動作する前記
   制御機器の動作内容とが対応して記述されたアクション
   動作対応表と、 前記制御機器が特定の状態で特定のイベント情報を前記
   マイクロコンピュータへ送った場合に前記制御機器が移
   行する次の状態と前記マイクロコンピュータが前記制御
   機器へ送るべき特定のアクション情報とが対応して記述
   された状態遷移表と、 前記状態遷移表に基づいて前記制御機器の状態が遷移す
   る際の前記イベント情報と当該イベント情報に対応する
   アクション情報との組を状態遷移毎に抽出する遷移抽出
   部と、 前記遷移抽出部によって抽出された前記イベント情報を
   前記イベント操作対応表に基づいて前記制御機器の操作
   内容に変換するイベント操作変換部と、 前記遷移抽出部によって抽出された前記アクション情報
   を前記アクション動作対応表に基づいて前記制御機器の
   動作内容に変換するアクション動作変換部と、 前記イベント操作変換部によって変換された前記制御機
   器の操作内容と前記アクション動作変換部によって変換
   された前記制御機器の動作内容とを前記遷移抽出部が抽
   出した組毎に並べ検査項目として出力する検査項目出力
   部と、 を具備することを特徴とする検査項目生成装置。
2. 【請求項２】 マイクロコンピュータによって動作内容
   が制御される制御機器の検査項目を生成する検査項目生
   成装置において、 イベント情報とそのイベント情報が前記制御機器からマ
   イクロコンピュータへ送られた場合に前記マイクロコン
   ピュータの特定のメモリアドレスに入るべき特定の入力
   値とその特定のメモリアドレスとが対応して記述された
   イベントアドレス対応表と、 アクション情報とそのアクション情報が前記マイクロコ
   ンピュータから前記制御機器へ送られた場合に前記マイ
   クロコンピュータの特定のメモリアドレスに格納される
   べき特定の期待値とその特定のメモリアドレスとが対応
   して記述されたアクションアドレス対応表と、 前記制御機器が特定の状態で特定のイベント情報を前記
   マイクロコンピュータへ送った場合に前記制御機器が移
   行する次の状態と前記マイクロコンピュータが前記制御
   機器へ送るべき特定のアクション情報とが対応して記述
   された状態遷移表と、 前記状態遷移表に基づいて前記制御機器の状態が遷移す
   る際の前記イベント情報と当該イベント情報に対応する
   アクション情報との組を状態遷移毎に抽出する遷移抽出
   部と、 前記遷移抽出部によって抽出された前記イベント情報を
   前記イベントアドレス対応表に基づいて前記制御機器の
   メモリアドレスとそのメモリアドレスに格納される入力
   値とに変換するイベントアドレス変換部と、 前記遷移抽出部によって抽出された前記アクション情報
   を前記アクションアドレス対応表に基づいて前記制御機
   器のメモリアドレスとそのメモリアドレスに格納される
   期待値とに変換するアクションアドレス変換部と、 前記イベントアドレス変換部によって変換された前記メ
   モリアドレスおよび入力値と前記アクションアドレス変
   換部によって変換された前記メモリアドレスおよび期待
   値とを前記遷移抽出部が抽出した組毎に並べ検査項目と
   して出力する検査項目出力部と、 を具備することを特徴とする検査項目生成装置。
3. 【請求項３】 マイクロコンピュータによって動作内容
   が制御される制御機器の検査項目を生成する検査項目生
   成装置において、 前記制御機器の操作内容とその操作内容が実行された場
   合に前記制御機器が前記マイクロコンピュータヘ送るべ
   きイベント情報とが対応して記述されたイベント操作対
   応表と、 前記マイクロコンピュータが前記制御機器へ送るべきア
   クション情報とそのアクション情報により動作する前記
   制御機器の動作内容とが対応して記述されたアクション
   動作対応表と、 前記制御機器の特定のメモリアドレスに特定の入力値が
   入った場合に前記制御機器が前記マイクロコンピュータ
   ヘ送るべきイベント情報が記述されたイベントアドレス
   対応表と、 前記マイクロコンピュータが特定のアクション情報を前
   記制御機器へ送った場合前記制御機器の特定のメモリア
   ドレスに格納されるべき特定の期待値が記述されたアク
   ションアドレス対応表と、 前記制御機器が特定の状態で特定のイベント情報を前記
   マイクロコンピュータへ送った場合に前記制御機器が移
   行する次の状態と前記マイクロコンピュータが前記制御
   機器へ送るべき特定のアクション情報とが対応して記述
   された状態遷移表と、 前記状態遷移表に基づいて前記制御機器の状態が遷移す
   る際の前記イベント情報と当該イベント情報に対応する
   アクション情報との組を状態遷移毎に抽出する遷移抽出
   部と、 前記遷移抽出部によって抽出された前記イベント情報を
   前記イベント操作対応表に基づいて前記制御機器の操作
   内容に変換するイベント操作変換部と、 前記遷移抽出部によって抽出された前記アクション情報
   を前記アクション動作対応表に基づいて前記制御機器の
   動作内容に変換するアクション動作変換部と、前記遷移
   抽出部によって抽出された前記イベント情報を前記イベ
   ントアドレス対応表に基づいて前記制御機器のメモリア
   ドレスとそのメモリアドレスに格納される入力値とに変
   換するイベントアドレス変換部と、 前記遷移抽出部によって抽出された前記アクション情報
   を前記アクションアドレス対応表に基づいて前記制御機
   器のメモリアドレスとそのメモリアドレスに格納される
   期待値とに変換するアクションアドレス変換部と、 前記イベント操作変換部によって変換された前記制御機
   器の操作内容と前記アクション動作変換部によって変換
   された前記制御機器の動作内容と前記イベントアドレス
   変換部によって変換された前記メモリアドレスおよび入
   力値と前記アクションアドレス変換部によって変換され
   た前記メモリアドレスおよび期待値とを前記遷移抽出部
   が抽出した組毎に並べ検査項目として出力する検査項目
   出力部と、 を具備することを特徴とする検査項目生成装置。
4. 【請求項４】 状態遷移表の各状態遷移には遷移回数が
   指定されており、遷移抽出部は、前記状態遷移表の各状
   態遷移に指定された前記遷移回数に基づいてその遷移回
   数だけイベント情報と当該イベント情報に対応するアク
   ション情報との組を抽出することを特徴とする請求項
   １、請求項２または請求項３記載の検査項目生成装置。
5. 【請求項５】 検査項目の書式を指定する書式指定部
   と、 前記書式指定部の指定にした書式に基づいて検査項目出
   力部が出力した検査項目を整形する書式整形部と、をさ
   らに具備することを特徴とする請求項１記載の検査項目
   生成装置。
6. 【請求項６】 イベント情報およびアクション情報の論
   理名とメモリアドレスとの対応を示す論理名アドレス対
   応表をさらに具備し、 イベントアドレス対応表には、メモリアドレスの代わり
   にイベント情報の論理名が記述可能であり、 イベントアドレス変換部は、イベント情報を前記イベン
   トアドレス対応表に基づいて前記制御機器のメモリアド
   レスとそのメモリアドレスに格納される入力値とに変換
   する際、イベント情報の論理名とその入力値とに変換し
   た場合には、前記論理名アドレス対応表に基づきその論
   理名をメモリアドレスに変換する一方、 アクションアドレス対応表には、メモリアドレスの代わ
   りにアクション情報の論理名が記述可能であり、 アクションアドレス変換部は、アクション情報を前記ア
   クションアドレス対応表に基づいて前記制御機器のメモ
   リアドレスとそのメモリアドレスに格納される期待値と
   に変換する際、アクション情報の論理名とその期待値と
   に変換した場合には、前記論理名アドレス対応表に基づ
   きその論理名をメモリアドレスに変換する、ことを特徴
   とする請求項２記載の検査項目生成装置。
7. 【請求項７】 引数を決定する引数決定部をさらに具備
   し、 状態遷移表には、特定のイベント情報とその特定のイベ
   ント情報に対応した特定のアクション情報とには引数が
   設定可能であり、 遷移抽出部は、前記状態遷移表に基づいて前記制御機器
   の状態が遷移する際の前記イベント情報と当該イベント
   情報に対応するアクション情報との組を状態遷移毎に抽
   出した際、引数の設定されたイベント情報とアクション
   情報とを抽出した場合には、前記引数決定部により引数
   を決定して出力する、ことを特徴とする検査項目生成装
   置。