Introduction to Property-based Testing with F#

Pluralsight
Course Summary
Learn what Property-based Testing is, and how to write and run such tests with F#.
-
+
Course Description
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.
-
+
Course Syllabus
Introduction to Property-based Testing and FsCheck- 25m 12s
—Introduction 2m 18s
—Properties 0m 56s
—Property-based Testing 3m 54s
—Non-deterministic Input 2m 50s
—FsCheck 0m 39s
—Demo Introduction: FsCheck 0m 37s
—Demo: FsCheck 5m 48s
—Demo Recap: FsCheck 0m 59s
—Demo Introduction: Custom Data Generation 0m 53s
—Demo: Custom Data Generation 4m 50s
—Demo Recap: Custom Data Generation 0m 41s
—Summary 0m 42sGetting Started with the Diamond Kata- 21m 47s
—Introduction 0m 40s
—The Diamond Kata 0m 47s
—The Diamond Kata vs. Example-driven Development 2m 27s
—Diamond Properties 3m 3s
—Diamond Kata Assumptions 0m 56s
—Demo Introduction: The Tip of the Diamond 0m 24s
—Demo: The Tip of the Diamond 4m 56s
—Demo Recap: The Tip of the Diamond 0m 16s
—Vertical Symmetric Contour 1m 18s
—Demo Introduction: Vertical Symmetric Contour 0m 15s
—Demo: Vertical Symmetric Contour 5m 31s
—Demo Recap: Vertical Symmetric Contour 0m 23s
—Summary 0m 46sThe Diamond Kata: Adding Letters- 21m 9sCompleting the Diamond Kata- 26m 45s