JP2021022778A - 検証プログラム、検証方法及び検証装置 - Google Patents

Abstract

【課題】ＮＡＴ機能によるＩＰアドレス変換が行われるネットワークの整合性検証を容易にすること。【解決手段】フォワーディンググラフ生成部１６は、拡張ＩＰアドレス情報に基づいてフォワーディンググラフを生成し、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す。そして、整合性チェック部１７は、整合性チェックを行い、チェック結果をユーザー通信部１８に渡す。ユーザー通信部１８は、チェック結果をユーザーに表示する。【選択図】図１

Description

本発明は、検証プログラム、検証方法及び検証装置に関する。

近年、ネットワーク機器の設定ミスに起因する大規模ネットワーク障害が大きな問題となっている。ここで、大規模ネットワークとは、例えば、１００万戸単位に匹敵する数のユーザーが利用するネットワークである。大規模ネットワーク障害が一度発生すると、原因となった機器及び設定を特定するまでに時間がかかり、その間ユーザーがネットワークを利用できず、データセンタ等で発生する損害の額が膨大となるケースがある。そのため、誤設定によってネットワークが停止してしまわないように、ネットワーク機器の設定をリアルタイムで監視・取得し、通信の整合性を確認する技術が求められている。

各ネットワーク機器の設定を収集し、ネットワークについてエンドツーエンド（End to End）で到達性をチェックする技術として、ネットワーク検証（Network Verification）技術がある。ネットワーク検証技術では、検証装置は、ネットワーク上に配置されたルータやスイッチ等のネットワーク機器から収集した経路設定情報であるＦＩＢ（Forwarding Information Base）を基に、各ネットワークの接続性を論理的に表すフォワーディンググラフを作成する。フォワーディンググラフにより表されたネットワークは隣接行列として表現され、パケットの到達性やループの有無を行列の演算でチェックすることが可能となり、ネットワークの整合性検証が実現される。

なお、ネットワーク障害に関する従来技術として、ＧＭＰＬＳ（Generalized Multi-Protocol Label Switching Architecture）ネットワークで、片方向リンク障害、双方向リンク障害、ノード障害のいずれの場合であっても障害復旧を可能とする技術がある。この技術では、ネットワーク装置は、自身が通信路を切り替えることによって、通信路において検出されている全ての障害リンクを迂回可能かを判断する。そして、ネットワーク装置は、全ての障害リンクを迂回可能と判断した場合に、全ての障害リンクを迂回できる下流のセグメントの切替状態を検出し、下流のセグメントにおいて、通信路が切り替済み又は切り替えようとしている場合に、通信路の経路を切替えない。一方、下流のセグメントにおいて、通信路が切り替え済みでも切り替えようともしていない場合に、ネットワーク装置は、迂回経路に切り替える。

また、従来技術として、ネットワークサービスの品質保証及びシステム全体のスループットの最適化を容易に達成できるネットワーク制御装置がある。このネットワーク制御装置は、マルチレイヤ構成を有するネットワークを制御し、第一レイヤにおけるネットワークサービスが要求サービスレベルを満たしているかを監視し、監視結果に応じて第一レイヤの資源を変更するようにパケットヘッダの設定を変更する。すると、パケットヘッダの設定変更に応じて第一レイヤより下位の第二レイヤの資源が変化する。

また、従来技術として、同種の業務を複数のサーバで負荷分担するクライアントサーバ環境下において、クライアントとサーバ間のデータパケットの中継を迅速に行うネットワークアドレス変換方式がある。このネットワークアドレス変換方式では、複数のサーバ接続ポートに接続され分散処理するサーバコンピュータの全てに同一ＩＰアドレスが付与される。そして、ＩＰアドレス変換機構とアドレス変換データベースとを有するアドレス変換装置が、データパケットの再構成処理をクライアント−サーバ間通信時には省略し、サーバ間通信時のみ限定したネットワーク間アドレス変換処理を行う。

米国特許第１００５７１６６号明細書 特開２００８−５３９３８号公報 国際公開第２０１６／１５２０８３号 特開２０００−２６１４８５号公報

実際のネットワークにはＮＡＴ（Network Address Translation）が存在し、異なるドメインに属するネットワーク間の通信のため、パケットのヘッダに記載されたＩＰ（Internet Protocol）アドレス（送信元、送信先どちらも）の変換が発生するケースがある。ＮＡＴ機能を有するネットワーク機器を境にドメインが異なるため、ネットワーク検証技術でフォワーディンググラフを作成するとドメイン毎に独立したグラフが生成される。

図１７は、ネットワーク検証技術で作成されるフォワーディンググラフの例を示す図である。図１７では、ＩＰアドレスが「１０．２５．１１０．０／２４」の装置からＩＰアドレスが「１０．２５．２００．０／２４」の装置へのエンドツーエンドの通信が行われる。また、ネットワーク機器Ａとネットワーク機器ＣがＮＡＴテーブルを備え、ネットワーク機器ＡではＳＮＡＴ（Source ＮＡＴ）が行われ、ネットワーク機器ＣではＤＮＡＴ（Destination ＮＡＴ）が行われる。

図１７に示すように、ネットワーク機器Ａを境にドメインＸとドメインＹがあり、ネットワーク機器Ｃを境にドメインＹとドメインＺがある。このため、ネットワーク検証技術で作成されるフォワーディンググラフは、ドメイン毎に１つ１つが独立した３つのグラフになり、３つの隣接行列で表現される。異なるドメインとなる２つ以上のフォワーディンググラフについては単一の行列演算で処理することはできない。

ＮＡＴ機能によるＩＰアドレス変換が行われるネットワークにおいて、異なるドメイン間のパケット到達性をエンドツーエンドでチェックする場合、まず、アドレス変換の数だけ生成された複数のフォワーディンググラフそれぞれについて整合性検証が行われる。そして、ＮＡＴ変換設定を突き合わせたグラフ同士の関係性証明と整合性検証がグラフの組み合わせの数行われる。

図１７では、３つのフォワーディンググラフそれぞれについて整合性検証が行われ、２ドメインのフォワーディンググラフの組み合わせ３通り、３ドメインのフォワーディングの組み合わせ１通りについて関係性証明と整合性検証が行われる。以上より、従来技術では、合計７通りのフォワーディンググラフについて、ネットワークの整合性検証が行われ、４通りのフォワーディンググラフについて関係性証明が行われる。ＮＡＴ機能を有するネットワーク機器が多いほど、フォワーディンググラフの数及びフォワーディンググラフの組み合わせの数は多くなるため、ネットワークの整合性検証が困難となる。

本発明は、１つの側面では、ＮＡＴ機能によるＩＰアドレス変換が行われるネットワークにおいて、ネットワークの整合性検証を容易にすることを目的とする。

