"受信したパケットを他の装置に転送する複数のノードと、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置とを備え、前記ノードは、受信したパケットの中から、経路検証用のパケットであるか否かを示す経路検証用フラグを含み、ヘッダ構成が検証対象のフローと同一である特殊パケットを検出する特殊パケット検出手段と、検出された特殊パケットをもとに、前記フローを識別する情報であるフロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、当該検出情報を前記経路検証装置に通知する検出情報通知手段とを備え、前記経路検証装置は、前記ノードから受信した検出情報に含まれるノード識別子をもとに、前記フローの経路を検証する経路検証手段を備えたことを特徴とする通信経路検証システム。ノードは、パケットの転送先を表す情報である経路エントリを含む経路表を記憶する経路表記憶手段を備え、前記ノードの検出情報通知手段は、検出した特殊パケットに対応する経路エントリを付与した検出情報を経路検証装置に通知する請求項1記載の通信経路検証システム。通信に用いられるパケットを送信する端末と当該端末が前記パケットを送信するノードとの間に、前記パケットを特殊パケットに変換する変換装置を備えた請求項1または請求項2に記載の通信経路検証システム。ノードは、特殊パケットを受信したときに、当該特殊パケットがノードを通過した回数をカウントし、当該回数を特殊パケットに記録するカウント手段を備え、ノードの検出情報通知手段は、検出情報とともに前記回数を経路検証装置に通知し、経路検証装置の経路検証手段は、受信した回数をもとに、ノードを通過した順番を示すフローの経路を検証する請求項1から請求項3のうちのいずれか1項に記載の通信経路検証システム。受信したパケットを他の装置に転送する複数のノードと、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置とを備え、前記経路検証装置は、検証の対象とするフローを識別する情報であるフロー識別子を前記ノードに送信する検証対象送信手段と、前記フローの経路を検証する経路検証手段とを備え、前記ノードは、受信したパケットのヘッダ構成が検証対象のフローを示すフロー識別子と一致するパケットを検出するパケット検出手段と、検出されたパケットをもとに、前記フロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、当該検出情報を前記経路検証装置に通知する検出情報通知手段とを備え、前記経路検証装置の経路検証手段は、前記ノードから受信した検出情報に含まれるノード識別子をもとに、前記フローの経路を検証することを特徴とする通信経路検証システム。送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置であって、受信したパケットを他の装置に転送する装置であるノードから、経路を検証する対象のフローを識別する情報であるフロー識別子と、当該ノードを識別する情報であるノード識別子とを含む情報である検出情報を受信し、受信した検出情報に含まれるノード識別子をもとに、前記フローの経路を検証する経路検証手段を備えたことを特徴とする経路検証装置。送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う通信経路検証方法であって、受信したパケットを他の装置に転送するノードが、受信したパケットの中から、経路検証用のパケットであるか否かを示す情報である経路検証用フラグを含み、ヘッダ構成が検証対象のフローと同一である特殊パケットを検出し、前記ノードが、検出された特殊パケットをもとに、前記フローを識別する情報であるフロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、前記ノードが、前記フローごとに経路の検証を行う経路検証装置に前記検出情報を通知し、前記経路検証装置が、前記ノードから受信した検出情報に含まれるノード識別子をもとに、前記フローの経路を検証することを特徴とする通信経路検証方法。ノードは、検出した特殊パケットに対応する経路エントリを付与した検出情報を経路検証装置に通知する請求項7記載の通信経路検証方法。送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う通信経路検証方法であって、前記フローごとに経路の検証を行う経路検証装置が、受信したパケットを他の装置に転送するノードに対して、検証の対象とするフローを識別する情報であるフロー識別子を含む情報を送信し、前記ノードが、受信したパケットのヘッダ構成が前記フロー識別子と一致するパケットを検出し、前記ノードが、検出されたパケットをもとに、前記フロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、前記ノードが、前記検出情報を前記経路検証装置に通知し、前記経路検証装置が、前記ノードから受信した検出情報に含まれるノード識別子をもとに、前記フローの経路を検証することを特徴とする通信経路検証方法。送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行うコンピュータに適用される経路検証プログラムであって、前記コンピュータに、受信したパケットを他の装置に転送する装置であるノードから、経路を検証する対象のフローを識別する情報であるフロー識別子と、当該ノードを識別する情報であるノード識別子とを含む情報である検出情報を受信し、受信した検出情報に含まれるノード識別子をもとに、前記フローの経路を検証する経路検証処理を実行させるための経路検証プログラム。一方、通信フロー以下、単にフローと記すこともある。ごとに通信経路の制御を行う方法が知られている。ここで、フローとは、送信元を表す情報と送信先を表す情報とを用いて規定される通信のことである。フローは、例えば、送信元と送信先のIPアドレス、送信元と送信先のPort、送信元と送信先のMACアドレス、EtherTypeおよびIPプロトコル番号を用いて規定される。上述する一般的な経路検証手法では、通信フローごとに経路の制御が行われるネットワークを想定していない。すなわち、このようなネットワークでは、MACアドレスやIPアドレスの対を参照してルーティングが行われることになる。そのため、アドレスの対が決まれば経路が一意に定まるため、その情報を基に経路を検証することが可能であった。しかし、通信フローごとに経路の制御が可能なネットワークでは、MACアドレスやIPアドレスだけでなく、フローを識別して経路が制御される。そのため、一般的な経路検証手法において、アドレスの対が一致することから経路が一致すると判定された場合であっても、検査対象のフローと検査用のフローの経路とが一致する保障はない。以下、図を参照して説明する。図11は、一般的なネットワークシステムを示す説明図である。図11は、通信フローごとに経路の制御が可能なネットワークにおける通信フローの例を示している。図11に例示するネットワークシステムは、端末T1,T2と、ルータR1~R3とを備えており、それぞれの装置は、通信ネットワークを介して相互に接続されている。なお、以下の説明では、それぞれの装置を経由する経路を、経由する装置の記号で記すこともある。また、ネットワーク上には複数のフローが存在しているが、図11では、2本のフローF1,F2を示している。フローF1は、送信元の端末T1から送信先の端末T2への通信であり、その経路はT1→R1→R2→R3→T2であるものとする。また、フローF2も送信元端末T1から送信先端末T2への通信であるが、その経路はT1→R1→R3→T2であるものとする。図12は、フローのヘッダ情報の例を示す説明図である。図12に例示するヘッダ情報のうち、Flow_ID=F1のフローがフローF1を示し、Flow_ID=F2のフローがフローF2を示す。ここで、図12に例示するフローF1が図11に例示するネットワークシステム上を流れるものとし、特許文献1に記載された経路検証手法を用いてフローF1の経路を検証する場合を説明する。特許文献1に記載された経路検証方式では、送信元と送信先のMACアドレスを一致させ、EtherTypeに独自のタイプを定義した検査フローTF1を作成する。図13は、特許文献1に記載された経路検証方式を用いて作成された検査フローTF1の例を示す説明図である。フローごとに経路の制御が行われないネットワークであれば、この検査フローTF1をネットワーク上に流すことにより、経路の検証をすることが可能である。しかし、特許文献1に記載された経路検証方式では、フローごとに経路の制御が行われるネットワークにおいて経路の検証ができないという問題がある。特許文献1に記載された経路検証方式では、独自に定義されたEtherTypeが検査フローTF1に設定される。そのため、フローごとに経路を制御するネットワークでは、検査フローTF1のEtherTypeとフローF1のEtherTypeが異なるため、両者が異なるフローと認識されてしまう。よって、検査フローTF1とフローF1とが同じ経路を通る保障はない。図14は、フローごとに定められた転送ポリシの例を示す説明図である。フローごとに経路の制御が行われるネットワークでは、図14に例示するような2種類の転送ポリシが定義可能である。図14に例示するポリシは、送信元MAC、送信先MAC、EtherType、送信元IP、送信先IP、Protocol_ID、送信元Port、送信先Portの項目において一致するフローを、経路の項目に定義する経路に送信する制御を行うことを定めたルールである。例えば、ポリシ1と一致するフローが経路R1→R3で送信され、ポリシ2と一致するフローが経路R1→R2→R3で送信されることを示している。図14に例示する転送ポリシで上述する検査フローTF1が送信される場合、検査フローTF1は転送ポリシ2で定める経路R1→R2→R3で転送されるため、経路T1→R1→R2→R3→T2という検証結果が返される。しかし、フローT1は、ポリシ1として定められた転送ポリシに基づき、T1→R1→R3→T2という経路で転送される可能性が残されている。このように、ネットワーク上の転送ポリシとして検査対象のフローと検査フローのポリシを別々に定義することが可能なネットワークでは、特許文献1に記載された経路検証方式のような手法では経路の検証が正しくなされないという問題がある。また、特許文献2に記載された監視方法では、ルータを通過したテストパケット数を測定し、そのルータへの流入量を測定するため、全体的な通信の流れを把握することは可能である。しかし、特許文献2に記載された監視方法では、テストパケット数として測定されるカウンタ値は、テストパケットの種類に依らず共通である。したがって、特許文献2に記載された監視方法は、ネットワーク上を流れるテストパケットの種類が1種類の場合の経路の検証には有効であるが、テストパケットの種類が複数種類存在する場合には、経路の検証が困難であるという問題がある。そこで、本発明は、フローごとに通信経路の制御が行われるネットワークで、検査対象とするフローが複数種類存在する場合であっても、フローの種類ごとに通信経路を検証できる通信経路検証システム、経路検証装置、通信経路検証方法および経路検証プログラムを提供することを目的とする。本発明による通信経路検証システムは、受信したパケットを他の装置に転送する複数のノードと、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置とを備え、ノードが、受信したパケットの中から、経路検証用のパケットであるか否かを示す情報である経路検証用フラグを含み、ヘッダ構成が検証対象のフローと同一である特殊パケットを検出する特殊パケット検出手段と、検出された特殊パケットをもとに、フローを識別する情報であるフロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、その検出情報を経路検証装置に通知する検出情報通知手段とを備え、経路検証装置が、ノードから受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する経路検証手段を備えたことを特徴とする。本発明による他の通信経路検証システムは、受信したパケットを他の装置に転送する複数のノードと、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置とを備え、経路検証装置が、検証の対象とするフローを識別する情報であるフロー識別子をノードに送信する検証対象送信手段と、フローの経路を検証する経路検証手段とを備え、ノードが、受信したパケットのヘッダ構成が検証対象のフローを示すフロー識別子と一致するパケットを検出するパケット検出部と、検出されたパケットをもとに、フロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、その検出情報を経路検証装置に通知する検出情報通知手段とを備え、経路検証装置の経路検証手段が、ノードから受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証することを特徴とする。本発明による経路検証装置は、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置であって、受信したパケットを他の装置に転送する装置であるノードから、経路を検証する対象のフローを識別する情報であるフロー識別子と、そのノードを識別する情報であるノード識別子とを含む情報である検出情報を受信し、受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する経路検証手段を備えたことを特徴とする。本発明による通信経路検証方法は、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う通信経路検証方法であって、受信したパケットを他の装置に転送するノードが、受信したパケットの中から、経路検証用のパケットであるか否かを示す情報である経路検証用フラグを含み、ヘッダ構成が検証対象のフローと同一である特殊パケットを検出し、ノードが、検出された特殊パケットをもとに、フローを識別する情報であるフロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、ノードが、フローごとに経路の検証を行う経路検証装置に検出情報を通知し、経路検証装置が、ノードから受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証することを特徴とする。本発明による他の通信経路検証方法は、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う通信経路検証方法であって、フローごとに経路の検証を行う経路検証装置が、受信したパケットを他の装置に転送するノードに対して、検証の対象とするフローを識別する情報であるフロー識別子を含む情報を送信し、ノードが、受信したパケットのヘッダ構成がフロー識別子と一致するパケットを検出し、ノードが、検出されたパケットをもとに、フロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、ノードが、検出情報を経路検証装置に通知し、経路検証装置が、ノードから受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証することを特徴とする。本発明による経路検証プログラムは、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行うコンピュータに適用される経路検証プログラムであって、コンピュータに、受信したパケットを他の装置に転送する装置であるノードから、経路を検証する対象のフローを識別する情報であるフロー識別子と、そのノードを識別する情報であるノード識別子とを含む情報である検出情報を受信し、受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する経路検証処理を実行させることを特徴とする。本発明によれば、フローごとに通信経路の制御が行われるネットワークで、検査対象とするフローが複数種類存在する場合であっても、フローの種類ごとに通信経路を検証できる。以下、本発明の実施形態を図面を参照して説明する。実施形態1.図1は、本発明の第1の実施形態における通信経路検証システムの例を示す説明図である。本実施形態における通信経路検証システムは、端末T1,T2と、ルータR1~R3と、経路検証装置100とを備えている。ルータR1~R3と、経路検証装置100とは、通信ネットワークNETを介して相互に接続されている。以下の説明では、ルータR1~R3のうちの1つのルータについて説明する際、ルータを示す記号を省略することもある。図1の例に示す通信経路検証システムでは、端末が2台、ルータが3台存在するが、端末およびルータの台数は、上記台数に限定されない。ルータは、1台または2台であってもよく、4台以上存在してもよい。また、端末の台数は3台以上存在してもよい。本実施形態における通信経路検証システムでは、ルータの代わりに、スイッチなど、パケットを転送する他の装置が用いられてもよい。ルータやスイッチなど、受信したパケットを他の装置に転送する装置を、以下、単にノードと記す場合もある。また、経路検証装置100が端末T1~T2の一機能として実装されていてもよい。通信ネットワークNET上には、複数のフローが存在している。上述の通り、フローとは送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信のことである。ネットワークNET上には複数のフローが存在しているが、図1では、2本のフローF1,F2を示している。フローF1は、送信元の端末T1から送信先の端末T2への通信であり、その経路はT1→R1→R2→R3→T2であるものとする。また、フローF2も送信元端末T1から送信先端末T2への通信であるが、その経路はT1→R1→R3→T2であるものとする。端末T1,T2は経路検証用の特殊パケットを用いた通信機能を有している。特殊パケットとは、パケットのヘッダ構成を検証対象のフローと同じ構成のまま経路検証用のフラグを持たせたパケットである。経路検証用のフラグとは、特殊パケットか否かの判断に用いられる情報を意味し、このフラグは、様々な手法によって実現される。例えば、パケットのペイロード部分に経路検証用のフィールドを用意し、そのフィールド内の所定のビットを経路検証用のフラグとする方法、そのフィールド内に埋め込んだメッセージの有無を経路検証用のフラグとする方法などが挙げられる。他にも、特殊パケットのサイズ自体を経路検証用のフラグとしてもよい。ルータR1~R3は、端末や他のルータから受信したパケットを他のルータや端末に転送する。より具体的には、ルータR1~R3は、経路検証用の特殊パケットを検出する機能、特殊パケットの検出を経路検証装置100に通知する機能、および他の装置へのパケット転送機能を有している。ルータR1~R3は、特殊パケット検出機能により特殊パケットを検出すると、検出情報を経路検証装置100に通知し、他の装置へ特殊パケットを転送する。検出情報とは、フローを識別する情報以下、フロー識別子と記す。と、特殊パケットを検出したルータ自身を識別する情報以下、ノード識別子と記す。を含む情報である。なお、検出情報には、受信したパケットに対応する経路表の経路エントリ、パケットの通過した時間、これまでに通過したルータのIDの一覧、通過したルータの数を示すカウンタなどを含んでもよい。検出情報におけるフロー識別子として、例えば、IPアドレスやMACアドレスなどの送信元および送信先に関する情報やポート番号、シーケンス番号などのヘッダ情報などが挙げられる。また、ルータの識別子すなわち、ノード識別子として、例えば、ルータのIPアドレス、MACアドレス、ネットワーク管理者によって付与されたルータのIDなどが含まれる。そして、経路検証装置100は、各ルータから検出情報を受け取る。以下、各ルータおよび経路検証装置100の内容を詳しく説明する。図2は、本発明に用いられるルータおよび経路検証装置100の例を示すブロック図である。図2に例示するルータは、パケット受信部10と、特殊パケット検出部20と、検出情報通知部30と、経路表記憶部40と、パケット転送部50とを備えている。経路表記憶部40は、経路エントリを含む経路表を記憶する。経路表は、例えば、ルーティングテーブルと同様の構成をとる。経路エントリとは、受信したパケットを他の装置に転送する際に必要な経路情報であり、例えば、パケットを出力するインタフェース、転送するゲートウェイ、転送する装置までのメトリックなどが含まれる。経路表記憶部40は、磁気ディスク等により実現される。パケット受信部10は、自装置宛のパケットを受信し、受信したパケットを特殊パケット検出部20に入力する。特殊パケット検出部20は、パケット受信部10からパケットを順次受け取る。そして特殊パケット検出部20は、受け取ったパケットから特殊パケットを検出する。具体的には、特殊パケット検出部20は、端末で設定された経路検証用フラグをチェックすることで、受け取ったパケットの中から特殊パケットを検出する。特殊パケット検出部20は、例えば、受け取ったパケットが経路検証用フラグを有するか否かを判断し、経路検証用フラグを有すると判断したときに、そのパケットが特殊パケットであると判定してもよい。特殊パケットを検出した場合、特殊パケット検出部20は、そのパケットを検出情報通知部30に入力する。一方、特殊パケットを検出しなかった場合、特殊パケット検出部20は、そのパケットをパケット転送部50に入力する。検出情報通知部30は、特殊パケット検出部20から受け取った特殊パケットをもとに検出情報を作成し、作成した検出情報を経路検証装置100に通知する。検出情報通知部30は、例えば、受信したパケットからフロー識別子を抽出し、自身のルータの識別子を付与することで、検出情報を作成する。また、検出情報通知部30は、検出したパケットのフローを示すフロー識別子、検出したルータの識別子の他、経路表記憶部40に記憶された経路表を参照して、そのパケットに対応する経路表の経路エントリを検出情報に付与してもよい。経路エントリを付与することで、検出したパケットのルーティングのポリシや、経路エントリの正常性などを調査することが可能になる。パケット転送部50は、経路表記憶部40に記憶された経路表を参照し、受け取ったパケットを次のルータに転送する。なお、転送するパケットには、通常のパケットと特殊パケットの両方が含まれる。特殊パケット検出部20と、検出情報通知部30と、パケット転送部50とは、プログラム経路抽出プログラムに従って動作するコンピュータのCPUによって実現される。例えば、プログラムは、各ルータの記憶部図示せずに記憶され、CPUは、そのプログラムを読み込み、プログラムに従って、特殊パケット検出部20、検出情報通知部30、および、パケット転送部50として動作してもよい。また、特殊パケット検出部20と、検出情報通知部30と、パケット転送部50とは、それぞれが専用のハードウェアで実現されていてもよい。また、図2に例示する経路検証装置100は、検出情報受信部110と、経路検証部120と、検出情報記憶部130と、経路検証情報記憶部140とを備えている。検出情報記憶部130は、検出情報を記憶する。また、経路検証情報記憶部140は、経路検証部120による経路検証結果を記憶する。検出情報記憶部130および経路検証情報記憶部140は、例えば、磁気ディスク等により実現される。検出情報受信部110は、各ルータR1~R3から受信した検出情報を検出情報記憶部130に記憶させる。経路検証部120は、検出情報記憶部130に記憶された検出情報を読み込み、フローの経路検証を行う。具体的には、経路検証部120は、検出情報に含まれるフロー識別子をチェックし、検証対象とするフロー識別子と同一のフローを表す検出情報のみを抽出する。次に、経路検証部120は、抽出した検出情報から、検証対象とするフローが通過したルータの識別子を全て抽出する。具体的には、経路検証部120は、抽出した検出情報からノード識別子を抽出する。そして、経路検証部120は、抽出したルータの識別子すなわち、ノード識別子を検証対象とするフローの経路と判断し、そのフローの経路を経路検証結果として経路検証情報記憶部140に記憶させる。経路検証部120は、上記経路の検証を、経路検証情報記憶部140に記憶された全ての経路情報に対して行うことで、検証対象とする全てのフローの経路を経路検証結果として経路検証情報記憶部140に記憶できる。経路検証結果が記憶された経路検証情報記憶部140を、例えば、ネットワーク運用者が直接またはプログラムを利用して参照することで、フローの経路を確認することができる。検出情報受信部110と、経路検証部120とは、プログラム経路検証プログラムに従って動作するコンピュータのCPUによって実現される。また、検出情報受信部110と、経路検証部120とは、それぞれが専用のハードウェアで実現されていてもよい。次に、本実施形態の通信経路検証システムの動作を説明する。図3は、ルータR1~R3が行う特殊パケット通知処理の例を説明図であり、図4は経路検証装置100が行うフロー経路検証処理の例を示す説明図である。また、図5は、フローの経路検証方法の一例を示す説明図である。以下の説明では、フローF1、F2を検証する方法を説明する。図5に示す例では、フローF1,F2とフローの経路を検証するための検査フローTF1,TF2が示されている。フローは実線で示され、検査フローは破線で示されている。検査フローTF1として、フローF1と同じヘッダを持つ特殊パケットが用いられ、検査フローTF2として、フローF2と同じヘッダを持つ特殊パケットが用いられる。すなわち、検査フローTF1を用いてフローF1の経路を検証し、検査フローTF2を用いてフローF2の経路を検証することになる。まず、ルータR1側の動作を説明する。まず、ルータR1のパケット受信部10は、端末T1からパケットを受信し、受け取ったパケットを特殊パケット検出部20に入力する図3におけるステップS10。特殊パケット検出部20は、パケット受信部10からパケットを順次受信する。そして、特殊パケット検出部20は、受信したパケットの中から特殊パケットの検出を行うステップS20。ここでは、特殊パケット検出部20は、端末T1が設定した経路検証用フラグをチェックして特殊パケットを検出する方法を用いるものとする。特殊パケット検出部20は、特殊パケットを検出した場合ステップS20におけるYes、その特殊パケットを検出情報通知部30に入力する。一方、特殊パケット検出部20は、特殊パケットを検出しなかった場合ステップS20におけるNo、受信したパケットをパケット転送部50に入力する。検出情報通知部30は、特殊パケットを受信すると、検出情報を作成し、作成した検出情報を経路検証装置100に通知するステップS30。以下、ステップS30における処理について詳細に説明する。検出情報通知部30は、特殊パケット検出部20から受け取った特殊パケットを元に検出情報を作成し、検出情報記憶部図2において図示せずに記憶させるステップS31。なお、この検出情報には、検出したパケットのフローを示すフロー識別子、検出したルータの識別子が含まれる。また、検出情報通知部30は、作成した検出情報を経路検証装置100に通知するステップS32。そして、検出情報通知部30は、特殊パケットをパケット転送部50に入力する。なお、検出情報を作成する際、検出情報通知部30は、経路表記憶部40に記憶された経路表を参照して、パケットに対応する経路表の経路エントリを検出情報に付与してもよい。そして、パケット転送部50は、経路表記憶部40に記憶された経路表を参照し、受け取ったパケットを次のルータR2に転送するステップS40。以降、ルータR2,R3の動作についても同様である。次に、経路検証装置100側の動作を説明する。検出情報受信部110は、各ルータR1~R3から送られてきた検出情報を受信し、受信した検出情報を検出情報記憶部130に記憶させる図4におけるステップS110。経路検証部120は、検出情報記憶部130に記憶された検出情報を読み込み、フローの経路検証を行う。具体的には、経路検証部120は、検出情報のフロー識別子をチェックし、同一のフローの検出情報のみを抽出する。そして、経路検証部120は、フローが通過したルータの識別子を全て抽出し、これをフローの経路とする経路検証結果を経路検証情報記憶部140に記憶させるステップS120。経路検証部120は、検出情報記憶部130に記憶された全ての検出情報を対象にステップS120と同様の処理を行う。図6は、ルータR1~R3から受け取った検出情報の例を示す説明図である。図6に例示する検出情報には、各検出情報を識別する検出情報項目、フロー識別子項目、ルータ識別子項目、および、経路表の経路エントリを示すルーティングテーブル項目が含まれる。また、図6に例示するルーティングテーブル項目には、送信先を示すDst部、転送先を示すNextHOP部、パケットを出力するインタフェースを示すInterface部が含まれる。まず、図6に例示する検査フローTF1の検出情報をもとに、フローTF1の経路を検証する方法を説明する。まず、経路検証部120は、図6に例示する検出情報の中からフロー識別子がTF1の検出情報D1~D3を抽出する。次に、経路検証部120は、検出情報D1~D3に含まれるルータ識別子を確認し、フローTF1の経路として、ルータ識別子R1,R2,R3を経路検証情報記憶部140に記憶させる。この記憶された経路検証結果を参照することで、フローTF1がルータR1,R2,R3を通過したことを検証できる。また、経路検証部120は、検出情報D1~D3に含まれるルータ識別子を確認するとともに、ルーティングテーブル項目を確認してもよい。具体的には、経路検証部120は、ルーティングテーブル項目のNextHOPを参照することにより、通過した順序を含めたフローTF1の経路R1→R2→R3を検証できる。次に、図6に例示する検査フローTF2の検出情報をもとに、フローTF2の経路を検証する方法を説明する。まず、経路検証部120は、図6に例示する検出情報の中からフロー識別子がTF2の検出情報D4~D5を抽出する。次に、経路検証部120は、検出情報D4~D5に含まれるルータ識別子を確認し、フローTF2の経路として、ルータ識別子R1,R3を経路検証情報記憶部140に記憶させる。この記憶された経路検証結果を参照することで、フローTF2がルータR1,R3を通過したことすなわち、言い換えると、ルータR2を通過していないことを検証できる。図6の例に示すように、フローごとに通信経路の制御が行われるネットワークの場合、送信元端末T1と送信先端末T2とが同一であっても、フローの経路は異なる場合がある。本実施形態によれば、フロー識別子ごとに経路の検証を行うため、検査対象とするフローが複数種類存在する場合であっても、種類ごとに各フローの通信経路を検証できる。以上のように、本実施形態によれば、ルータの特殊パケット検出部20が、受信したパケットの中から、特殊パケットを検出する。そして、ルータの検出情報通知部30が、検出された特殊パケットをもとに、フロー識別子とノード識別子とを含む検出情報を生成し、その検出情報を経路検証装置100に通知する。そして、経路検証装置100の経路検証部120が、ルータから受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する。具体的には、経路検証装置100の経路検証部120が、受信した検出情報に含まれるフロー識別子を用いてフローごとに経路を検証する。したがって、フローごとに通信経路の制御が行われるネットワークで、検査対象とするフローが複数種類存在する場合であっても、フローの種類ごとに通信経路を検証できる。すなわち、本実施形態によれば、通信ネットワーク中のフローの経路を検証することが可能となる。それは、通常のフローと同じようにルーティングされる特殊パケットを受信したルータが応答を返し、その応答をもとに経路の検証が行われるからである。実施形態2.図7は、本発明の第2の実施形態における通信経路検証システムの例を示す説明図である。なお、第1の実施形態と同様の構成については、図1と同一の符号を付し、説明を省略する。第2の実施形態における通信経路検証システムは、端末T1,T2と、ルータR1~R3と、変換装置P1,P2と、経路検証装置100とを備えている。変換装置は、端末とルータの間に接続される。具体的には、変換装置P1は、端末T1とルータR1の間に接続され、変換装置P2は、端末T2とルータR3の間に接続される。また、ルータR1~R3と、経路検証装置100とは、通信ネットワークNETを介して相互に接続されている。ネットワークNET上には複数のフローが存在しているが、図7では、2本のフローF1,F2を示している。図7に例示するフローF1,F2のうち、実線で示される部分では通常のパケットで通信が行われ、破線で示される部分では特殊パケットで通信が行われる。このように、第2の実施形態における通信経路検証システムでは、特殊パケットを送出する装置が変換装置P1,P2である点において、第1の実施形態における通信経路検証システムと異なる。それ以外については、第1の実施形態と同様である。本実施形態では、端末T1が送信したパケットをルータR1に送信する際、そのパケットは、経路上にある変換装置P1を通過する。このとき、変換装置P1の制御部図示せずが、受信した通常のパケットを特殊パケットに変換する。変換装置P1の制御部図示せずは、例えば、通常のパケットのペイロード部分に予め用意された経路検証用のフィールド内の所定のビットを経路検証用のフラグとして設定してもよい。また、変換装置P1の制御部図示せずは、経路検証用のフラグとしてそのフィールド内にメッセージを埋め込んでもよい。ただし、特殊パケットへの変換方法は、これらの方法に限定されない。ルータR1~R3が経路検証用のフラグを検出可能な形式であれば、他の変換方法を用いてもよい。一方、ルータR3が送信した特殊パケットを端末T2に送信する際、その特殊パケットは、経路上にある変換装置P2を通過する。このとき、変換装置P2の制御部図示せずが、受信した特殊パケットを通常のパケットに変換する。変換装置P2の制御部図示せずが通常のパケットに変換する方法として、例えば、経路検証用のフラグとして設定されたビットを解除する方法を用いてもよく、経路検証用のフラグと埋め込まれたメッセージを削除する方法を用いてもよい。すなわち、変換装置P1の制御部図示せずが特殊パケットに変換する前の通常のパケットに戻す方法であれば、他の方法が用いられてもよい。なお、各ルータR1~R3や、経路検証装置100の動作は、第1の実施形態における動作と同様であるため、説明を省略する。以上のように、本実施形態の通信経路検証システムは、通常のパケットを特殊パケットに変換する変換装置を備えている。そのため、第1の実施形態における効果に加え、端末T1に特殊パケットを送信する機能を備えていなくても、フローの経路の検証を行うことができる。実施形態3.次に、本発明の第3の実施形態における通信経路検証システムについて説明する。なお、本実施形態における通信経路検証システムの構成は、第1の実施形態における通信経路検証システムの構成と同様の構成であってもよく、第2の実施形態における通信経路検証システムの構成と同様の構成であってもよい。第3の実施形態における通信経路検証システムでは、ルータR1~R3がパケットのカウンタ操作を行い、検出情報にカウンタ操作によるカウント結果を付加して経路検証装置100に送信する点と、経路検証装置100の経路検証部120がそのカウント結果を参照して経路を検証する点において第1の実施形態および第2の実施形態における通信経路検証システムと異なる。それ以外については、第1の実施形態および第2の実施形態と同様である。ルータの検出情報通知部30は、ルータが特殊パケットを受信した際に、特殊パケットに含まれるカウンタを操作する。具体的には、検出情報通知部30は、ルータを通過した回数をカウントし、そのカウントした回数をパケットに記録する。ここで、検出情報通知部30が操作するカウンタは、特殊パケットの所定のフィールドに含まれる情報である。このフィールドは、TTLのようなフィールドであってもよく、独自のフィールドとして用意されたものであってもよい。また、検出情報通知部30はカウンタに対して加算または減算を行う。なお、通信経路検証システム上の全てのルータで操作が統一されていれば、カウンタに対して行われる操作は、加算と減算のどちらであってもよい。そして、検出情報通知部30は、特殊パケットの検出情報を経路検証装置100に通知する際、カウンタ操作が行われたフィールドのカウンタ値を併せて通知する。経路検証装置100の経路検証部120は、経路検証を行う際、カウンタ値の情報をもとに検証情報をソートする。例えば、各ルータでカウンタが加算されている場合、カウンタ値が小さい検証情報から並べるすなわち、カウンタ値の昇順で検証情報を並べることで、パケットが通過した順にルータの経路を検証できる。以上のように、本実施形態によれば、ルータの検出情報通知部30が、特殊パケットを受信した際に、その特殊パケットがルータを通過した回数をカウントし、そのカウントした回数を特殊パケットに記録する。そして、検出情報通知部30が、カウントした回数を検出情報とともに経路検証装置100に通知する。経路検証装置100の経路検証部120は、受信した回数をもとに、ルータを通過した順番を示すフローの経路を検証する。このように、本実施形態によれば、第1の実施形態における効果に加え、経路検証を行う際にパケットがルータを通過した順序が保障されるため、経路表を参照することなくフローが通過した経路を確実に検証することが可能となる。実施形態4.次に、本発明の第4の実施形態における通信経路検証システムについて説明する。なお、本実施形態における通信経路検証システムの構成は、第1の実施形態における通信経路検証システムの構成と同様の構成であってもよく、第2の実施形態における通信経路検証システムの構成と同様の構成であってもよい。第4の実施形態における通信経路検証システムでは、経路検証装置100が検出情報の通知指示を行い、端末または変換装置が特殊パケットを送信しない点において第1から第3までの実施形態における通信経路検証システムと異なる。それ以外については、第1から第3までの実施形態と同様である。経路検証装置100の経路検証部120は、一つまたは複数の経路エントリを検出対象エントリ情報としてルータに通知する。この経路エントリには、検証対象のフローを表すフロー識別子が含まれる。ルータが検出対象エントリ情報を受信すると、パケット受信部10は、検出対象エントリ情報が表わす経路エントリを経路表記憶部40に記憶させる。以下、パケット受信部10が経路エントリを経路表記憶部40に記憶させる場合について説明する。なお、検出対象エントリ情報を記憶する検出エントリ情報記憶部図示せずを別途設け、パケット受信部10が、受信した検出対象エントリ情報をその検出エントリ情報記憶部図示せずに記憶させてもよい。そして、各ルータがパケットを受信すると、特殊パケット検出部20は、検出対象エントリ情報に該当するパケットの検出を行う。具体的には、特殊パケット検出部20は、受信したパケットのヘッダ構成が検証対象のフローを示すフロー識別子と一致するパケットを検出する。検出対象エントリ情報に含まれるフロー識別子と一致するフロー識別子を含むパケットを検出した場合、特殊パケット検出部20は、そのパケットを検出情報通知部30に入力する。一方、フロー識別子が一致しなかった場合、特殊パケット検出部20は、そのパケットをパケット転送部50に入力する。その他の動作は、第1から第3までの実施形態における動作と同様である。すなわち、検出情報通知部30が検出情報を作成し、作成した検出情報を経路検証装置100に通知する。そして、経路検証装置100の経路検証部120は、第1から第3までの実施形態と同様にフローの経路を検証する。なお、対象とするパケットを検出する処理についてルータの負荷を軽減させるため、特殊パケット検出部20は、全てのパケットに対してではなく、サンプリングにより抽出したパケットに対して上記処理を実施するようにしてもよい。以上のように、本実施形態によれば、まず、経路検証装置100の経路検証部120が、検証の対象とするフローを識別するフロー識別子をルータに対して送信する。ルータの特殊パケット検出部20は、受信したパケットのヘッダ構成がフロー識別子と一致するパケットを検出する。検出情報通知部30は、検出されたパケットをもとに、フロー識別子とノード識別子とを含む検出情報を生成し、その検出情報を経路検証装置100に通知する。そして、経路検証装置100の経路検証部120は、ルータから受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する。よって、端末T1,T2やネットワーク上の装置例えば、変換装置に特殊パケットを作成する機能を実装することなく、フローの通過した経路の検証を行うことが可能になる。次に、本発明の最小構成を説明する。図8は、本発明による通信経路検証システムの最小構成の例を示すブロック図である。本発明による通信経路検証システムは、受信したパケットを他の装置に転送する複数のノード80例えば、ルータR1~R3、スイッチと、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置90例えば、経路検証装置100とを備えている。ノード80は、受信したパケットの中から、経路検証用のパケットであるか否かを示す情報である経路検証用フラグを含み、ヘッダ構成が検証対象のフローと同一である特殊パケットを検出する特殊パケット検出手段81例えば、特殊パケット検出部20と、検出された特殊パケットをもとに、フローを識別する情報であるフロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、その検出情報を経路検証装置90に通知する検出情報通知手段82例えば、検出情報通知部30とを備えている。経路検証装置90は、ノード80から受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する経路検証手段91例えば、経路検証部120を備えている。そのような構成により、フローごとに通信経路の制御が行われるネットワークで、検査対象とするフローが複数種類存在する場合であっても、フローの種類ごとに通信経路を検証できる。また、ノード80は、パケットの転送先を表す情報である経路エントリを含む経路表を記憶する経路表記憶手段例えば、経路表記憶部40を備えていてもよい。そして、ノード80の検出情報通知手段82は、検出した特殊パケットに対応する経路エントリを付与した検出情報を経路検証装置90に通知してもよい。また、通信に用いられるパケットを送信する端末例えば、端末T1とその端末がパケットを送信するノード80例えば、ルータR1との間に、パケットを特殊パケットに変換する変換装置例えば、変換装置P1を備えていてもよい。このような構成により、端末に特殊パケットを送信する機能を備えていなくても、フローの経路の検証を行うことができる。また、ノード80は、特殊パケットを受信したときに、その特殊パケットがノードを通過した回数をカウント例えば、加算または減算し、その回数を特殊パケットに記録するカウント手段例えば、検出情報通知部30を備えていてもよい。そして、ノード80の検出情報通知手段82は、検出情報とともに回数を経路検証装置90に通知し、経路検証装置90の経路検証手段91は、受信した回数をもとに、ノードを通過した順番を示すフローの経路を検証してもよい。このような構成により、経路検証を行う際にパケットがルータを通過した順序が確認できるため、経路表を参照することなくフローが通過した経路を確実に検証することが可能となる。また、図9は、本発明による通信経路検証システムの他の最小構成の例を示すブロック図である。本発明による他の通信経路検証システムは、受信したパケットを他の装置に転送する複数のノード60例えば、ルータR1~R3、スイッチと送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置70例えば、経路検証装置100とを備えている。経路検証装置70は、検証の対象とするフローを識別する情報であるフロー識別子を含む情報をノード60に送信する検証対象送信手段71例えば、経路検証部120と、フローの経路を検証する経路検証手段72例えば、経路検証部120とを備えている。ノード60は、受信したパケットのヘッダ構成が検証対象のフローを示すフロー識別子と一致するパケットを検出するパケット検出部61例えば、特殊パケット検出部20と、検出されたパケットをもとに、フロー識別子と自ノードを識別する情報であるノード識別子とを含む情報である検出情報を生成し、その検出情報を経路検証装置70に通知する検出情報通知手段62とを備えている。そして、経路検証装置70の経路検証手段72は、ノードから受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する。以上のような構成により、フローごとに通信経路の制御が行われるネットワークで、検査対象とするフローが複数種類存在する場合であっても、フローの種類ごとに通信経路を検証できる。そして、ネットワーク上の装置例えば、端末や変換装置に特殊パケットを作成する機能を実装することなく、フローの通過した経路の検証を行うことが可能になる。また、図10は、本発明による経路検証装置の最小構成の例を示すブロック図である。本発明による経路検証装置は、送信元を表す情報と送信先を表す情報とを用いて経路が規定される通信であるフローごとに経路の検証を行う経路検証装置であって、受信したパケットを他の装置に転送する装置であるノードから、経路を検証する対象のフローを識別する情報であるフロー識別子と、そのノードを識別する情報であるノード識別子とを含む情報である検出情報を受信し、受信した検出情報に含まれるノード識別子をもとに、フローの経路を検証する経路検証手段51例えば、経路検証部120を備えている。そのため、フローごとに通信経路の制御が行われるネットワークで、検査対象とするフローが複数種類存在する場合であっても、フローの種類ごとに通信経路を検証できる。以上、実施形態及び実施例を参照して本願発明を説明したが、本願発明は上記実施形態および実施例に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得る様々な変更をすることができる。この出願は、2010年12月6日に出願された日本特許出願2010-271561を基礎とする優先権を主張し、その開示の全てをここに取り込む。"