A PropEr Tutorial on Property-Based Testing

schedule Nov 16th 02:00 PM - 06:00 PM place Studio 4 people 3 Attending

Property-based testing is a novel approach to software testing, where the tester needs only specify the generic structure of valid inputs for the program under test, plus certain properties that the program is expected to satisfy for every valid input. PropEr is an open-source tool for property-based testing in Erlang. One of its salient features is that it provides a tight integration of the language of types and specs of Erlang with property-based testing. Any type can be used as a generator and any function specification can be directly used as a simple property of a function. In addition, PropEr comes with components for testing stateful applications and for targeted property-based testing.

This hands-on tutorial will introduce through examples the support that PropEr provides for property-based testing in Erlang, present representative examples of its use, and will give advice for the proper use of the tool.

 
1 favorite thumb_down thumb_up 0 comments visibility_off  Remove from Watchlist visibility  Add to Watchlist
 

Target Audience

Developers and Test Engineers

Prerequisite

This is a hands-on workshop. Please bring your laptop with Erlang installed on it.

schedule Submitted 1 month ago

Comments Subscribe to Comments

comment Comment on this Proposal