Generative testing with test.check


Hi there!

This is a big topic with many lessons. I just want to get a general sense of interest in learning generative testing.

Generative testing (also known as property-based testing) is a way to write tests as general properties on input and output. Whereas in example-based tests, you write a single example input and say what the expected output is, in generative testing, the system generates random inputs and assertions are made on their outputs. It means you can test a much wider range of inputs (including corner cases) while writing fewer tests.

For more information, see these videos:

Powerful Testing with test.check


Testing the hard stuff and staying sane

When I get enough votes, I’ll break down the material into specific topics that we can vote on individually.

Please vote. Comments are encouraged!

  • :thumbsup: Yes, please teach this!
  • :thumbsdown: No, I’m not interested.

0 voters