Property-Based Testing with PropEr, Erlang, and Elixir (Pragprog)

erlang
pragprog
erlang-books
proper

#1


Don’t forget you can get 35% off with your forum discount, use code ‘ElixirForum’ :023:

https://pragprog.com/book/fhproper/property-based-testing-with-proper-erlang-and-elixir

This title will be available on or about 2018-11-10


#2

Cool :slight_smile:
I’m looking forward to it.


#3

Congrats. Looking forward to see it on safaribooksoneline.com


#4

I was fortunate to be one of the beta readers for this book. I’m REALLY excited to see the finished product. Fred breaks these topics down in understandable ways and provides a lot of insight into how to think about property testing. There’s a real emphasis on ensuring that your tests are working to find the hidden bugs and not just generating random data.


#5

Available in beta now :003:

https://media.pragprog.com/newsletters/2018-08-08.html


#6

Bought it with the coupon code of course! Now we just need a distributed systems in erlang/elixir book…


#7

You should post that here :003:


#8

Is something wrong with Designing for Scalability with Erlang/OTP? It’s published by O’Reilly instead of Prag, but it is an excellent book on the topic.


#9

After I posted I googled a bit and found that book. Added to my list of books to read.


#10

Please don’t forget to review it when you get around to it :003:

Also, @FrancescoC is a member here… I wonder if he’ll be writing any Elixir books any time soon? :101:


#11

It should be noted that the eBook is “DRM free” on Google Play (seems to be standard for O’Reilly titles) and ebooks.com.


#12

I’m just learning about property based testing and using it in a couple projects. I was wondering how relevant this book is if you are using StreamData instead of PropEr and PropCheck?

I had a look at the excerpts but it is hard to tell.


#13

It is focusing on PropEr and PropCheck, and this book provides explanation for both Erlang and Elixir, but quoting the book…

The concepts should not be hard to carry over from framework to framework in any case.

StreamData is exclusive to Elixir.


#14

The book is divided into 3 parts:

  • the basics
  • stateless properties in practice
  • stateful properties

Parts 1 should be useful regardless of the tool used, as it covers more foundational knowledge (thinking in properties, etc.). Part 2 should still be useful if using StreamData, but you’ll obviously have to adapt the code. Part 3 cannot be used with StreamData, as StreamData doesn’t provide state checking (StreamData: data generation and property testing for Elixir)

You can probably get a good grasp of how helpful the book would be to you by reading http://propertesting.com which seems to cover most of part 1 in the book (it’s by the same author), although code samples are only in Erlang.

Hope this helps!


#15

As others have said, you should be able to apply a lot of the thinking with stream data although some of the operations just aren’t supported right now so I’d suggest going through the book using propcheck. We use both at work. StreamData for very basic generation of data and Proper for when we need more robust testing, model checking, etc.


#16

Thanks everyone. This is just the information I was looking for. :slight_smile: