Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service
Paper i proceeding, 2016

File synchronization services such as Dropbox are used by hundreds of millions of people to replicate vital data. Yet rigorous models of their behavior are lacking. We present the first formal---and testable---model of the core behavior of a modern file synchronizer, and we use it to discover surprising behavior in two widely deployed synchronizers. Our model is based on a technique for testing nondeterministic systems that avoids requiring that the system's internal choices be made visible to the testing framework.

dropbox

software testing

file synchronization

random testing

quickcheck

Författare

John Hughes

Chalmers, Data- och informationsteknik, Programvaruteknik

Benjamin C. Pierce

University of Pennsylvania

Thomas Arts

Quviq Ab

Ulf Norell

Göteborgs universitet

Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016

135-145 7515466

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

DOI

10.1109/ICST.2016.37

ISBN

978-1-5090-1826-0

Mer information

Senast uppdaterat

2018-09-06