Property-based testing with PropEr, Erlang, and Elixir find bugs before your users do

Property-based testing helps you create better, more solid tests with little code. Use the ProER framework in both Erlang and Elixir, to automatically generate test cases, test stateful programs, and change your software designs for more reliable approaches. Explore the problem space better, validat...

Full description

Bibliographic Details
Main Author: Hébert, Fred
Format: eBook
Language:English
Published: Raleigh The Pragmatic Bookshelf 2019
Series:The pragmatic programmers
Subjects:
Online Access:
Collection: O'Reilly - Collection details see MPG.ReNa
LEADER 03028nmm a2200481 u 4500
001 EB001941419
003 EBX01000000000000001104321
005 00000000000000.0
007 cr|||||||||||||||||||||
008 210123 ||| eng
020 |a 9781680506532 
020 |a 1680506536 
020 |a 9781680506549 
050 4 |a QA76.76.T48 
100 1 |a Hébert, Fred 
245 0 0 |a Property-based testing with PropEr, Erlang, and Elixir  |b find bugs before your users do  |c Fred Hebert 
260 |a Raleigh  |b The Pragmatic Bookshelf  |c 2019 
300 |a xiv, 353 pages  |b illustrations 
505 0 |a Part 1. The basics. Foundations of property-based testing -- Writing properties -- Thinking in properties -- Custom generators -- Part 2. Stateless properties in practice. Responsible testing -- Properties-driven development -- Shrinking -- Targeted properties -- Part 3. Stateful properties. Stateful properties -- Case study: bookstore -- State machine properties -- A1. Solutions -- A2. Elixir translations -- A3. Installing postgreSQL -- A4. Generators reference 
505 0 |a Includes bibliographical references and index 
653 |a ERLANG (Langage de programmation) 
653 |a Software Development & Engineering / Quality Assurance & Testing / bisacsh 
653 |a Elixir (Computer program language) / fast 
653 |a Elixir (Computer program language) / http://id.loc.gov/authorities/subjects/sh2015000669 
653 |a Computer software / Testing / fast 
653 |a ERLANG (Computer program language) / http://id.loc.gov/authorities/subjects/sh93000031 
653 |a Computer software / Testing 
653 |a ERLANG (Computer program language) / fast 
653 |a Elixir (Langage de programmation) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b OREILLY  |a O'Reilly 
490 0 |a The pragmatic programmers 
015 |a GBB915029 
776 |z 9781680506211 
776 |z 9781680506532 
776 |z 9781680506549 
776 |z 1680506218 
776 |z 1680506536 
776 |z 1680506544 
856 4 0 |u https://learning.oreilly.com/library/view/~/9781680506556/?ar  |x Verlag  |3 Volltext 
082 0 |a 005.14 
082 0 |a 620 
520 |a Property-based testing helps you create better, more solid tests with little code. Use the ProER framework in both Erlang and Elixir, to automatically generate test cases, test stateful programs, and change your software designs for more reliable approaches. Explore the problem space better, validate your assumptions about program behavior, and expose unexpected weaknesses in your design. Write stateless properties, and use default generators to generate test cases automatically. 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. Shrinking test cases to their simpler expressions, and generate relevant data through targeted properties. Uncover bugs with nearly code at all, with properties based on state transitions and fixing state machines