property-based testing

About property-based testing

Generates hundreds of random inputs automatically to find edge cases that hand-written tests miss. Use when testing pure functions, parsers, serializers, mathematical operations, or any function where "the output should always satisfy X" can be stated. Triggers on: Hypothesis, property test, fuzz testing, QuickCheck, random input, edge case, invariant, generative testing, shrinking.

自动生成数百个随机输入，以发现手写测试遗漏的边界情况。在测试纯函数、解析器、序列化器、数学运算，或任何可以表述“输出应始终满足 X”的函数时使用。触发于：Hypothesis、属性测试、模糊测试、QuickCheck、随机输入、边界情况、不变量、生成式测试、缩小（shrinking）。