１つの態様では、検証プログラムは、コンピュータに、拡張ＩＰアドレス情報に基づいて、送信元ネットワークから送信先ネットワークまでのネットワークの繋がりを表すフォワーディンググラフを作成する処理を実行させる。拡張ＩＰアドレス情報は、ネットワークアドレス変換が行われる場合にネットワークアドレス変換前後でのＩＰアドレスを含む拡張ＩＰアドレスと、ネットワークアドレス変換前の所属ドメインと、ネットワークアドレス変換後の所属ドメインとを対応付けた情報である。そして、検証プログラムは、コンピュータに、作成したフォワーディンググラフに基づいて、送信元ネットワークから送信先ネットワークへの到達性を検証する処理を実行させる。

１つの側面では、本発明は、ＮＡＴ機能によるＩＰアドレス変換が行われるネットワークにおいて、ネットワークの整合性検証を容易にすることができる。

図１は、実施例１に係る検証装置の機能構成を示す図である。 図２は、ＦＩＢテーブルデータベースの一例を示す図である。 図３は、ＮＡＴテーブルデータベースの一例を示す図である。 図４は、拡張ＩＰアドレス情報テーブルの一例を示す図である。 図５Ａは、拡張ＩＰアドレス／拡張サブネットマスクの作成方法を説明するための第１の図である。 図５Ｂは、拡張ＩＰアドレス／拡張サブネットマスクの作成方法を説明するための第２の図である。 図６は、フォワーディンググラフの隣接行列表示を説明するための図である。 図７は、整合性チェック部による到達可能性の判定方法を説明するための図である。 図８Ａは、到達可能性の判定例を示す第１の図である。 図８Ｂは、到達可能性の判定例を示す第２の図である。 図８Ｃは、到達可能性の判定例を示す第３の図である。 図９は、整合性判定のシーケンスを示す図である。 図１０は、拡張ＩＰアドレス情報を作成する処理のフローを示すフローチャートである。 図１１は、検証装置が生成するフォワーディンググラフの例を示す図である。 図１２は、実施例２に係る整合性判定のシーケンスを示す図である。 図１３は、実施例３に係る整合性判定のシーケンスを示す図である。 図１４は、実施例４に係るネットワーク機器及び検証装置の機能構成を示す図である。 図１５は、実施例４に係る整合性判定のシーケンスを示す図である。 図１６は、実施例に係る検証プログラムを実行するコンピュータのハードウェア構成を示す図である。 図１７は、ネットワーク検証技術で作成されるフォワーディンググラフの例を示す図である。

以下に、本願の開示する検証プログラム、検証方法及び検証装置の実施例を図面に基づいて詳細に説明する。なお、実施例は開示の技術を限定するものではない。

まず、実施例１に係る検証装置の機能構成について説明する。図１は、実施例１に係る検証装置の機能構成を示す図である。図１に示すように、実施例１に係る検証装置１は、収集部１１と、ＦＩＢテーブルデータベース１２と、ＮＡＴテーブルデータベース１３と、ＦＩＢ探索部１４と、拡張経路制御部１５と、フォワーディンググラフ生成部１６と、整合性チェック部１７とを有する。また、検証装置１は、ユーザー通信部１８を有する。

収集部１１は、各ネットワーク機器２に設定取得依頼を送信し、各ネットワーク機器２からＦＩＢ設定情報とＮＡＴ設定情報を取得する。ここで、ＦＩＢ設定情報は、ＦＩＢテーブルに登録された情報であり、ＮＡＴ設定情報は、ＮＡＴテーブルに登録された情報である。収集部１１は、取得したＦＩＢ設定情報をＦＩＢテーブルデータベース１２に格納し、取得したＮＡＴ設定情報をＮＡＴテーブルデータベース１３に格納する。

ＦＩＢテーブルデータベース１２は、複数のＦＩＢテーブルについてＦＩＢ設定情報を記憶する。図２は、ＦＩＢテーブルデータベース１２の一例を示す図である。図２に示すように、ＦＩＢテーブルデータベース１２は、ルータ名と管理ＩＰアドレスと所属ドメインとエントリ番号とＳｒｃ＿ＩＰ／サブネットマスクとＤｓｔ＿ＩＰ／サブネットマスクとＧａｔｅｗａｙとを対応付けて記憶する。

ルータ名は、ＦＩＢ設定情報を送信したネットワーク機器２を識別する名前である。管理ＩＰアドレスは、ルータ名で識別されるネットワーク機器２のＩＰアドレスである。所属ドメインは、ルータ名で識別されるネットワーク機器２が所属するドメインを識別する名前である。エントリ番号は、ルータ名で識別されるネットワーク機器２に関してエントリを識別する番号である。

Ｓｒｃ＿ＩＰ／サブネットマスクは、中継されるパケットの送信元のＩＰアドレスとサブネットマスクである。Ｄｓｔ＿ＩＰ／サブネットマスクは、中継されるパケットの送信先のＩＰアドレスとサブネットマスクである。Ｇａｔｅｗａｙは、Ｓｒｃ＿ＩＰ／サブネットマスクとＤｓｔ＿ＩＰ／サブネットマスクが一致したパケットの転送先のネットワーク機器２のＩＰアドレスである。

例えば、「Ｒ１１」で識別されるネットワーク機器２のＩＰアドレスは「１９２．１６８．０．１０１」であり、「Ｒ１１」で識別されるネットワーク機器２はドメイン「Ｏｆｆｉｃｅ＿Ａ」に属する。「Ｒ１１」で識別されるネットワーク機器２において対応するエントリの番号は「１」である。中継されるパケットの送信元のＩＰアドレスとサブネットマスクは「１０．１．１．０／２４」であり、中継されるパケットの送信先のＩＰアドレスとサブネットマスクは「１０．２．２．０／２４」である。Ｓｒｃ＿ＩＰ／サブネットマスクとＤｓｔ＿ＩＰ／サブネットマスクが一致したパケットの転送先のネットワーク機器２のＩＰアドレスは「１０．２．２．１」である。

ＮＡＴテーブルデータベース１３は、複数のＮＡＴテーブルについてＮＡＴ設定情報を記憶する。図３は、ＮＡＴテーブルデータベース１３の一例を示す図である。図３に示すように、ＮＡＴテーブルデータベース１３は、ルータ名と管理ＩＰアドレスとエントリ番号とＮＡＴ種別と変換前ＩＰ／サブネットマスクと変換後ＩＰ／サブネットマスクと変換後所属ドメインとを対応付けて記憶する。

ルータ名は、ＮＡＴ設定情報を送信したネットワーク機器２を識別する名前である。管理ＩＰアドレスは、ルータ名で識別されるネットワーク機器２のＩＰアドレスである。エントリ番号は、ルータ名で識別されるネットワーク機器２に関してエントリを識別する番号である。ＮＡＴ種別は、ＮＡＴがＳＮＡＴであるかＤＮＡＴであるかを示す。

変換前ＩＰ／サブネットマスクは、ＮＡＴ変換前のＩＰアドレスとサブネットマスクである。変換前所属ドメインは、変換前ＩＰ／サブネットマスクが所属するドメインを識別する名前である。変換後ＩＰ／サブネットマスクは、ＮＡＴ変換後のＩＰアドレスとサブネットマスクである。変換後所属ドメインは、変換後ＩＰ／サブネットマスクが所属するドメインを識別する名前である。なお、「Ｐｕｂｌｉｃ」は、インターネット等の公共ネットワークのドメインを示す。

