Op werkdagen voor 23:00 besteld, morgen in huis Gratis verzending vanaf €20

Property–Based Testing with PropEr, Erlang, and Elixir

Find Bugs Before Your Users Do

Paperback Engels 2019 9781680506211
Verkooppositie 6055
Verwachte levertijd ongeveer 8 werkdagen


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 Elixir
- For Erlang tests: Erlang/OTP >= 20.0, with Rebar >= 3.4.0
- For Elixir tests: Erlang/OTP >= 20.0, Elixir >= 1.5.0


Aantal pagina's:368
Hoofdrubriek:IT-management / ICT


Wees de eerste die een lezersrecensie schrijft!

Geef uw waardering

Zeer goed Goed Voldoende Matig Slecht

Over Fred Hebert

Fred Hebert is a systems architect at a video surveillance, access control management, and license plate recognition company. He previously worked as a tech lead on a cloud platform’s networking services. He has also worked in real-time bidding systems, as a professional Erlang trainer and course maintainer, and is one of the maintainers of the principal Erlang build tool (rebar3).

Andere boeken door Fred Hebert


-Who Is This Book For
-Why Both Elixir and Erlang
-What’s in This Book
-How to Read This Book
-About the Code
-Online Resources

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
Generalizing Example Tests
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
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
Stateful Properties

A2. Elixir Translations
Thinking in Properties
Responsible Testing
Stateful Properties
Case Study: Bookstore
State Machine Properties

A3. Installing PostgreSQL

A4. Generators Reference

Alle 100 bestsellers


Populaire producten



        Property–Based Testing with PropEr, Erlang, and Elixir