Riak is one of the new breed of no-SQL database management systems, which has begun to replace relational databases for some applications. Riak is a distributed key-value store, inspired by Amazon’s Dynamo, designed for applications where scalability, low latency and high availability are critical. Riak uses replication to provide fast access to data, even when multiple nodes or parts of the network fail. It supports concurrent access to the same data by multiple clients, even when the network is partitioned. All of this makes it very hard to test. I will show how QuickCheck helped us to model Riak’s behaviour, improving understanding and revealing the occasional bug. Talk objectives: To show how property-based testing can be used to find subtle interactions that just aren't practical to test with a hand-written test suite. Target audience: Anyone interested in testing more with less work!

No outline is available