日本語

How to test proper{t,l}y

Writing unit tests is pretty much established practice and in addition to that, property testing has caught up on popularity. Most functional languages have one, sometimes even many implementations. But “property testing” has a lot of aspects: randomized or exhaustive, minimization and generalization of counter examples, custom generators and filters, to name a few. Very often, property tests don’t exploit all the features of the framework. In this talk, I’ll give an overview of the state of the art of property testing in FP languages and show some common use cases, techniques and pitfalls.

Session length
40 minutes
Language of the presentation
English
Target audience
Intermediate: Requires a basic knowledge of the area
Who is your session intended to
People who want to improve their tests
Speaker
Lars Hupel
Contributes
  • cats-collections
  • discipline
  • libisabelle

voted / votable

Candidate sessions