axelson

axelson

Scenic Core Team

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

Showing Posts 1 to 2

axelson

axelson OP

Scenic Core Team

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 :joy:)

DanCouper

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.

— All posts loaded —

Where Next? Top

Trending in Talks Top

alexslade
This is a thread to organise resources while we wait for official posting of videos. I’ve committed to keeping this post updated, please ...
New
CodeSync
LT: Skode: an ASCII shorthand for audio experimentation - Joseph Stewart | ElixirConf EU 2026 Comments welcome! View the ...
New
bartblast
This is the follow-up to my ElixirConf EU talk in Malaga, which was mostly about the local-first problem and where sync engines stand on ...
New
ElixirConf
Failing to Introduce Elixir - John Darrington https://www.youtube.com/watch?v=KjAH68yVnh8 Comments welcome! View the <span class="hasht...
New
CodeSync
Rebuilding Workflow Orchestration in Elixir: The Story of Gust - Marcio Klepacz | ElixirConf EU 2026 Comments welcome! Vi...
New
CodeSync
What if you could build production-ready RAG entirely in Elixir? George Guimarães, ElixirConfEU 2026 https://www.youtube.com/watch?v=tNB...
New
ElixirConf
Lightning Talk: Ivy Markwell - Data migrations with Monarch | ElixirConf US 2025 https://www.youtube.com/watch?v=AF1z6Z3bJKY Comments ...
New

Other Trending Topics Top

JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
marciok
Hi there! We created Gust: A task orchestrator inspired by Airflow. For those who have never heard about Aiflow, it’s a Python-based wor...
New
mhanberg
Hi everyone! The first release candidate for the Expert language server project is now available! We’ve published a press release detai...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
Dmk
Xamal is a deployment tool for Elixir apps that deploys native releases to bare metal servers over SSH. It’s a port of GitHub - basecamp/...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews