New demo: testing C code from Erlang
17th November, 2009The new release of QuickCheck provides an easy way
to test C code from Erlang; C functions can be called from Erlang with
no need for any hand-written glue code at all. A new online video demo
uses a simple example--a circular buffer implementation--to show how
easy it is to start testing C from the Erlang shell. We also show
testing the C code using a QuickCheck finite state machine specification,
which provokes minimized failed tests that quickly reveal two bugs in
the implementation.
To watch the video, click
here (about 15 minutes).
|
|