CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service

John Hughes (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Benjamin Pierce ; Thomas Arts ; Ulf Norell
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016 (2381-2834). p. 135-145. (2016)
[Konferensbidrag, refereegranskat]

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.

Nyckelord: software testing, quickcheck, random testing, file synchronization, dropbox

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2016-02-29. Senast ändrad 2017-09-14.
CPL Pubid: 232551


Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)
Institutionen för data- och informationsteknik, datavetenskap, programmeringslogik (GU) (GU)


Informations- och kommunikationsteknik

Chalmers infrastruktur