Motorola Develop Mission-Critical Software with QuickCheck

17 November, 2010

Speaking at the Erlang User Conference in Stockholm, Torben Hoffmann and Raghav Karol from Motorola Solutions described how Motorola used QuickCheck in the development of a new gateway to connect two TETRA systems in Romania--a mission-critical, legacy system. The gateway had to perform complex stateful protocol conversion, between legacy protocols which were only incompletely specified, with the primary requirement that the existing system must not crash. The team used QuickCheck to simulate mobile phone handsets using the system, first to specify the behaviour of the existing system, and then to validate it together with the new gateway. QuickCheck enabled the team to deliver the high quality needed, with relatively little effort devoted to testing. As Torben says, "QuickCheck quality never sleeps"!

Torben and Raghav's slides can be found here.