CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Software testing with QuickCheck

John Hughes (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Lecture Notes in Computer Science. 3rd Central European Functional Programming School, CEFP 2009, Komarno, 25-30 May 2009 (0302-9743). Vol. 6299 (2010), p. 183-223.
[Konferensbidrag, refereegranskat]

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.



Denna post skapades 2012-02-10. Senast ändrad 2017-09-14.
CPL Pubid: 154999

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)

Ämnesområden

Information Technology

Chalmers infrastruktur