(57)【要約】  適切にロジック図面の誤り箇所を推定することが可能な技術を提供することを目的とする。ロジック図面表示装置は、ロジック図面上の各信号線の信号線状態値と、試験テーブルとに基づいて、各信号線の正否を各試験について判定する信号線正否判定部（１０５）と、各信号線の正否の判定結果に基づいて、各信号線の正否結果集計値を算出する信号線正否結果集計部（１０７）とを備える。また、ロジック図面表示装置は、各信号線の正否結果集計値に基づいて、各信号線の誤りを推定する誤り信号線推定部（１０８）と、各信号線の誤りに応じた表示形態で各信号線をロジック図面上に表示する表示部（１０９）とを備える。
2014024640.tif 000002
【特許請求の範囲】
【請求項１】
演算を行う演算素子と前記演算素子同士を接続する信号線とを含むロジック図面における誤り箇所を推定するロジック図面誤り箇所推定装置であって、  前記ロジック図面を格納するロジック図面格納装置（１０１）と、  前記ロジック図面の正否を判断するための各試験の入力値及び出力値の対応表である試験テーブルを格納する試験テーブル格納装置（１０２）と、  前記試験テーブルの前記各試験を前記ロジック図面に対して実施することにより前記各試験について取得された、前記ロジック図面上の各信号線の信号線状態値と、前記試験テーブルとに基づいて、前記各信号線の正否を前記各試験について判定する信号線正否判定部（１０５）と、  前記信号線正否判定部（１０５）による前記各信号線の正否の判定結果に基づいて、前記各信号線の正否結果集計値を算出する信号線正否結果集計部（１０７）と、  前記信号線正否結果集計部（１０７）が算出した前記各信号線の正否結果集計値に基づいて、前記各信号線の誤りを推定する誤り信号線推定部（１０８）と、  前記誤り信号線推定部（１０８）により推定された前記各信号線の誤りに応じた表示形態で前記各信号線を前記ロジック図面上に表示する表示部（１０９）とを備える、ロジック図面誤り箇所推定装置。
【請求項２】
請求項１に記載のロジック図面誤り箇所推定装置であって、  前記各信号線の前記信号線状態値と、前記試験テーブルの前記出力値と、前記ロジック図面の前記演算素子の種別毎に定められた追跡ルールとに基づいて、前記ロジック図面の出力側から入力側に前記信号線を追跡する信号線追跡部（１０６）をさらに備え、  前記信号線正否判定部（１０５）は、前記信号線追跡部（１０６）の追跡結果に基づいて、前記ロジック図面上の前記各信号線の正否を判定する、ロジック図面誤り箇所推定装置。
【請求項３】
請求項１または請求項２に記載のロジック図面誤り箇所推定装置であって、  前記信号線正否結果集計部（１０７）が算出した前記各信号線の正否結果集計値に基づいて、複数の前記ロジック図面について各前記ロジック図面の正否結果集計値を算出する図面正否結果集計部（１１０）と、  前記図面正否結果集計部（１１０）が算出した前記各ロジック図面の正否結果集計値に基づいて、前記各ロジック図面の誤りを推定する誤り図面推定部（１１２）とをさらに備え、  前記表示部（１０９）は、前記誤り図面推定部により推定された前記各ロジック図面の誤りに応じた表示形態で前記ロジック図面を表示する、ロジック図面誤り箇所推定装置。
【請求項４】
請求項３に記載のロジック図面誤り箇所推定装置であって、  前記各ロジック図面の図面特性値を算出する図面特性値算出部（１１１）をさらに備え、  前記誤り図面推定部（１１２）は、前記図面正否結果集計部が算出した前記各ロジック図面の正否結果集計値と、前記図面特性値算出部が算出した前記各ロジック図面の図面特性値とに基づいて、前記各ロジック図面の誤りを推定する、ロジック図面誤り箇所推定装置。
【請求項５】
請求項４に記載のロジック図面誤り箇所推定装置であって、  前記図面特性値算出部（１１１）が算出する前記各ロジック図面の図面特性値は、前記各ロジック図面での誤りの混入し易さの指標値を含む、ロジック図面誤り箇所推定装置。
【請求項６】
請求項４に記載のロジック図面誤り箇所推定装置であって、  前記図面特性値算出部（１１１）は、  前記各ロジック図面に含まれる各前記演算素子の入力点の総数、出力点の総数、及び、設定パラメータの総数の総和として、前記各ロジック図面の図面特性値を算出する、ロジック図面誤り箇所推定装置。
【請求項７】
演算を行う演算素子と前記演算素子同士を接続する信号線とを含むロジック図面における誤り箇所を推定するロジック図面誤り箇所推定方法であって、  （ａ）前記ロジック図面の正否を判断するための各試験の入力値及び出力値の対応表である試験テーブルの前記各試験を、前記ロジック図面に対して実施することにより、当該ロジック図面上の各信号線の信号線状態値を前記各試験について取得する工程と、  （ｂ）前記工程（ａ）で取得した信号線状態値と、前記試験テーブルとに基づいて、前記各信号線の正否を前記各試験について判定する工程と、  （ｃ）前記工程（ｂ）による前記各信号線の正否の判定結果に基づいて、前記各信号線の正否結果集計値を算出する工程と、  （ｄ）前記工程（ｃ）で算出された前記各信号線の正否結果集計値に基づいて、前記各信号線の誤りを推定する工程と、  （ｅ）前記工程（ｄ）で推定された前記各信号線の誤りに応じた表示形態で前記各信号線を前記ロジック図面上に表示する工程とを備える、ロジック図面誤り箇所推定方法。
【発明の詳細な説明】
【技術分野】
【０００１】  本発明は、監視制御システムの機器などの制御内容を表すロジック図面の誤り箇所を推定するロジック図面誤り箇所推定装置、及び、ロジック図面誤り箇所推定方法に関するものである。
【背景技術】
【０００２】  監視制御システムは、温度、圧力、位置、その他各種センサーなど、監視の対象となる装置からの情報を運転員・監視員に提示するとともに、運転員・監視員の操作によりモーター、弁、開閉器、油圧装置など各種装置を制御するシステムであり、発電プラント、化学プラント、受配電設備、上下水道など、幅広い分野で用いられている。【０００３】  典型的な監視制御システムにおいては、監視制御の対象となる機器と信号の送受信を行うなど、処理ごとに分割されたモジュールを複数備え、これらが通信経路によって結合されることにより、多様な処理（多様なモード）が実現されている。【０００４】  監視制御システムの各モジュールの処理内容は、回路図のように、信号の入出力方向を矢印で示す有向グラフで表されることが多くなっている。具体的には、各モジュールの処理内容は、信号の処理を示すノード（以下「演算素子」と呼ぶこともある）と、ノード間を繋ぎ、信号の流れを示すリンク（以下「信号線」と呼ぶこともある）とを組合せて表現される。モジュールの処理内容は、古くはハードウェア回路で固定的に実現されていたが、柔軟性やコストパフォーマンスの観点から、近年はデジタル計算機上で動作を模擬して処理を実現できるように、デジタル計算機上のプログラムとして実装されることが多くなっている。【０００５】  処理内容を演算素子と信号線で表現するプログラミング言語の規格としては、例えば、国際規格ＩＥＣ６１１３１−３が挙げられる。演算素子は前記国際規格のＦＢＤ（Function Block Diagram）で記述され、演算素子と信号線とを組合せて表現される処理内容は、ロジック図面と呼ばれる図面によって表わされる。【０００６】  さて、近年、プログラムの大規模化に伴い、プログラムのデバッグ（誤りを探し、かつ取り除く）作業が困難になりつつある。この現象は、監視制御システムにおいて監視制御の制御ロジックを表すロジック図面（制御ロジック図面）の作成においても、同様である。具体的には、ロジック図面は、様々なモードに対応した複数の処理（挙動）が記述されるため、制御ロジックが複雑になりがちであり、複雑な制御ロジックは、複数枚のロジック図面に分割して記述される。また、制御する対象機器の数が多いため、当該機器を制御するロジック図面の数も膨大になっている。【０００７】  従来は、制御ロジックの試験においてＮＧを検出すると、設計者が、調査すべき対象のロジック図面を手作業で探し出した後、誤りとなった信号出力から制御ロジックを追跡し、試験のＮＧの原因となる誤り箇所を特定していた。そのため、複数枚の図面に跨って記述されている複雑な制御ロジックにおいてＮＧが検出された場合には、誤り箇所の特定に時間がかかっていた。【０００８】  誤り箇所を推定する技術として、特許文献１の従来例に記載された技術では、まず、故障シミュレータを用いて、回路内部に故障を仮定して、機能もしくは論理シミュレーションを行い、そのシミュレーション結果と期待値とを照合し、仮定した故障箇所と、その故障を検出したテストベクタとを対応付けた故障辞書を作成し、回路の実際のテスト結果からフェイル情報を取得する。次に、フェイル情報のフェイルピンおよびフェイルベクタに対応して故障辞書をそれぞれ検索し、仮定の故障箇所を求め、複数得られた仮定の故障箇所の中から、優先順位付けを行って故障箇所の推定を行う。【０００９】  また、特許文献２に記載された技術では、論理矛盾判定手段は第１の含意操作手段での含意操作中に各信号線の論理状態の矛盾を検出し、処理終了判定手段は矛盾が検出されなければ、全信号線の論理状態が“０”、“１”または“Ｘ”に推定されたかを判定する。論理状態推定が終了していないと判定されると、Ｕ（Ｕｎｋｎｏｗｎ）状態検索手段は論理状態が不完全なＵｎｋｎｏｗｎ状態の信号線を検索し、信号線を含む故障伝搬経路にゲートを介して接続している信号線を検出する。検出した信号線に対して“０”と仮決定を行い、仮決定の回数を表す仮決定レベルを１だけ増加し、第１の含意操作手段による含意操作処理に戻る。論理状態推定が終了したと判定すると、故障出力端子接続関係線抽出手段は故障出力端子に直接影響を与えるような故障伝搬経路を抽出し、出力装置に出力する。
【先行技術文献】
【特許文献】
【００１０】
【特許文献１】特許第３８６３４２３号公報
【特許文献２】特許第３１３７０５６号公報
【発明の概要】
【発明が解決しようとする課題】
【００１１】  特許文献１では、故障辞書を予め作成しておく必要があるが、故障辞書の作成は多大な故障シミュレーションを必要とするため、計算時間も膨大となり、故障辞書のファイルの数やデータ量も非常に大きくなるという問題がある。【００１２】  特許文献２では、含意操作と仮決定とを繰り返して全ての信号線の論理状態を推定するために、入出力方向の含意操作、仮決定信号線検索処理、故障端子情報伝達処理を行うためのデータベースを予め作成しなければならいという問題があった。また、故障検出の対象となる回路規模が大きくなると、仮決定の回数が増大することから、含意操作と仮決定とを繰り返して全ての入力論理状態を求めるには膨大な計算時間を必要とするという問題がある。【００１３】  そこで、本発明は、上記のような問題点を鑑みてなされたものであり、適切にロジック図面の誤り箇所を推定することが可能な技術を提供することを目的とする。
【課題を解決するための手段】
【００１４】  本発明に係るロジック図面誤り箇所推定装置は、演算を行う演算素子と前記演算素子同士を接続する信号線とを含むロジック図面における誤り箇所を推定するロジック図面誤り箇所推定装置であって、前記ロジック図面を格納するロジック図面格納装置と、前記ロジック図面の正否を判断するための各試験の入力値及び出力値の対応表である試験テーブルを格納する試験テーブル格納装置とを備える。前記ロジック図面誤り箇所推定装置は、前記試験テーブルの前記各試験を前記ロジック図面に対して実施することにより前記各試験について取得された、前記ロジック図面上の各信号線の信号線状態値と、前記試験テーブルとに基づいて、前記各信号線の正否を前記各試験について判定する信号線正否判定部と、前記信号線正否判定部による前記各信号線の正否の判定結果に基づいて、前記各信号線の正否結果集計値を算出する信号線正否結果集計部とをさらに備える。前記ロジック図面誤り箇所推定装置は、前記信号線正否結果集計部が算出した前記各信号線の正否結果集計値に基づいて、前記各信号線の誤りを推定する誤り信号線推定部と、前記誤り信号線推定部により推定された前記各信号線の誤りに応じた表示形態で前記各信号線を前記ロジック図面上に表示する表示部とをさらに備える。
【発明の効果】
【００１５】  本発明によれば、信号線正否判定部が、信号線状態値に基づきロジック図面上の各信号線の正否を各試験について判定し、信号線正否結果集計部が、各信号線の正否の判定結果から各信号線の正否結果集計値を算出し、誤り信号線推定部が、各信号線の正否結果集計値に基づきロジック図面上の各信号線の誤りを推定し、表示部が、当該各信号線の誤りに応じた表示形態で信号線をロジック図面上に表示する。これにより、予め故障辞書などの作成が不要であり、かつ、少ない計算時間で、ロジック図面上の誤り箇所を推定することができる。
【図面の簡単な説明】
【００１６】
【図１】実施の形態１に係るロジック図面表示装置の構成を示すブロック図である。
【図２】ロジック図面の一例を示す図である。
【図３】演算素子及び信号線の記述ルール及び説明を示す図である。
【図４】試験テーブルの一例を示す図である。
【図５】実施の形態１に係るロジック図面表示装置の動作を示すフローチャートである。
【図６】ロジック図面の一例を示す図である。
【図７】ロジック図面の信号線状態値（試験Ｎｏ１）を示す図である。
【図８】ロジック図面の信号線状態値（試験Ｎｏ２）を示す図である。
【図９】ロジック図面の信号線状態値（試験Ｎｏ３）を示す図である。
【図１０】ロジック図面の信号線状態値（試験Ｎｏ４）を示す図である。
【図１１】ロジック図面の信号線状態値（試験Ｎｏ５）を示す図である。
【図１２】試験結果テーブルの一例を示す図である。
【図１３】追跡ルールの一例を示す図である。
【図１４】ロジック図面の各信号線の正否結果（試験Ｎｏ１）を示す図である。
【図１５】ロジック図面の各信号線の正否結果（試験Ｎｏ２）を示す図である。
【図１６】ロジック図面の各信号線の正否結果（試験Ｎｏ３）を示す図である。
【図１７】ロジック図面の各信号線の正否結果（試験Ｎｏ４）を示す図である。
【図１８】ロジック図面の各信号線の正否結果（試験Ｎｏ５）を示す図である。
【図１９】ロジック図面の各信号線の正否結果収集値及び誤り可能性を示す図である。
【図２０】ロジック図面の一例を示す図である。
【図２１】ロジック図面の信号線状態値及び各信号線の正否結果（試験Ｎｏ１）を示す図である。
【図２２】ロジック図面の信号線状態値及び各信号線の正否結果（試験Ｎｏ２）を示す図である。
【図２３】ロジック図面の信号線状態値及び各信号線の正否結果（試験Ｎｏ３）を示す図である。
【図２４】ロジック図面の信号線状態値及び各信号線の正否結果（試験Ｎｏ４）を示す図である。
【図２５】ロジック図面の信号線状態値及び各信号線の正否結果（試験Ｎｏ５）を示す図である。
【図２６】試験結果テーブルの一例を示す図である。
【図２７】ロジック図面の各信号線の正否結果収集値及び誤り可能性を示す図である。
【図２８】実施の形態２に係るロジック図面表示装置の構成を示すブロック図である。
【図２９】一群のロジック図面の一例を示す図である。
【図３０】試験テーブルの一例を示す図である。
【図３１】実施の形態２に係るロジック図面表示装置の動作を示すフローチャートである。
【図３２】一群のロジック図面の一例を示す図である。
【図３３】ロジック図面の信号線状態値及び各信号線の正否結果（試験Ｎｏ３）を示す図である。
【図３４】試験結果テーブルの一例を示す図である。
【図３５】図面正否結果収集値及び各ロジック図面の誤り可能性を示す図である。
【図３６】演算素子の複雑度を示す図である。
【図３７】表示部の表示例を示す図である。
【発明を実施するための形態】
【００１７】  ＜実施の形態１＞  図１は本発明の実施の形態１に係るロジック図面表示装置の構成を示すブロック図である。図１において、本実施の形態１に係るロジック図面表示装置は、ロジック図面における誤り箇所を推定するロジック図面誤り箇所推定装置の機能を備えており、次に説明する構成要素（ロジック図面格納装置１０１〜表示部１０９）から構成されている。
【００１８】  ロジック図面格納装置１０１は、記憶装置から構成されており、ロジック図面を格納している。ロジック図面は、機器を監視制御するための制御ロジックを示す図面であり、信号に対して各種の演算を行う演算素子と、演算素子同士を接続し信号の流れを示す信号線とを含んでいる。
【００１９】  試験テーブル格納装置１０２は、記憶装置から構成されており、試験テーブルを格納している。試験テーブルは、ロジック図面の正否を判断するための（ロジック図面の正しさを保障するための）各試験の入力値と望ましい出力値（期待値）とをまとめた対応表である。試験テーブルの各試験では、入力値をロジック図面の制御ロジックに入力した場合に当該制御ロジックの出力が出力値（期待値）と同じか否かに基づいて、ロジック図面の正否を判定する。
【００２０】  信号線状態値格納装置１０３は、記憶装置から構成されており、信号線状態値を格納している。信号線状態値は、試験テーブルの各試験をロジック図面に対して予め実施することにより各試験について取得された、当該ロジック図面上の各信号線の状態値である。信号線状態値は、ユーザからの入力により信号線状態値格納装置１０３に予め格納されてもよいが、本実施の形態では、信号線状態値取得部１０４により取得され、信号線状態値格納装置１０３に予め格納されるものとする。
【００２１】  信号線状態値取得部１０４は、信号線状態値格納装置１０３から信号線状態値を適宜読み取り、信号線正否判定部１０５に与える。
【００２２】  信号線正否判定部１０５は、信号線状態値取得部１０４からの各信号線の信号線状態値と、試験テーブル格納装置１０２から読み込んだ試験テーブルとに基づいて、ロジック図面格納装置１０１から読み込んだロジック図面の各信号線の正否を、試験テーブルの各試験について判定する。
【００２３】  信号線追跡部１０６は、信号線正否判定部１０５が読み込んだロジック図面の信号線を追跡する。後述するように、信号線追跡部１０６の追跡結果は、信号線正否判定部１０５が各信号線の正否を判定するため用いられる。
【００２４】  信号線正否結果集計部１０７は、信号線正否判定部１０５による各信号線の正否の判定結果（以下「信号線正否判定結果」と呼ぶこともある）に基づいて、ロジック図面上の各信号線の正否結果集計値を算出する。ここでは、信号線正否結果集計部１０７は、信号線正否判定部１０５の複数試験（ここでは全試験）の信号線正否判定結果を各信号線について集計することにより、各信号線の正否結果集計値を算出する。
【００２５】  誤り信号線推定部１０８は、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値に基づいて、ロジック図面上の各信号線の誤りを推定する。誤り信号線推定部１０８により推定される各信号線の誤りとしては、各信号線の誤りの有無、及び、各信号線が誤っている可能性などが該当するが、本実施の形態では、各信号線が誤っている可能性（以下「各信号線の誤り可能性」と呼ぶ）であるものとして説明する。
【００２６】  表示部１０９は、誤り信号線推定部１０８により推定された各信号線の誤り可能性に応じた表示形態で、各信号線をロジック図面上に表示する。ここでは、表示部１０９は、誤り信号線推定部１０８により推定された誤り可能性を区別可能な表示形態で、各信号線をロジック図面に重畳して表示する。
【００２７】  図２は、ロジック図面格納装置１０１に格納されているロジック図面の一例を示す図である。図３は、ロジック図面に含まれる演算素子及び信号線の記述ルール及び説明を示す図である。なお、図３には、演算素子及び信号線の種類の一部のみが示されており、これら以外にも多様な演算素子などがロジック図面に含まれる。
【００２８】  図２に示すロジック図面２０１は、複数の演算素子（入力演算子、否定演算子、上限モニタ演算子、下限モニタ演算子、論理積演算子、出力演算子）と、これら演算素子を接続する信号線（破線で示されるアナログ線、実線で示されるデジタル線）とを含んでいる。
【００２９】  加圧器警報抑制信号入力２０２は、警報抑制の信号の一種であるデジタルの加圧器警報抑制信号（デジタル値として「ＦＡＬＳＥ（０）」または「ＴＲＵＥ（１）」を示す信号）が入力される入力演算子である。加圧器圧力信号入力２０３は、アナログの加圧器圧力信号が入力される入力演算子である。図２に示す否定演算子２０４には、加圧器警報抑制信号入力２０２からのデジタル信号が入力される。否定演算子２０４は、加圧器警報抑制信号入力２０２からのデジタル信号を反転する。
【００３０】  図２に示す上限モニタ演算子２０５、２０６及び下限モニタ演算子２０７、２０８のそれぞれには、加圧器圧力信号入力２０３からの信号が入力される。上限モニタ演算子２０５は、「１００」を超えるアナログ値が入力されたときデジタル値「ＴＲＵＥ（１）」を出力し、それ以外はデジタル値「ＦＡＬＳＥ（０）」を出力する。上限モニタ演算子２０６は、「８０」を超えるアナログ値が入力されたときデジタル値「ＴＲＵＥ（１）」を出力し、それ以外はデジタル値「ＦＡＬＳＥ（０）」を出力する。下限モニタ演算子２０７は、「３０」未満のアナログ値が入力されたときデジタル値「ＴＲＵＥ（１）」を出力し、それ以外はデジタル値「ＦＡＬＳＥ（０）」を出力する。下限モニタ演算子２０８は、「１０」未満のアナログ値が入力されたときデジタル値「ＴＲＵＥ（１）」を出力し、それ以外はデジタル値「ＦＡＬＳＥ（０）」を出力する。
【００３１】  図２に示す論理積演算子２０９〜２１２には、それぞれ上限モニタ演算子２０５、２０６、下限モニタ演算子２０７、２０８の出力が入力されるとともに、論理積演算子２０９〜２１２のそれぞれには、否定演算子２０４の出力が入力される。論理積演算子２０９〜２１２のそれぞれは、全て「ＴＲＵＥ（１）」のデジタル値が入力された場合にはデジタル値「ＴＲＵＥ（１）」を出力し、それ以外の場合にはデジタル値「ＦＡＬＳＥ（０）」を出力する。例えば、論理積演算子２０９は、上限モニタ演算子２０５及び否定演算子２０４の両方から「ＴＲＵＥ（１）」のデジタル値が入力された場合にはデジタル値「ＴＲＵＥ（１）」を出力し、それ以外の場合にはデジタル値「ＦＡＬＳＥ（０）」を出力する。
【００３２】  論理積演算子２０９〜２１２の出力は、それぞれが出力演算子である加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５、及び、加圧器圧力異常低信号出力２１６に設定される。
【００３３】  図４は、試験テーブル格納装置１０２に格納されている本実施の形態に係る試験テーブルの例を示す図である。図４に示される試験テーブル４０１では、試験Ｎｏ１〜Ｎｏ５のそれぞれについて、入力値と望ましい出力値（期待値）との組み合わせがテーブル形式で記載されている。具体的には、試験テーブル４０１では、加圧器圧力、加圧器警報抑制の入力値と、加圧器圧力異常高、加圧器圧力高、加圧器圧力低、加圧器圧力異常低の望ましい出力値とがテーブル形式で記載されている。
【００３４】  例えば、図４の試験テーブル４０１の試験Ｎｏ１では、ロジック図面の加圧器圧力信号入力２０３にアナログ値「１１０」、加圧器警報抑制信号入力２０２にデジタル値「ＦＡＬＳＥ（０）」が入力されたときに、当該ロジック図面の加圧器圧力異常高信号出力２１３からデジタル値「ＴＲＵＥ（１）」、加圧器圧力高信号出力２１４からデジタル値「ＴＲＵＥ（１）」、加圧器圧力低信号出力２１５からデジタル値「ＦＡＬＳＥ（０）」、加圧器圧力異常低信号出力２１６からデジタル値「ＦＡＬＳＥ（０）」が出力されることが望ましい（正しい）ということが示されている。
【００３５】  なお、図２に示したロジック図面２０１は、試験テーブル４０１の各試験の入力値を入力した場合に、試験テーブル４０１の各試験の出力値と同じ出力値が出力されるものとなっている。したがって、試験テーブル４０１によれば、ロジック図面２０１は正しいと判断される。
【００３６】  ＜動作＞  図５は、本実施の形態に係るロジック図面表示装置が、ロジック図面上の誤り信号線を推定して、当該ロジック図面上に表示する動作を示すフローチャートである。以下、本実施の形態に係るロジック図面表示装置が、ロジック図面２０１を正しいと判断する試験テーブル４０１を用いて誤り箇所の推定などを行う動作について詳細に説明する。
【００３７】  ＜動作例１＞  動作例１では、図６に示すロジック図面６０１に対する、本実施の形態に係るロジック図面表示装置の動作について説明する。このロジック図面６０１は、図２に示すロジック図面２０１と比較して、否定演算子２０４の記載が漏れているという誤りを含んでいる。以下に説明するように、本実施の形態に係るロジック図面表示装置の図５に示す動作により、ユーザは、ロジック図面６０１の誤り箇所（否定演算子２０４の記載漏れ）に容易に気づくことが可能となる。
【００３８】  なお、本実施の形態では、ステップＳ１が行われるまでに、ロジック図面６０１がロジック図面格納装置１０１に格納されるとともに、当該ロジック図面６０１の信号線状態値が信号線状態値格納装置１０３に格納される。そこで、ステップＳ１以降の動作について説明する前に、まず、ロジック図面６０１の信号線状態値を格納する動作について説明する。
【００３９】  まず、信号線状態値取得部１０４は、試験テーブル４０１の各試験をロジック図面６０１に対して実施する。すなわち、信号線状態値取得部１０４は、各試験の入力値をロジック図面６０１に入力し、当該ロジック図面６０１の制御ロジックに基づいて演算を行う。これにより、信号線状態値取得部１０４は、ロジック図面６０１上の各信号線の状態値（演算結果）、つまり信号線状態値を取得する。
【００４０】  図７に示すロジック図面６０１では、ロジック図面６０１に対して試験テーブル４０１の試験Ｎｏ１を実施することによって取得された信号線状態値が、下線付きの値（ＴＲＵＥ、ＦＡＬＳＥ）として付記されている。なお、図７に示すロジック図面６０１では、便宜上、信号線の信号種類（アナログ線、デジタル線）に応じた区別表示（破線表示、実線表示）は行っていない。以下の図においても、ロジック図面表示装置の動作を説明する際に用いるロジック図面を示す図については、適宜、信号線の信号種類に応じた区別表示は行わないものとする。
【００４１】  次に、ロジック図面６０１に付記された試験Ｎｏ１の信号線状態値（図７）の取得について詳細に説明する。試験Ｎｏ１では、上限モニタ演算子２０５、２０６、及び、下限モニタ演算子２０７、２０８には、加圧器圧力信号入力２０３からアナログ値「１１０」が入力されるので、上限モニタ演算子２０５、２０６はデジタル値「ＴＲＵＥ（１）」を出力し、下限モニタ演算子２０７、２０８はデジタル値「ＦＡＬＳＥ（０）」を出力する。
【００４２】  論理積演算子２０９〜２１２には、それぞれ上限モニタ演算子２０５、２０６の出力（「ＴＲＵＥ（１）」）、及び、下限モニタ演算子２０７、２０８の出力（「ＦＡＬＳＥ（０）」）と、加圧器警報抑制信号入力２０２の出力であるデジタル値「ＦＡＬＳＥ（０）」とが入力されるので、論理積演算子２０９〜２１２はいずれも、デジタル値「ＦＡＬＳＥ（０）」を出力する。これにより、デジタル値「ＦＡＬＳＥ（０）」が、それぞれ加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５、加圧器圧力異常低信号出力２１６に設定される。
【００４３】  信号線状態値取得部１０４は、以上のように、試験テーブル４０１の試験Ｎｏ１をロジック図面６０１に対して実施（入力及び演算）することにより、試験Ｎｏ１についてロジック図面６０１の信号線状態値を取得する。また、信号線状態値取得部１０４は、試験Ｎｏ１と同様に、試験Ｎｏ２〜Ｎｏ５をロジック図面６０１に対して実施することにより、試験Ｎｏ２〜Ｎｏ５についてロジック図面６０１の信号線状態値を取得する。図８〜図１１には、試験Ｎｏ２〜Ｎｏ５についての各信号線の信号線状態値がそれぞれ図７と同様の形式で示されている。信号線状態値取得部１０４は、取得した信号線状態値を信号線状態値格納装置１０３に格納する。
【００４４】  次に、図５に戻ってステップＳ１以降の本実施の形態に係るロジック図面表示装置の動作について説明する。まず、ステップＳ１において、信号線正否判定部１０５は、試験テーブル格納装置１０２から、指定された試験テーブル（ここでは試験テーブル４０１）を読み込む。
【００４５】  それから、ステップＳ２にて、信号線正否判定部１０５は、ロジック図面格納装置１０１から、読み込んだ試験テーブル（ここでは試験テーブル４０１）に対応するロジック図面（ここではロジック図面６０１）を読み込む。
【００４６】  ステップＳ３〜Ｓ６は、ステップＳ１で読み込んだ試験テーブルの各試験に実行される処理であり、当該試験の数だけ繰り返される。以下においては、試験テーブル４０１（図４）の試験Ｎｏ１についてステップＳ３〜Ｓ６が実行された例を説明する。
【００４７】  ステップＳ３にて、信号線状態値取得部１０４は、信号線状態値格納装置１０３から、試験テーブル４０１の該当試験（ここでは試験Ｎｏ１）に対応した信号線状態値（ここでは図７に示した信号線状態値）を読み込み、それを信号線正否判定部１０５に与える。
【００４８】  ステップＳ４にて、信号線正否判定部１０５は、信号線状態値取得部１０４からの信号線状態値（ここでは図７に示した信号線状態値）の出力値と、ステップＳ１で読み込んだ試験テーブル（ここでは試験テーブル４０１）の出力値（期待値）とを比較して、該当試験（ここでは試験Ｎｏ１）の正否を判定する。
【００４９】  図１２は、各試験についてのロジック図面６０１の信号線状態値の出力値、つまりロジック図面６０１に対して上述の試験Ｎｏ１〜Ｎｏ５を実施した結果をまとめた試験結果テーブル１２０１を示す図である。この試験結果テーブル１２０１には、試験テーブル４０１の入力値と同じ加圧器圧力、加圧器警報抑制の入力値が記載されているとともに、図７〜図１１に示した加圧器圧力異常高、加圧器圧力高、加圧器圧力低、加圧器圧力異常低の信号線状態値の出力値、すなわち試験Ｎｏ１〜Ｎｏ５を実施して得られた実際の出力値が記載されている。
【００５０】  この試験結果テーブル１２０１において、図４の試験テーブル４０１に記載された望ましい出力値（期待値）と異なる信号線状態値の出力値には、下線が付されている。また、全試験について、試験テーブル４０１の望ましい出力値と、信号線状態値の出力値とが一致する場合には成功を示す「ＯＫ」が結果欄に記載され、一致しない場合には失敗を示す「ＮＧ」が結果欄に記載される。
【００５１】  例えば、試験結果テーブル１２０１に示す、試験Ｎｏ１の加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５、加圧器圧力異常低信号出力２１６の信号線状態値の出力値は全て「ＦＡＬＳＥ（０）」である。一方、試験テーブル４０１に示す、試験Ｎｏ１の加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４の望ましい出力値（期待値）は「ＴＲＵＥ（１）」であり、加圧器圧力低信号出力２１５、加圧器圧力異常低信号出力２１６の望ましい出力値（期待値）は「ＦＡＬＳＥ（０）」である。
【００５２】  したがって、信号線正否判定部１０５は、試験Ｎｏ１の加圧器圧力異常高信号出力２１３及び加圧器圧力高信号出力２１４に関して信号線状態値の出力値と期待値とが異なるため、試験Ｎｏ１を「ＮＧ」と判定する。この結果として、試験結果テーブル１２０１（図１２）の試験Ｎｏ１の結果欄には「ＮＧ」が記載されている。なお、ステップＳ３〜Ｓ６は、試験テーブル４０１の各試験に実行されることから、最終的には、上述の試験Ｎｏ１に対する判定が試験Ｎｏ２〜Ｎｏ５にも行われる。試験結果テーブル１２０１には、試験Ｎｏ２〜Ｎｏ５の判定結果（それぞれＮＧ、ＯＫ、ＮＧ、ＮＧ）も示されている。
【００５３】  ステップＳ５にて、信号線追跡部１０６は、該当試験について、各信号線の信号線状態値と、試験テーブルの出力値と、ロジック図面の演算素子の種別毎に定められた追跡ルールとに基づいて、ロジック図面の出力側から入力側に向かって信号線を追跡する。そして、同ステップＳ５にて、信号線正否判定部１０５は、信号線追跡部１０６の追跡結果に基づいて、ロジック図面上の各信号線の正否を、該当試験について判定する。
【００５４】  ここでは、信号線追跡部１０６は、試験Ｎｏ１について、図７に示す信号線状態値の出力値と、試験テーブル４０１の出力値と、ロジック図面の演算素子の種別毎に定められた追跡ルールとに基づいて、ロジック図面６０１の出力側から入力側に向かって信号線を追跡する。そして、同ステップＳ５にて、信号線正否判定部１０５は、信号線追跡部１０６の追跡結果に基づいて、ロジック図面６０１上の各信号線の正否を判定する。
【００５５】  図１３は、本実施の形態に係る信号線追跡部１０６が信号線の追跡を行うための追跡ルールの一例を示す図である。図１３に示されるように、本実施の形態に係る追跡ルールでは、ロジック図面の演算素子の種別に応じた追跡方法が定められているだけでなく、ステップＳ４での試験の判定結果（信号線状態値の出力値と試験テーブルの出力値とが全て一致するか否かの判定結果）に応じた追跡方法が定められている。
【００５６】  信号線追跡部１０６は、ステップＳ４の判定結果がＯＫであった場合、すなわち信号線状態値の出力値と試験テーブルの出力値とが全て一致した場合には、図１３に示した追跡ルールのうち、正しい信号線を追跡する追跡ルールに基づいて、当該一致した信号線から信号線の追跡を開始する。一方、信号線追跡部１０６は、ステップＳ４の判定結果がＮＧであった場合（信号線状態値の出力値と試験テーブルの出力値とがいずれかにおいて一致しなかった場合）には、図１３に示した追跡ルールのうち、誤り信号線を追跡する追跡ルールに基づいて、一致しなかった信号線から信号線の追跡を開始する。
【００５７】  具体的な動作例として、信号線追跡部１０６が、試験Ｎｏ１についてロジック図面６０１の出力側から入力側に向かって信号線を追跡する動作を以下説明する。
【００５８】  試験Ｎｏ１では、信号線状態値の出力値（図７）と、試験テーブル４０１の出力値とが全て一致しておらずＮＧ（図１２）と判定されているので、信号線追跡部１０６は、図１３の追跡ルールのうち誤り信号線の追跡ルールを選択する。信号線追跡部１０６は、当該選択した誤り信号線の追跡ルールに基づいて、試験テーブル４０１の出力値と一致しなかった出力側の信号線（ここでは加圧器圧力異常高信号出力２１３及び加圧器圧力高信号出力２１４の信号線）から入力側の信号線に向かって、信号線の追跡を行う。
【００５９】  ここで、加圧器圧力異常高信号出力２１３及び加圧器圧力高信号出力２１４の直前には論理積演算子２０９、２１０が記載されていることから、信号線追跡部１０６は、誤り信号線の追跡ルールのうち論理積演算子の追跡ルール、ここでは図１３に示される「出力値がＴＲＵＥ（１）である場合には入力値がＴＲＵＥ（１）の信号線を追跡し、出力値がＦＡＬＳＥ（０）である場合には入力値がＦＡＬＳＥ（０）の信号線を追跡する」という追跡ルールを選択する。そして、信号線追跡部１０６は、選択した追跡ルールに基づいて、加圧器圧力異常高信号出力２１３及び加圧器圧力高信号出力２１４の信号線から、信号線を追跡していく。
【００６０】  具体的には、ロジック図面６０１の試験Ｎｏ１の信号線状態値（図７）において、加圧器圧力異常高信号出力２１３へ入力している信号線の状態値は「ＦＡＬＳＥ（０）」であることから、信号線追跡部１０６は、論理積演算子２０９へ入力する信号線のうち、入力値が「ＦＡＬＳＥ（０）」である信号線を追跡する。同様の追跡が繰り返されることにより、信号線追跡部１０６は、加圧器警報抑制信号入力２０２まで辿り着いて、信号線の追跡を終了する。同様の追跡が、加圧器圧力高信号出力２１４から加圧器警報抑制信号入力２０２までの一連の信号線にも行われる。
【００６１】  その後、信号線正否判定部１０５は、信号線追跡部１０６が誤り信号線の追跡ルールに基づいて追跡した信号線を全て「誤り信号線」と判定する。上述の例では、加圧器圧力異常高信号出力２１３から加圧器警報抑制信号入力２０２までの一連の信号線、及び、加圧器圧力高信号出力２１４から加圧器警報抑制信号入力２０２までの一連の信号線が「誤り信号線」と判定される。
【００６２】  図１４は、信号線正否判定部１０５によって試験Ｎｏ１について判定された、ロジック図面６０１上の各信号線の正否結果を示す図である。この図１４には、ロジック図面６０１のうち、信号線正否判定部１０５に誤り信号線と判定された加圧器圧力異常高信号出力２１３及び加圧器圧力高信号出力２１４の信号線が、他の信号線と区別可能な表示形態で（ここでは黒色の太い矢印で）示されている。
【００６３】  以上のような信号線正否判定部１０５及び信号線追跡部１０６の動作により、試験Ｎｏ１についてのロジック図面６０１の各信号線の正否が判定される。なお、ステップＳ３〜Ｓ６は、試験テーブル４０１の各試験に実行されることから、最終的には、上述と同様の判定が試験Ｎｏ２〜Ｎｏ５にも行われる。図１５〜図１８には、試験Ｎｏ２〜Ｎｏ５についての各信号線の正否の判定結果がそれぞれ図１４と同様の形式で示されている。
【００６４】  このうち、試験Ｎｏ３の信号線正否判定結果（図１６）について説明する。試験Ｎｏ３では、信号線状態値の出力値（図９）と、試験テーブル４０１の出力値とが全て一致してＯＫ（図１２）と判定されているので、信号線追跡部１０６は、図１３の追跡ルールのうち正しい信号線の追跡ルールを選択する。信号線追跡部１０６は、当該選択した正しい信号線の追跡ルールに基づいて、試験テーブル４０１の出力値と一致した出力側の信号線（ここでは加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５及び加圧器圧力異常低信号出力２１６の信号線）から入力側の信号線に向かって、信号線の追跡を行う。
【００６５】  ここで、加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５及び加圧器圧力異常低信号出力２１６の直前には論理積演算子２０９、２１０、２１１、２１２が記載されていることから、信号線追跡部１０６は、正しい信号線の追跡ルールのうち論理積演算子の追跡ルール、ここでは図１３に示される「出力値がＴＲＵＥ（１）である場合には入力値がＴＲＵＥ（１）の信号線を追跡し、出力値がＦＡＬＳＥ（０）である場合には追跡を終了する」という追跡ルールを選択する。そして、信号線追跡部１０６は、選択した追跡ルールに基づいて、加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５及び加圧器圧力異常低信号出力２１６の信号線から、信号線を追跡していく。
【００６６】  しかし、図９に示されるロジック図面６０１の試験Ｎｏ３の信号線状態値において、加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５及び加圧器圧力異常低信号出力２１６へ入力している信号線の状態値はいずれも「ＦＡＬＳＥ（０）」であることから、信号線追跡部１０６は、上述の選択した追跡ルール（出力値がＦＡＬＳＥ（０）である場合には追跡を終了するという追跡ルール）に基づき、試験Ｎｏ３では信号線の追跡を行わない。
【００６７】  その後、信号線正否判定部１０５は、信号線追跡部１０６が正しい信号線の追跡ルールに基づいて追跡した信号線を全て「正しい信号線」と判定するが、上述の例では、信号線追跡部１０６は当該追跡を行っていないので、図１６に示すようにいずれの信号線も正しい信号線と判定されない。
【００６８】  図５に戻って、ステップＳ６にて、全試験（ここでは試験Ｎｏ１〜５）について、以上のステップＳ３〜Ｓ５の動作が行われたか否かが判定される。全試験について行われたと判定された場合にはステップＳ７に進み、全試験について行われたと判定されなかった場合にはステップＳ３に戻って残りの試験についてステップＳ３〜Ｓ５の動作が行われる。
【００６９】  ステップＳ７にて、信号線正否結果集計部１０７は、信号線正否判定部１０５による全試験における各信号線の正否の判定結果を各信号線について集計することにより、各信号線の正否結果集計値を算出する。本実施の形態では、信号線正否結果集計部１０７は、以下の計算式により各信号線の正否結果集計値を算出する。着目信号線の正否結果集計値＝着目信号線が誤り信号線と判定された試験数／(いずれかの信号線が誤り信号線と判定された試験数＋着目信号線が正しい信号線と判定された試験数)なお、この式の「いずれかの信号線が誤り信号線と判定された試験数」とは、ステップＳ４でＮＧと判定された試験数と同じである。
【００７０】  上述の例では、試験結果テーブル１２０１にＮＧが４つ記載されていることから、「いずれかの信号線が誤り信号線と判定された試験数＝４」であり、ロジック図面６０１のいずれの信号線も正しい信号線と判定されていないことから、「着目信号線が正しい信号線と判定された試験数＝０」である。図１９に示すロジック図面６０１には、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値が下線付きの値として付記されている。
【００７１】  ステップＳ８にて、誤り信号線推定部１０８は、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値に基づいて、各信号線の誤り可能性を推定する。本実施の形態では、誤り信号線推定部１０８は、正否結果集計値が「０」である信号線を「誤り可能性無し」、正否結果集計値の最大値「４／４」である信号線を「誤り可能性大」、正否結果集計値の０を除く最小値「１／４」である信号線を「誤り可能性小」、その他の信号線を「誤り可能性中」と判定する。図１９に示すロジック図面６０１には、誤り信号線推定部１０８が推定した各信号線の誤り可能性が、信号線の幅等によって示されている。
【００７２】  ステップＳ９にて、表示部１０９は、誤り信号線推定部１０８が推定した各信号線の誤り可能性を区別可能な表示形態で各信号線をロジック図面６０１上に表示する。その表示として、例えば図１９に示されるように、誤り可能性が大、中、小と低くなるにつれて信号線の幅が狭くなるように信号線を示し、可能性がない信号線は破線で示す表示形態を適用してもよい。これにより、表示部１０９によるロジック図面６０１の表示を見たユーザは、加圧器警報抑制信号入力２０２付近において誤り可能性が高いことを知ることができ、その結果として図２に示した否定演算子２０４の記載漏れに容易に気づくことができる。
【００７３】  ＜動作例２＞  動作例２では、図２０に示すロジック図面２００１に対する、本実施の形態に係るロジック図面表示装置の動作について説明する。このロジック図面２００１は、図２に示すロジック図面２０１と比較して、上限モニタ演算子２０５の設定値が正しくは「１００」であるべきところ、「８０」に設定されているという誤りを含んでいる。この場合であっても、本実施の形態に係るロジック図面表示装置の図５に示す動作により、ユーザは、ロジック図面２００１の誤り箇所（上限モニタ演算子２０５の設定値の誤り）に容易に気づくことが可能となる。
【００７４】  なお、上述と同様に、ステップＳ１（図５）が行われるまでに、ロジック図面２００１がロジック図面格納装置１０１に格納されるとともに、当該ロジック図面２００１の信号線状態値が信号線状態値格納装置１０３に格納される。
【００７５】  具体的には、上述と同様に、信号線状態値取得部１０４は、試験テーブル４０１の各試験をロジック図面２００１に対して実施する。これにより、信号線状態値取得部１０４は、ロジック図面２００１上の各信号線の状態値（演算結果）、つまり信号線状態値を取得する。図２１に示すロジック図面２００１には、ロジック図面２００１に対して試験テーブル４０１の試験Ｎｏ１を実施することによって取得された信号線状態値が、下線付きの値（ＴＲＵＥ、ＦＡＬＳＥ）として付記されている。
【００７６】  次に、ロジック図面２００１に付記された試験Ｎｏ１の信号線状態値（図２１）の取得について詳細に説明する。試験Ｎｏ１では、上限モニタ演算子２０５、２０６、及び、下限モニタ演算子２０７、２０８には、加圧器圧力信号入力２０３からアナログ値「１１０」が入力されるので、上限モニタ演算子２０５、２０６はデジタル値「ＴＲＵＥ（１）」を出力し、下限モニタ演算子２０７、２０８は、デジタル値「ＦＡＬＳＥ（０）」を出力する。また、試験Ｎｏ１では、否定演算子２０４には、加圧器警報抑制信号入力２０２の出力であるデジタル値「ＦＡＬＳＥ（０）」が入力されるので、否定演算子２０４は、反転したデジタル値「ＴＲＵＥ（１）」を出力する。
【００７７】  論理積演算子２０９、２１０には、それぞれ上限モニタ演算子２０５、２０６の出力（「ＴＲＵＥ（１）」）と、否定演算子２０４の出力であるデジタル値「ＴＲＵＥ（１）」とが入力されるので、論理積演算子２０９、２１０はいずれも、デジタル値「ＴＲＵＥ（１）」を出力する。これにより、デジタル値「ＴＲＵＥ（１）」が、それぞれ加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４に設定される。一方、論理積演算子２１１、２１２には、それぞれ下限モニタ演算子２０７、２０８の出力（「ＦＡＬＳＥ（０）」）と、否定演算子２０４の出力であるデジタル値「ＴＲＵＥ（１）」とが入力されるので、論理積演算子２１１、２１２はいずれも、デジタル値「ＦＡＬＳＥ（０）」を出力する。これにより、デジタル値「ＦＡＬＳＥ（０）」が、それぞれ加圧器圧力低信号出力２１５、加圧器圧力異常低信号出力２１６に設定される。
【００７８】  信号線状態値取得部１０４は、試験Ｎｏ１と同様に、試験Ｎｏ２〜Ｎｏ５をロジック図面２００１に対して実施することにより、試験Ｎｏ２〜Ｎｏ５についてロジック図面２００１の信号線状態値を取得する。図２２〜図２５には、試験Ｎｏ２〜Ｎｏ５についての各信号線の信号線状態値がそれぞれ図２１と同様の形式で示されている。信号線状態値取得部１０４は、取得した信号線状態値を信号線状態値格納装置１０３に格納する。
【００７９】  次に、図５に戻ってステップＳ１以降の本実施の形態に係るロジック図面表示装置の動作について説明する。ここでは、信号線正否判定部１０５は、ステップＳ１において試験テーブル４０１を読み込み、ステップＳ２においてロジック図面２００１を読み込む。そして、ステップＳ３にて、信号線状態値取得部１０４は、試験テーブル４０１の該当試験（ここでは試験Ｎｏ１）に対応した信号線状態値（ここでは図２１に示した信号線状態値）を読み込み、それを信号線正否判定部１０５に与える。
【００８０】  ステップＳ４にて、信号線正否判定部１０５は、信号線状態値取得部１０４からの信号線状態値（ここでは図２１に示した信号線状態値）の出力値と、ステップＳ１で読み込んだ試験テーブル（ここでは試験テーブル４０１）の出力値（期待値）とを比較して、該当試験（ここでは試験Ｎｏ１）の正否を判定する。
【００８１】  図２６は、各試験についてのロジック図面２００１の信号線状態値の出力値、つまりロジック図面２００１に対して上述の試験Ｎｏ１〜Ｎｏ５を実施した結果をまとめた試験結果テーブル２６０１を示す図である。この試験結果テーブル２６０１には、試験テーブル４０１の入力値と同じ加圧器圧力、加圧器警報抑制の入力値が記載されているとともに、図２１〜図２５に示した加圧器圧力異常高、加圧器圧力高、加圧器圧力低、加圧器圧力異常低の信号線状態値の出力値、すなわち試験Ｎｏ１〜Ｎｏ５を実施して得られた実際の出力値が記載されている。この試験結果テーブル２６０１の詳細は、試験結果テーブル１２０１（図１２）と同様である。
【００８２】  例えば、試験結果テーブル２６０１に示す、試験Ｎｏ１の加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４の信号線状態値の出力値は「ＴＲＵＥ（１）」であり、加圧器圧力低信号出力２１５、加圧器圧力異常低信号出力２１６の信号線状態値の出力値は「ＦＡＬＳＥ（０）」である。一方、試験テーブル４０１に示す、試験Ｎｏ１の加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４の望ましい出力値（期待値）は「ＴＲＵＥ（１）」であり、加圧器圧力低信号出力２１５、加圧器圧力異常低信号出力２１６の望ましい出力値（期待値）は「ＦＡＬＳＥ（０）」である。
【００８３】  したがって、信号線正否判定部１０５は、試験Ｎｏ１の全ての出力に関して信号線状態値の出力値と期待値とが一致するため、試験Ｎｏ１を「ＯＫ」と判定する。この結果として、試験結果テーブル２６０１（図２６）の試験Ｎｏ１の結果欄には「ＯＫ」が記載されている。なお、試験Ｎｏ２〜Ｎｏ５も同様である。
【００８４】  ステップＳ５にて、信号線追跡部１０６は、該当試験について、各信号線の信号線状態値と、試験テーブルの出力値と、ロジック図面の演算素子の種別毎に定められた追跡ルールとに基づいて、ロジック図面の出力側から入力側に向かって信号線を追跡する。そして、同ステップＳ５にて、信号線正否判定部１０５は、信号線追跡部１０６の追跡結果に基づいて、ロジック図面上の各信号線の正否を、該当試験について判定する。
【００８５】  具体的な動作例として、信号線追跡部１０６が、試験Ｎｏ１についてロジック図面２００１の出力側から入力側に向かって信号線を追跡する動作を以下説明する。
【００８６】  試験Ｎｏ１では、信号線状態値の出力値（図２１）と、試験テーブル４０１の出力値とが全て一致してＯＫ（図２６）と判定されているので、信号線追跡部１０６は、図１３の追跡ルールのうち正しい信号線の追跡ルールを選択する。信号線追跡部１０６は、当該選択した正しい信号線の追跡ルールに基づいて、試験テーブル４０１の出力値と一致した出力側の信号線（ここでは加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５及び加圧器圧力異常低信号出力２１６の信号線）から入力側の信号線に向かって、信号線の追跡を行う。
【００８７】  ここで、加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５及び加圧器圧力異常低信号出力２１６の直前には論理積演算子２０９、２１０、２１１、２１２が記載されていることから、信号線追跡部１０６は、正しい信号線の追跡ルールのうち論理積演算子の追跡ルール、ここでは図１３に示される「出力値がＴＲＵＥ（１）である場合には入力値がＴＲＵＥ（１）の信号線を追跡し、出力値がＦＡＬＳＥ（０）である場合には追跡を終了する」という追跡ルールを選択する。そして、信号線追跡部１０６は、選択した追跡ルールに基づいて、加圧器圧力異常高信号出力２１３、加圧器圧力高信号出力２１４、加圧器圧力低信号出力２１５及び加圧器圧力異常低信号出力２１６の信号線から、信号線を追跡していく。
【００８８】  具体的には、ロジック図面２００１の試験Ｎｏ１の信号線状態値（図２１）において、加圧器圧力異常高信号出力２１３へ入力している信号線の状態値は「ＴＲＵＥ（１）」であることから、信号線追跡部１０６は、論理積演算子２０９へ入力する信号線のうち、入力値が「ＴＲＵＥ（１）」である信号線を追跡する。同様の追跡が繰り返されることにより、信号線追跡部１０６は、加圧器警報抑制信号入力２０２及び加圧器圧力信号入力２０３まで辿り着いて、信号線の追跡を終了する。同様の追跡が、加圧器圧力高信号出力２１４から加圧器警報抑制信号入力２０２までの一連の信号線、及び、加圧器圧力高信号出力２１４から加圧器圧力信号入力２０３までの一連の信号線にも行われる。
【００８９】  一方、加圧器圧力低信号出力２１５と加圧器圧力異常低信号出力２１６へ入力している信号線の状態値は「ＦＡＬＳＥ（０）」であることから、信号線追跡部１０６は、上述の選択した追跡ルール（出力値がＦＡＬＳＥ（０）である場合には追跡を終了するという追跡ルール）に基づき、正しい信号線については追跡を行わない。
【００９０】  その後、信号線正否判定部１０５は、信号線追跡部１０６が正しい信号線の追跡ルールに基づいて追跡した信号線を全て「正しい信号線」と判定する。上述の例では、加圧器圧力異常高信号出力２１３から加圧器警報抑制信号入力２０２までの一連の信号線、加圧器圧力異常高信号出力２１３から加圧器圧力信号入力２０３までの一連の信号線、加圧器圧力高信号出力２１４から加圧器警報抑制信号入力２０２までの一連の信号線、及び、加圧器圧力高信号出力２１４から加圧器圧力信号入力２０３までの一連の信号線が「正しい信号線」と判定される。図２１には、ロジック図面２００１のうち、信号線正否判定部１０５に正しい信号線と判定された信号線が、他の信号線と区別可能な表示形態で（ここでは白抜きの太い矢印で）示されている。
【００９１】  以上のような信号線正否判定部１０５及び信号線追跡部１０６の動作により、試験Ｎｏ１についてのロジック図面２００１の各信号線の正否が判定される。なお、ステップＳ３〜Ｓ６は、試験テーブル４０１の各試験に実行されることから、最終的には、上述と同様の判定が試験Ｎｏ２〜Ｎｏ５にも行われる。図２２〜図２５には、試験Ｎｏ２〜Ｎｏ５についての各信号線の正否の判定結果が示されている。
【００９２】  図５に戻って、ステップＳ５の後、ステップＳ６〜Ｓ９が行われる。図２７に示すロジック図面２００１には、ステップＳ７にて信号線正否結果集計部１０７が算出した各信号線の正否結果集計値が下線付きの値として付記されている。また、図２７にロジック図面２００１には、ステップＳ８にて誤り信号線推定部１０８が推定した各信号線の誤り可能性が、信号線の幅等によって示されている。なお、図２７に示す例では、誤り信号線推定部１０８は、「０」である信号線を「誤り可能性無し」、正否結果集計値の最大値「１／２」である信号線を「誤り可能性大」、正否結果集計値の０を除く最小値「１／４」である信号線を「誤り可能性小」と判定している。
【００９３】  ステップＳ９にて、表示部１０９は、誤り信号線推定部１０８が推定した各信号線の誤り可能性を区別可能な表示形態で各信号線をロジック図面２００１上に表示する。これにより、表示部１０９によるロジック図面２００１の表示を見たユーザは、加圧器圧力信号入力２０３と上限モニタ演算子２０５との間の分岐点から、上限モニタ演算子２０５、論理積演算子２０９、加圧器圧力異常高信号出力２１３までの間において誤り可能性が高いことを知ることができ、その結果として上限モニタ演算子２０５の設定値の誤りに容易に気づくことができる。
【００９４】  以上のような本実施の形態に係るロジック図面表示装置及びその方法によれば、信号線正否判定部１０５が、信号線状態値に基づきロジック図面上の各信号線の正否を各試験について判定し、信号線正否結果集計部１０７が、その判定結果から各信号線の正否結果集計値を算出し、誤り信号線推定部１０８が、各信号線の正否結果集計値に基づきロジック図面上の各信号線の誤りを推定し、表示部１０９が、当該各信号線の誤りに応じた表示形態で信号線をロジック図面上に表示する。これにより、予め故障辞書などの作成が不要であり、かつ、少ない計算時間で、ロジック図面上の誤り箇所を推定することができる。
【００９５】  なお、以上の説明では、図５に示すフローチャートに示す処理が始まる前に、信号状態値取得部１０４が信号状態値を取得し、それを信号線状態値格納装置１０３に格納するものとして説明した。しかしこれに限ったものではなく、図５に示すフローチャートに示す処理ごとに、信号状態値取得部１０４が信号状態値を取得するものであってもよい。この場合には、信号状態値を演算（取得）する時間分だけ、図５に示すフローチャートに示す処理が遅延するが、信号線状態値格納装置１０３を設けなくて済む。
【００９６】  なお、本発明は、その発明の範囲内において、実施の形態を適宜、変形、省略することが可能である。
【００９７】  ＜実施の形態２＞  図２８は本発明の実施の形態２に係るロジック図面表示装置の構成を示すブロック図である。なお、本実施の形態に係るロジック図面表示装置において、実施の形態１で説明した構成要素と同一または類似するものについては同じ符号を付し、異なる点を中心に説明する。
【００９８】  本実施の形態に係るロジック図面表示装置は、実施の形態１に係るロジック図面表示装置に、図面正否結果集計部１１０と、図面特性値算出部１１１と、誤り図面推定部１１２とが追加されて構成されている。
【００９９】  図面正否結果集計部１１０は、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値に基づいて、複数のロジック図面について各ロジック図面の正否結果集計値を算出する。ここでは、図面正否結果集計部１１０は、各ロジック図面における各信号線の正否結果集計値の最大値を、各ロジック図面の正否結果集計値として算出する。
【０１００】  図面特性値算出部１１１は、各ロジック図面を解析して、各ロジック図面の図面特性値を算出する。
【０１０１】  誤り図面推定部１１２は、図面正否結果集計部１１０が算出した各ロジック図面の正否結果集計値に基づいて、各ロジック図面の誤りを推定する。ここでは、誤り図面推定部１１２は、図面正否結果集計部１１０が算出した各ロジック図面の正否結果集計値と、図面特性値算出部１１１が算出した各ロジック図面の図面特性値とに基づいて、各ロジック図面の誤りを推定する。誤り図面推定部１１２により推定される各ロジック図面の誤りとしては、各ロジック図面の誤りの有無、及び、各ロジック図面が誤っている可能性などが該当するが、本実施の形態では、各ロジック図面が誤っている可能性（以下「各ロジック図面の誤り可能性」と呼ぶ）であるものとして説明する。
【０１０２】  表示部１０９は、誤り図面推定部１１２により判定された各ロジック図面の誤り可能性に応じた表示形態で、ロジック図面を表示する。ここでは、表示部１０９は、誤り図面推定部１１２により判定された各ロジック図面の誤り可能性を区別可能な表示形態で、複数のロジック図面を表示する。
【０１０３】  以上のように構成された本実施の形態に係るロジック図面表示装置は、ロジック図面格納装置１０１に格納されている一群のロジック図面上の誤り信号線を推定して、当該一群のロジック図面上に表示する。
【０１０４】  図２９は、一群のロジック図面の一例を示す図である。図２９に示される一群のロジック図面２９０１は、四枚のロジック図面２９０２〜２９０５を含んでおり、これらロジック図面２９０２〜２９０５には、一つの制御ロジックが分割して記述されている。
【０１０５】  ロジック図面２９０２〜２９０５同士の信号線は、図３に示される演算素子等の記述ルールに記載されているジャンプ演算子により論理的に接続される。ロジック図面０１（２９０２）のジャンプ演算子２９１０の出力は、ロジック図面０４（２９０５）のジャンプ演算子２９２３へ入力される。同様に、ロジック図面０２（２９０３）のジャンプ演算子２９１５の出力はロジック図面０４（２９０５）のジャンプ演算子２９２４へ、ロジック図面０３（２９０４）のジャンプ演算子２９２１の出力はロジック図面０４（２９０５）のジャンプ演算子２９２２へ入力される。また、ロジック図面２９０４には、乗算を行うための演算素子２９１９、及び、減算を行うための演算素子２９２０が含まれている。
【０１０６】  図３０は、試験テーブル格納装置１０２に格納されている試験テーブルの一例を示す図である。図３０に示される試験テーブル３００１では、試験Ｎｏ１〜Ｎｏ４のそれぞれについて、入力値と望ましい出力値（期待値）との組み合わせがテーブル形式で記載されている。なお、図２９に示したロジック図面２９０２〜２９０５は、試験テーブル３００１の各試験の入力値を入力した場合に、試験テーブル３００１の各試験の出力値と同じ出力値が出力されるものとなっている。したがって、試験テーブル３００１によれば、ロジック図面２９０２〜２９０５は正しいと判断される。
【０１０７】  ＜動作＞  図３１は、本実施の形態に係るロジック図面表示装置が、一群のロジック図面に含まれる複数のロジック図面上の誤り信号線を推定して、当該複数のロジック図面上に表示する動作を示すフローチャートである。以下、本実施の形態に係るロジック図面表示装置が、ロジック図面２９０２〜２９０５を正しいと判断する試験テーブル３００１を用いて誤り箇所の推定などを行う動作について詳細に説明する。なお、図３１に示すフローチャートでは、実施の形態１で説明したステップＳ１〜Ｓ８と、ステップＳ２１〜Ｓ２５とが行われる。そこで、以下においては、ステップＳ２１〜Ｓ２５を中心に説明する。
【０１０８】  以下、図３２に示す一群のロジック図面３２０１に含まれる四枚のロジック図面３２０２〜３２０５に対する、本実施の形態に係るロジック図面表示装置の動作について説明する。このロジック図面３２０２〜３２０５は、図２９に示すロジック図面２９０２〜２９０５とそれぞれ比較して、ロジック図面３２０５の上限モニタ演算子２９２５の設定値が正しくは「１００」であるべきところ、「２００」に設定されているという誤りを含んでいる。以下に説明するように、本実施の形態に係るロジック図面表示装置の図３１に示す動作により、ユーザは、ロジック図面２００１の誤り箇所（上限モニタ演算子２９２５の設定値の誤り）に容易に気づくことが可能となる。
【０１０９】  なお、本実施の形態においても、実施の形態１と同様に、図３１に示すステップＳ１が行われるまでに、ロジック図面３２０２〜３２０５がロジック図面格納装置１０１に格納されるとともに、当該ロジック図面３２０２〜３２０５の信号線状態値が信号線状態値格納装置１０３に格納される。図３３に示すロジック図面３２０２〜３２０５では、ロジック図面３２０２〜３２０５に対して試験テーブル３００１の試験Ｎｏ３を実施することによって取得された信号線状態値が、下線付きの値（ＴＲＵＥ、ＦＡＬＳＥ）として付記されている。
【０１１０】  さて、図３１に示されるステップＳ１〜Ｓ３にて、実施の形態１と同様にステップＳ１〜Ｓ３が行われる。ステップＳ４にて、実施の形態１と同様に、信号線正否判定部１０５は、信号線状態値取得部１０４からの信号線状態値の出力値と、ステップＳ１で読み込んだ試験テーブルの出力値（期待値）とを比較して、該当試験の正否を判定する。
【０１１１】  図３４は、各試験についてのロジック図面３２０２〜３２０５の信号線状態値の出力値、つまりロジック図面３２０２〜３２０５に対して上述の試験Ｎｏ１〜Ｎｏ４を実施した結果をまとめた試験結果テーブル３４０１を示す図である。また、試験結果テーブル３４０１の結果欄には、実施の形態１で説明した試験結果テーブル１２０１（図１２）と同様に、ステップＳ４にて信号線正否判定部１０５が判定した場合の各試験（試験Ｎｏ１〜Ｎｏ４）の正否の判定結果（ＯＫ、ＮＧ）が示されている。
【０１１２】  ステップＳ５（図３１）にて、実施の形態１と同様に、信号線追跡部１０６は、該当試験について、各信号線の信号線状態値と、試験テーブルの出力値と、追跡ルールとに基づいて、ロジック図面の出力側から入力側に向かって信号線を追跡する。そして、同ステップＳ５にて、信号線正否判定部１０５は、信号線追跡部１０６の追跡結果に基づいて、ロジック図面上の各信号線の正否を、該当試験について判定する。図３３には、ステップＳ５にて信号線正否判定部１０５が試験Ｎｏ３について判定した、ロジック図面３２０２〜３２０５上の各信号線の正否結果が、実施の形態１と同様の形式で示されている。
【０１１３】  ステップＳ６（図３１）にて、実施の形態１と同様に、全試験（ここでは試験Ｎｏ１〜４）について、以上のステップＳ３〜Ｓ５の動作が行われたか否かが判定される。全試験について行われたと判定された場合にはステップＳ７に進み、全試験について行われたと判定されなかった場合にはステップＳ３に戻って残りの試験についてステップＳ３〜Ｓ５の動作が行われる。
【０１１４】  そのため、試験Ｎｏ３以外の成功している試験Ｎｏ１、Ｎｏ２、Ｎｏ４（図３４）についてもステップＳ５が行われる。しかしながら、試験Ｎｏ１、Ｎｏ２、Ｎｏ４についてステップＳ５が行われても、図１３に示した追跡ルールによれば、ロジック図面３２０２〜３２０５については何れの信号線も「正しい信号線」と判定されない。
【０１１５】  ステップＳ７（図３１）にて、実施の形態１と同様に、信号線正否結果集計部１０７は、信号線正否判定部１０５による全試験における各信号線の正否の判定結果を各信号線について集計することにより、各信号線の正否結果集計値を算出する。図３５に示すロジック図面３２０２〜３２０５には、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値が下線付きの値として付記されている。
【０１１６】  ステップＳ８（図３１）にて、誤り信号線推定部１０８は、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値に基づいて、各信号線の誤り可能性を推定する。本実施の形態では、誤り信号線推定部１０８は、正否結果集計値が「０」である信号線を「誤り可能性無し」、正否結果集計値の最大値「１／１」である信号線を「誤り可能性大」と判定する。図３５に示すロジック図面３２０２〜３２０５には、誤り信号線推定部１０８が推定した各信号線の誤り可能性が、信号線の幅等によって示されている。
【０１１７】  ステップＳ２１にて、図面正否結果集計部１１０は、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値に基づいて、各ロジック図面の正否結果集計値（以下「図面正否結果集計値」と呼ぶこともある）を算出する。本実施の形態では、図面正否結果集計値は、各ロジック図面の信号線の正否結果集計値の最大値であるとしている。図３５に示したロジック図面３２０２〜３２０５において、図面正否結果集計部１１０が算出した図面正否結果集計値が、各ロジック図面３２０２〜３２０５の右側に設けられた四角で囲まれた上側の領域の値として付記されている。ロジック図面０１（３２０２）、ロジック図面０２（３２０３）の図面正否結果集計値は「０／１」であり、ロジック図面０３（３２０４）、ロジック図面０４（３２０５）の図面正否結果集計値は「１／１」である。
【０１１８】  ステップＳ２２にて、図面特性値算出部１１１は、各ロジック図面の図面特性値を算出する。本実施の形態では、図面特性値は、ロジック図面での誤りの混入し易さの指標値を含んでいる。以下においては、図面特性値が、当該指標値の一例であるロジック図面の複雑度であるものとして説明する。
【０１１９】  具体的には、図３６に示されるように、ロジック図面に含まれる演算素子の種別に応じた複雑度が規定されており、図面特性値算出部１１１は、各ロジック図面の複雑度として、各ロジック図面に含まれる演算素子の複雑度の総和を算出する。図３５に示したロジック図面３２０２〜３２０５において、図面特性値算出部１１１が算出した図面特性値が、各ロジック図面３２０２〜３２０５の右側に設けられた四角で囲まれた下側の領域の値として付記されている。ロジック図面０１（３２０２）の複雑度は「６」、ロジック図面０２（３２０３）の複雑度は「６」、ロジック図面０３（３２０４）の複雑度は「８」、ロジック図面０４（３２０５）の複雑度は「１０」である。
【０１２０】  ステップＳ２３にて、ステップＳ１で読み込んだ試験テーブル（ここでは試験テーブル３００１）に対応する全てのロジック図面（ここではロジック図面３２０２〜３２０５）について、以上のステップＳ２〜Ｓ８、Ｓ２１及びＳ２２が行われたか否かが判定される。全てのロジック図面について行われたと判定された場合にはステップＳ２４に進み、全てのロジック図面について行われたと判定されなかった場合にはステップＳ２に戻って残りのロジック図面について以上のステップＳ２〜Ｓ８、Ｓ２１及びＳ２２の動作が行われる。これにより、ステップＳ１で読み込んだ一群のロジック図面の数だけ、以上のステップＳ２〜Ｓ８、Ｓ２１及びＳ２２が繰り返される。
【０１２１】  ステップＳ２４にて、誤り図面推定部１１２は、図面正否結果集計部１１０が算出した図面正否結果集計値と、図面特性値算出部１１１が算出した各ロジック図面の図面特性値とに基づいて、各ロジック図面の誤り可能性を推定する。
【０１２２】  本実施の形態では、誤り図面推定部１１２は、図面正否結果集計値の高いほどロジック図面の誤り可能性が高いと判定し、図面正否結果集計値が同じ場合は図面特性値が高いほどロジック図面の誤り可能性が高いとしている。図３５に示した例では、誤り図面推定部１１２は、図面正否結果集計値が高いロジック図面３２０４及びロジック図面３２０５のうち、図面特性値の高いロジック図面３２０５の誤り可能性を最も高いと判定する。
【０１２３】  ステップＳ２５にて、表示部１０９は、誤り図面推定部１１２により推定された各ロジック図面の誤り可能性を区別可能な表示形態で各ロジック図面３２０２〜３２０５を表示するとともに、誤り信号線推定部１０８により推定された各信号線の誤り可能性を区別可能な表示形態で各信号線をロジック図面３２０２〜３２０５に表示する。図３７は、本実施の形態に係るロジック図面表示装置の表示部１０９による、ロジック図面の表示例を示している。表示部１０９は、誤り可能性が高いロジック図面順に並べ替える（図３７に示す例では上側から下側に並べ替える）とともに、図面正否結果集計値が「０」でないロジック図面についてはその全体を灰色で着色するなどして表示する（図３７では、図の表示の関係上、灰色の代わりに砂地ハッチングを代わりに付している）。なお、各信号線の表示方法については、実施の形態１と同様である。
【０１２４】  以上のような本実施の形態に係るロジック図面表示装置及びその方法によれば、図面正否結果集計部１１０が、信号線正否結果集計部１０７が算出した各信号線の正否結果集計値に基づき各ロジック図面の正否結果集計値を算出し、図面特性値算出部１１１が、各ロジック図面の図面特性値を算出し、誤り図面推定部１１２が、各ロジック図面の正否結果集計値及び図面特性値に基づき、各ロジック図面の誤りを推定する。これにより、制御ロジックを複数に分割して記述した複雑なロジック図面に対して、予め故障辞書などの作成が不要であり、かつ、少ない計算時間で、誤り箇所を有するロジック図面を推定することができる。
【０１２５】  また、本実施の形態によれば、図面特性値算出部１１１が算出する各ロジック図面の図面特性値を、ロジック図面の複雑さなどのロジック図面での誤りの混入し易さの指標値を含む。これにより、誤り箇所を有するロジック図面のより適切な推定が可能となる。
【０１２６】  ＜実施の形態３＞  図面特性値算出部１１１は、ロジック図面に含まれる演算素子などの内容をもとに、図面特性値（ロジック図面の複雑度）を算出する。実施の形態２では、予め定められた演算素子の種別ごとに複雑度が規定されおり、ロジック図面に含まれる各演算素子の種別に応じた複雑度の総和として図面特性値（ロジック図面の複雑度）を算出した。しかしこれに限ったものではなく、演算素子の種別ごとに複雑度を規定せずに、図面特性値を算出する方法も考えられる。例えば、図面特性値算出部１１１は、次式に示されるように、ロジック図面に含まれる各演算素子の入力点の総数、出力点の総数、及び、設定パラメータの総数の総和として図面特性値（ロジック図面の複雑度）を算出してもよい。図面特性値＝Ｎｉ＋Ｎｏ＋Ｎｐここで、Ｎｉは、ロジック図面の演算素子の入力点の総数であり、Ｎｏは、ロジック図面の演算素子の出力点の総数であり、Ｎｐは、ロジック図面の演算素子の設定パラメータの総数である。
【０１２７】  この算出方法では、各演算素子の複雑度は、入力点、出力点、及び、設定パラメータの総和として定義され、ロジック図面の図面特性値は、ロジック図面の演算素子の複雑度の総和として算出されることに相当する。
【０１２８】  例えば、入力演算子や出力演算子やジャンプ演算子などの入出力演算子は、入力点及び出力点のいずれかを１つ有し、設定パラメータを有さないことから、それらの演算素子の複雑度は「１」となる。ここで、設定パラメータは、例えば上下限の設定パラメータなどが適用される。例えば、図３６に示されている演算素子のうち、上下限の設定パラメータを持つ上限モニタ演算子及び下限モニタ演算子だけが設定パラメータを持つ。このため、上限モニタ演算子及び下限モニタ演算子の設定パラメータの数は「１」であるが、その他の演算素子の設定パラメータの数は「０」となる。
【０１２９】  この算出方法を用いて、図３５に示したロジック図面について図面特性値（ロジック図面の複雑度）を算出する場合について説明する。ロジック図面０１（３２０２）には、３つの入力演算子２９０６，２９０７，２９０８と、１つの論理積演算子２９０９と、１つのジャンプ演算子２９１０とが含まれている。論理積演算子２９０９の入力点は３つであり、ジャンプ演算子２９１０の入力点は１つであることから、Ｎｉ＝４となる。入力演算子２９０６，２９０７，２９０８のそれぞれの出力点は１つであり、論理積演算子２９０９の出力点は１つであることから、Ｎｏ＝４となる。上述したように、入力演算子、論理積演算子及びジャンプ演算子の設定パラメータは０であることから、Ｎｐ＝０となる。したがって、ロジック図面０１（３２０２）の図面特性値は「８」（＝４＋４＋０）と算出される。ロジック図面０２（３２０３）の図面特性値も同様に「８」（＝４＋４＋０）と算出される。
【０１３０】  ロジック図面０３（３２０４）には、３つの入力演算子２９１６，２９１７，２９１８と、乗算を行うための演算素子２９１９と、減算を行うための演算素子２９２０と、ジャンプ演算子２９２１とが含まれている。乗算を行うための演算素子２９１９の入力点は２つであり、減算を行うための演算素子２９２０の入力点は２つであり、ジャンプ演算子２９２１の入力点は１つであることから、Ｎｉ＝５となる。入力演算子２９１６，２９１７，２９１８のそれぞれの出力点は１つであり、乗算を行うための演算素子２９１９の出力点は１つであり、減算を行うための演算素子２９２０の出力点は１つであることから、Ｎｏ＝５となる。入力演算子、論理積演算子及びジャンプ演算子等の設定パラメータは０であることから、Ｎｐ＝０となる。したがって、ロジック図面０３（３２０４）の図面特性値は「１０」（＝５＋５＋０）と算出される。
【０１３１】  ロジック図面０４（３２０５）には、３つのジャンプ演算子２９２２，２９２３，２９２４と、上限モニタ演算子２９２５と、論理積演算子２９２６と、出力演算子２９２７とが含まれている。上限モニタ演算子２９２５の入力点は１つであり、論理積演算子２９２６の入力点は３つであり、出力演算子２９２７の入力点は１つであることから、Ｎｉ＝５となる。ジャンプ演算子２９２２，２９２３，２９２４のそれぞれの出力点は１つであり、上限モニタ演算子２９２５の出力点は１つであり、論理積演算子２９２６の出力点は１つであることから、Ｎｏ＝５となる。上限モニタ演算子２９２５の設定パラメータは「１」であることから、Ｎｐ＝１となる。したがって、ロジック図面０４（３２０５）の図面特性値は「１１」（＝５＋５＋１）と算出される。
【０１３２】  以上の例において、誤り図面推定部１１２は、図面正否結果集計値が高いロジック図面３２０４及びロジック図面３２０５のうち、図面特性値の高いロジック図面３２０５の誤り可能性を最も高いと判定することなり、実施の形態２と同様に、図３７で示す表示形態でロジック図面が表示される。
【０１３３】  以上のような本実施の形態によれば、誤り箇所を有するロジック図面の推定において、演算素子の種別ごとに複雑度を規定せずに、図面特性値を算出することができる。
【０１３４】  なお、本発明は、その発明の範囲内において、実施の形態を適宜、変形、省略することが可能である。
【符号の説明】
【０１３５】  １０１  ロジック図面格納装置、１０２  試験テーブル格納装置、１０５  信号線正否判定部、１０６  信号線追跡部、１０７  信号線正否結果集計部、１０８  誤り信号線推定部、１０９  表示部、１１０  図面正否結果集計部、１１１  図面特性値算出部、１１２  誤り図面推定部。
【図１】
2014024640.tif 000003
【図２】
2014024640.tif 000004
【図３】
2014024640.tif 000005
【図４】
2014024640.tif 000006
【図５】
2014024640.tif 000007
【図６】
2014024640.tif 000008
【図７】
2014024640.tif 000009
【図８】
2014024640.tif 000010
【図９】
2014024640.tif 000011
【図１０】
2014024640.tif 000012
【図１１】
2014024640.tif 000013
【図１２】
2014024640.tif 000014
【図１３】
2014024640.tif 000015
【図１４】
2014024640.tif 000016
【図１５】
2014024640.tif 000017
【図１６】
2014024640.tif 000018
【図１７】
2014024640.tif 000019
【図１８】
2014024640.tif 000020
【図１９】
2014024640.tif 000021
【図２０】
2014024640.tif 000022
【図２１】
2014024640.tif 000023
【図２２】
2014024640.tif 000024
【図２３】
2014024640.tif 000025
【図２４】
2014024640.tif 000026
【図２５】
2014024640.tif 000027
【図２６】
2014024640.tif 000028
【図２７】
2014024640.tif 000029
【図２８】
2014024640.tif 000030
【図２９】
2014024640.tif 000031
【図３０】
2014024640.tif 000032
【図３１】
2014024640.tif 000033
【図３２】
2014024640.tif 000034
【図３３】
2014024640.tif 000035
【図３４】
2014024640.tif 000036
【図３５】
2014024640.tif 000037
【図３６】
2014024640.tif 000038
【図３７】
2014024640.tif 000039
【手続補正書】
【提出日】平成27年10月1日(2015.10.1)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
演算を行う演算素子と前記演算素子同士を接続する信号線とを含むロジック図面における誤り箇所を推定するロジック図面誤り箇所推定装置であって、
前記ロジック図面を格納するロジック図面格納装置（１０１）と、
前記ロジック図面の正否を判断するための各試験の入力値及び出力値の対応表である試験テーブルを格納する試験テーブル格納装置（１０２）と、
前記試験テーブルの前記各試験を前記ロジック図面に対して実施することにより前記各試験について取得された、前記ロジック図面上の各信号線の信号線状態値と、前記試験テーブルとに基づいて、前記各信号線の正否を前記各試験について判定する信号線正否判定部（１０５）と、
前記信号線正否判定部（１０５）による前記各信号線の正否の判定結果に基づいて、前記各信号線の正否結果集計値を算出する信号線正否結果集計部（１０７）と、
前記信号線正否結果集計部（１０７）が算出した前記各信号線の正否結果集計値に基づいて、前記各信号線の誤りを推定する誤り信号線推定部（１０８）と、
前記誤り信号線推定部（１０８）により推定された前記各信号線の誤りに応じた表示形態で前記各信号線を前記ロジック図面上に表示する表示部（１０９）と、
前記各信号線の前記信号線状態値と、前記試験テーブルの前記出力値と、前記ロジック図面の前記演算素子の種別毎に定められた追跡ルールとに基づいて、前記ロジック図面の出力側から入力側に前記信号線を追跡する信号線追跡部（１０６）と
を備え、
前記信号線正否判定部（１０５）は、前記信号線追跡部（１０６）の追跡結果に基づいて、前記ロジック図面上の前記各信号線の正否を判定する、ロジック図面誤り箇所推定装置。
【請求項２】
請求項１に記載のロジック図面誤り箇所推定装置であって、
前記信号線正否結果集計部（１０７）が算出した前記各信号線の正否結果集計値に基づいて、複数の前記ロジック図面について各前記ロジック図面の正否結果集計値を算出する図面正否結果集計部（１１０）と、
前記図面正否結果集計部（１１０）が算出した前記各ロジック図面の正否結果集計値に基づいて、前記各ロジック図面の誤りを推定する誤り図面推定部（１１２）と
をさらに備え、
前記表示部（１０９）は、前記誤り図面推定部により推定された前記各ロジック図面の誤りに応じた表示形態で前記ロジック図面を表示する、ロジック図面誤り箇所推定装置。
【請求項３】
請求項２に記載のロジック図面誤り箇所推定装置であって、
前記各ロジック図面の図面特性値を算出する図面特性値算出部（１１１）をさらに備え、
前記誤り図面推定部（１１２）は、前記図面正否結果集計部が算出した前記各ロジック図面の正否結果集計値と、前記図面特性値算出部が算出した前記各ロジック図面の図面特性値とに基づいて、前記各ロジック図面の誤りを推定する、ロジック図面誤り箇所推定装置。
【請求項４】
請求項３に記載のロジック図面誤り箇所推定装置であって、
前記図面特性値算出部（１１１）が算出する前記各ロジック図面の図面特性値は、前記各ロジック図面での誤りの混入し易さの指標値を含む、ロジック図面誤り箇所推定装置。
【請求項５】
請求項３に記載のロジック図面誤り箇所推定装置であって、
前記図面特性値算出部（１１１）は、
前記各ロジック図面に含まれる各前記演算素子の入力点の総数、出力点の総数、及び、設定パラメータの総数の総和として、前記各ロジック図面の図面特性値を算出する、ロジック図面誤り箇所推定装置。
【請求項６】
演算を行う演算素子と前記演算素子同士を接続する信号線とを含むロジック図面における誤り箇所を推定するロジック図面誤り箇所推定方法であって、
（ａ）前記ロジック図面の正否を判断するための各試験の入力値及び出力値の対応表である試験テーブルの前記各試験を、前記ロジック図面に対して実施することにより、当該ロジック図面上の各信号線の信号線状態値を前記各試験について取得する工程と、
（ｂ）前記工程（ａ）で取得した信号線状態値と、前記試験テーブルとに基づいて、前記各信号線の正否を前記各試験について判定する工程と、
（ｃ）前記工程（ｂ）による前記各信号線の正否の判定結果に基づいて、前記各信号線の正否結果集計値を算出する工程と、
（ｄ）前記工程（ｃ）で算出された前記各信号線の正否結果集計値に基づいて、前記各信号線の誤りを推定する工程と、
（ｅ）前記工程（ｄ）で推定された前記各信号線の誤りに応じた表示形態で前記各信号線を前記ロジック図面上に表示する工程と、
（ｆ）前記工程（ａ）で取得した前記各信号線の前記信号線状態値と、前記試験テーブルの前記出力値と、前記ロジック図面の前記演算素子の種別毎に定められた追跡ルールとに基づいて、前記ロジック図面の出力側から入力側に前記信号線を追跡する工程と
を備え、
前記工程（ｂ）は、前記工程（ｆ）の追跡結果に基づいて、前記ロジック図面上の前記各信号線の正否を判定する、ロジック図面誤り箇所推定方法。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】００１４
【補正方法】変更
【補正の内容】
【００１４】
本発明に係るロジック図面誤り箇所推定装置は、演算を行う演算素子と前記演算素子同士を接続する信号線とを含むロジック図面における誤り箇所を推定するロジック図面誤り箇所推定装置であって、前記ロジック図面を格納するロジック図面格納装置と、前記ロジック図面の正否を判断するための各試験の入力値及び出力値の対応表である試験テーブルを格納する試験テーブル格納装置とを備える。前記ロジック図面誤り箇所推定装置は、前記試験テーブルの前記各試験を前記ロジック図面に対して実施することにより前記各試験について取得された、前記ロジック図面上の各信号線の信号線状態値と、前記試験テーブルとに基づいて、前記各信号線の正否を前記各試験について判定する信号線正否判定部と、前記信号線正否判定部による前記各信号線の正否の判定結果に基づいて、前記各信号線の正否結果集計値を算出する信号線正否結果集計部とをさらに備える。前記ロジック図面誤り箇所推定装置は、前記信号線正否結果集計部が算出した前記各信号線の正否結果集計値に基づいて、前記各信号線の誤りを推定する誤り信号線推定部と、前記誤り信号線推定部により推定された前記各信号線の誤りに応じた表示形態で前記各信号線を前記ロジック図面上に表示する表示部とをさらに備える。前記ロジック図面誤り箇所推定装置は、前記各信号線の前記信号線状態値と、前記試験テーブルの前記出力値と、前記ロジック図面の前記演算素子の種別毎に定められた追跡ルールとに基づいて、前記ロジック図面の出力側から入力側に前記信号線を追跡する信号線追跡部をさらに備え、前記信号線正否判定部は、前記信号線追跡部の追跡結果に基づいて、前記ロジック図面上の前記各信号線の正否を判定する。
【国際調査報告】
2014024640.tif 000040
2014024640.tif 000041
2014024640.tif 000042
2014024640.tif 000043