Home // SnT // News & E... // Research Seminar: Model-based API Testing of Apache ZooKeeper

Research Seminar: Model-based API Testing of Apache ZooKeeper

twitter linkedin facebook google+ email this page
Add to calendar
Speaker: Prof. Cyrille Artho, KTH Royal Institute of Technology, Stockholm
Event date: Friday, 17 November 2017, 14:00 - 15:00
Place: 29 Avenue J.F. Kennedy
Room E004, JFK Building
L-1855 Kirchberg

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 shows how code and branch coverage strongly relate to feature coverage in the model, and hence modeling effort.

Cyrille Artho's main interests are software verification and software engineering. In his master's thesis and Ph.D. at ETH Zurich, he investigated different approaches for finding faults in multi-threaded programs. In particular, in joint work with NASA Ames, he found that high-level data races can show potential problems in concurrent software even if individual data accesses are safe. After his Ph.D., Artho worked for two years at the National Institute of Informatics as a Postdoctoral Researcher. From April 2007 till July 2016, he worked at the AIST in Tokyo and Osaka as Research Scientist and later Senior Researcher. He currently holds a position as Associate Professor at KTH Royal Institute of Technology in Stockholm.