Strategies for properties: metamorphic properties

Subscribe to a paid plan to get instant access to this course.

Video time: 25m35s

PREVIOUS

NEXT

Want this course?

Strategies for properties: metamorphic properties

Course: Property-Based Testing with test.check

Updated August 11, 2019

Sometimes you need to test something that doesn't have a right answer. Metamorphic properties let you test a system against itself. If you modify the input, you should see a modification of the output.

Next Lesson

21 min

Behind the scenes: size

It's important to know about size. Size controls the range of values of a generator. It changes over the length of a run of a property. The built-in generators have an intuitive notion of size, and you can control the size yourself using three functions from the generators namespace.

Course: Property-Based Testing with test.check

0 / 18

0 / 18

Lessons

What is Property-Based Testing?

What is test.check?

Advantages of Property-Based Testing

When can you use Property-Based Testing

How does Property-Based Testing work?

An overview of property-based testing with an example test

A tour of the built-in generators

Building your own simple generators

Building complex generators: email address

Building complex generators: matrices

Strategies for properties: functionality

Strategies for properties: invariants

Strategies for properties: algebraic properties

Strategies for properties: generate the output

Strategies for properties: metamorphic properties

Behind the scenes: size

Behind the scenes: shrinkage

Building complex generators: mutation testing