Software testing with QuickCheck
Paper in proceedings, 2010

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.

Author

John Hughes

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 6299 183-223

Subject Categories

Computer and Information Science

DOI

10.1007/978-3-642-17685-2_6

ISBN

978-364217684-5

More information

Created

10/8/2017