文献

J-GLOBAL ID：202002210059016641   整理番号：20A2583319

Apache ZooKeperのモデルベース試験:基本的API使用とウォッチング【JST・京大機械翻訳】

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers

著者 (10件)： Artho Cyrille (School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden) ,  Artho Cyrille (Institute of Information Technology Research, National Institute of Advanced Industrial Science and Technology, Osaka, Japan) ,  Banzai Kazuaki (Department of Computer Science, The University of Tokyo, Tokyo, Japan) ,  Gros Quentin (Polytech Nantes, University of Nantes, Nantes, France) ,  Rousset Guillaume (Polytech Nantes, University of Nantes, Nantes, France) ,  Ma Lei (Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan) ,  Kitamura Takashi (Institute of Information Technology Research, National Institute of Advanced Industrial Science and Technology, Osaka, Japan) ,  Hagiya Masami (Department of Computer Science, The University of Tokyo, Tokyo, Japan) ,  Tanabe Yoshinori (Department of Library, Archival, and Information Studies, Tsurumi University, Yokohama, Japan) ,  Yamamoto Mitsuharu (Department of Mathematics and Informatics, Chiba University, Chiba, Japan)
資料名： Software Testing, Verification & Reliability  (Software Testing, Verification & Reliability)
巻： 30  号： 7-8  ページ： e1720  発行年： 2020年 
JST資料番号： W0720A  ISSN： 0960-0833  CODEN： JTREET  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,Apache ZoKeeperのモデルベース試験に関する研究を拡張し,視聴者(トリガー)を扱い,スケーラビリティを改善した。ZooKeeperのような分散型非同期共有ストレージにおいて,視聴者は状態変化に通知を送る。視聴者の通知は,視聴者をセットする初期行動を含み,続いて以前に見られる状態を変化させる別の行動を含むので,試験が困難である。ツールModbatを用いてZooKeeperに対して実行する同時クライアントセッションに対するテストケースを生成する方法を示した。テストは,ネットワーク通信のすべての可能なタイミングを考慮したオラクルに対して検証される。オラクルは,初期呼出しとその後の視聴者通知の両方を誘発するイベントの連鎖が存在することを検証した。著者らは,オラクルが,視聴トリガーが正しいかどうか,そして,このモデルがどのように適応され,これらの特徴を取り扱うために改善されるかを詳細に示す。速度と精度の両方を増加させる新しい探索改善と共に,大きなテストセットアップを検証し,著者らのモデルでいくつかの欠陥を確認した。Copyright 2020 Wiley Publishing Japan K.K. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *視聴者

著者キーワード (6件)： Apache動物プランクトン ,  非同期システム ,  並行性 ,  モデルベース試験 ,  ネットワーク化システム ,  トリガー

分類 (3件)： その他のディジタル計算機方式  (JC02050G) ,  図形・画像処理一般  (JE04010I) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (4件)： APACHE ,  モデルベース ,  試験 ,  API