Property-Based Testing with PropEr, Erlang, and Elixir

Property-Based Testing with PropEr, Erlang, and Elixir
Author: Fred Hebert
Publisher: Pragmatic Bookshelf
Total Pages: 497
Release: 2019-01-17
Genre: Computers
ISBN: 1680506544


Download Property-Based Testing with PropEr, Erlang, and Elixir Book in PDF, Epub and Kindle

Property-based testing helps you create better, more solid tests with little code. By using the PropEr framework in both Erlang and Elixir, this book teaches you how to automatically generate test cases, test stateful programs, and change how you design your software for more principled and reliable approaches. You will be able to better explore the problem space, validate the assumptions you make when coming up with program behavior, and expose unexpected weaknesses in your design. PropEr will even show you how to reproduce the bugs it found. With this book, you will be writing efficient property-based tests in no time. 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. What You Need Basic knowledge of Erlang, optionally ElixirFor Erlang tests: Erlang/OTP >= 20.0, with Rebar >= 3.4.0For Elixir tests: Erlang/OTP >= 20.0, Elixir >= 1.5.0


Property-Based Testing with PropEr, Erlang, and Elixir
Language: en
Pages: 497
Authors: Fred Hebert
Categories: Computers
Type: BOOK - Published: 2019-01-17 - Publisher: Pragmatic Bookshelf

GET EBOOK

Property-based testing helps you create better, more solid tests with little code. By using the PropEr framework in both Erlang and Elixir, this book teaches yo
Introduction to Property Testing
Language: en
Pages: 473
Authors: Oded Goldreich
Categories: Computers
Type: BOOK - Published: 2017-11-23 - Publisher: Cambridge University Press

GET EBOOK

An extensive and authoritative introduction to property testing, the study of super-fast algorithms for the structural analysis of large quantities of data in o
Property Testing
Language: en
Pages: 370
Authors: Oded Goldreich
Categories: Computers
Type: BOOK - Published: 2010-10-08 - Publisher: Springer Science & Business Media

GET EBOOK

Property Testing is the study of super-fast algorithms for approximate decision making. This volume features work presented at a mini-workshop on property testi
Property Testing
Language: en
Pages: 434
Authors: Arnab Bhattacharyya
Categories: Computers
Type: BOOK - Published: 2022-03-08 - Publisher: Springer Nature

GET EBOOK

This book introduces important results and techniques in property testing, where the goal is to design algorithms that decide whether their input satisfies a pr
Algorithmic and Analysis Techniques in Property Testing
Language: en
Pages: 151
Authors: Dana Ron
Categories: Computers
Type: BOOK - Published: 2010 - Publisher: Now Publishers Inc

GET EBOOK

Property testing algorithms are ultra"-efficient algorithms that decide whether a given object (e.g., a graph) has a certain property (e.g., bipartiteness), or