例えば、「Ｒ１２」で識別されるネットワーク機器２のＩＰアドレスは「１９２．１６８．０．１０２」であり、「Ｒ１２」で識別されるネットワーク機器２において対応するエントリの番号は「１」である。「Ｒ１２」で識別されるネットワーク機器２ではＳＮＡＴが行われる。ＮＡＴ変換前のＩＰアドレスとサブネットマスクは「１０．１．１．０／２４」である。「１０．１．１．０／２４」が所属するドメインを識別する名前は「Ｏｆｆｉｃｅ＿Ａ」である。ＮＡＴ変換後のＩＰアドレスとサブネットマスクは「１０．１０．１０．１／３２」である。「１０．１０．１０．１／３２」が所属するドメインを識別する名前は「Ｏｆｆｉｃｅ＿Ｂ」である。

ＦＩＢ探索部１４は、ユーザー通信部１８から整合性チェック依頼を受け取ると、ＦＩＢテーブル情報に基づいて、エンドネットワーク情報を作成する。ここで、ＦＩＢテーブル情報とは、ＦＩＢテーブルデータベース１２が記憶する情報である。また、エンドネットワーク情報とは、ネットワーク機器２で区切られた各ネットワークのＩＰアドレスとサブネットマスクの一覧である。ＦＩＢ探索部１４は、作成したエンドネットワーク情報を拡張経路制御部１５に渡す。

拡張経路制御部１５は、ＦＩＢ探索部１４から取得したエンドネットワーク情報とＮＡＴテーブル情報に基づいて、拡張ＩＰアドレス情報テーブルを作成する。ここで、ＮＡＴテーブル情報とは、ＮＡＴテーブルデータベース１３が記憶する情報である。そして、拡張経路制御部１５は、拡張ＩＰアドレス情報テーブルに登録された拡張ＩＰアドレス情報をフォワーディンググラフ生成部１６に渡す。

図４は、拡張ＩＰアドレス情報テーブルの一例を示す図である。図４に示すように、拡張ＩＰアドレス情報テーブルは、エントリ番号と拡張ＩＰアドレス／拡張サブネットマスクと所属ドメイン＃１と所属ドメイン＃２とを拡張ＩＰアドレス／拡張サブネットマスク毎に対応付けるテーブルである。

エントリ番号は、各エントリを識別する番号である。拡張ＩＰアドレス／拡張サブネットマスクは、ＮＡＴを介して通信が行われるか否かに基づいて、ネットワーク機器２で接続された２つのネットワークのＩＰアドレス／サブネットマスクから作成される。

所属ドメイン＃１は、メインネットワークのドメインである。所属ドメイン＃２はサブネットワークのドメインである。ここで、メインネットワークは、ＮＡＴを伴わないで通信が可能なネットワークであり、サブネットワークは、ＮＡＴを介さないと入れない、又は出られないネットワークである。なお、「ｎｏｎｅ」は、ドメインがないことを示す。

例えば、エントリ番号が「１」のエントリの拡張ＩＰアドレス／拡張サブネットマスクは、「１０．１０．１０．１．１０．１．１．０／２５５．２５５．２５５．２５５．２５５．２５５．２５５．０」である。エントリ番号が「１」のエントリのメインネットワークのドメインは「Ｏｆｆｉｃｅ＿Ｂ」であり、サブネットワークのドメインは「Ｏｆｆｉｃｅ＿Ａ」である。

図５Ａ及び図５Ｂは、拡張ＩＰアドレス／拡張サブネットマスクの作成方法を説明するための図である。図５Ａは、ＮＡＴ設定を有するルータでメインネットワークとサブネットワークが接続される場合を示す。図５Ｂは、ＮＡＴ設定がないルータで２つのメインネットワークが接続される場合を示す。

図５Ａに示すように、ＮＡＴ設定を有するルータでメインネットワークとサブネットワークが接続される場合には、拡張ＩＰアドレスの上位はメインネットワークのＩＰアドレスであり、拡張ＩＰアドレスの下位はサブネットワークのＩＰアドレスである。また、拡張サブネットマスクの上位は「２５５．２５５．２５５．２５５」に固定され、拡張サブネットマスクの下位はサブネットワークのサブネットマスクである。

例えば、メインネットワークのＩＰアドレス／サブネットマスクを「１０．１０．１０．０／２４」とし、サブネットワークのＩＰアドレス／サブネットマスクを「１９２．１６８．１．０／２４」とする。すると、拡張ＩＰアドレス／拡張サブネットマスクは、「１０．１０．１０．０．１９２．１６８．１．０／２５５．２５５．２５５．２５５．２５５．２５５．２５５．０」である。

図５Ｂに示すように、ＮＡＴ設定がないルータで２つのメインネットワークが接続される場合には、それぞれのＩＰアドレス／サブネットマスクから拡張ＩＰアドレス／拡張サブネットマスクが作成される。拡張ＩＰアドレスの上位はそれぞれのメインネットワークのＩＰアドレスであり、拡張ＩＰアドレスの下位は「０．０．０．０」に固定される。また、拡張サブネットマスクの上位はそれぞれのメインネットワークのサブマスクであり、拡張サブネットマスクの下位は「０．０．０．０」に固定される。

例えば、２つのネットワークのＩＰアドレス／サブネットマスクを「１０．１０．１０．０／２４」と「１９２．１６８．１．０／２４」とする。すると、拡張ＩＰアドレス／拡張サブネットマスクは、「１０．１０．１０．０．０．０．０．０／２５５．２５５．２５５．０．０．０．０．０」と「１９２．１６８．１．０．０．０．０．０／２５５．２５５．２５５．０．０．０．０．０」である。

図１に戻って、フォワーディンググラフ生成部１６は、拡張ＩＰアドレス情報に基づいて、フォワーディンググラフを生成し、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す。

図６は、フォワーディンググラフの隣接行列表示を説明するための図である。図６に示すように、フォワーディンググラフは、ネットワークをノードとし、ネットワーク間のルーティング設定を矢印とする有向グラフである。ネットワークには拡張ＩＰアドレス／拡張サブネットが対応付けられる。

図６では、「ｎ１」、「ｎ２」、「ｎ３」、「ｎ４」がネットワークである。「ｎ１」には「１３３．１０．２５．１００．１０．２５．１１０．０／２５５．２５５．２５５．２５５．２５５．２５５．２５５．０」が対応付けられる。「ｎ２」には「１３３．１０．２５．０．０．０．０．０／２５５．２５５．２５５．０．０．０．０．０」が対応付けられる。「ｎ３」には「１２９．２０．５０．０．０．０．０．０／２５５．２５５．２５５．０．０．０．０．０」が対応付けられる。「ｎ４」には「１２９．２０．５０．５０．１０．２５．２００．０／２５５．２５５．２５５．２５５．２５５．２５５．２５５．０」が対応付けられる。

