軟化ネットワークの高被覆試験【JST・京大機械翻訳】

Prabhu Santhosh; Chaudhry Gohar Irfan; Godfrey Brighten; Caesar Matthew

文献

J-GLOBAL ID：202002275189116513 整理番号：20A1799257

軟化ネットワークの高被覆試験【JST・京大機械翻訳】

High-coverage testing of softwarized networks

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1799257&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (4件)： , , ,
資料名：
号： SecSoN ’18 ページ： 46-52 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

ネットワークオペレータは,ネットワークがより複雑で,ソフトウェアコンポーネントの多様性に関してますます複雑になるので,正当性を確実にする挑戦に直面している。ネットワーク全体の検証手法は誤差をスポットできるが,実際の実装から逸脱する個々のネットワークデバイスの機能性の簡易抽象化を仮定する。本論文では,これらのネットワークに配備された実ソフトウェアを用いたエンドツーエンドネットワーク正当性の高いカバレージ試験のための手法を提案した。この設計は,すべてのネットワーク全体の実行経路とイベント順序を探索するための明示的状態モデルチェッカーを用いて,効果的にハイブリッドであるが,各デバイスのためのサブルーチンとして実際のソフトウェアを実行する。このアプローチが,既存の検証と試験手法の両方によって見逃される正当性問題を検出することができ,プロトタイプ実装は,この技術が合理的な性能でより大きなネットワークにスケールできることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , ,
, , , 【Automatic Indexing@JST】

著者キーワード (2件)： ,

計算機網 , 計算機システム開発

前のページに戻る