测试不是证明：通过未必可靠

如今，Java（jqwik）、Rust（quickcheck、proptest）、JavaScript（fast-check）、Scala（ScalaCheck）以及大多数其他主流语言都有相应的实现。 基于属性的测试（QuickCheck、Hypothesis、jqwik）将问题从 这个输入是否通过？转移到 这个不变式是否适用于大量的随机样本？