Property-Based Testing with PropEr, Erlang, and Elixir

Find Bugs Before Your Users Do



Bookstore > Books > Property-Based Testing with PropEr, Erlang, and Elixir

Price$34.53 - $36.79
Rating
AuthorFred Hebert
PublisherThe Pragmatic Programmers
Published2019
Pages374
LanguageEnglish
FormatPaper book / ebook (PDF)
ISBN-101680506218
ISBN-139781680506211
EBook Hardcover Paperback

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.




5 5 51

Similar Books


Java Testing with Spock

Java Testing with Spock

by Konstantinos Kapelonis, Luke Daley

Java Testing with Spock teaches you how to use Spock for a wide range of testing use cases in Java. Readers new to Groovy will appreciate the succinct language tutorial that'll give you just enough Groovy to use Spock effectively.Spock combines the features of tools like JUnit, Mockito, and JBehave into a single powerful Java testing...

Price:  $18.00  |  Publisher:  Manning  |  Release:  2016

Erlang and OTP in Action

Erlang and OTP in Action

by Martin Logan, Eric Merritt, Richard Carlsson

Erlang is an adaptable and fault tolerant functional programming language originally designed for the unique demands of the telecom industry. With Erlang/OTP's interpreter, compiler, database server, and libraries, developers are finding they can satisfy tough uptime and performance requirements in all kinds of other industries.Erlan...

Price:  $14.67  |  Publisher:  Manning  |  Release:  2010

Beginning JavaScript with DOM Scripting and Ajax, 2nd Edition

Beginning JavaScript with DOM Scripting and Ajax, 2nd Edition

by Russ Ferguson, Christian Heilmann

Beginning JavaScript with DOM Scripting and Ajax is an essential resource for modern JavaScript programming. This completely updated second edition covers everything you need to know to get up-to-speed with JavaScript development and add dynamic enhancements to web pages, right from the basics. As well as focusing on client-side JavaScrip...

Price:  $29.00  |  Publisher:  Apress  |  Release:  2013

Getting Started with GEO, CouchDB, and Node.js

Getting Started with GEO, CouchDB, and Node.js

by Mick Thompson

Today's mobile devices have GPS and standard APIs to give you access to coordinates - but what can you do with that data? With this concise book, application developers learn how to work with location data quickly and easily, using Node.js, CouchDB, and other open source tools and libraries.Node.js makes it simple to run event code o...

Price:  $14.99  |  Publisher:  O'Reilly Media  |  Release:  2011

Modernizing the Datacenter with Windows Server and Hybrid Cloud

Modernizing the Datacenter with Windows Server and Hybrid Cloud

by John McCabe, Ward Ralston

Transform your datacenter for breakthrough flexibility, agility, and scalability!Using public, private, and hybrid cloud services, you can transform your datacenter to serve fast-changing workloads, process and analyze enormous amounts of data, and achieve unprecedented flexibility and value. In this guide, two world-renowned experts in M...

Price:  $40.99  |  Publisher:  Microsoft Press  |  Release:  2019

Deep Learning with TensorFlow 2 and Keras, 2nd Edition

Deep Learning with TensorFlow 2 and Keras, 2nd Edition

by Antonio Gulli, Amita Kapoor, Sujit Pal

Deep Learning with TensorFlow 2 and Keras, Second Edition teaches neural networks and deep learning techniques alongside TensorFlow (TF) and Keras. You'll learn how to write deep learning applications in the most powerful, popular, and scalable machine learning stack available.TensorFlow is the machine learning library of choice for ...

Price:  $33.21  |  Publisher:  Packt Publishing  |  Release:  2019

Building and Testing with Gradle

Building and Testing with Gradle

by Tim Berglund, Matthew McCullough

Build and test software written in Java and many other languages with Gradle, the open source project automation tool that's getting a lot of attention. This concise introduction provides numerous code examples to help you explore Gradle, both as a build tool and as a complete solution for automating the compilation, test, and releas...

Price:  $16.99  |  Publisher:  O'Reilly Media  |  Release:  2011

Web Penetration Testing with Kali Linux

Web Penetration Testing with Kali Linux

by Joseph Muniz, Aamir Lakhani

Kali Linux is built for professional penetration testing and security auditing. It is the next-generation of BackTrack, the most popular open-source penetration toolkit in the world. Readers will learn how to think like real attackers, exploit systems, and expose vulnerabilities.Even though web applications are developed in a very secure ...

Price:  $29.99  |  Publisher:  Packt Publishing  |  Release:  2013