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 - $44.47
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.





4 5 22

Similar Books


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 profe...

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

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

The Pragmatic Programmer, 20th Anniversary Edition

The Pragmatic Programmer, 20th Anniversary Edition

by David Thomas, Andrew Hunt

For twenty years, the lessons from The Pragmatic Programmer have helped a generation of programmers examine the very essence of software development, independent of any particular language, framework, or methodology. This classic title is regularly featured on "Top Ten" lists, and many corporations issue it to their new hires.Th...

Price:  $31.99  |  Publisher:  The Pragmatic Programmers  |  Release:  2019

High Performance Android Apps

High Performance Android Apps

by Doug Sillars

Unique and clever ideas are important when building a hot-selling Android app, but the real drivers for success are speed, efficiency, and power management. With this practical guide, you'll learn the major performance issues confronting Android app developers, and the tools you need to diagnose problems early.Customers are finally realiz...

Price:  $27.69  |  Publisher:  O'Reilly Media  |  Release:  2015

Kali Linux Wireless Penetration Testing

Kali Linux Wireless Penetration Testing

by Vivek Ramachandran, Cameron Buchanan

As wireless networks become ubiquitous in our lives, wireless penetration testing has become a key skill in the repertoire of the professional penetration tester. The Kali Linux security distribution comes with a myriad of tools used for networking attacks and detecting security loopholes.Kali Linux Wireless Penetration Testing Beginner's...

Price:  $35.99  |  Publisher:  Packt Publishing  |  Release:  2015

Gradle for Android

Gradle for Android

by Kevin Pelgrims

Gradle is an open source build automation system that introduces a Groovy-based domain-specific language (DSL) to configure projects. Using Gradle makes it easy for Android developers to manage dependencies and set up the entire build process.This book begins by taking you through the basics of Gradle and how it works with Android Studio....

Price:  $27.99  |  Publisher:  Packt Publishing  |  Release:  2015

Phoenix Web Development

Phoenix Web Development

by Brandon Richey

Phoenix is a modern web development framework that is used to build API's and web applications. It is built on Elixir and runs on Erlang VM which makes it much faster than other options. With Elixir and Phoenix, you build your application the right way, ready to scale and ready for the increasing demands of real-time web applications.This...

Price:  $39.99  |  Publisher:  Packt Publishing  |  Release:  2018

Web Penetration Testing with Kali Linux, 3rd Edition

Web Penetration Testing with Kali Linux, 3rd Edition

by Gilberto Najera-Gutierrez, Juned Ahmed Ansari

Web Penetration Testing with Kali Linux - 3rd Edition shows you how to set up a lab, helps you understand the nature and mechanics of attacking websites, and explains classical attacks in great depth. This edition is heavily updated for the latest Kali Linux changes and the most recent attacks. Kali Linux shines when it comes to client-si...

Price:  $39.99  |  Publisher:  Packt Publishing  |  Release:  2018