Tuesday 4th December, 2012
3:35pm to 4:25pm
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 it just isn't practical to test for with a hand-written test suite.
Target audience: Anyone interested in testing more with less work!
Professor at Chalmers, long-time functional programmer, founder of Quviq AB. bio from Twitter
Sign in to add slides, notes or videos to this session