Art
J-GLOBAL ID：201702284995657865   Reference number：17A1027306

Model-Based API Testing of Apache ZooKeeper

Apache ZooKeeperのモデルベースAPI試験【Powered by NICT】
Author (9)：
Artho Cyrille

About Artho Cyrille

, 
Gros Quentin

About Gros Quentin

, 
Rousset Guillaume

About Rousset Guillaume

, 
Banzai Kazuaki

About Banzai Kazuaki

, 
Ma Lei

About Ma Lei

, 
Kitamura Takashi

About Kitamura Takashi

, 
Hagiya Masami

About Hagiya Masami

, 
Tanabe Yoshinori

About Tanabe Yoshinori

, 
Yamamoto Mitsuharu

About Yamamoto Mitsuharu


Material：
IEEE Conference Proceedings  (IEEE Conf Proc)

About IEEE Conference Proceedings


Volume： 2017  Issue： ICST  Page： 288-298  Publication year： 2017 
JST Material Number： W2441A  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Apache ZooKeeper is a distribu...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A1027306&from=J-GLOBAL&jstjournalNo=W2441A") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
modeling

About modeling

, 
data storage

About data storage

, 
model checking

About model checking

, 
*coverage factor

About coverage factor


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
カバレッジ【プログラム検証】

About カバレッジ【プログラム検証】

, 
テストケース

About テストケース

, 
*モデルベース

About モデルベース

, 【Automatic Indexing@JST】
JST classification (2)：
JST classification
Category name(code) classified by JST.
Digital computer systems in general 
(JC02010O)

About Digital computer systems in general

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
APACHE

About APACHE

, 
モデルベース

About モデルベース

, 
API

About API

, 
試験

About 試験


Return to Previous Page

TOP

BOTTOM