Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in theoretical computer science. Directly after his PhD, Thomas started at Ericsson’s computer Science Lab on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools. Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software.
Kivra is a company that allows users to get their official post in a digital mailbox. Invoices can also arrive in that mailbox and Kivra for a long time supports a feature to pay those invoices manually. When a new feature of automatic payments was going to be added to this system, Kivra decided to take help of Quviq for additional testing support. With help of property-based testing the new feature and the interaction between the new feature and existing features has been extensively tested. For Kivra, this meant extra resource to their development team focussing on quality assurance.
In this talk we give an experience report on adopting the new technology. We explain the benefits for, and impact on, the Kivra team.
Talk objectives:
Target audience