Introduction to Property-based Testing with F#
Learn what Property-based Testing is, and how to write and run such tests with F#.
What you'll learn
In this course, you'll learn about Property-based Testing via an extensive code example. Property-based Testing is an automated testing technique where you incrementally zero in on the correct behavior of a system by describing its properties or qualities in general terms and then use randomly generated test data to execute deterministic tests. Specifically, you'll get an introduction to the FsCheck Property-based Testing framework, and see lots of code examples using the Diamond Kata as a continued example throughout the course.
Table of contents
- Introduction 1m
- The Diamond Kata 1m
- The Diamond Kata vs. Example-driven Development 2m
- Diamond Properties 3m
- Diamond Kata Assumptions 1m
- Demo Introduction: The Tip of the Diamond 0m
- Demo: The Tip of the Diamond 5m
- Demo Recap: The Tip of the Diamond 0m
- Vertical Symmetric Contour 1m
- Demo Introduction: Vertical Symmetric Contour 0m
- Demo: Vertical Symmetric Contour 6m
- Demo Recap: Vertical Symmetric Contour 0m
- Summary 1m
- Introduction 1m
- Letters Property 1m
- Demo Introduction: Use Correct Letters 0m
- Demo: Use Correct Letters 7m
- Demo Recap: Use Correct Letters 1m
- Demo Introduction: Horizontal Symmetry 0m
- Demo: Horizontal Symmetry 5m
- Demo Recap: Horizontal Symmetry 0m
- Demo Introduction: Quadratic 0m
- Demo: Quadratic 5m
- Demo Recap: Quadratic 0m
- Summary 0m
- Introduction 0m
- Interior Letters 1m
- Demo Introduction: Two Identical Letters per Row 0m
- Demo: Two Identical Letters per Row 8m
- Demo Recap: Two Identical Letters per Row 0m
- Corner Triangles 1m
- Demo Introduction: Corner Triangle 0m
- Demo: Corner Triangle 10m
- Demo Recap: Corner Triangle 0m
- Mirror and Fuse 1m
- Demo Introduction: Final Clean-up 0m
- Demo: Final Clean-up 3m
- Demo Recap: Final Clean-up 0m
- Summary 1m
About the author
Mark Seemann is a Danish programmer based in Copenhagen, Denmark. His professional interests include object-oriented development, functional programming, and software architecture, as well as software development in general. Apart from writing a book about Dependency Injection he has also written numerous articles and blog posts about related topics. Despite being a .NET programmer he takes most of his inspiration from sources across a wide range of technologies, including lots of pattern books... more