隣接行列は、フォワーディンググラフに含まれるネットワークを行（ｓｒｃ Ｎｅｔｗｏｒｋ）と列（ｄｓｔ Ｎｅｔｗｏｒｋ）とする行列である。行のネットワークから列のネットワークへ向かうルーティング設定が存在する場合には、隣接行列の要素は「１」であり、存在しない場合には、隣接行列の要素は「０」である。

図６では、「ｎ１」から「ｎ２」、「ｎ２」から「ｎ３」、「ｎ３」から「ｎ４」へのルーティング設定があるので、隣接行列をＡとし、Ａのｉ行ｊ列の要素をａ_ijとすると、ａ₁₂、ａ₂₃、ａ₃₄が「１」であり、他の要素は「０」である。

整合性チェック部１７は、隣接行列で表現されたフォワーディンググラフについて、全てのネットワークがエンドツーエンドで到達可能か否かのチェックを行い、チェック結果をユーザー通信部１８に渡す。

ユーザー通信部１８は、ユーザーによる整合性チェック依頼を受け付け、ＦＩＢ探索部１４へ整合性チェック依頼を渡す。ユーザー通信部１８は、整合性チェック部１７からチェック結果を受け取ると、表示装置を用いてユーザーにチェック結果を表示する。

図７は、整合性チェック部１７による到達可能性の判定方法を説明するための図である。図７に示すグラフにおいて、ｖ₁〜ｖ₉はノードを示し、矢印のない線は双方向のパスを示し、矢印のある線は矢印方向のパスを示す。

図７（ａ）に示すように、一般にグラフは、隣接行列Ａとして表現できる。整合性チェック部１７は、隣接行列Ａから可到達行列Ｒを計算することで到達可能性の判定を行う。図７（ｂ）は、可到達行列Ｒの一例を示す。可到達行列Ｒのｉ行ｊ列の要素をｒ_ijとすると、ノードｉがノードｊに到達可能であるとき、ｒ_ijは「１」であり、ノードｉがノードｊに到達可能でないとき、ｒ_ijは「０」である。ただし、ｒ_iiは「１」である。

整合性チェック部１７は、隣接行列Ａに単位行列Ｉを加え、
(Ａ＋Ｉ)^r-1≠(Ａ＋Ｉ)^r＝(Ａ＋Ｉ)^r+1
になるまでｒ回の乗算を繰り返す。このとき、
(Ａ＋Ｉ)^r＝(Ａ＋Ｉ)^r+1＝Ｔ
とおくと、Ｔが可到達行列である。

図８Ａ〜図８Ｃは、到達可能性の判定例を示す図である。図８Ａは、図６に示した隣接行列から計算されるＡ＋Ｉを示す。図８Ｂは、(Ａ＋Ｉ)²、(Ａ＋Ｉ)³、(Ａ＋Ｉ)⁴を示す。図８Ｂに示すように、
(Ａ＋Ｉ)²≠(Ａ＋Ｉ)³＝(Ａ＋Ｉ)⁴＝Ｔ
となり、ｒ＝３で可到達行列が計算される。

整合性チェック部１７は、可到達行列を用いてネットワーク「ｎ１」から「ｎ２」〜「ｎ４」に対する到達性を判定する。すなわち、図８Ｃに示すように、整合性チェック部１７は、可到達行列の「ｎ１」の行の「ｎ２」〜「ｎ４」の列が「１」であるか否かに基づいて、「ｎ２」〜「ｎ４」に対する到達性を判定する。図８Ｃでは、可到達行列の「ｎ１」の行の「ｎ２」〜「ｎ４」の列が全て「１」であるので、整合性チェック部１７は、ネットワーク「ｎ１」は全てのネットワークに到達可能であり、整合性があると判定する。

次に、整合性判定のシーケンスについて説明する。図９は、整合性判定のシーケンスを示す図である。図９に示すように、収集部１１は、設定取得依頼を各ネットワーク機器２に送信する（ｔ１）。すると、各ネットワーク機器２は、ＦＩＢ設定情報及びＮＡＴ設定情報を収集部１１に送信する（ｔ２）。

収集部１１は、ＦＩＢ設定情報をＦＩＢテーブルデータベース１２に格納し（ｔ３）、ＦＩＢテーブルデータベース１２が更新される（ｔ４）。また、収集部１１は、ＮＡＴ設定情報をＮＡＴテーブルデータベース１３に格納し（ｔ５）、ＮＡＴテーブルデータベース１３が更新される（ｔ６）。

そして、ユーザー通信部１８は、ユーザーから整合性チェック依頼を受け付け（ｔ７）、受け付けた整合性チェック依頼をＦＩＢ探索部１４へ渡す（ｔ８）。整合性チェック依頼を受け取ったＦＩＢ探索部１４は、ＦＩＢテーブル情報を取得し（ｔ９）、エンドネットワーク探索を行う（ｔ１０）。そして、ＦＩＢ探索部１４は、エンドネットワーク情報を拡張経路制御部１５へ渡す（ｔ１１）。

エンドネットワーク情報を受け取った拡張経路制御部１５は、ＮＡＴテーブル情報を取得し（ｔ１２）、ＩＰアドレス／サブネットマスク拡張を行う（ｔ１３）。そして、拡張経路制御部１５は、拡張ＩＰアドレス情報をフォワーディンググラフ生成部１６に渡す（ｔ１４）。

拡張ＩＰアドレス情報を受け取ったフォワーディンググラフ生成部１６は、フォワーディンググラフを生成し（ｔ１５）、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す（ｔ１６）。

フォワーディンググラフを受け取った整合性チェック部１７は、整合性チェックを行い（ｔ１７）、チェック結果をユーザー通信部１８に渡す（ｔ１８）。チェック結果を受け取ったユーザー通信部１８は、チェック結果をユーザーに表示する（ｔ１９）。

このように、検証装置１は、エンドネットワーク情報とＮＡＴテーブル情報を用いて拡張ＩＰアドレス情報を作成し、拡張ＩＰアドレス情報を用いてフォワーディンググラフを生成する。そして、検証装置１は、フォワーディンググラフを用いて整合性をチェックする。したがって、検証装置１は、ＮＡＴ機能によるＩＰアドレス変換が行われるネットワークの整合性を簡単に検証することができる。

次に、拡張ＩＰアドレス情報を作成する処理のフローについて説明する。図１０は、拡張ＩＰアドレス情報を作成する処理のフローを示すフローチャートである。図１０に示すように、拡張経路制御部１５は、ＦＩＢ探索部１４より、エンドネットワーク情報を受け取り、エンドネットワーク配列Ｅに格納する（ステップＳ１）。

そして、拡張経路制御部１５は、ＮＡＴテーブル情報を取得し（ステップＳ２）、ＮＡＴテーブル情報に基づいて、ＮＡＴ変換前、変換後で関わるエンドネットワークのペアをエンドネットワーク配列Ｅから取り出し、拡張対象配列Ｎへ格納する（ステップＳ３）。拡張対象配列Ｎは、エンドネットワークのペアの数ｐを行数とし、列数が２である２次元配列である。

