00:00
2050
In this presentation we present a method for testing library modules that implement data structures. The method is applicable to OTP libraries like sets, dict, queue etc, but also to your own libraries.
The method is based on writing a data type specification in Erlang and using QuickCheck to generate test cases. The method guarantees that the data structure is fully tested and that no other tests need to be added.