文献

J-GLOBAL ID：201802212688582182   整理番号：18A2123289

形式化に基づくテストフレームワークと事例解析【JST・京大機械翻訳】

Testing framework based on formalized and instance analysis

著者 (5件)： Li Yuanping (内蒙古大学計算机学院,呼和浩特010021;内蒙古財経大学信息化建設与管理中心,呼和浩特010070) ,  Li Hua (内蒙古大学計算机学院,呼和浩特010021;内蒙古大学网絡中心,呼和浩特010021) ,  Ruan Hongwei (内蒙古大学計算机学院,呼和浩特,010021) ,  Zhao Junlan (内蒙古財経大学信息化建設与管理中心,呼和浩特,010070) ,  Wang Biao (内蒙古財経大学信息化建設与管理中心,呼和浩特,010070)
資料名： Jisuanji Yingyong Yanjiu  (Jisuanji Yingyong Yanjiu)
巻： 35  号： 6  ページ： 1778-1782  発行年： 2018年 
JST資料番号： C2536A  ISSN： 1001-3695  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： テスト作業が煩雑で、試験仕事の全面性、完全性を如何に保証し、統一的なテスト理論を構築し、テスト作業の自動、高効率展開を指導し、試験の再利用性を向上させ、人々が長い間追求する目標である。一般的テストフレームワークを設計して,モデルベースのテスト理論に頼って,一般的テストシーケンス生成方法をサポートして,抽象的テストシーケンスから対応する実行可能なテストシーケンスを得て,このフレームワークの合理性を証明した。同時に,対応するテストコンポーネントを,このフレームワークによって設計して,実用化して,次に,IPv6環境の下で,OpenFlowプロトコルを,IPv6環境の下で,IPv6によってサポートするいくつかのエラーを実現するように,OpenFlowプロトコルを,試験するために,用いた。期待効果を達成した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： *プロトコル ,  完全性
準シソーラス用語： OpenFlow ,  IP【プロトコル】 ,  合理性 ,  高効率 , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (2件)： 形式化 ,  事例解析