Property-Based Testing for Godly Tests

The document discusses property-based testing and its advantages over example-based testing. It describes how property-based testing uses generators to generate random inputs from the set of all possible inputs for a function. This allows tests to cover a wide range of cases rather than just specific examples. It also discusses how property-based testing frameworks like Testcheck use techniques li

[tbpg]

テスト対象の特性をもとに、入力されうる範囲に対してランダムな値を生成して具体値によるテストケースを記述することなくテストができる property-based testing に関するスライド

[efcl]

Property-Based Testingについてのスライド。 Example-Based Test、Fizz Test、 Property-Based Testのカバーできる範囲の違いや特徴について。 `testcheck`を使ったテストやFlowの型定義からの自動生成についてなど