静的解析によるネットワーク構成モデルの自動検証

• Item type: SIG Technical Reports(1)
• 公開日: 2024-03-05
• タイトル: 静的解析によるネットワーク構成モデルの自動検証
• タイトル / 言語: en
• タイトル: Automatic Verification of Network Configuration Model by Static Analysis
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: IOT-A
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 信州大学
• 著者所属: 国立情報学研究所
• 著者所属: 信州大学
• 著者所属: 日本工業大学
• 著者所属: 信州大学
• 著者所属(英): en
• 著者所属(英): Shinshu University
• 著者所属(英): en
• 著者所属(英): National Institute of Informatics
• 著者所属(英): en
• 著者所属(英): Shinshu University
• 著者所属(英): en
• 著者所属(英): Nippon Institute of Technology
• 著者所属(英): en
• 著者所属(英): Shinshu University
• 著者名: 藤田, 智哉; 鈴木, 彦文; 小形, 真平; 橋浦, 弘明; 岡野, 浩三
• 著者名(英): Tomoya, Fujita; Hikofumi, Suzuki; Shinpei, Ogata; Hiroaki, Hashiura; Kozo, Okano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ネットワークの設計段階では，機器設定の記述ミスや異なる機器や設定間での矛盾を除く支援方法が未確立な問題がある．従来では，設計段階でネットワークをレイヤごとにトポロジモデルとして扱うことで，設計ポリシが反映されているかの机上検証ができるよう支援する手法はあるが，設定値の記述ミスや設定値間の矛盾を検出するような支援方法は確立されていない．そこで本稿では，ネットワーク構成を表すモデル（ネットワーク構成モデル）に対し，その一貫性を静的解析により自動検証する手法を提案する．提案手法では，機器の設定値が守るべき字句や構文の規則と，異なる機器や設定間で一貫させるべき内容について，自動検証が可能になるように明文化する．これらを用いてそれぞれ，設定値に用いられる字句や構文の正しさと，異なる機器や設定間の一貫性を自動検証する．さらに，ネットワーク構成モデルの内容を理解しやすいように，設計者が見慣れているであろう実機の出力を模倣した形式にモデルを変換する．提案手法の有効性を評価するために，記述ミスや矛盾を含むネットワーク構成モデルに対して，提案手法がそれらを正しく検出できるかを確かめた結果を報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In the network design phase, there is an unestablished problem of support methods for eliminating errors in the configuration files and inconsistencies between different devices and settings. Although there are conventional methods to support desktop verification of whether the design policy is reflected by treating the network as a topology model for each layer in the design phase, no support method has been established to detect errors in the description of configuration values or inconsistencies between configuration values. In this paper, we propose a method to automatically verify the consistency of a model representing the network configuration (Network Configuration Model) by static analysis. In the proposed method, the rules of lexicon and syntax that must be satisfied by the configuration values of devices and the contents that must be consistent between different devices and configurations are clearly stated so that automatic verification is possible. These are used to automatically verify the correctness of the phrases and syntax used in the configuration values and the consistency between different devices and configurations, respectively. Furthermore, to make it easier for network engineers to check the validity of the network configuration model, a method is implemented to change the model into a form that mimics the output of the actual devices in terms of their settings and states. In order to evaluate the effectiveness of the proposed method, we report on the results of testing whether the proposed method can correctly detect a network configuration model that contain description errors and inconsistencies.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12326962
• 書誌情報: 研究報告インターネットと運用技術（IOT）; 巻 2024-IOT-64, 号 5, p. 1-8, 発行日 2024-03-05
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8787
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会