Property Based Testing with PropEr, Erlang, and Elixir Find Bugs Before Your Users Do 1st Edition by Fred Hebert ISBN 1680506544 9781680506549

Property Based Testing with PropEr, Erlang, and Elixir Find Bugs Before Your Users Do 1st Edition by Fred Hebert – Ebook PDF Instant Download/Delivery: 1680506544, 9781680506549
Full dowload Property Based Testing with PropEr, Erlang, and Elixir Find Bugs Before Your Users Do 1st Edition after payment

Product details:

ISBN 10: 1680506544
ISBN 13: 9781680506549
Author: Fred Hebert

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.

Property Based Testing with PropEr, Erlang, and Elixir Find Bugs Before Your Users Do 1st Table of contents:

Part I. The Basics

1. Foundations of Property-Based Testing

Promises of Property-Based Testing

Properties First

Property-Based Testing in Your Project

Running a Property

Wrapping Up

2. Writing Properties

Structure of Properties

Default Generators

Putting It All Together

Wrapping Up

3. Thinking in Properties

Modeling

Generalizing Example Tests

Invariants

Symmetric Properties

Putting It All Together

Wrapping Up

4. Custom Generators

The Limitations of Default Generators

Gathering Statistics

Basic Custom Generators

Fancy Custom Generators

Wrapping Up

Part II. Stateless Properties in Practice

5. Responsible Testing

The Specification

Thinking About Program Structure

CSV Parsing

Filtering Records

Employee Module

Templating

Plumbing It All Together

Wrapping Up

6. Properties-Driven Development

The Specification

Writing the First Test

Testing Specials

Implementing Specials

Negative Testing

Wrapping Up

7. Shrinking

Re-centering with ?SHRINK

Dividing with ?LETSHRINK

Wrapping Up

8. Targeted Properties

Understanding Targeted Properties

Targeted Properties in Practice

Thinking Outside the Box

Wrapping Up

Part III. Stateful Properties

9. Stateful Properties

Laying Out Stateful Properties

How Stateful Properties Run

Writing Properties

Testing a Basic Concurrent Cache

Testing Parallel Executions

Wrapping Up

10. Case Study: Bookstore

Introducing the Application

Writing Generators

Broad Stateful Testing

Precise Stateful Modeling

Refining the Tests

Debugging Stateful Properties

Parallel Tests

Wrapping Up

11. State Machine Properties

Laying Out State Machine Properties

How State Machine Properties Run

Writing Properties

Testing a Circuit Breaker

Modeling the Circuit Breaker

Adjusting the Model

Wrapping Up

A1. Solutions

Writing Properties

Thinking in Properties

Custom Generators

Shrinking

Stateful Properties

A2. Elixir Translations

Thinking in Properties

Responsible Testing

Stateful Properties

Case Study: Bookstore

State Machine Properties

A3. Installing PostgreSQL

A4. Generators Reference

People also search for Property Based Testing with PropEr, Erlang, and Elixir Find Bugs Before Your Users Do 1st:

property based testing with proper erlang    
property based testing with proper erlang and elixir    
property based testing with proper erlang and elixir pdf    
property based testing elixir    
property testing elixir