QuviQ QuickCheck improves quality of IP-telephony product from Ericsson

Ericsson’s Media Proxy product was tested in part using QuviQ QuickCheck. Working together, QuviQ and Ericsson developers began finding errors on the first day QuickCheck was deployed, and with relatively little effort found a number of tricky errors that conventional testing had missed.

The Media Proxy is part of a media firewall for IP telephony. QuickCheck was used to test its control software (150,000 lines of code), by sending control messages according to ITU standard protocol H.248–the ”Megaco” protocol. The software was simultaneously tested using a rigorous conventional testing approach; comparison showed that the effort-per-error-found was many times lower when using QuickCheck.

A detailed account was presented in September, 2006, at the ACM SIGPLAN Erlang Workshop in Portland, Oregon, and also at ”Smarter Testing”, the Ericsson Test Conference of 2006 in Linköping, Sweden.