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