论文信息 - Software Testing with QuickCheck

Software Testing with QuickCheck

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.

John Hughes | John Hughes

[1] Philip Wadler,et al. Comprehending monads , 1990, LISP and Functional Programming.

[2] Andreas Zeller,et al. Simplifying failure-inducing input , 2000, ISSTA '00.

[3] Michael A. Ramalho,et al. Media Gateway Control Protocol Architecture and Requirements , 2000, RFC.

[4] Matthias M. Müller,et al. Experiment about test-first programming , 2002, IEE Proc. Softw..

[5] C. A. R. Hoare,et al. Proof of correctness of data representations , 1972, Acta Informatica.

[6] Richard Carlsson,et al. EUnit: a lightweight unit testing framework for Erlang , 2006, ERLANG '06.

[7] John Hughes,et al. Testing telecoms software with quviq QuickCheck , 2006, ERLANG '06.

[8] John Hughes,et al. QuickCheck Testing for Fun and Profit , 2007, PADL.

[9] Jonas Boberg. Early fault detection with model-based testing , 2008, ERLANG '08.

[10] Koen Claessen,et al. Ranking programs using black box testing , 2010, AST '10.

[11] René Just,et al. Automating software tests with partial oracles in integrated environments , 2010, AST '10.

[12] K. Claessen,et al. QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, SIGP.

[13] John Hughes. Specification based testing with QuickCheck , 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).