CsCheck 注意：请尝试2.0.0-rc1版本。集成任何反馈后，很快就会发布2.0.0版本。以下示例需要进行改版，该改版将在下周进行。 CsCheck是受QuickCheck启发的C＃随机测试库。 区别在于生成和缩小都基于 （快速随机数生成器）。 这具有以下优点： 自动收缩。 Gen类是可组合的，不需要Arb类。如此少的样板。 随机测试和收缩是并行的。这和PCG使其非常快。 缩小的案例具有种子价值。简单的例子可以很容易地重现。 收缩可以在以后继续进行，以解决高维问题的简单情况。 并发测试和