Art

J-GLOBAL ID：202002210059016641   Reference number：20A2583319

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

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

Author (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)
Material： Software Testing, Verification & Reliability  (Softw Test Verif Reliab)
Volume： 30  Issue： 7-8  Page： e1720  Publication year： 2020 
JST Material Number： W0720A  ISSN： 0960-0833  CODEN： JTREET  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)

Abstract/Point： In this paper, we extend work ...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A2583319&from=J-GLOBAL&jstjournalNo=W0720A") }}

Thesaurus term： *audience

Author keywords (6)： Apache ZooKeeper ,  asynchronous systems ,  concurrency ,  model-based testing ,  networked systems ,  trigger

JST classification (3)： Other digital computer systems  (JC02050G) ,  Graphic and image processing in general  (JE04010I) ,  Operating systems  (JD03020J)

Terms in the title (4)： APACHE ,  モデルベース ,  試験 ,  API