TY - GEN
T1 - Model-Based API Testing of Apache ZooKeeper
AU - Artho, Cyrille
AU - Gros, Quentin
AU - Rousset, Guillaume
AU - Banzai, Kazuaki
AU - Ma, Lei
AU - Kitamura, Takashi
AU - Hagiya, Masami
AU - Tanabe, Yoshinori
AU - Yamamoto, Mitsuharu
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/5/15
Y1 - 2017/5/15
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85018894865&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85018894865&partnerID=8YFLogxK
U2 - 10.1109/ICST.2017.33
DO - 10.1109/ICST.2017.33
M3 - Conference contribution
AN - SCOPUS:85018894865
T3 - Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
SP - 288
EP - 298
BT - Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
Y2 - 13 March 2017 through 17 March 2017
ER -