Software testing with QuickCheck
Paper i proceeding, 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.
Författare
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 6299 183-223978-364217684-5 (ISBN)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-642-17685-2_6
ISBN
978-364217684-5