文献

J-GLOBAL ID：201702284995657865   整理番号：17A1027306

Apache ZooKeeperのモデルベースAPI試験【Powered by NICT】

Model-Based API Testing of Apache ZooKeeper

著者 (9件)： Artho Cyrille ,  Gros Quentin ,  Rousset Guillaume ,  Banzai Kazuaki ,  Ma Lei ,  Kitamura Takashi ,  Hagiya Masami ,  Tanabe Yoshinori ,  Yamamoto Mitsuharu
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICST  ページ： 288-298  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Apache ZooKeeperは高度に同時とネットワーク通信による非同期分散データ蓄積であり,このようなシステムは非常に挑戦的な試験。ツール「Modbat」を用いたこの解決策は同時クライアントセッションのためのテストケースを生成し,プロセスは同期および非同期かけ直しに起因する。非決定論的転帰のための試験オラクルを計算するための埋め込みモデル検査器を用いて,オラクルモデルは,各新しい試験段階で動的に発展した。ZooKeeperにおける複数のこれまで知られていない欠陥を検出した。コアクラスの完全な被覆率評価は,コードと分岐カバレッジはモデルにおける特徴被覆率と強く関係しているかを示し,モデル化の努力。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： モデリング ,  データ蓄積 ,  モデル検査 ,  *被覆率
準シソーラス用語： カバレッジ【プログラム検証】 ,  テストケース ,  *モデルベース , 【Automatic Indexing@JST】

分類 (2件)： ディジタル計算機方式一般  (JC02010O) ,  計算理論  (JB02000A)

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