FsCheck - Alberto Vergara

FsCheck - Alberto Vergara

Property based testing is based on higher-order properties.
Commutativity, associativity, and self duality are examples of higher-order properties in elementary algebra.

Property-based testing applies the same principles used in mathematics for testing programs, for example a reverse function on lists is self-dual: The reverse of a function should return the original list.

Compared with black box testing, where are user test a program on some fixed inputs, property based testing can randomly generate test inputs that belongs to the domain of a function.

FsCheck is a property-based testing tool implemented in F#, it allows to define the properties of a function and to test them, based on randomly generated inputs.

Who is Jose Alberto Vergara?

I am a software engineer and a PhD candidate at the University of Technology Sydney. My interest are: Functional programming, compilers, pattern calculus and programming languages. Publications: Growing a Language in Pattern Calculus ( http://dx.doi.org/10.1109/TASE.2013.37 ).

Schedule

6:00 - Pizza and socialising

6:30 - F# News by Ahmad Atighechi

6:45 - Giveaways

7:00 - Presentation by Alberto Vergara

Please note: this meeting will be held at Readify and will start at 6pm.