Sciweavers

Share
ERLANG
2008
ACM

Testing Erlang data types with quviq quickcheck

11 years 11 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over many years. But sometimes, the appropriate data type is unavailable in the libraries and has to be constructed from scratch. In this way, new basic bricks are created, and potentially used in many products in the future. It pays off to test such data types thoroughly. This paper presents a structured methodology to follow when testing data types using Quviq QuickCheck, a tool for random testing against specifications. The validation process will be explained carefully, from the convenience of defining a model for the datatype to be tested, to a strategy for better shrinking of failing test cases, and including the benefits of working with symbolic representations. The leading example in this paper is a data type implemented for a risk management information system, a commercial product developed in Erlang, that...
Thomas Arts, Laura M. Castro, John Hughes
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ERLANG
Authors Thomas Arts, Laura M. Castro, John Hughes
Comments (0)
books