Quviq News

John Hughes awarded Erlang User of the Year

thomas.arts@quviq.com (Thomas Arts) — Thu 8 Nov 2007 18:00:00 +0100

At the Erlang User Conference, John Hughes received the prestiges "Erlang User of the Year" award.

Open QuickCheck course before EUC

thomas.arts@quviq.com (Thomas Arts) — Mon 3 Sep 2007 09:00:00 +0100

Before this years Erlang User Conference, Quviq hold an open QuickCheck course for anyone interested to learn more about this testing tool. Reserve today for November 6 and 7 in Gothenburg!

Quviq presents at JAOO

thomas.arts@quviq.com (Thomas Arts) — Mon, 27 Aug 2007 09:00:00 +0100

Quviq has been invited to present at JAOO in Århus, Denmark. JAOO (Java And Object Oriented software engineering) is a prestigious annual conference attended by around a thousand developers from all over the world, which aims to present exciting new ideas covering a broad range of topics in professional software development. Quviq's talk will describe property-based testing, and our experiences of applying it in practice with Quviq QuickCheck. The talk will be presented by Dr. Thomas Arts on September 24th.

Ericsson evaluation finds Quviq QuickCheck can deliver substantial savings

thomas.arts@quviq.com (Thomas Arts) — Wed, 22 Aug 2007 09:00:00 +0100

An evaluation of QuickCheck performed at Ericsson's site in Kista has found that QuickCheck can deliver substantial savings. QuickCheck was used to test part of the functionality of Ericsson's 3G Radio Base Station, specifically configuring radio links using the 3GPP standard NBAP protocol. As well as finding a number of problems in the software under test, the authors studied similar problems discovered at a late stage (or even in the field), that QuickCheck would almost certainly have found earlier. They estimate the cost savings of doing so at over 60%. The report concludes that QuickCheck is "well suited" for testing these types of systems; that it offers an "excellent possibility" to generate complex message sequences, which combined with shrinking, is "impressive functionality"; and that "test cases written using QuickCheck are easier to maintain", thanks to considerably smaller code than traditional test suites. Moreover, QuickCheck can, quite simply, find errors that are infeasible to find by conventional testing. A report on the evaluation is available from Linköping University.