small medium large xlarge

Property-Based Testing with PropEr, Erlang, and Elixir, in print

January 09, 2019

Unit testing has become a part of the mainstream, and it's easy to automate. But unit testing only tests the inputs you give it. Property-based testing starts with a model of the system and generates large numbers of test cases to locate the bugs you couldn't think of on your own.

Defining useful properties is the key to success in property-based testing, and that takes practice and guidance. Property-Based Testing with PropEr, Erlang, and Elixir shows you how. Now in print from pragprog.com/book/fhproper.

Come and get it!

Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do

Most tests only demonstrate that the code behaves how the developer expected it to behave, and therefore carry the same blind spots as their authors when special conditions or edge cases show up. Learn how to see things differently with property tests written in PropEr.

Start with the basics of property tests, such as writing stateless properties and using the default generators to generate test cases automatically. More importantly, learn how to think in properties. Improve your properties, write custom data generators, and discover what your code can or cannot do. Learn when to use property tests and when to stick with example tests with real-world sample projects. Explore various testing approaches to find the one that's best for your code. Shrink failing test cases to their simpler expression to highlight exactly what breaks in your code, and generate highly relevant data through targeted properties. Uncover the trickiest bugs you can think of with nearly no code at all with two special types of properties based on state transitions and finite state machines.

Write Erlang and Elixir properties that generate the most effective tests you'll see, whether they are unit tests or complex integration and system tests.

Now in print and shipping from pragprog.com/book/fhproper.

Upcoming Author Appearances

  • 2019-02-04 Frances Buontempo, C++ On Sea, Folkestone, Kent, UK from 4th-6th February 2019.
  • 2019-02-21 Frances Buontempo, nor(DEV):con 2019, Norfolk, UK
  • Who Are We?

    The Pragmatic Bookshelf publishing imprint is wholly owned by The Pragmatic Programmers, LLC.

    Andy Hunt and Dave Thomas founded the company with a simple goal: to improve the lives of professional developers. We create timely, practical books, audio books, and videos on classic and cutting-edge topics to help you learn and practice your craft.

    We are not a giant, faceless, greed-soaked corporation. We're a small group of experienced professionals committed to helping make software development easier.

    Thank you for your continued support!

    Don't Get Left Out

    Are your friends jealous that you get these spiffy email newsletters and they don't? Clue them in that all they need to do is create an account on pragprog.com (email address and password is all it takes) and select the checkbox to receive newsletters.

    Are you following us on Twitter and/or Facebook? Here's where you can find us and keep up with the latest news and commentary, and occasional discounts:

    Tell your friends! Tweet this

    Follow us on Twitter: @pragprog, @pragpub, Andy Hunt @PragmaticAndy.

    Coming Soon:

    • Genetic Algorithms and Machine Learning for Programmers: Create AI Models and Evolve Solutions, in print
    • Programming Crystal: Create High-Performance, Safe, Concurrent Apps, in print
    • Docker for Rails Developers: Build, Ship, and Run Your Applications Everywhere, in print
    • Modern Systems Programming with Scala Native: Write Lean, High-Performance Code without the JVM, in beta

    Recently Released:

    Thanks for your continued support,

    Andy Hunt Publisher, Pragmatic Bookshelf

    Books • eBooks • PragPub Magazine • Audiobooks and Screencasts
    PragProg.com