そして、拡張経路制御部１５は、項番ｋ＝１からｐまで、以下のステップＳ４〜ステップＳ１３の処理を繰り返す。拡張経路制御部１５は、拡張対象配列Ｎに格納された項番ｋのネットワークＡ、ネットワークＢのペアを取り出し（ステップＳ４）、ネットワークＡからネットワークＢへ行くためＳＮＡＴが必要か否かを判定する（ステップＳ５）。そして、ネットワークＡからネットワークＢへ行くためＳＮＡＴが必要でない場合には、拡張経路制御部１５は、ネットワークＡからネットワークＢへ行くためＤＮＡＴが必要か否かを判定する（ステップＳ６）。

そして、ネットワークＡからネットワークＢへ行くためＤＮＡＴが必要でない場合には、拡張経路制御部１５は、ネットワークＢをサブネットワークとし、ネットワークＡをメインネットワークとする（ステップＳ７）。そして、拡張経路制御部１５は、ＩＰアドレスについて、［ネットワークＡ］［ネットワークＢ］の順に表記して、ＩＰアドレス拡張を行う（ステップＳ８）。そして、拡張経路制御部１５は、サブネットマスクについて、［２５５．２５５．２５５．２５５］［ネットワークＢ］の順に表記して、サブネットマスク拡張を行う（ステップＳ９）。そして、拡張経路制御部１５は、ステップＳ１３へ進む。

一方、ネットワークＡからネットワークＢへ行くためＤＮＡＴ、又は、ＳＮＡＴが必要である場合には、拡張経路制御部１５は、ネットワークＡをサブネットワークとし、ネットワークＢをメインネットワークとする（ステップＳ１０）。そして、拡張経路制御部１５は、ＩＰアドレスについて、［ネットワークＢ］［ネットワークＡ］の順に表記して、ＩＰアドレス拡張を行う（ステップＳ１１）。そして、拡張経路制御部１５は、サブネットマスクについて、［２５５．２５５．２５５．２５５］［ネットワークＡ］の順に表記して、サブネットマスク拡張を行う（ステップＳ１２）。

そして、拡張経路制御部１５は、拡張ＩＰアドレス／拡張サブネットマスク、メインネットワークのドメイン、サブネットワークのドメインを拡張ＩＰアドレス情報テーブルに登録する（ステップＳ１３）。

そして、拡張経路制御部１５は、エンドネットワーク配列に格納されたままの全てのＩＰアドレス及びサブネットマスクについて、［０．０．０．０］を付加して拡張し、拡張ＩＰアドレス情報テーブルに登録する（ステップＳ１４）。拡張ＩＰアドレス情報テーブルには、拡張ＩＰアドレス／拡張サブネットマスク、ネットワークのドメイン、「ｎｏｎｅ」が登録される。

このように、拡張経路制御部１５が拡張ＩＰアドレス情報テーブルを作成するので、フォワーディンググラフ生成部１６は、ＮＡＴがある場合にも、１つのフォワーディンググラフを生成することができる。

図１１は、検証装置１が生成するフォワーディンググラフの例を示す図である。検証装置１は、フォワーディンググラフの生成前に、各ネットワーク機器２が有するＦＩＢ設定情報及びＮＡＴ設定情報を用いてＩＰアドレス／サブネットマスクを拡張することで、異なるドメイン間の接続性も表したフォワーディンググラフを１通りのみ生成する。したがって、検証装置１は、整合性検証を１通りのフォワーディンググラフにのみ行えばよいため、図１７に示した７通りと比較して、１／７の処理で整合性検証を行うことができる。

上述してきたように、実施例１では、ＦＩＢ探索部１４は、ＦＩＢテーブル情報に基づいてエンドネットワーク探索を行い、エンドネットワーク情報を拡張経路制御部１５へ渡す。そして、拡張経路制御部１５は、エンドネットワーク情報とＮＡＴテーブル情報に基づいて拡張ＩＰアドレス情報を作成し、フォワーディンググラフ生成部１６に渡す。そして、フォワーディンググラフ生成部１６は、拡張ＩＰアドレス情報に基づいてフォワーディンググラフを生成し、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す。そして、整合性チェック部１７は、整合性チェックを行い、チェック結果をユーザー通信部１８に渡す。ユーザー通信部１８は、チェック結果をユーザーに表示する。したがって、検証装置１は、ＮＡＴ機能によるＩＰアドレス変換が行われるネットワークの整合性検証を容易に行うことができる。

なお、実施例１では、ＦＩＢ設定情報を用いる場合について説明したが、検証装置１は、他の経路設定情報を用いてもよい。

ところで、上記実施例１では、１台の検証装置１が全てのネットワーク機器２からＦＩＢ設定情報及びＮＡＴ設定情報を収集する場合について説明したが、ドメイン毎に検証装置を設置し、ＦＩＢ設定情報及びＮＡＴ設定情報の収集をドメイン毎に行ってもよい。そこで、実施例２では、ＦＩＢ設定情報及びＮＡＴ設定情報の収集をドメイン毎に行う場合について説明する。

図１２は、実施例２に係る整合性判定のシーケンスを示す図である。なお、図１２では、図９に示した各部と同様の役割を果たす機能部については同一符号を付すこととする。図１２に示すように、ドメインＸには検証装置１ａが設置され、ドメインＹには、検証装置１ｅが設置される。検証装置１ｅは他のドメインにも設置される。

検証装置１ａの収集部１１ａは、設定取得依頼をドメインＸ内の各ネットワーク機器２に送信する（ｔ２１）。すると、各ネットワーク機器２は、ＦＩＢ設定情報及びＮＡＴ設定情報を収集部１１ａに送信する（ｔ２２）。

収集部１１ａは、ＦＩＢ設定情報をＦＩＢテーブルデータベース１２に格納し（ｔ２３）、ＦＩＢテーブルデータベース１２が更新される（ｔ２４）。また、収集部１１ａは、ＮＡＴ設定情報をＮＡＴテーブルデータベース１３に格納し（ｔ２５）、ＮＡＴテーブルデータベース１３が更新される（ｔ２６）。

また、検証装置１ｅの収集部１１ｅは、設定取得依頼をドメインＹ内の各ネットワーク機器２に送信する（ｔ２７）。すると、各ネットワーク機器２は、ＦＩＢ設定情報及びＮＡＴ設定情報を収集部１１ｅに送信する（ｔ２８）。

収集部１１ｅは、ＦＩＢ設定情報をＦＩＢテーブルデータベース１２に格納し（ｔ２９）、ＦＩＢテーブルデータベース１２が更新される（ｔ３０）。また、収集部１１ｅは、ＮＡＴ設定情報をＮＡＴテーブルデータベース１３に格納し（ｔ３１）、ＮＡＴテーブルデータベース１３が更新される（ｔ３２）。

