|
|
Erlang eXchange 2008: John Hughes on Quick Check for Erlang
Quick Check for Erlang
Testing is a major part of all software development—yet no matter how much effort is spent on it, some errors always seem to slip through. Cases which no‐one thought to test crash systems late in development or out in the field, revealing errors which cost time and money to analyze, diagnose, and fix. In the worst case, such errors reveal fundamental flaws which force a redesign of part of the system, at disproportionate cost.
In this erlang session, QuickCheck is an automated testing tool which addresses these problems by generating test cases from a concise specification (so that many more cases can be tested), and simplifying failing cases to a minimal example on a test failure (so that fault diagnosis is quick and easy). QuickCheck enables developers to dramatically improve test coverage, and find obscure errors at an earlier stage, lowering costs and improving quality as a result.
Download the slides here
ABOUT JOHN HUGHES
|
John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck, which is written in Erlang. He was also deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language s
More about John Hughes
|
|
PODCAST QUICK CHECK FOR ERLANG
This session took part at the Erlang eXchange 2008. You can view the other 29 podcasts here.
|
|
|
