QuickCheck helps develop mission-critical software at Motorola
QuickCheck helped develop a mission-critical gateway at Motorola, ensuring that the new gateway would not crash the legacy systems it was connected to.
Torben Hoffman’s talk at the 2010 Erlang User Conference:
“How do you integrate a new component into a mission-critical, legacy system with the key requirement that existing functionality must not be affected? We used QuickCheck to specify the behaviour for the existing system and then we attached our component to validate its behaviour.
In this talk we highlight how property based testing using QuickCheck was beneficial and fun for our project where we lacked full documentation and understanding of the legacy behaviour. Using QuickCheck we were able to produce and validate that our component had the high quality requested as well as allow us to focus our testing into specific areas with very little effort.”