Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers.
Saved in:
| Title: | Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers. |
|---|---|
| Authors: | Artho, Cyrille, Banzai, Kazuaki, Gros, Quentin, Rousset, Guillaume, Ma, Lei, Kitamura, Takashi, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu |
| Source: | Software Testing: Verification & Reliability; Nov/Dec2020, Vol. 30, p1-29, 29p |
| Subject Terms: | SCALABILITY, TELECOMMUNICATION systems |
| Abstract: | Summary: In this paper, we extend work on model‐based testing for Apache ZooKeeper, to handle watchers (triggers) and improve scalability. In a distributed asynchronous shared storage like ZooKeeper, watchers deliver notifications on state changes. They are difficult to test because watcher notifications involve an initial action that sets the watcher, followed by another action that changes the previously seen state. We show how to generate test cases for concurrent client sessions executing against ZooKeeper with the tool Modbat. The tests are verified against an oracle that takes into account all possible timings of network communication. The oracle has to verify that there exists a chain of events that triggers both the initial callback and the subsequent watcher notification. We show in detail how the oracle computes whether watch triggers are correct and how the model was adapted and improved to handle these features. Together with a new search improvement that increases both speed and accuracy, we are able to verify large test setups and confirm several defects with our model. [ABSTRACT FROM AUTHOR] |
| Copyright of Software Testing: Verification & Reliability is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!