A PropEr integration of types and function specifications with property-based testing

Authors:
Manolis Papadakis;Konstantinos Sagonas
Affiliations:
National Technical University of Athens, Athens, Greece;National Technical University of Athens, Athens, Greece
Venue:
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Year:
2011

Citing 6
Cited 3

QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Practical type inference based on success typings

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
EUnit: a lightweight unit testing framework for Erlang

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Testing telecoms software with quviq QuickCheck

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
A language for specifying type contracts in erlang and its interaction with success typings

ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Automated Test Generation and Verified Software

Verified Software: Theories, Tools, Experiments

TinyMT pseudo random number generator for Erlang

Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Hansei: property-based development of concurrent systems

Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
Using semantics specified in maude to generate test cases

ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a tight integration of the language of types and function specifications of Erlang with property-based testing. To achieve this integration we have developed from scratch PropEr, an open-source QuickCheck-inspired property-based testing tool. We present technical details of this integration, most notably how the conversion of recursive types into appropriate generators takes place and how function specifications can be turned automatically into simple properties in order to exercise the code of these functions. Finally, we present experiences and advice for the proper use of PropEr.