027 The State of the Art in Testing with Kostis

Download Link: http://mostlyerlang.files.wordpress.com/2014/01/027_next_generation_testing.mp3

Today we are joined by Kostis to talk about the state of the art of testing tools. We talk about Property based testing with QuickCheck and Proper and how you can use it in your programs to improve code quality. We then move on to concurrency testing and finding of race condition with Concuerror and how to find Heisenbugs.

We finish with new tools for Concolic testing that are now in development and should be an even more powerful way to find bugs in the future.


Examples of Property Based Testing in Riak and Chicago Boss

Project Idea

  • .emacs with everything for erlang

One thought on “027 The State of the Art in Testing with Kostis”

  1. This was a really good episode. Definitely one that I’ll re-listen to.

    I just wish that PropEr was licensed under the LGPL instead of the GPL.

    ZeroMQ is a great example of an open-source project that uses an LGPL license — http://zeromq.org/area:licensing , while simultaneously allowing great user adoption together with strong copyleft benefits — http://hintjens.com/blog:68

    Anyway, thanks for the podcast, and it’s definitely opened up my exploration into better testing practices.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. ( Log Out / Change )

Twitter picture

You are commenting using your Twitter account. ( Log Out / Change )

Facebook photo

You are commenting using your Facebook account. ( Log Out / Change )

Google+ photo

You are commenting using your Google+ account. ( Log Out / Change )

Connecting to %s