@techreport{oai:ipsj.ixsq.nii.ac.jp:00233024,
 author = {佐竹, 柊路 and 鈴木, 彦文 and 小形, 真平 and 橋浦, 弘明 and 岡野, 浩三 and Shuji, Satake and Hikofumi, Suzuki and Shinpei, Ogata and Hiroaki, Hashiura and Kozo, Okano},
 issue = {4},
 month = {Mar},
 note = {ネットワーク設計時では通常，実機による検証環境上で障害対策の適否を検証する．しかし物理的に機器やリンクを操作する必要があり，設計者の負担が大きい．そこで本稿では，仮想の検証環境上で自動検証でき，その結果の分析を支援する自動検証手法を提案する．提案手法では，ネットワーク構成モデル（ネットワーク構成の設計記述）に基づき検証環境を構築し，L2L3 通信経路設計記述（設計者が意図する各機器の状態）どおりの機器の状態を得たか示す検証結果表を出力する．提案手法の有効性を議論するため，正しい L2L3 通信経路設計記述と誤ったネットワーク構成モデルを入力し，得られた検証結果表から誤り箇所を分析する実験を実施した．その結果，誤り箇所を絞り込めたため，提案手法が有効な見込みを得た．, In network design, constructing a verification environment with actual equipment is practice, but this approach burdens designers with physical manipulation. In this paper, we propose an automated verification approach that enables the validation of whether policies are met in a virtual environment and supports the analysis of the results. This proposed approach constructs a virtual environment based on NCM (description of network configuration), allowing for the output of a validation result table indicating whether the states of devices match the L2-L3 CRDD (the intended state of each device as envisioned by the designer). Experiments were conducted to evaluate the proposed approach's effectiveness. By inputting correct L2-L3 CRDD and incorrect NCM, error locations were analyzed. The proposed approach effectively narrowed down error locations, demonstrating its potential efficacy.},
 title = {L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法},
 year = {2024}
}