そして、収集部１１ａが他ドメインの設定取得依頼を収集部１１ｅに送信する（ｔ３３）と、収集部１１ｅは、ＦＩＢテーブル情報をＦＩＢテーブルデータベース１２から取得する（ｔ３４）。そして、収集部１１ｅは、ＮＡＴテーブル情報をＮＡＴテーブルデータベース１３から取得する（ｔ３５）。そして、収集部１１ｅは、ＦＩＢテーブル情報及びＮＡＴテーブル情報を収集部１１ａに送信する（ｔ３６）。

すると、収集部１１ａは、ＦＩＢテーブル情報をＦＩＢテーブルデータベース１２に格納し（ｔ３７）、ＦＩＢテーブルデータベース１２が更新される（ｔ３８）。また、収集部１１ａは、ＮＡＴテーブル情報をＮＡＴテーブルデータベース１３に格納し（ｔ３９）、ＮＡＴテーブルデータベース１３が更新される（ｔ４０）。

そして、ユーザー通信部１８は、ユーザーから整合性チェック依頼を受け付け（ｔ４１）、受け付けた整合性チェック依頼をＦＩＢ探索部１４へ渡す（ｔ４２）。整合性チェック依頼を受け取ったＦＩＢ探索部１４は、ＦＩＢテーブル情報を取得し（ｔ４３）、エンドネットワーク探索を行う（ｔ４４）。そして、ＦＩＢ探索部１４は、エンドネットワーク情報を拡張経路制御部１５へ渡す（ｔ４５）。

エンドネットワーク情報を受け取った拡張経路制御部１５は、ＮＡＴテーブル情報を取得し（ｔ４６）、ＩＰアドレス／サブネットマスク拡張を行う（ｔ４７）。そして、拡張経路制御部１５は、拡張ＩＰアドレス情報をフォワーディンググラフ生成部１６に渡す（ｔ４８）。

拡張ＩＰアドレス情報を受け取ったフォワーディンググラフ生成部１６は、フォワーディンググラフを生成し（ｔ４９）、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す（ｔ５０）。

フォワーディンググラフを受け取った整合性チェック部１７は、整合性チェックを行い（ｔ５１）、チェック結果をユーザー通信部１８に渡す（ｔ５２）。チェック結果を受け取ったユーザー通信部１８は、チェック結果をユーザーに表示する（ｔ５３）。

上述してきたように、実施例２では、検証装置１ｅがドメイン内のネットワーク機器２からＦＩＢ設定情報及びＮＡＴ設定情報の収集し、検証装置１ａに送信する。したがって、検証装置１ａは、効率よくＦＩＢ設定情報及びＮＡＴ設定情報を収集することができる。

上記実施例１及び実施例２では、検証装置１及び１ａが拡張ＩＰアドレス情報を作成する場合について説明したが、一部のネットワーク機器が拡張ＩＰアドレス情報を作成する機能を有してもよい。そこで、実施例３では、拡張ＩＰアドレス情報を作成する機能を有するネットワーク機器と、拡張ＩＰアドレス情報を作成する機能を有さないネットワーク機器がある場合について説明する。

図１３は、実施例３に係る整合性判定のシーケンスを示す図である。図１３では、図９に示した各部と同様の役割を果たす機能部については同一符号を付すこととする。図１３に示すように、拡張ＩＰアドレス情報を作成する機能を有するネットワーク機器２ｂの拡張経路制御部２５ｂは、自機器のＦＩＢ設定情報を取得し（ｔ６１）、ＮＡＴ設定情報を取得する（ｔ６２）。

そして、拡張経路制御部２５ｂは、取得したＦＩＢ設定情報及びＮＡＴ設定情報を用いてサブネットを抽出し（ｔ６３）、ＩＰアドレス／サブネットマスク拡張を行う（ｔ６４）。そして、ネットワーク機器２ｂの通信部２２ｂは、検証装置１ｂの収集部１１ｂから設定取得依頼を受信する（ｔ６５）と、拡張ＩＰアドレス情報を拡張経路制御部２５ｂから取得し（ｔ６６）、収集部１１ｂに送信する（ｔ６７）。

また、収集部１１ｂは、拡張ＩＰアドレス情報を作成する機能を有さないネットワーク機器２に設定取得依頼を送信する（ｔ６８）。すると、ネットワーク機器２の通信部２２は、ＦＩＢ設定情報を取得し（ｔ６９）、ＮＡＴ設定情報を取得する（ｔ７０）。そして、通信部２２は、ＦＩＢ設定情報及びＮＡＴ設定情報を収集部１１ｂに送信する（ｔ７１）。

収集部１１ｂは、通信部２２から受信したＦＩＢ設定情報及びＮＡＴ設定情報と、通信部２２ｂから受信した拡張ＩＰアドレス情報を拡張経路制御部１５ｂに渡す（ｔ７２）。拡張経路制御部１５ｂは、収集部１１ｂから受け取ったＦＩＢ設定情報及びＮＡＴ設定情報を用いてサブネットを抽出し（ｔ７３）、ＩＰアドレス／サブネットマスク拡張を行う（ｔ７４）。そして、拡張経路制御部１５ｂは、作成した拡張ＩＰアドレス情報を収集部１１ｂから受け取った拡張ＩＰアドレス情報とともに拡張ＩＰアドレス情報データベース１９ｂに保存する（ｔ７５）。

そして、ユーザー通信部１８ｂは、ユーザーから整合性チェック依頼を受け付け（ｔ７６）、受け付けた整合性チェック依頼をフォワーディンググラフ生成部１６ｂへ渡す（ｔ７７）。整合性チェック依頼を受け取ったフォワーディンググラフ生成部１６ｂは、拡張ＩＰアドレス情報データベース１９ｂから拡張ＩＰアドレス情報を取得し（ｔ７８）、フォワーディンググラフを生成する（ｔ７９）。そして、フォワーディンググラフ生成部１６ｂは、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す（ｔ８０）。

フォワーディンググラフを受け取った整合性チェック部１７は、整合性チェックを行い（ｔ８１）、チェック結果をユーザー通信部１８ｂに渡す（ｔ８２）。チェック結果を受け取ったユーザー通信部１８ｂは、チェック結果をユーザーに表示する（ｔ８３）。

上述してきたように、実施例３では、検証装置１ｂは、ネットワーク機器２からＦＩＢ設定情報及びＮＡＴ設定情報を取得して拡張ＩＰアドレス情報を作成し、ネットワーク機器２ｂから拡張ＩＰアドレス情報を受信する。したがって、検証装置１ｂは、一部のネットワーク機器が拡張ＩＰアドレス情報を作成する機能を有する場合にも、整合性チェックを行うことができる。

上記実施例３では、検証装置１ｂと一部のネットワーク機器２ｂが拡張ＩＰアドレス情報を作成する場合について説明したが、検証装置から拡張ＩＰアドレス情報を作成する機能をネットワーク機器に移してもよい。そこで、実施例４では、検証装置から拡張ＩＰアドレス情報を作成する機能をネットワーク機器に移す場合について説明する。

