Limit search to available items
Book Cover
E-book
Author Hébert, Fred, 1988- author.

Title Property-based testing with PropEr, Erlang, and Elixir : find bugs before your users do / Fred Hebert
Published Raleigh : The Pragmatic Bookshelf, [2019]

Copies

Description 1 online resource (xiv, 353 pages) : illustrations
Series The pragmatic programmers
Pragmatic programmers.
Contents 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
Summary 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
Bibliography Includes bibliographical references and index
Notes Online resource; title from PDF title page (EBSCO, viewed February 14, 2019)
Print version record
Subject Computer software -- Testing
ERLANG (Computer program language)
Elixir (Computer program language)
Software Development & Engineering -- Quality Assurance & Testing.
Computer software -- Testing.
Elixir (Computer program language)
ERLANG (Computer program language)
Form Electronic book
ISBN 9781680506532
1680506536
9781680506549
1680506544