Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Model-based API Testing of Apache ZooKeeper
KTH, School of Computer Science and Communication (CSC). National Institute of Advanced Industrial Science and Technology (AIST), Japan.
Show others and affiliations
2017 (English)In: 2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), IEEE , 2017, 288-298 p.Conference paper, (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE , 2017. 288-298 p.
Series
IEEE International Conference on Software Testing Verification and Validation, ISSN 2381-2834
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:kth:diva-210965DOI: 10.1109/ICST.2017.33ISI: 000403393600026Scopus ID: 2-s2.0-85018894865ISBN: 978-1-5090-6031-3 (print)OAI: oai:DiVA.org:kth-210965DiVA: diva2:1121693
Conference
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), MAR 13-17, 2017, Tokyo, JAPAN
Note

QC 20170712

Available from: 2017-07-12 Created: 2017-07-12 Last updated: 2017-07-12Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Artho, Cyrille
By organisation
School of Computer Science and Communication (CSC)
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 12 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf