Property-Based Testing with PropEr, Erlang, and Elixir

2019-01-17 Computers

Author : Fred Hebert
Release : 2019-01-17
Genre : Computers
Kind : eBook
Book Rating : 544/5 ( reviews)

GET EBOOK

Book Synopsis Property-Based Testing with PropEr, Erlang, and Elixir by : Fred Hebert

Download or read book Property-Based Testing with PropEr, Erlang, and Elixir written by Fred Hebert. This book was released on 2019-01-17. Available in PDF, EPUB and Kindle. Book excerpt: 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 ElixirFor Erlang tests: Erlang/OTP >= 20.0, with Rebar >= 3.4.0For Elixir tests: Erlang/OTP >= 20.0, Elixir >= 1.5.0

Property-based Testing with PropEr, Erlang, and Elixir

2019 Computer software

Author : Fred Hébert
Release : 2019
Genre : Computer software
Kind : eBook
Book Rating : 556/5 ( reviews)

GET EBOOK

Book Synopsis Property-based Testing with PropEr, Erlang, and Elixir by : Fred Hébert

Download or read book Property-based Testing with PropEr, Erlang, and Elixir written by Fred Hébert. This book was released on 2019. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Programming Ecto

2019-04-01 Computers

Author : Darin Wilson
Release : 2019-04-01
Genre : Computers
Kind : eBook
Book Rating : 935/5 ( reviews)

GET EBOOK

Book Synopsis Programming Ecto by : Darin Wilson

Download or read book Programming Ecto written by Darin Wilson. This book was released on 2019-04-01. Available in PDF, EPUB and Kindle. Book excerpt: Languages may come and go, but the relational database endures. Learn how to use Ecto, the premier database library for Elixir, to connect your Elixir and Phoenix apps to databases. Get a firm handle on Ecto fundamentals with a module-by-module tour of the critical parts of Ecto. Then move on to more advanced topics and advice on best practices with a series of recipes that provide clear, step-by-step instructions on scenarios commonly encountered by app developers. Co-authored by the creator of Ecto, this title provides all the essentials you need to use Ecto effectively. Elixir and Phoenix are taking the application development world by storm, and Ecto, the database library that ships with Phoenix, is going right along with them. There are plenty of examples that show you the basics, but to use Ecto to its full potential, you need to learn the library from the ground up. This definitive guide starts with a tour of the core features of Ecto - repos, queries, schemas, changesets, transactions - gradually building your knowledge with tasks of ever-increasing complexity. Along the way, you'll be learning by doing - a sample application handles all the boilerplate so you can focus on getting Ecto into your fingers. Build on that core knowledge with a series of recipes featuring more advanced topics. Change your pooling strategy to maximize your database's efficiency. Use nested associations to handle complex table relationships. Add streams to handle large result sets with ease. Based on questions from Ecto users, these recipes cover the most common situations developers run into. Whether you're new to Ecto, or already have an app in production, this title will give you a deeper understanding of how Ecto works, and help make your database code cleaner and more efficient. What You Need: To follow along with the book, you should have Erlang/OTP 19+ and Elixir 1.4+ installed. The book will guide you through setting up a sample application that integrates Ecto.

Testing Elixir

2021-02-28

Author : Andrea Leopardi
Release : 2021-02-28
Genre :
Kind : eBook
Book Rating : 829/5 ( reviews)

GET EBOOK

Book Synopsis Testing Elixir by : Andrea Leopardi

Download or read book Testing Elixir written by Andrea Leopardi. This book was released on 2021-02-28. Available in PDF, EPUB and Kindle. Book excerpt:

Designing for Scalability with Erlang/OTP

2016-05-16 Computers

Author : Francesco Cesarini
Release : 2016-05-16
Genre : Computers
Kind : eBook
Book Rating : 579/5 ( reviews)

GET EBOOK

Book Synopsis Designing for Scalability with Erlang/OTP by : Francesco Cesarini

Download or read book Designing for Scalability with Erlang/OTP written by Francesco Cesarini. This book was released on 2016-05-16. Available in PDF, EPUB and Kindle. Book excerpt: If you need to build a scalable, fault tolerant system with requirements for high availability, discover why the Erlang/OTP platform stands out for the breadth, depth, and consistency of its features. This hands-on guide demonstrates how to use the Erlang programming language and its OTP framework of reusable libraries, tools, and design principles to develop complex commercial-grade systems that simply cannot fail. In the first part of the book, you’ll learn how to design and implement process behaviors and supervision trees with Erlang/OTP, and bundle them into standalone nodes. The second part addresses reliability, scalability, and high availability in your overall system design. If you’re familiar with Erlang, this book will help you understand the design choices and trade-offs necessary to keep your system running. Explore OTP’s building blocks: the Erlang language, tools and libraries collection, and its abstract principles and design rules Dive into the fundamentals of OTP reusable frameworks: the Erlang process structures OTP uses for behaviors Understand how OTP behaviors support client-server structures, finite state machine patterns, event handling, and runtime/code integration Write your own behaviors and special processes Use OTP’s tools, techniques, and architectures to handle deployment, monitoring, and operations

Popular eBooks

Property-Based Testing with PropEr, Erlang, and Elixir

Property-based Testing with PropEr, Erlang, and Elixir

Programming Ecto

Testing Elixir

Designing for Scalability with Erlang/OTP

You may also like...