HOME JAVA & JEE AJAX & RIA AGILE & SCRUM SOA & REST ERLANG RUBY ON RAILS OPEN SOURCE .NET DESIGN & DDD CLOUD & GRID  
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
Digg! StumbleUpon
ERLANG PODCASTS
Peter Pilgrim:Erlang eXchange UG Session: Rich Internet Applications with Java FX, RIA with JavaFX
Peter Pilgrim : 26th Jun 2008
View Podcast: Erlang eXchange UG Session: Rich Internet Applications with Java FX,
Francesco Cessarini:Erlang eXchange UG Session: Erlang & Web, Erlang & Web
Francesco Cessarini : 26th Jun 2008
Podcast Coming Soon: Erlang eXchange UG Session: Erlang & Web,
Murray Steele:Erlang eXchange UG Session: LRUG, Ruby & Erlang and our Communities, LRUG, Ruby & Erlang
Murray Steele : 26th Jun 2008
View Podcast: Erlang eXchange UG Session: LRUG, Ruby & Erlang and our Communities,
Ganesh Sittampalam:Erlang eXchange UG Session: Concurrent and Multicore Haskell, Concurrent & Multicore Haskell
Ganesh Sittampalam : 26th Jun 2008
View Podcast: Erlang eXchange UG Session: Concurrent and Multicore Haskell,
Joe Armstrong:Erlang Keynote: Armstrong on Software: Erlang & SMP, Armstrong on Software: Erlang
Joe Armstrong : 26th Jun 2008
View Podcast: Erlang Keynote: Armstrong on Software: Erlang & SMP,
Reshma Sohoni:Introducing Seedcamp, Introducing Seedcamp
Reshma Sohoni : 26th Jun 2008
View Podcast: Introducing Seedcamp,
Gordon Guthrie:Erlang/OTP Vs Google App Engine, The CEO View, Erlang/OTP Vs Google App Engin
Gordon Guthrie : 26th Jun 2008
View Podcast: Erlang/OTP Vs Google App Engine, The CEO View,
Alexander Reinefeld:Building a transactional distributed data store with Erlang, Building a transactional distr
Alexander Reinefeld : 26th Jun 2008
View Podcast: Building a transactional distributed data store with Erlang,
Karthik Ramachandra:Load Testing of Web Applications, Load Testing of Web Applications...
Karthik Ramachandra : 26th Jun 2008
View Podcast: Load Testing of Web Applications,
Karthik Ramachandra:Interview on Erlang, Interview with O'Reily GMT on
Karthik Ramachandra : 26th Jun 2008
View Podcast: Interview on Erlang,
Simon Thompson:Wrangerl, The Erlang Refactoring Tool, Wrangerl, The Erlang Refactori
Simon Thompson : 26th Jun 2008
View Podcast: Wrangerl, The Erlang Refactoring Tool,
Nicholas Gunder:Introducing Erlang to Motorola: The Journey to Success, The Journey to Success
Nicholas Gunder : 26th Jun 2008
View Podcast: Introducing Erlang to Motorola: The Journey to Success,
Corrado  Santoro:Erlang & Robotics: The ROSEN Framework at the Eurobot 2008 Competion, Erlang & Robotics
Corrado Santoro : 26th Jun 2008
View Podcast: Erlang & Robotics: The ROSEN Framework at the Eurobot 2008 Competion,
Xingdong Bian:Building Web Applications in Erlang, Building Web Appliciations in
Xingdong Bian : 26th Jun 2008
View Podcast: Building Web Applications in Erlang,
Erik Stenman:Erlang in Financial Applications, Erlang in Financial Applicatio
Erik Stenman : 26th Jun 2008
View Podcast: Erlang in Financial Applications,
OTHER ERLANG EVENTS
:Erlang Primer: An Introduction in Erlang,  Erlang Introduction
1 DAY COURSE.
London, Monday, January 19th
:Erlang By Example,  Erlang By Example
5 DAY COURSE.
London, Monday, January 26th
:Erlang Open Telecom Platform,  Erlang Open Telecom Platform
5 DAY COURSE.
London, Monday, February 9th
Venkat Subramaniam Caring About Code Quality,  Caring About Code Quality
FREE EVENT: In The Brain of Venkat Subramaniam
London, Thursday, February 12th
Andy Hunt:Andy Hunt's Pragmatic Thinking & Learning: Refactor your Wetware,  Pragmatic Thinking & Learning
1 DAY COURSE. Featuring Andy Hunt
London, Monday, March 16th
:Advanced Track: OTP Express,  OTP Express (Advanced)
3 DAY COURSE.
London, Monday, June 1st
:Beginners' Track: Erlang Express,  Erlang Express (Beginners)
3 DAY COURSE.
London, Monday, June 1st
Andy Hunt:Andy Hunt's Pragmatic Thinking & Learning: Refactor your Wetware,  Pragmatic Thinking & Learning
1 DAY COURSE. Featuring Andy Hunt
London, Monday, June 15th
© Copyright 2003-2008, Skills Matter Ltd
  Web development by You In Control
About Us  Jobs  Find Us  Meeting & Training Rooms  Newsletter  Community  Community-FR  Heros  Promotions  Apress