図１４は、実施例４に係るネットワーク機器２ｃ及び検証装置１ｃの機能構成を示す図である。なお、ここでは説明の便宜上、図１に示した各部と同様の役割を果たす機能部については同一符号を付すこととしてその詳細な説明を省略する。

図１４に示すように、実施例４に係るネットワーク機器２ｃは、拡張経路制御部２５ｃと通信部２２ｃとを有する。また、実施例４に係る検証装置１ｃは、収集部１１ｃと、拡張ＩＰアドレス情報データベース１９ｂと、フォワーディンググラフ生成部１６ｂと、整合性チェック部１７と、ユーザー通信部１８ｂとを有する。

拡張経路制御部２５ｃは、通信部２２ｃから、他のネットワーク機器２のＦＩＢ設定情報及びＮＡＴ設定情報を受け取ると、自機器のＦＩＢ設定情報及びＮＡＴ設定情報を取得し、拡張ＩＰアドレス情報を作成する。すなわち、拡張経路制御部２５ｃは、他のネットワーク機器２のＦＩＢ設定情報と自機器のＦＩＢ設定情報に基づいて、エンドネットワーク情報を作成する。そして、拡張経路制御部２５ｃは、他のネットワーク機器２のＮＡＴ設定情報と自機器のＮＡＴ設定情報とエンドネットワーク情報に基づいて、拡張ＩＰアドレス情報を作成する。また、拡張経路制御部２５ｃは、通信部２２ｃから拡張ＩＰアドレス情報を要求されると、拡張ＩＰアドレス情報を通信部２２ｃに渡す。

通信部２２ｃは、他のネットワーク機器２からＦＩＢ設定情報及びＮＡＴ設定情報を取得し、拡張経路制御部２５ｃに渡す。また、通信部２２ｃは、検証装置１ｃから設定取得依頼を受信すると、拡張ＩＰアドレス情報を拡張経路制御部２５ｃから受け取って検証装置１ｃに送信する。

収集部１１ｃは、ネットワーク機器２ｃに設定取得依頼を送信し、拡張ＩＰアドレス情報を取得する。そして、収集部１１ｃは、取得した拡張ＩＰアドレス情報を拡張ＩＰアドレス情報データベース１９ｂに保存する。

フォワーディンググラフ生成部１６ｂは、ユーザー通信部１８ｂから整合性チェック依頼を受け取ると、拡張ＩＰアドレス情報データベース１９ｂから拡張ＩＰアドレス情報を取得する。そして、フォワーディンググラフ生成部１６ｂは、取得した拡張ＩＰアドレス情報に基づいて、フォワーディンググラフを生成し、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す。

ユーザー通信部１８ｂは、ユーザーによる整合性チェック依頼を受け付け、フォワーディンググラフ生成部１６ｂへ整合性チェック依頼を渡す。ユーザー通信部１８ｂは、整合性チェック部１７からチェック結果を受け取ると、表示装置を用いてユーザーにチェック結果を表示する。

図１５は、実施例４に係る整合性判定のシーケンスを示す図である。図１５に示すように、ネットワーク機器２ｃの通信部２２ｃは、設定取得依頼をネットワーク機器２に送信し（ｔ９１）、ＦＩＢ設定情報及びＮＡＴ設定情報を取得する（ｔ９２）。そして、通信部２２ｃは、取得したＦＩＢ設定情報及びＮＡＴ設定情報を拡張経路制御部２５ｃに渡す（ｔ９３）。

拡張経路制御部２５ｃは、自機器のＦＩＢ設定情報を取得し（ｔ９４）、ＮＡＴ設定情報を取得する（ｔ９５）。そして、通信部２２ｃから受け取ったＦＩＢ設定情報及びＮＡＴ設定情報と自機器から取得したＦＩＢ設定情報及びＮＡＴ設定情報を用いてサブネットを抽出し（ｔ９６）、ＩＰアドレス／サブネットマスク拡張を行う（ｔ９７）。

そして、通信部２２ｃは、収集部１１ｃから設定取得依頼を受信する（ｔ９８）と、拡張ＩＰアドレス情報を拡張経路制御部２５ｃから取得し（ｔ９９）、取得した拡張ＩＰアドレス情報を収集部１１ｃに送信する（ｔ１００）。拡張ＩＰアドレス情報を受信した収集部１１ｃは、拡張ＩＰアドレス情報を拡張ＩＰアドレス情報データベース１９ｂに保存する（ｔ１０１）。

そして、ユーザー通信部１８ｂは、ユーザーから整合性チェック依頼を受け付け（ｔ１０２）、受け付けた整合性チェック依頼をフォワーディンググラフ生成部１６ｂへ渡す（ｔ１０３）。整合性チェック依頼を受け取ったフォワーディンググラフ生成部１６ｂは、拡張ＩＰアドレス情報データベース１９ｂから拡張ＩＰアドレス情報を取得し（ｔ１０４）、フォワーディンググラフを生成する（ｔ１０５）。そして、フォワーディンググラフ生成部１６ｂは、隣接行列で表現されたフォワーディンググラフを整合性チェック部１７に渡す（ｔ１０６）。

フォワーディンググラフを受け取った整合性チェック部１７は、整合性チェックを行い（ｔ１０７）、チェック結果をユーザー通信部１８ｂに渡す（ｔ１０８）。チェック結果を受け取ったユーザー通信部１８ｂは、チェック結果をユーザーに表示する（ｔ１０９）。

上述してきたように、実施例４では、ネットワーク機器２ｃが拡張ＩＰアドレス情報を作成し、検証装置１ｃは、ネットワーク機器２ｃから拡張ＩＰアドレス情報を取得して整合性チェックを行うので、効率よく整合性チェックを行うことができる。

なお、実施例１〜４では、検証装置１〜１ｃについて説明したが、検証装置１〜１ｃの構成をソフトウェアによって実現することで、同様の機能を有する検証プログラムを得ることができる。そこで、検証プログラムを実行するコンピュータについて説明する。なお、ネットワーク機器２ｂやネットワーク機器２ｃの機能も同様の機能を有するプログラムをコンピュータで実行することにより実現される。

図１６は、実施例に係る検証プログラムを実行するコンピュータのハードウェア構成を示す図である。図１６に示すように、コンピュータ５０は、メインメモリ５１と、ＣＰＵ（Central Processing Unit）５２と、ＬＡＮ（Local Area Network）インタフェース５３と、ＨＤＤ（Hard Disk Drive）５４とを有する。また、コンピュータ５０は、スーパーＩＯ（Input Output）５５と、ＤＶＩ（Digital Visual Interface）５６と、ＯＤＤ（Optical Disk Drive）５７とを有する。

メインメモリ５１は、プログラムやプログラムの実行途中結果等を記憶するメモリである。ＣＰＵ５２は、メインメモリ５１からプログラムを読み出して実行する中央処理装置である。ＣＰＵ５２は、メモリコントローラを有するチップセットを含む。

