Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Languages & Tools   Debugging

Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do


On Sale Now! Free Shipping Included! Save 6% on the Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do by Pragmatic Bookshelf at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. 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


Product Description

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

Additional Information

Manufacturer:Pragmatic Bookshelf
Publisher:Pragmatic Bookshelf
Studio:Pragmatic Bookshelf
EAN:9781680506211
Item Size:0 x 9.25 x 9.25 inches
Package Weight:1.47 pounds
Package Size:7.5 x 0 x 0 inches

Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do by Pragmatic Bookshelf

Buy Now:
Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do

Brand: Pragmatic Bookshelf
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$45.95
$43.65
You Save: 5%


Quantity:  

 


View More In Debugging.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Pragmatic Bookshelf, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781590592342, isbn: 1590592344,
This is a special title that will be both technically useful and visually stimulating to the reader.Used Book in Good Condition. ...

ean: 9781788295666, isbn: 1788295668,
Master the art of identifying vulnerabilities within the Windows OS and develop the desired solutions for it using Kali Linux. Key Features Identify the vulnerabilities in your system using Kali Linux 2018.02 Discover the art of exploiting Windows k...

ean: 9783639047585, isbn: 3639047583,
Recent years have seen great advances in software engineering and programming languages, but unfortunately, software is still far from bug-free. Static analysis is an effective approach to eliminating numerous bugs, but its conservative nature of ana...

mpn: black & white illustrations, ean: 9781491932056, isbn: 1491932058,
In the course of their 20+-year engineering careers, authors Brian Fitzpatrick and Ben Collins-Sussman have picked up a treasure trove of wisdom and anecdotes about how successful teams work together. Their conclusion? Even among people who have spen...

ean: 9781461422655, isbn: 1461422655,
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.  Since the verification of comple...

sku: G0131401874I5N00, ean: 9780131401877, isbn: 0131401874,
Specific techniques for debugging production COBOL programs, i.e. corrective, perfective, and enhancive program maintenance. Concentrates on catastrophic debugging. The included floppy disk enables users to implement diagnostic techniques described i...

ean: 9780421660502, isbn: 0421660503,
The potential impact of the turn of the century on microchip-driven systems, from cars to power stations, has been well-documented in recent months. Legal issues such as warranties and liabilities are still being contested. This special report compri...

ean: 9780792381846, isbn: 079238184X,
Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book reviews the design problems that require logic equivalence checking and descr...

ean: 9780824727048, isbn: 0824727045,
"The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely reference work details the broad spectrum of microcomputer te...

ean: 9780824771607, isbn: 0824771605,
Book by Wray...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.