Today John Hughes presented a paper at the ACM SIGPLAN Erlang Workshop on tracking down race conditions in dets, the storage layer of Erlang's built-in database Mnesia. These race conditions have been causing regular crashes in production (every week or so at a fast-growing web invoicing company), but have proven very difficult to find. Previous investigation suggested a database of 1GB or more was needed to provoke the race condition; Quviq QuickCheck could provoke it with a database containing just one record--even though the error only occurred once in 1,000 executions of each potentially failing test case.
Thanks to Quviq, the race condition has been found and fixed, making Erlang/OTP an even more stable platform in the future.
Prev: Motorola Develop Mission-Critical Software with QuickCheck
Next: Volvo Cars chooses Quviq QuickCheck to certify embedded basic software