ＬＡＮインタフェース５３は、コンピュータ５０をＬＡＮ経由で他のコンピュータに接続するためのインタフェースである。ＨＤＤ５４は、プログラムやデータを格納するディスク装置であり、スーパーＩＯ５５は、マウスやキーボード等の入力装置を接続するためのインタフェースである。ＤＶＩ５６は、液晶表示装置を接続するインタフェースであり、ＯＤＤ５７は、ＤＶＤの読み書きを行う装置である。

ＬＡＮインタフェース５３は、ＰＣＩエクスプレス（ＰＣＩｅ）によりＣＰＵ５２に接続され、ＨＤＤ５４及びＯＤＤ５７は、ＳＡＴＡ（Serial Advanced Technology Attachment）によりＣＰＵ５２に接続される。スーパーＩＯ５５は、ＬＰＣ（Low Pin Count）によりＣＰＵ５２に接続される。

そして、コンピュータ５０において実行される検証プログラムは、コンピュータ５０により読み出し可能な記録媒体の一例であるＤＶＤに記憶され、ＯＤＤ５７によってＤＶＤから読み出されてコンピュータ５０にインストールされる。あるいは、検証プログラムは、ＬＡＮインタフェース５３を介して接続された他のコンピュータシステムのデータベース等に記憶され、これらのデータベースから読み出されてコンピュータ５０にインストールされる。そして、インストールされた検証プログラムは、ＨＤＤ５４に記憶され、メインメモリ５１に読み出されてＣＰＵ５２によって実行される。

１，１ａ，１ｂ，１ｃ，１ｅ 検証装置
２，２ｂ，２ｃ ネットワーク機器
１１，１１ａ，１１ｂ，１１ｃ，１１ｅ 収集部
１２ ＦＩＢテーブルデータベース
１３ ＮＡＴテーブルデータベース
１４ ＦＩＢ探索部
１５，１５ｂ 拡張経路制御部
１６，１６ｂ フォワーディンググラフ生成部
１７ 整合性チェック部
１８，１８ｂ ユーザー通信部
１９ｂ 拡張ＩＰアドレス情報データベース
２２，２２ｂ，２２ｃ 通信部
２５ｂ，２５ｃ 拡張経路制御部
５０ コンピュータ
５１ メインメモリ
５２ ＣＰＵ
５３ ＬＡＮインタフェース
５４ ＨＤＤ
５５ スーパーＩＯ
５６ ＤＶＩ
５７ ＯＤＤ

Claims (10)

1. コンピュータに、
   ネットワークアドレス変換が行われる場合にネットワークアドレス変換前後でのＩＰアドレスを含む拡張ＩＰアドレスと、ネットワークアドレス変換前の所属ドメインと、ネットワークアドレス変換後の所属ドメインとを対応付けた拡張ＩＰアドレス情報に基づいて、送信元ネットワークから送信先ネットワークまでのネットワークの繋がりを表すフォワーディンググラフを作成し、
   作成したフォワーディンググラフに基づいて、送信元ネットワークから送信先ネットワークへの到達性を検証する
   処理を実行させることを特徴とする検証プログラム。
2. 前記コンピュータに、
   ネットワーク機器から経路設定情報とネットワークアドレス変換設定情報を取得し、
   取得した経路設定情報に基づいて、各ネットワークのＩＰアドレスの一覧であるエンドネットワーク情報を作成し、
   作成したエンドネットワーク情報と取得したネットワークアドレス変換設定情報に基づいて、前記拡張ＩＰアドレス情報を作成する処理をさらに実行させ、
   前記フォワーディンググラフを作成する処理は、作成した拡張ＩＰアドレス情報に基づいて、前記フォワーディンググラフを作成することを特徴とする請求項１に記載の検証プログラム。
3. 前記取得する処理は、各ドメインに所属するネットワーク機器から経路設定情報とネットワークアドレス変換設定情報を取得することを特徴とする請求項２に記載の検証プログラム。
4. 前記コンピュータは、複数のドメインのうち第１のドメインに所属し、
   前記取得する処理は、前記第１のドメイン以外のドメインに所属するネットワーク機器については、ドメイン毎に収集された経路設定情報とネットワークアドレス変換設定情報を各ドメインから取得することを特徴とする請求項２に記載の検証プログラム。
5. 前記コンピュータに、
   前記拡張ＩＰアドレス情報を作成する機能を備えたネットワーク機器から該拡張ＩＰアドレス情報を取得する処理をさらに実行させ、
   前記フォワーディンググラフを作成する処理は、取得した拡張ＩＰアドレス情報と作成した拡張ＩＰアドレス情報に基づいて、前記フォワーディンググラフを作成することを特徴とする請求項２に記載の検証プログラム。
6. 前記コンピュータに、
   前記拡張ＩＰアドレス情報を作成する機能を備えたネットワーク機器から該拡張ＩＰアドレス情報を取得する処理をさらに実行させ、
   前記フォワーディンググラフを作成する処理は、取得した拡張ＩＰアドレス情報に基づいて、前記フォワーディンググラフを作成することを特徴とする請求項１に記載の検証プログラム。
7. 前記拡張ＩＰアドレス情報を作成する処理は、ネットワークアドレス変換を伴わず通信可能なメインネットワークとネットワークアドレス変換を介さないと入れないか又は出られないサブネットワークとを特定し、メインネットワークＩＰアドレスにサブネットワークのＩＰアドレスを付加して前記拡張ＩＰアドレスを作成することを特徴とする請求項２〜５のいずれか１つに記載の検証プログラム。
8. 前記拡張ＩＰアドレス情報を作成する処理は、ネットワークアドレス変換が行われない場合には、ＩＰアドレスに所定のアドレスを付加して前記拡張ＩＰアドレスを作成することを特徴とする請求項２〜５のいずれか１つに記載の検証プログラム。
9. コンピュータが、
   ネットワークアドレス変換が行われる場合にネットワークアドレス変換前後でのＩＰアドレスを含む拡張ＩＰアドレスと、ネットワークアドレス変換前の所属ドメインと、ネットワークアドレス変換後の所属ドメインとを対応付けた拡張ＩＰアドレス情報に基づいて、送信元ネットワークから送信先ネットワークまでのネットワークの繋がりを表すフォワーディンググラフを作成し、
   作成したフォワーディンググラフに基づいて、送信元ネットワークから送信先ネットワークへの到達性を検証する
   処理を実行することを特徴とする検証方法。
10. ネットワークアドレス変換が行われる場合にネットワークアドレス変換前後でのＩＰアドレスを含む拡張ＩＰアドレスと、ネットワークアドレス変換前の所属ドメインと、ネットワークアドレス変換後の所属ドメインとを対応付けた拡張ＩＰアドレス情報に基づいて、送信元ネットワークから送信先ネットワークまでのネットワークの繋がりを表すフォワーディンググラフを作成する作成部と、
    前記作成部により作成されたフォワーディンググラフに基づいて、送信元ネットワークから送信先ネットワークへの到達性を検証する検証部と
    を有することを特徴とする検証装置。
    

Images