Model-Based API Testing of Apache ZooKeeper

Apache ZooKeeper is a distributed data storage that is highly concurrent and asynchronous due to network communication, testing such a system is very challenging. Our solution using the tool "Modbat" generates test cases for concurrent client sessions, and processes results from synchronou...

Full description

Saved in:
Bibliographic Details
Published in2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) pp. 288 - 298
Main Authors Artho, Cyrille, Gros, Quentin, Rousset, Guillaume, Banzai, Kazuaki, Lei Ma, Kitamura, Takashi, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.03.2017
SeriesIEEE International Conference on Software Testing Verification and Validation
Subjects
Apache ZooKeeper
asynchronous systems
Complexity theory
Computational modeling
Computer science
concurrency
Electronic mail
Model-based testing
networked systems
Servers
test oracle
Testing
Online AccessGet full text

Cover

More Information
Summary:Apache ZooKeeper is a distributed data storage that is highly concurrent and asynchronous due to network communication, testing such a system is very challenging. Our solution using the tool "Modbat" generates test cases for concurrent client sessions, and processes results from synchronous and asynchronous callbacks. We use an embedded model checker to compute the test oracle for non-deterministic outcomes, the oracle model evolves dynamically with each new test step. Our work has detected multiple previously unknown defects in ZooKeeper. Finally, a thorough coverage evaluation of the core classes show how code and branch coverage strongly relate to feature coverage in the model, and hence modeling effort.
ISBN:9781509060313
1509060316
DOI:10.1109/ICST.2017.33