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.
Panel
- Justin SheehyÂ
- Torban HoffmanÂ
- Kostis Sagonis http://user.it.uu.se/~kostis/
- Zach KessinÂ
Links
- Proper
- QuickCheck
- Testing Erlang Book
- Concuerror
- CutER â Stay Tuned!
- Concolic Testing
- Cute
- jCute
- SAGE
Examples of Property Based Testing in Riak and Chicago Boss
- https://github.com/basho/bitcask/blob/develop/test/bitcask_qc.erl
- https://github.com/basho/bitcask/blob/develop/test/bitcask_qc_fsm.erl
- https://github.com/basho/riak_kv/blob/develop/test/crdt_statem_eqc.erl
- https://github.com/basho/riak_kv/blob/develop/test/get_fsm_eqc.erl
- https://github.com/basho/riak_core/blob/develop/test/hashtree_eqc.erl
- https://github.com/basho/riak_core/blob/develop/test/vclock_qc.erl
- https://github.com/zkessin/boss_db/blob/master/test/boss_record_compiler_test.erl
- https://github.com/zkessin/boss_db/blob/master/test/boss_compiler_test.erl
Project Idea
- .emacs with everything for erlang
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.