axelson
ElixirConf US 2018 – Picking Properties to Test in Property-Based Testing – Michael Stalker (@mstalker)
The developer stared at the screen in frustration and grumbled, “Example-based testing is straightforward. I pick a few inputs, and verify the output. I don’t get property-based testing. How can I write a test if I don’t know what the inputs are?”
Maybe you’re like this developer. Maybe you’re sold on the value of property-based testing. Maybe you’re convinced that it will help you write effective specs. But where do you go from here?
Identifying properties to test is your next step toward property-based testing greatness. You’ll learn what properties are. You’ll gain strategies to identify them in your code. You’ll see practical examples using StreamData, a property-based testing library. You might even start to view code verification in a new light.
You’ll get the most out of this presentation if you have used example-based testing in any language. You’ll go from “property-based testing looks awesome” to “I can do it!”
Audience: Beginner, Intermediate, Advanced
Topics: testing, property-testing
All talks are available in the ElixirConf US 2018 Talks List or via the elixirconf2018 tag
Where Next?
Trending in Talks
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Producing high quality Elixir screencasts since 2017.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #ai
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #blog-post
- #elixirconf-us
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #elixirconf-eu
- #api
- #forms
- #security
- #metaprogramming
Our Sponsors
Build Elixir applications with speed and confidence.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Practical resources that improve the lives of professional developers.
Producing high quality Elixir screencasts since 2017.
**Building the future of software with AI, trust, and human connection.**
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 2- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
axelson
I have to say that this was one of my favorite talks of the conference. It was very informative, well paced, and thoughtful. I’ll definitely be re-watching it in the future (before I open my ice cream shop
)
DanCouper
This was my favourite talk by quite a long way; I’m busy trying to git gud at property-based testing, and the way he broke it down was excellent. Very nice when paired with the Ferd book.