QuviQ presents QuickCheck case study at ACM workshop

16 September 2006

John Hughes presented a paper describing an application of Quviq QuickCheck at the ACM Erlang Workshop at the Portland Marriott, Oregon. This workshop is part of the main event of the year for researchers interested in functional programming--the ACM's International Conference on Functional Programming (ICFP) and its satellite workshops.

The case study, carried out at Ericsson's site in Älvsjö, Sweden, was to test Ericsson's then soon-to-be-released Media Proxy product, intended for carrying IP-telephony across firewalls. The Media Proxy contains over 1.5 million lines of code. It is controlled remotely using the H.248 ("Megaco") protocol, which defines commands (among others) to add, remove, and modify the properties of participants in IP-calls. Quviq QuickCheck was used to find short sequences of such commands that caused failures in the Proxy, revealing a number of errors with relatively little work.

Thanks to the success of this project, Quviq QuickCheck will be introduced on a larger scale at Ericsson.