EMx 006: Elixir and Property-based testing with Vitaly Tatarintsev

Elixir Mix

Join our weekly discussion of the popular functional language built on top of the Erlang virtual machine. Each week, we discuss the world of Elxiir, Phoenix, OTP, and then BEAM.

EMx 006: Elixir and Property-based testing with Vitaly Tatarintsev

Published : Jun 05, 2018
Duration : 32 Minutes

Show Notes

Panel: 
  • Charles Max Wood
  • Mark Erikson
  • Josh Adams
Special Guests: Vitaly Tatarintsev
In this episode of Elixir Mix, the panel talks to Vitaly Tatarintsev about Elixir and property-based testing. Vitaly is a back-end developer and who is currently still working predominantly with Ruby while he continues learns Elixir. He is fairly new to Elixir and likes to write articles about learning Elixir on his blog What did I Learn. They talk about what property-based testing is, where a person can get started with learning property-based testing, TDD with property-based testing, and much more!
In particular, we dive pretty deep on:
  • Vitaly intro
  • Blog - What did I Learn
  • What is property-based testing?
  • Run data to find etch cases that don’t work
  • Are there tools for property-based testing?
  • Not a lot of tools for this in Elixir
  • Stream data library
  • Quick Check
  • Used in addition to unit tests
  • Where do you get started with property-based testing?
  • Start with stream data library
  • PropErTesting.com
  • Property-based Testing is a Mindset - ElixirConf EU Talk
  • How does property-based testing fit into the work flow?
  • TDD with property-based testing
  • Trying to implement Java applications
  • Where has property-based testing helped you?
  • John Hughes YouTube Video
  • Allows you to catch errors that you couldn’t predict to occur
  • Helps you find cases you don’t think of
  • What do you do when your property-based testing finds an error?
  • And much, much more!
Links:
Sponsors:
Picks:
Charles
Mark
Josh
Vitaly
  • Find time to review your day and work toward your goals
Special Guest: Vitaly Tatarintsev.