文献

J-GLOBAL ID：201702217015842607   整理番号：17A0066258

テスト駆動のOPENFLOWプロトコルモデリング【JST・京大機械翻訳】

Test-driven Modeling of OpenFlow Protocol

著者 (4件)： Lv Liangliang (Computer College,Inner Mongolia University) ,  Ruan Hongwei (Computer College,Inner Mongolia University) ,  Dong Lulu (Computer College,Inner Mongolia University) ,  Li Hua (Computer College,Inner Mongolia University)
資料名： Xiaoxing Weixing Jisuanji Xitong  (Xiaoxing Weixing Jisuanji Xitong)
巻： 37  号： 5  ページ： 966-971  発行年： 2016年 
JST資料番号： C2136A  ISSN： 1000-1220  CODEN： XWJXEH  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 本論文では,OPENFLOWプロトコルの形式的モデリングについて研究し,試験駆動に基づく形式的モデリングの新しい方法を提案し,まず第一に,OPENFLOWプロトコルの形式化モデリングにおいて,その試験例を考慮した。次に,OPENFLOWプロトコルの通信プロセスを分析し,3つの段階に分割し,最終的にセグメント化を行い,次に役割をモデル化し,モデルに従って実行可能試験例を生成した。このプロトコルは,OPENFLOWプロトコルをサポートするための各種設備とコントローラが仕様に適合するかどうかをテストするために使用さ本論文では,OPENFLOWプロトコルの第1段階-HELLOメッセージについて,提案した方法を用いてモデリングと試験を行い,実験結果は,この方法がOPENFLOWプロトコルの形式的モデリングとテスト生成プロセスを効果的に簡素化することを示した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *モデリング ,  通信 ,  簡素化 ,  セグメンテーション ,  *プロトコル ,  制御装置
準シソーラス用語： テスト生成 , 【Automatic Indexing@JST】

著者キーワード (4件)： software defined network ,  OpenFlow ,  test ,  modeling

分類 (2件)： 計算理論  (JB02000A) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： テスト ,  OpenFlow ,  プロトコル ,  モデリング