Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service
复制标题
DropBox 的奥秘：分布式同步服务的基于属性的测试
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
U. Norell
中科院分区：
文献类型：
--
作者：
John Hughes;B. Pierce;T. Arts;U. Norell
像Dropbox这样的文件同步服务被数亿人用来复制重要数据。然而，他们的行为缺乏严格的模型。我们提出了现代文件同步器核心行为的第一个正式且可测试的模型，并使用它发现了两个广泛部署的同步器中令人惊讶的行为。我们的模型基于一种测试不确定系统的技术，该技术避免了要求系统的内部选择对测试框架可见的要求。
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 testing framework.
DOI：
10.1145/2815400.2815411
发表时间：
2015-10
期刊：
Proceedings of the 25th Symposium on Operating Systems Principles
影响因子：
--
作者：
T. Ridge;David Sheets;T. Tuerk;A. Giugliano;Anil Madhavapeddy;Peter Sewell
通讯作者：
T. Ridge;David Sheets;T. Tuerk;A. Giugliano;Anil Madhavapeddy;Peter Sewell