LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Simplifying failure-inducing input
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional 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
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Automating software tests with partial oracles in integrated environments
Proceedings of the 5th Workshop on Automation of Software Test
Ranking programs using black box testing
Proceedings of the 5th Workshop on Automation of Software Test
QuickCheck testing for fun and profit
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.00 |
This paper presents a tutorial, with extensive exercises, in the use of Quviq QuickCheck--a property-based testing tool for Erlang, which enables developers to formulate formal specifications of their code and to use them for testing. We cover the basic concepts of properties and test-data generators, properties for testing abstract data types, and a state-machine modelling approach to testing stateful systems. Finally we discuss applications of QuickCheck in industry.