JP2005218038A - ネットワーク検証方法および装置 - Google Patents
ネットワーク検証方法および装置 Download PDFInfo
- Publication number
- JP2005218038A JP2005218038A JP2004025602A JP2004025602A JP2005218038A JP 2005218038 A JP2005218038 A JP 2005218038A JP 2004025602 A JP2004025602 A JP 2004025602A JP 2004025602 A JP2004025602 A JP 2004025602A JP 2005218038 A JP2005218038 A JP 2005218038A
- Authority
- JP
- Japan
- Prior art keywords
- network
- communication device
- identifier
- port
- state transition
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
【解決手段】第1の通信機器の識別子と第1の通信機器から送信されたパケットを受信する第2の通信機器の識別子との対応関係、及び第2の通信機器の識別子と第2の通信機器から送信されたパケットを受信する第3の通信機器の識別子との対応関係、第2の通信機器で受信されたパケットに付加されている第1のタグと第2の通信機器から第3の通信機器に転送されるパケットに付加される第2のタグとの対応関係をそれぞれ表すデータから、各タグと各通信機器の識別子と各通信機器が送信及び転送のいずれのモードであるかを示す動作モード情報で特定されるネットワークの状態遷移を示す状態遷移データを含むネットワークモデルを生成し、ネットワークモデルが要求仕様を満たすか否かを検証する。
【選択図】 図1
Description
Claims (10)
- 複数の通信機器を接続してなるネットワークを検証するネットワーク検証方法であって、
第1の通信機器の識別子と当該第1の通信機器から送信されたパケットを受信する第2の通信機器の識別子との対応関係、及び第2の通信機器の識別子と第2の通信機器から送信されたパケットを受信する第3の通信機器の識別子との対応関係を表すネットワーク構成データを入力する第1の入力ステップと、
前記第2の通信機器で受信されたパケットに付加されている第1のタグと第2の通信機器から第3の通信機器に転送されるパケットに付加される第2のタグとの対応関係を表す転送ルールデータを入力する第2の入力ステップと、
前記ネットワーク構成データと前記転送ルールデータを受けて前記第1のタグ及び第2のタグ、前記第1乃至第3の通信機器の識別子、及び前記第1乃至第2の通信機器が送信及び転送のいずれのモードであるかを示す動作モード情報で特定される前記ネットワークの状態遷移を示す状態遷移データを含むネットワークモデルを生成する生成ステップと、
前記ネットワークに対する要求仕様を入力する第3の入力ステップと、
前記ネットワークモデルが前記要求仕様を満たすか否かを検証する検証ステップと、
前記検証ステップでの検証結果を出力する出力ステップと、
を有することを特徴とするネットワーク検証方法。 - 少なくとも1つのポートをそれぞれ有する複数の通信機器を、それぞれのポートを介して接続してなるネットワークを検証するネットワーク検証方法であって、
第1の通信機器の識別子と第1の通信機器の第1のポートの識別子と第1のポートから送信されたパケットを受信する第2の通信機器の識別子と第2の通信機器の第2のポートの識別子との対応関係、及び第2の通信機器の識別子と第2の通信機器の第3のポートの識別子と第3のポートから送信されたパケットを受信する第3の通信機器の識別子と第3の通信機器の第4のポートの識別子との対応関係を表すネットワーク構成データを入力する第1の入力ステップと、
前記第2の通信機器の前記第2のポートの識別子と第2のポートで受信されたパケットに付加される第1のタグと第2の通信機器の前記第3のポートの識別子と第2の通信機器から第3の通信機器に転送されるパケットに付加される第2のタグとの対応関係を表す転送ルールデータを入力する第2の入力ステップと、
前記ネットワーク構成データと前記転送ルールデータを受けて前記第1のタグ及び第2のタグ、及び前記第1乃至第3の通信機器の識別子、及び前記第1乃至第3の通信機器のポートの識別子、及び前記第1乃至第2の通信機器が送信及び転送のいずれのモードであるかを示す動作モード情報で特定される前記ネットワークの状態遷移を示す状態遷移データを含むネットワークモデルを生成する生成ステップと、
前記ネットワークに対する要求仕様を入力する第3の入力ステップと、
前記ネットワークモデルが前記要求仕様を満たすか否かを検証する検証ステップと、
前記検証ステップでの検証結果を出力する出力ステップと、
を有することを特徴とするネットワーク検証方法。 - 前記第3の入力ステップは、前記第1のタグ及び第2のタグのうちの1つと、前記第1乃至第3の通信機器の識別子のうちの1つと、送信及び転送モードのうちの1つとで特定される前記ネットワークの複数の状態のうちの所望の状態と、当該所望の状態に対する条件と、当該所望の状態間の状態遷移と、当該所望の状態遷移に対する条件のうちの少なくとも1つを表す前記要求仕様を入力し、
前記検証ステップは、前記ネットワークモデルに前記第2の入力ステップで入力された要求仕様に表されている前記所望の状態と前記所望の状態遷移が含まれているか否か、前記所望の状態が前記要求仕様に表されている条件を満たすか否か、前記所望の状態遷移が前記要求仕様に表されている条件を満たすか否かを検証することを特徴とする請求項1記載のネットワーク検証方法。 - 前記第3の入力ステップは、前記第1のタグ及び第2のタグのうち1つと、前記第1乃至第3の通信機器の識別子のうちの1つと、前記第1乃至第3の通信機器のポートの識別子のうちの1つと、送信及び転送モードのうちの1つとで特定される前記ネットワークの複数の状態のうちの所望の状態と、当該所望の状態に対する条件と、当該所望の状態間の状態遷移と、当該所望の状態遷移に対する条件のうちの少なくとも1つを表す前記要求仕様を入力し、
前記検証ステップは、前記ネットワークモデルに前記第2の入力ステップで入力された要求仕様に表されている前記所望の状態と前記所望の状態遷移が含まれているか否か、前記所望の状態が前記要求仕様に表されている条件を満たすか否か、前記所望の状態遷移が前記要求仕様に表されている条件を満たすか否かを検証することを特徴とする請求項2記載のネットワーク検証方法。 - 前記要求仕様は、前記所望の状態に対する条件と前記所望の状態遷移に対する条件が、様相論理を用いて記述されていることを特徴とする請求項3または4記載のネットワーク検証方法。
- 複数の通信機器を接続してなるネットワークを検証するネットワーク検証装置であって、
第1の通信機器の識別子と当該第1の通信機器から送信されたパケットを受信する第2の通信機器の識別子との対応関係、及び第2の通信機器の識別子と第2の通信機器から送信されたパケットを受信する第3の通信機器の識別子との対応関係を表すネットワーク構成データを入力する第1の入力手段と、
前記第2の通信機器で受信されたパケットに付加されている第1のタグと第2の通信機器から第3の通信機器に転送されるパケットに付加される第2のタグとの対応関係を表す転送ルールデータを入力する第2の入力手段と、
前記ネットワーク構成データと前記転送ルールデータを受けて前記第1のタグ及び第2のタグ、前記第1乃至第3の通信機器の識別子、及び前記第1乃至第2の通信機器が送信及び転送のいずれのモードであるかを示す動作モード情報で特定される前記ネットワークの状態遷移を示す状態遷移データを含むネットワークモデルを生成する生成手段と、
前記ネットワークに対する要求仕様を入力する第3の入力手段と、
前記ネットワークモデルが前記要求仕様を満たすか否かを検証する検証手段と、
前記検証手段での検証結果を出力する出力手段と、
を具備したことを特徴とするネットワーク検証装置。 - 少なくとも1つのポートをそれぞれ有する複数の通信機器を、それぞれのポートを介して接続してなるネットワークを検証するネットワーク検証装置であって、
第1の通信機器の識別子と第1の通信機器の第1のポートの識別子と第1のポートから送信されたパケットを受信する第2の通信機器の識別子と第2の通信機器の第2のポートの識別子との対応関係、及び第2の通信機器の識別子と第2の通信機器の第3のポートの識別子と第3のポートから送信されたパケットを受信する第3の通信機器の識別子と第3の通信機器の第4のポートの識別子との対応関係を表すネットワーク構成データを入力する第1の入力手段と、
前記第2の通信機器の前記第2のポートの識別子と第2のポートで受信されたパケットに付加される第1のタグと第2の通信機器の前記第3のポートの識別子と第2の通信機器から第3の通信機器に転送されるパケットに付加される第2のタグとの対応関係を表す転送ルールデータを入力する第2の入力手段と、
前記ネットワーク構成データと前記転送ルールデータを受けて前記第1のタグ及び第2のタグ、及び前記第1乃至第3の通信機器の識別子、及び前記第1乃至第3の通信機器のポートの識別子、及び前記第1乃至第2の通信機器が送信及び転送のいずれのモードであるかを示す動作モード情報で特定される前記ネットワークの状態遷移を示す状態遷移データを含むネットワークモデルを生成する生成手段と、
前記ネットワークに対する要求仕様を入力する第3の入力手段と、
前記ネットワークモデルが前記要求仕様を満たすか否かを検証する検証手段と、
前記検証手段での検証結果を出力する出力手段と、
を具備したことを特徴とするネットワーク検証装置。 - 前記第3の入力手段で入力される前記要求仕様は、前記第1のタグ及び第2のタグのうちの1つと、前記第1乃至第3の通信機器の識別子のうちの1つと、送信及び転送モードのうちの1つとで特定される前記ネットワークの複数の状態のうちの所望の状態と、当該所望の状態に対する条件と、当該所望の状態間の状態遷移と、当該所望の状態遷移に対する条件のうちの少なくとも1つを表し、
前記検証手段は、前記ネットワークモデルに前記第2の入力ステップで入力された要求仕様に表されている前記所望の状態と前記所望の状態遷移が含まれているか否か、前記所望の状態が前記要求仕様に表されている条件を満たすか否か、前記所望の状態遷移が前記要求仕様に表されている条件を満たすか否かを検証することを特徴とする請求項6記載のネットワーク検証装置。 - 前記第3の入力手段で入力される前記要求仕様は、前記第1のタグ及び第2のタグのうちの1つと、前記第1乃至第3の通信機器の識別子のうちの1つと、前記第1乃至第3の通信機器のポートの識別子のうちの1つと、送信及び転送モードのうちの1つとで特定される前記ネットワークの複数の状態のうちの所望の状態と、当該所望の状態に対する条件と、当該所望の状態間の状態遷移と、当該所望の状態遷移に対する条件のうちの少なくとも1つを表し、
前記検証手段は、前記ネットワークモデルに前記第2の入力ステップで入力された要求仕様に表されている前記所望の状態と前記所望の状態遷移が含まれているか否か、前記所望の状態が前記要求仕様に表されている条件を満たすか否か、前記所望の状態遷移が前記要求仕様に表されている条件を満たすか否かを検証することを特徴とする請求項7記載のネットワーク検証装置。 - 前記要求仕様は、前記所望の状態に対する条件と前記所望の状態遷移に対する条件が、様相論理を用いて記述されていることを特徴とする請求項8または9記載のネットワーク検証装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004025602A JP4237649B2 (ja) | 2004-02-02 | 2004-02-02 | ネットワーク検証方法および装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004025602A JP4237649B2 (ja) | 2004-02-02 | 2004-02-02 | ネットワーク検証方法および装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2005218038A true JP2005218038A (ja) | 2005-08-11 |
JP4237649B2 JP4237649B2 (ja) | 2009-03-11 |
Family
ID=34907943
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004025602A Expired - Fee Related JP4237649B2 (ja) | 2004-02-02 | 2004-02-02 | ネットワーク検証方法および装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4237649B2 (ja) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8238357B2 (en) | 2007-04-23 | 2012-08-07 | Nec Corporation | VLAN communication inspection system, method and program |
WO2014115759A1 (ja) * | 2013-01-23 | 2014-07-31 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法及びプログラム |
WO2014168164A1 (ja) * | 2013-04-10 | 2014-10-16 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法及びプログラム |
JP2016092432A (ja) * | 2014-10-29 | 2016-05-23 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法、および、ネットワーク検証プログラム |
-
2004
- 2004-02-02 JP JP2004025602A patent/JP4237649B2/ja not_active Expired - Fee Related
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8238357B2 (en) | 2007-04-23 | 2012-08-07 | Nec Corporation | VLAN communication inspection system, method and program |
WO2014115759A1 (ja) * | 2013-01-23 | 2014-07-31 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法及びプログラム |
JPWO2014115759A1 (ja) * | 2013-01-23 | 2017-01-26 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法及びプログラム |
WO2014168164A1 (ja) * | 2013-04-10 | 2014-10-16 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法及びプログラム |
JPWO2014168164A1 (ja) * | 2013-04-10 | 2017-02-16 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法及びプログラム |
JP2016092432A (ja) * | 2014-10-29 | 2016-05-23 | 日本電気株式会社 | ネットワーク検証装置、ネットワーク検証方法、および、ネットワーク検証プログラム |
Also Published As
Publication number | Publication date |
---|---|
JP4237649B2 (ja) | 2009-03-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10652024B2 (en) | Digital signature systems and methods for network path trace | |
JP2985922B2 (ja) | 論理関数データ処理装置 | |
Chambart et al. | Mixing lossy and perfect fifo channels | |
Lamali et al. | Algorithmic and complexity aspects of path computation in multi-layer networks | |
JP4237649B2 (ja) | ネットワーク検証方法および装置 | |
Mohrle et al. | Automated compositional safety analysis using component fault trees | |
Lai et al. | Observer construction for polynomially ambiguous max-plus automata | |
Kalyon et al. | Synthesis of communicating controllers for distributed systems | |
CN105847056B (zh) | 双向转发检测控制报文的传输方法及系统 | |
Bou et al. | On some properties of quasi-MV algebras and quasi-MV algebras. Part II | |
Baier et al. | Design and verification of systems with exogenous coordination using Vereofy | |
JP2016174281A (ja) | ネットワーク評価装置、ネットワーク評価方法及びネットワーク評価プログラム | |
Lamali et al. | Path computation in multi-layer multi-domain networks: A language theoretic approach | |
van Duijn et al. | Automata-theoretic approach to verification of MPLS networks under link failures | |
CN103516631A (zh) | 通信装置 | |
Su et al. | Synthesizing fault-tolerant schedule for time-triggered network without hot backup | |
Lee et al. | Verification and conformance test generation of communication protocol for railway signaling systems | |
JP2012015837A (ja) | 経路計算装置、データ転送装置、経路計算方法、データ転送方法およびプログラム | |
JP5102804B2 (ja) | 輻輳影響度評価装置、リンクトラヒック計算方法およびそのプログラム | |
US20210112062A1 (en) | Whitelist generator, whitelist evaluator, whitelist generator/evaluator, whitelist generation method, whitelist evaluation method, and whitelist generation/evaluation method | |
CN107800578B (zh) | 一种网络化故障发生过程的分析方法 | |
Geng et al. | Failure diagnosis for distributed stochastic discrete event systems | |
JP2809166B2 (ja) | 高速遅延検証装置 | |
Guo et al. | Improving test quality using robust unique input/output circuit sequences (UIOCs) | |
JP2001525569A (ja) | システムの動作を検証する方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20060404 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20080218 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20081007 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20081126 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20081216 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20081218 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20111226 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20111226 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20121226 Year of fee payment: 4 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20121226 Year of fee payment: 4 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131226 Year of fee payment: 5 |
|
LAPS | Cancellation because of no payment of annual fees |