Paper Info
Title
Testing Erlang data types with quviq quickcheck
Abstract
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 has been used on a daily basis for several years.
Year
DOI
Venue
2008
10.1145/1411273.1411275
Erlang Workshop
Keywords
Field
DocType
new basic brick,data type,quviq quickcheck,better shrinking,basic brick,random testing,testing data type,appropriate data type,commercial product,testing erlang data type,test case,natural sciences,computer science,risk management,product development,testing,software engineering,information system,computer and information science,verification,erlang,information technology,datatypes
Random testing,Programmer,Programming language,Computer science,Information technology,Erlang (programming language),Software,Data type,Test data,Test case
Conference
Citations 
PageRank 
References 
22
1.15
4
Authors
3
Name
Order
Citations
PageRank
Thomas Arts114410.05
Laura M. Castro25010.39
John Hughes31573174.22