junit-quickcheck：基于属性的测试，JUnit风格 junit-quickcheck是一个库，它受QuickCheck for Haskell的启发，支持在JUnit中编写和运行基于属性的测试。 基于属性的测试将捕获代码输出的特征（即“属性”），这些特征在满足某些条件的任意输入下应为真。 例如，假设有一个函数产生一个大于1的正整数n的质数因子的列表。无论n的具体值如何，该函数都必须给出一个成员均为质数的列表，当所有元素相乘时必须等于n ，并且必须不同于大于1且不等于n的正整数m的