(57)【要約】【課題】図面の変更に際して影響範囲を特定し、また影響範囲に対して試験テーブルを作成することを支援する図面管理装置を提供する。【解決手段】本願に係る図面管理装置３１では、ロジック比較手段７は、ロジック抽出手段３が抽出したロジックとロジックデータベース６に登録済みのロジックとを比較して、変更箇所を得る。ロジック選別手段８は、変更箇所から有向グラフの枝をたどることにより、変更箇所に影響されるロジックを選別する。強調表示手段９，１０，１０５は、前記で選別したロジックを、視覚的に強調して図面を目視可能に表示する。また、試験テーブル作成手段１１は、変更箇所と前記選別したロジックとに対する、試験テーブルデータを作成する。【選択図】図１３
2010244150.tif 000002
【特許請求の範囲】
【請求項１】
複数の図面に分割された各図面の図面データから、前記各図面ごとに、有向グラフの形でロジックを抽出するロジック抽出手段と、
前記ロジック抽出手段により抽出された前記各図面の前記ロジックを連結するロジック連結手段と、
前記ロジック連結手段により連結された前記ロジックを、ロジックデータベースに登録するロジック登録手段と、
前記ロジック抽出手段が抽出した前記ロジックと前記ロジックデータベースに登録済みの前記ロジックとを比較して、変更箇所を得るロジック比較手段と、
前記ロジック比較手段が得た前記変更箇所から、前記有向グラフの枝をたどることにより、前記変更箇所に影響される前記ロジックを選別するロジック選別手段と、
前記ロジック選別手段が選別した前記ロジックを、視覚的に強調して前記図面を目視可能に表示する強調表示手段とを、備える、
ことを特徴とする図面管理装置。
【請求項２】
複数の図面に分割された各図面の図面データから、前記各図面ごとに、有向グラフの形でロジックを抽出するロジック抽出手段と、
前記ロジック抽出手段により抽出された前記各図面の前記ロジックを連結するロジック連結手段と、
前記ロジック連結手段により連結された前記ロジックを、ロジックデータベースに登録するロジック登録手段と、
前記ロジック抽出手段が抽出した前記ロジックと前記ロジックデータベースに登録済みの前記ロジックとを比較して、変更箇所を得るロジック比較手段と、
前記ロジック比較手段が得た前記変更箇所から、前記有向グラフの枝をたどることにより、前記変更箇所に影響される前記ロジックを選別するロジック選別手段と、
前記変更箇所と前記ロジック選別手段が選別した前記ロジックとに対する、試験テーブルデータを作成する試験テーブル作成手段とを、備える、
ことを特徴とする図面管理装置。
【請求項３】
前記ロジック選別手段は、
前記ロジック比較手段が得た前記変更箇所から前記有向グラフの前記枝を順方向にたどる際に、論理積にたどり着く前にたどり着いた論理和からは、前記枝を逆方向にたどらず、それ以外の場合は、前記枝を逆方向にもたどる、
ことを特徴とする請求項２に記載の図面管理装置。
【請求項４】
前記ロジック選別手段は、
前記ロジック比較手段が得た前記変更箇所から前記有向グラフの前記枝を順方向にたどる際に、論理和にたどり着く前にたどり着いた論理積からは、前記枝を逆方向にたどらず、それ以外の場合は、前記枝を逆方向にもたどる、
ことを特徴とする請求項２に記載の図面管理装置。
【請求項５】
前記ロジック抽出手段は、
前記図面データにおいて所定言語で記述されているロジックから、入力、出力、論理演算、図面伝達の各シンボルを抽出し、当該各シンボルを節点とし、当該シンボル間の接続関係を枝として、前記有効グラフを構成する、
ことを特徴とする請求項１または請求項２に記載の図面管理装置。
【請求項６】
前記ロジック抽出手段は、
前記各シンボルに対して、入力、出力、論理演算、図面伝達の属性を与える、
ことを特徴とする請求項５に記載の図面管理装置。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、ＣＡＤ等により作成された図面を管理する装置に関するものである。
【背景技術】
【０００２】
計装システムは、ＣＡＤを用いて、ラダー図などの図的言語により設計されることが多い。大規模なシステムになるとその図面は数千枚にもなり、図面の管理が煩雑で、設計者の負担が大きいことが問題であった。
【０００３】
そこで、特許文献１に係る設計支援システムでは、設計対象のロジックを有向グラフの形で記憶し、図面を自動的かつ統合的に管理することができる。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開平４−３３６３８２号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
大規模な計装システムになると、複数の部署により設計が行われる。このような場合には、計算機ネットワークが部署間で接続されていないなどの理由で、統合的な図面管理装置で図面を管理することが困難となる。したがって、設計者の手作業により、ＣＡＤにより作成した図面を管理していることが現状である。
【０００６】
ところで、大規模な計装システムになるとその制御ロジックは複雑なため、ある図面のあるロジックの変更が別の図面の別のロジックに影響を及ぼす。したがって、設計者は、その影響範囲を特定し、問題がないかどうか確認する必要がある。さらには、その影響範囲に対して試験テーブルを作成し、ロジックの動作試験を行うことが必要な場合も多々ある。
【０００７】
しかしながら、上記のように設計者の手作業により図面は管理されており、当該図面は数千枚にもなり、設計過程において度々図面は変更される。したがって、従来の図面管理装置にあっては、影響範囲の特定を支援したり、試験テーブルの作成を支援したりすることができないという問題点があった。
【０００８】
そこで、本発明は、図面の変更に際して影響範囲を特定し、また影響範囲に対して試験テーブルを作成することを支援する図面管理装置を提供することを目的とする。
【課題を解決するための手段】
【０００９】
上記の目的を達成するために、本発明に係る請求項１に記載の図面管理装置は、複数の図面に分割された各図面の図面データから、前記各図面ごとに、有向グラフの形でロジックを抽出するロジック抽出手段と、前記ロジック抽出手段により抽出された前記各図面の前記ロジックを連結するロジック連結手段と、前記ロジック連結手段により連結された前記ロジックを、ロジックデータベースに登録するロジック登録手段と、前記ロジック抽出手段が抽出した前記ロジックと前記ロジックデータベースに登録済みの前記ロジックとを比較して、変更箇所を得るロジック比較手段と、前記ロジック比較手段が得た前記変更箇所から、前記有向グラフの枝をたどることにより、前記変更箇所に影響される前記ロジックを選別するロジック選別手段と、前記ロジック選別手段が選別した前記ロジックを、視覚的に強調して前記図面を目視可能に表示する強調表示手段とを、備えることを特徴とする。
【００１０】
また、本発明に係る請求項２に記載の図面管理装置は、複数の図面に分割された各図面の図面データから、前記各図面ごとに、有向グラフの形でロジックを抽出するロジック抽出手段と、前記ロジック抽出手段により抽出された前記各図面の前記ロジックを連結するロジック連結手段と、前記ロジック連結手段により連結された前記ロジックを、ロジックデータベースに登録するロジック登録手段と、前記ロジック抽出手段が抽出した前記ロジックと前記ロジックデータベースに登録済みの前記ロジックとを比較して、変更箇所を得るロジック比較手段と、前記ロジック比較手段が得た前記変更箇所から、前記有向グラフの枝をたどることにより、前記変更箇所に影響される前記ロジックを選別するロジック選別手段と、前記変更箇所と前記ロジック選別手段が選別した前記ロジックとに対する、試験テーブルデータを作成する試験テーブル作成手段とを、備えることを特徴とする。
【発明の効果】
【００１１】
本発明の請求項１に記載の図面管理装置では、ロジック比較手段は、ロジック抽出手段が抽出したロジックとロジックデータベースに登録済みのロジックとを比較して、変更箇所を得る。さらに、ロジック選別手段は、ロジック比較手段が得た変更箇所から、有向グラフの枝をたどることにより、変更箇所に影響されるロジックを選別する。さらに、強調表示手段は、ロジック選別手段が選別したロジックを、視覚的に強調して図面を目視可能に表示する。
【００１２】
したがって、図面のロジックが変更されたときには、当該変更の影響範囲の特定を支援することができる。
【００１３】
また、請求項２に記載の図面管理装置では、ロジック比較手段は、ロジック抽出手段が抽出したロジックとロジックデータベースに登録済みのロジックとを比較して、変更箇所を得る。さらに、ロジック選別手段は、ロジック比較手段が得た変更箇所から、有向グラフの枝をたどることにより、変更箇所に影響されるロジックを選別する。さらに、試験テーブル作成手段は、変更箇所とロジック選別手段が選別したロジックとに対する、試験テーブルデータを作成する。
【００１４】
したがって、図面のロジックが変更されたときには、当該変更の影響範囲に対する試験テーブルデータの作成を支援することができる。
【図面の簡単な説明】
【００１５】
【図１】本発明に係る図面管理装置が実装される計算機の構成を示す図である。
【図２】実施の形態１に係る図面管理装置の構成を示す図である。
【図３】ロジック抽出手段の動作を模式的に示した図である。
【図４】ロジック連結手段の動作を模式的に示した図である。
【図５】ロジック比較手段の動作を模式的に示した図である。
【図６】実施の形態１におけるロジック選別手段の動作を模式的に示した図である。
【図７】実施の形態１における強調手段の動作を模式的に示した図である。
【図８】実施の形態２および実施の形態３に係る図面管理装置の構成を示す図である。
【図９】実施の形態２におけるロジック選別手段の動作を模式的に示した図である。
【図１０】実施の形態２における試験テーブル生成手段の動作を模式的に示した図である。
【図１１】実施の形態３におけるロジック選別手段の動作を模式的に示した図である。
【図１２】実施の形態３における試験テーブル生成手段の動作を模式的に示した図である。
【図１３】図面管理装置の他の構成を示す図である。
【発明を実施するための形態】
【００１６】
以下、この発明をその実施の形態を示す図面に基づいて具体的に説明する。
【００１７】
＜実施の形態１＞
図１は、本願発明に係る図面管理装置が実装される計算機１００の構成図である。
【００１８】
計算機１００は、ＣＰＵ１０１、メモリ１０２、キーボード１０３、マウス１０４およびモニタ１０５により構成されており、各ブロック１０１〜１０５はバス１０６を介して接続されている。
【００１９】
図２は、本発明の実施の形態１による図面管理装置１の構成図である。
【００２０】
図面管理装置１（より具体的には、ロジック抽出手段３）には、図面データ２が入力される。当該図面データ２は、複数の図面に分割された各図面のデータからなり、図的言語（ＣＡＤを用いたラダー図など）により設計されている。
【００２１】
また、図面管理装置１は、図１のメモリ１０２上に実装される。当該図面管理装置１は、ロジック抽出手段３、ロジック連結手段４、ロジック登録手段５、ロジックデータベース６、ロジック比較手段７、ロジック選別手段８、図面強調手段９、図面表示手段１０およびモニタ１０５を備えている。
【００２２】
ロジック抽出手段３は、複数の図面に分割された各図面の図面データ２から、各図面ごとに、有向グラフの形でロジックを抽出する。ロジック連結手段４は、ロジック抽出手段３により抽出された各図面のロジックを連結する。ロジック登録手段５は、ロジック連結手段４により連結されたロジックを、ロジックデータベース６に登録する。
【００２３】
ロジック比較手段７は、ロジック抽出手段３が抽出したロジックと、ロジックデータベース６に登録済みのロジックとを比較する。そして、ロジック比較手段７は、当該比較処理により、ロジックの変更箇所を得る。ロジック選別手段８は、ロジック比較手段７が得た前記変更箇所から、有向グラフの枝をたどることにより、前記変更箇所に影響されるロジックを選別する。
【００２４】
図面強調手段９、図面表示手段１０およびモニタ１０５により、強調表示手段を構成している。図面強調手段９は、ロジック選別手段８が選別したロジックを図面上で強調する。図面表示手段１０は、図面強調手段９が強調した図面を、視覚的に強調させて目視可能に、モニタ１０５に表示させる。
【００２５】
以下、各ブロック３〜１０の動作を、図面を用いて具体的に説明する。
【００２６】
図３は、ロジック抽出手段３の動作を模式的に示した図である。
【００２７】
図３の左側に図示する図面Ａは、下記のロジックを所定の図的言語により表すものである。前記ロジックとは、３つのＩＮ１，ＩＮ２，ＩＮ３に入力としてそれぞれ真または偽の値が入り、否定のＮＯＴ１、論理積のＡＮＤ１、論理和のＯＲ１の演算を経て、ＯＵＴ１から出力として真または偽の値が出るものである。
【００２８】
ロジック抽出手段３は、図面Ａのロジックから、ＩＮ１〜ＩＮ３、ＮＯＴ１、ＡＮＤ１、ＯＲ１、ＯＵＴ１の各シンボルを抽出するとともに、シンボル間の接続関係も抽出する。さらに、ロジック抽出手段３は、抽出した各シンボルを節点とし、シンボル間の接続関係を枝とする有向グラフを構成する。さらに、ロジック抽出手段３は、図面Ａのロジックから、抽出元の図面データ２の識別子（図面Ａ）と図面内におけるシンボルの識別子（ＩＮ１〜ＩＮ３、ＮＯＴ１、ＡＮＤ１、ＯＲ１、ＯＵＴ１）を抽出し、各節点に属性として与える。図３の右側の図が、ロジック抽出手段３が上記図面Ａのロジックから作成した有向グラフの構成を示す図である。
【００２９】
図４は、ロジック連結手段４の動作を模式的に示した図である。
【００３０】
大規模な計装システムの複雑なロジックは、１つの図面では表しきれないため、図面Ａと図面Ｂのように複数に分割して表される。図面Ａ中の図面Ｂというシンボルおよび図面Ｂ中の図面Ａというシンボルは、当該図面Ｂというシンボルに入力される値は、図面Ａというシンボルから伝達されることを表す。
【００３１】
なお、当該図面Ｂというシンボルおよび伝達の識別子および抽出元の図面データ２の識別子（図面Ａ）は、ロジック抽出手段３により図面Ａのロジックから抽出される。そして、当該ロジック抽出手段３により、作成された有向グラフにおける図面Ｂのシンボルに、抽出した識別子に対応する属性が与えられる。同様に、当該図面Ａというシンボルおよび伝達の識別子および抽出元の図面データ２の識別子（図面Ｂ）は、ロジック抽出手段３により図面Ｂのロジックから抽出される。そして、当該ロジック抽出手段３により、作成された有向グラフにおける図面Ａのシンボルに、抽出した識別子に対応する属性が与えられる。
【００３２】
ロジック連結手段４は、ロジック抽出手段３が図面Ａと図面Ｂから抽出したそれぞれの有向グラフにおいて、図面Ａというシンボルおよび図面Ｂというシンボルおよび属性から、伝達の関係を認識する。そして、図４に示すように、ロジック連結手段４は、図面Ａから抽出した有向グラフと、図面Ｂから抽出した有向グラフとを、１つの有向グラフに連結する。
【００３３】
ロジック登録手段５は、ロジック抽出手段３で抽出され、ロジック連結手段４で連結された有向グラフを、ロジックデータベース６に登録する。
【００３４】
図５は、ロジック比較手段７の動作を模式的に示した図である。
【００３５】
たとえば図５に示すように、図面データ２である図面Ａにおいて、ＩＮ１のシンボルがＩＮ４に変更されたとする。このように、図面データ２が変更されると、ロジック比較手段７は、変更後の図面データ２に基づいて抽出・作成された有向グラフを、ロジック抽出手段３から得る。さらに、ロジック比較手段７は、変更後の有向グラフの節点が属性として持つ抽出元の図面データ２の識別子を節点の属性として持つ部分グラフ、すなわち変更前の有向グラフをロジックデータベース６から得る。そして、ロジック比較手段７は、変更前の有向グラフの構成と変更後の有向グラフの構成とを比較する。当該比較により、ロジック比較手段７は、有向グラフにおける変更箇所を得る。
【００３６】
図５の例では、変更後の有向グラフの節点は、抽出元として図面Ａの属性を有する。したがって、ロジック比較手段７は、図面Ａを節点の属性として持つ変更前の有向グラフを、ロジックデータベース６から取得する。また図５の例では、ロジック比較手段７は、ＩＮ４を変更箇所として取得する。
【００３７】
図６は、ロジック選別手段８の動作を模式的に示した図である。
【００３８】
ロジック選別手段８は、ロジック比較手段７から有向グラフの変更箇所を取得する。図５の例では、ロジック選別手段８は、変更箇所としてＩＮ４を得る。また、ロジック選別手段８は、ロジックデータベース６から、登録されているロジック全体の有向グラフ（有向グラフが連結されていれば、当該連結状態全体の有向グラフ）を得る。そして、ロジック選別手段８は、ロジック全体の有向グラフにおいて、変更箇所から枝を順方向にたどることにより、変更の影響範囲を得る。図６では、ロジック全体の有向グラフにおいて、変更箇所としてＩＮ４が取得されている。当該図６では、ＩＮ４からＡＮＤ１、ＡＮＤ１からＯＲ１、ＯＲ１からＯＵＴ１と順にたどることにより、ロジック選別手段８は、太線で示した部分グラフを変更の影響範囲として得る。ここで、当該部分グラフには、変更箇所となるＩＮ４は含まれていない。
【００３９】
図７は、図面強調手段９の動作を模式的に示した図である。
【００４０】
図面強調手段９は、ロジック選別手段８から変更の影響範囲として上記部分グラフを得る。図面強調手段９は、図面データ２において、変更の影響範囲の部分グラフに対応するシンボルを、雲囲いして強調する。もちろん雲囲い以外に線の太さや色などにより、当該対応するシンボルを視覚的に強調するのでもかまわない。なお、図面強調手段９により強調された図面は、図面表示手段１０によって、モニタ１０５上において目視可能に表示される。
【００４１】
以上のように、本実施の形態に係る図面管理装置１では、ロジック比較手段７は、ロジック抽出手段３が抽出したロジックとロジックデータベース６に登録済みのロジックとを比較して、変更箇所を得る。さらに、ロジック選別手段８は、ロジック比較手段７が得た変更箇所から、有向グラフの枝をたどることにより、変更箇所に影響されるロジックを選別する。さらに、強調表示手段９，１０，１０５は、ロジック選別手段８が選別したロジックを、視覚的に強調して図面を目視可能に表示する。
【００４２】
したがって、図面のロジックが変更されたときには、当該変更の影響範囲の特定を支援することができる。
【００４３】
＜実施の形態２＞
図８は、本発明の実施の形態２による図面管理装置２１の構成図である。
【００４４】
図面管理装置２１においても、図１のメモリ１０２上に実装される。当該図面管理装置２１は、ロジック抽出手段３、ロジック連結手段４、ロジック登録手段５、ロジックデータベース６、ロジック比較手段７、ロジック選別手段８および試験テーブル生成手段１１を備えている。
【００４５】
試験テーブル生成手段１１は、ロジック選別手段８が選別したロジックに対する、試験テーブルデータ１２を作成する。なお、各手段３〜７の動作は、実施の形態１と同様である。ロジック選別手段８において、ロジック比較手段７が得た変更箇所から有向グラフの枝をたどることにより変更箇所に影響されるロジックを選別するという概略動作は、実施の形態１と本実施の形態２とは共通するが、具体的な枝のたどり方は、両実施の形態で異なる。
【００４６】
本実施の形態に係るロジック選別手段８および試験テーブル生成手段１１の具体的な動作は、以下の通りである。
【００４７】
図９は、本実施の形態に係るロジック選別手段８の動作を模式的に示した図である。
【００４８】
実施の形態１と同様に、ロジック選別手段８は、ロジック比較手段７から有向グラフの変更箇所（図９では、変更箇所としてＩＮ４）を取得する。また、実施の形態１と同様に、ロジック選別手段８は、登録されているロジック全体の有向グラフを、ロジックデータベース６から取得する。本実施の形態では、ロジック選別手段８は、ロジック全体の有向グラフにおいて、変更箇所から枝を順方向または逆方向にたどることにより、変更の影響範囲を得る。ここで、当該枝をたどる際に、論理積にたどり着く前にたどり着いた論理和からは、枝を逆方向にたどらず、それ以外の場合（それ以外の論理演算のシンボルから）は、枝を逆方向にもたどる。
【００４９】
図９の場合には、まず、ロジック選別手段８は、変更箇所であるＩＮ４から、順方向にＯＲ１をたどる。この時点で論理積にはたどり着いていないので、ロジック選別手段８は、ＯＲ１からは枝を逆方向にはたどらない。次に、ロジック選別手段８は、ＯＲ１から順方向にＡＮＤ１をたどる。ここで、論理積にたどりついたので、この時点からは、上記「それ以外の場合」に該当する。したがって、ロジック選別手段８は、ＡＮＤ１からは枝を逆方向にもたどり、ＮＯＴ１にたどり着く。さらに、ロジック選別手段８は、ＮＯＴ１から逆方向にＩＮ３をたどる。他方で、ロジック選別手段８は、ＡＮＤ１から順方向にＯＵＴ１にもたどる。ロジック選別手段８は、上記で説明した手順でたどった、図９の太線で示した部分グラフを変更の影響範囲として得る。ここで、当該部分グラフには、変更箇所となるＩＮ４は含まれていない。
【００５０】
図１０は、試験テーブル生成手段１１の動作を模式的に示した図である。
【００５１】
試験テーブル生成手段１１は、ロジック選別手段８から図面データ２の変更の影響範囲として部分グラフを得る。試験テーブル生成手段１１は、変更の影響範囲の部分グラフに含まれる入力（ＩＮ）と出力（ＯＵＴ）の節点を全て抽出する。さらに、試験テーブル生成手段１１は、自身で取得した入力および出力と、ロジック比較手段７から取得した変更箇所とを、各列とする試験テーブルデータ１２を生成する。
【００５２】
たとえば、図９に示した部分グラフ（太線部分）が取得された場合には、図１０に示すように、試験テーブル生成手段１１は、入力としてＩＮ３を抽出し、出力としてＯＵＴ１を抽出する。さらに、試験テーブル生成手段１１は、ロジック比較手段７で取得された変更箇所であるＩＮ４を得る。そして、試験テーブル生成手段１１は、図１０に示すように、ＩＮ４（変更箇所）、ＩＮ３（部分グラフに含まれる入力）およびＯＵＴ１（部分グラフに含まれる出力）を、各列とする試験テーブルデータ１２を生成する。
【００５３】
なお、ロジック選別手段８が本実施の形態に記載したグラフのたどり方（図９参照）を採用したときには、上記生成された試験テーブルデータ１２を用いて、変更箇所であるＩＮ４から「真」を出力させ（図１０参照）、影響範囲に対する試験を実施する。
【００５４】
以上のように、本実施の形態では、ロジック選別手段８は、ロジック比較手段７が得た変更箇所から、有向グラフの枝をたどることにより、変更箇所に影響されるロジックを選別する。試験テーブル作成手段１１は、変更箇所とロジック選別手段８が選別したロジックとに対する、試験テーブルデータを作成する。ここで、本実施の形態に係るロジック選別手段８は、変更箇所から有向グラフの枝を順方向にたどる際に、論理積にたどり着く前にたどり着いた論理和からは、枝を逆方向にたどらず、それ以外の場合は、枝を逆方向にもたどる。
【００５５】
したがって、変更されたロジック（図１０の場合ＩＮ４）からの出力が「真」である場合に、当該変更の影響範囲に対する試験テーブルデータの作成を支援することができる。
【００５６】
＜実施の形態３＞
本発明の実施の形態３に係る図面管理装置の構成は、図８で示した図面管理装置２１の構成と同じである。
【００５７】
本実施の形態においても、試験テーブル生成手段１１は、ロジック選別手段８が選別したロジックに対する、試験テーブルデータ１２を作成する。ロジック選別手段８は、ロジック比較手段７が得た変更箇所から有向グラフの枝をたどることにより変更箇所に影響されるロジックを選別するという概略動作は、実施の形態１，２，３において共通する。しかしながら、具体的な枝のたどり方は、各実施の形態間で異なる。
【００５８】
本実施の形態に係るロジック選別手段８および試験テーブル生成手段１１の具体的な動作は、以下の通りである。
【００５９】
図１１は、本実施の形態に係るロジック選別手段８の動作を模式的に示した図である。
【００６０】
実施の形態１と同様に、ロジック選別手段８は、ロジック比較手段７から有向グラフの変更箇所（図１１では、変更箇所としてＩＮ４）を取得する。また、実施の形態１と同様に、ロジック選別手段８は、登録されているロジック全体の有向グラフを、ロジックデータベース６から取得する。本実施の形態では、ロジック選別手段８は、ロジック全体の有向グラフにおいて、変更箇所から枝を順方向または逆方向にたどることにより、変更の影響範囲を得る。ここで、当該枝をたどる際に、論理和にたどり着く前にたどり着いた論理積からは、枝を逆方向にたどらず、それ以外の場合（それ以外の論理演算のシンボルから）は、枝を逆方向にもたどる。
【００６１】
図１１の場合には、まず、ロジック選別手段８は、変更箇所であるＩＮ４から、順方向にＡＮＤ１をたどる。この時点で論理和にはたどり着いていないので、ロジック選別手段８は、ＡＮＤ１からは枝を逆方向にはたどらない。次に、ロジック選別手段８は、ＡＮＤ１から順方向にＯＲ１をたどる。ここで、論理和にたどりついたので、この時点からは、上記「それ以外の場合」に該当する。したがって、ロジック選別手段８は、ＯＲ１からは枝を逆方向にもたどり、ＮＯＴ１にたどり着く。さらに、ロジック選別手段８は、ＮＯＴ１から逆方向にＩＮ３をたどる。他方で、ロジック選別手段８は、ＯＲ１から順方向にＯＵＴ１にもたどる。ロジック選別手段８は、上記で説明した手順でたどった、図９の太線で示した部分グラフを変更の影響範囲として得る。ここで、当該部分グラフには、変更箇所となるＩＮ４は含まれていない。
【００６２】
図１２は、試験テーブル生成手段１１の動作を模式的に示した図である。
【００６３】
試験テーブル生成手段１１は、ロジック選別手段８から図面データ２の変更の影響範囲として部分グラフを得る。試験テーブル生成手段１１は、変更の影響範囲の部分グラフに含まれる入力（ＩＮ）と出力（ＯＵＴ）の節点を全て抽出する。さらに、試験テーブル生成手段１１は、自身で取得した入力および出力と、ロジック比較手段７から取得した変更箇所とを、各列とする試験テーブルデータ１２を生成する。
【００６４】
たとえば、図１１に示した部分グラフ（太線部分）が取得された場合には、図１２に示すように、試験テーブル生成手段１１は、入力としてＩＮ３を抽出し、出力としてＯＵＴ１を抽出する。さらに、試験テーブル生成手段１１は、ロジック比較手段７で取得された変更箇所であるＩＮ４を得る。そして、試験テーブル生成手段１１は、図１２に示すように、ＩＮ４（変更箇所）、ＩＮ３（部分グラフに含まれる入力）およびＯＵＴ１（部分グラフに含まれる出力）を、各列とする試験テーブルデータ１２を生成する。
【００６５】
なお、ロジック選別手段８が本実施の形態に記載したグラフのたどり方（図１１参照）を採用したときには、上記生成された試験テーブルデータ１２を用いて、変更箇所であるＩＮ４から「偽」を出力させ（図１０参照）、影響範囲に対する試験を実施する。
【００６６】
以上のように、本実施の形態では、ロジック選別手段８は、ロジック比較手段７が得た変更箇所から、有向グラフの枝をたどることにより、変更箇所に影響されるロジックを選別する。試験テーブル作成手段１１は、変更箇所とロジック選別手段８が選別したロジックとに対する、試験テーブルデータを作成する。ここで、本実施の形態に係るロジック選別手段８は、変更箇所から有向グラフの枝を順方向にたどる際に、論理和にたどり着く前にたどり着いた論理積からは、枝を逆方向にたどらず、それ以外の場合は、枝を逆方向にもたどる。
【００６７】
したがって、変更されたロジック（図１２の場合ＩＮ４）からの出力が「偽」である場合に、当該変更の影響範囲に対する試験テーブルデータの作成を支援することができる。
【００６８】
なお、図２の構成と図８の構成とを組み合わせて成る、図１３に示す構成を有する図面管理装置３１を提供することもできる。当該図面管理装置３１は、実施の形態１および実施の形態２に記載した動作、または、実施の形態１および実施の形態３に記載した動作を、行うことができる。
【符号の説明】
【００６９】
１，２１，３１  図面管理装置、２  図面データ、３  ロジック抽出手段、４  ロジック連結手段、５  ロジック登録手段、６  ロジックデータベース、７  ロジック比較手段、８  ロジック選別手段、９  図面強調手段、１０  図面表示手段、１１  試験テーブル生成手段、１２  試験テーブルデータ、１０５  モニタ。
【図１】
2010244150.tif 000003
【図２】
2010244150.tif 000004
【図３】
2010244150.tif 000005
【図４】
2010244150.tif 000006
【図５】
2010244150.tif 000007
【図６】
2010244150.tif 000008
【図７】
2010244150.tif 000009
【図８】
2010244150.tif 000010
【図９】
2010244150.tif 000011
【図１０】
2010244150.tif 000012
【図１１】
2010244150.tif 000013
【図１２】
2010244150.tif 000014
【図１３】
2010244150.tif 000015