Talking head
Erlang Factory Lite Krakow, Poland 2012

We are all used to writing EUnit test cases, but are they good enough? Are we missing some relevant unit tests in our test suite? With the bluefringe algorithm one can compute a state machine that describes the tests in the suite and additional tests that seems to hold as well. By using QuickCheck as an underlaying motor, one can then generate EUnit tests that improve your test suite. Together QuickCheck and bluefringe form a useful pair for those that want to learn writing QuickCheck state machines but need examples on their own code and EUnit test suites.

Rated: Everyone
Viewed 620 times
Tags: There are no tags for this video.