Property driven development in Erlang, by example

Authors:
Samuel Rivas;Miguel Ángel Francisco;Víctor M. Gulías
Affiliations:
LambdaStream S.L.;LambdaStream S.L.;University of A Coruña, Spain
Venue:
Proceedings of the 5th Workshop on Automation of Software Test
Year:
2010

Citing 12
Cited 1

Property-based testing: a new approach to testing for assurance

ACM SIGSOFT Software Engineering Notes
QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Test Driven Development: By Example

Test Driven Development: By Example
Property-Driven Development

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Extreme Programming Explained: Embrace Change (2nd Edition)

Extreme Programming Explained: Embrace Change (2nd Edition)
XUnit Test Patterns: Refactoring Test Code

XUnit Test Patterns: Refactoring Test Code
Test-Driven Development: Concepts, Taxonomy, and Future Direction

Computer
Testing telecoms software with quviq QuickCheck

Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Programming Erlang: Software for a Concurrent World

Programming Erlang: Software for a Concurrent World
Testing Erlang data types with quviq quickcheck

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Automatic testing of TCP/IP implementations using QuickCheck

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG

A language-independent approach to black-box testing using Erlang as test specification language

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

As an example of the combination of Test Driven Development and Property Based Testing, this paper presents the implementation of a template library from scratch using the functional language Erlang for development and the tool QuickCheck for testing.