Pythonic库，用于QuickCheck风格的随机测试和SmallCheck风格的全面测试。
项目描述
一种基于属性的测试库，以两种不同的方式进行
“QuickCheck” - 随机生成的输入
“SmallCheck” - 全面枚举的输入
这两种测试方法是以先驱的Haskell库命名的。当这两种方法结合使用时，它们真正闪耀——一旦发现某个属性可以被一些可能非常大且疯狂的随机输入所反驳，那么投入CPU时间来找到最小的反例通常是有价值的。
这个库是一个全新的正在进行中的作品（请参阅提交日志以获取日期），存在已知问题
目前还没有随机生成的字符串。
还没有存在量化，但smallcheck允许它！
需要更多的彻底测试。
需要能够测试属性总是抛出异常。
需要更多的组合子。
需要一个简洁的接口而不是检查测试用例的状态。
安装 & 使用
(待定：更详细地描述。现在，请阅读doublecheck/gen.py和doublecheck/prop.py)
$ pip安装doublecheck $ python >>> from doublecheck导入* >>> ForAll(lambda i: i > 0, PosInts()).quickcheck(100000).状态'确定'
版权 & 许可
版权 2012- Kenneth Knowles
根据Apache License，版本2.0（“许可”）许可；除非适用法律要求或书面同意，否则不得使用此文件，除非遵守本许可。您可以在以下位置获取许可证副本：
https://apache.ac.cn/licenses/LICENSE-2.0
除非适用法律要求或书面同意，否则在许可证下分发的软件按“原样”基础分发，不提供任何明示或暗示的保证或条件。有关许可证的特定语言管辖权限和限制，请参阅许可证。
关闭
doublecheck-0.1pre2012-05-08T10-05-14.tar.gz的哈希
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 61a071e1f1e609607a8394a220a6ad09d290e504266c61328883646ca27bbe53 |
|
| MD5 | f82b287d670430836e823bbe3d2143f6 |
|
| BLAKE2b-256 | af1b2c476929a1847655ff6c844585a9ba3d8acf5488cefdc162c4c690485bd7 |
