文件名称：junit-quickcheck：基于属性的测试，JUnit风格
文件大小：837KB
文件格式：ZIP
更新时间：2024-02-24 14:11:01
java junit quickcheck property-based-testing JavaJava
junit-quickcheck：基于属性的测试，JUnit风格 junit-quickcheck是一个库，它受QuickCheck for Haskell的启发，支持在JUnit中编写和运行基于属性的测试。 基于属性的测试将捕获代码输出的特征（即“属性”），这些特征在满足某些条件的任意输入下应为真。 例如，假设有一个函数产生一个大于1的正整数n的质数因子的列表。无论n的具体值如何，该函数都必须给出一个成员均为质数的列表，当所有元素相乘时必须等于n ，并且必须不同于大于1且不等于n的正整数m的因式分解。 junit-quickcheck和其他QuickCheck kin不会测试所有可能输入