Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service

@article{Hughes2015MysteriesOD,
  title={Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service},
  author={John Hughes and Benjamin C. Pierce and Thomas Arts and Ulf Norell},
  journal={2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)},
  year={2015},
  pages={135-145}
}
File synchronization services such as Dropbox are used by hundreds ofmillions of people to replicate vital data. Yet rigorous models of theirbehavior are lacking. We present the first formal -- and testable -- model ofthe core behavior of a modern file synchronizer, and we use it to discoversurprising behavior in two widely deployed synchronizers. Our model isbased on a technique for testing nondeterministic systems that avoidsrequiring that the system's internal choices be made visible to the… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 31 REFERENCES

Software Testing with QuickCheck

  • CEFP
  • 2009
VIEW 18 EXCERPTS
HIGHLY INFLUENTIAL

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

  • International Conference on Software Engineering Advances (ICSEA 2007)
  • 2007
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Testing AUTOSAR software with QuickCheck

  • 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  • 2015
VIEW 1 EXCERPT

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

  • 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops
  • 2013
VIEW 2 EXCERPTS

Similar Papers

Loading similar papers…