文件名称: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不会测试所有可能输入