0% completed

All LessonsFree Lessons (3)

Foundations of Property-Based Testing

Why Property-based Testing?Properties Property-Based Testing in a Project Running a Property Wrapping Up

Writing Properties

Introduction to Writing Properties File Structure Property Structure Execution Model Default Generators Putting It All Together Wrapping Up Quiz Yourself on Writing Properties

Thinking in Properties

Introduction to Thinking in Properties Modeling Generalizing Test Examples Invariants Symmetric Properties Putting It All Together Wrapping Up Quiz Yourself on Thinking in Properties

Custom Generators

Introduction to Custom Generators Gathering Statistics: Collecting Gathering Statistics: Aggregating Basic Custom Generators Resizing Generators Transforming Generators Imposing Restrictions Changing Probabilities Fancy Custom Generators Recursive Generators Symbolic Calls Wrapping Up Quiz Yourself on Custom Generators

Responsible Testing

Introduction to Responsible Testing The Program Structure CSV Parsing: The Property CSV Parsing: The CSV Parser Filtering Records Employee Module Templating Putting It All Together Wrapping Up

Properties-Driven Development

Introduction to Properties-driven Development Writing the First Property Testing Specials Generating Specials Implementing Specials Negative Testing: Broad Properties Negative Testing: Calibrating Negative Properties Negative Testing: Relaxing Constraints Wrapping Up

Shrinking

Introduction to Shrinking Re-centering with ?SHRINK Dividing with ?LETSHRINK Wrapping Up Quiz Yourself on Shrinking

Targeted Properties

Introduction to Targeted Properties Targeted Properties Writing Neighbour Functions Example Case: Quicksort Limitations of Targeted Properties Wrapping Up

Stateful Properties

Introduction to Stateful Properties How Stateful Properties Run Writing Stateful Properties Testing a Basic Concurrent Cache: Implementation Testing a Basic Concurrent Cache: Writing Tests Testing Parallel Executions Wrapping Up Quiz Yourself on Stateful Properties

Case Study: Bookstore

Introducing the Application The Application: Getting Started The Application: The Database Module The Application: Running the Code Writing Generators Broad Stateful Testing Precise Stateful Modelling Refining the Tests Debugging Stateful Properties Parallel Tests Wrapping Up

State Machine Properties

Introduction to State Machine Properties Laying Out State Machine Properties How State Machine Properties Run Writing FSM Properties Testing a Circuit Breaker Modeling the Circuit Breaker: The Shim Module Modeling the Circuit Breaker: The Property Modeling the Circuit Breaker: The Test Module Adjusting the Model: Fixing the Issue Adjusting the Model: Better Statistics Wrapping Up

Conclusion

Property-Based Testing with PropEr in Erlang/

...

/

Conclusion

Conclusion

Take a look at a summary of the course as a whole.

We'll cover the following...

Summary

You now have all the knowledge required to use properties to find tricky bugs in all systems, from basic unit tests to larger integration suites. You’re ready to go on and start adding better tests to your software to make your ...