假设GU函数 此项目是实验性的，API不稳定。 官方仅支持Python> = 3.6，但较旧版本的Python也可能工作。 该软件包包括对策略的支持，这些策略生成遵循numpy通用通用函数API的函数的参数。 因此，它可以自动生成具有遵循形状约束的形状的矩阵。 例如，要生成np.dot的测试输入，可以使用， import numpy as np from hypothesis import given from hypothesis . strategies import floats from hypothesis_gufunc . gufunc import gufunc_args easy_floats = floats ( min_value = - 10 , max_value = 10 ) @ given ( gufunc_args ( '(m,n),(n,p)->(m

基于属性的测试功能概述 基于属性的测试（PBT）框架具有许多不同的功能，但是哪个库支持哪些功能？ 对于PBT新手来说，很难说出来。 为了测试命令式API，一个具有状态机支持的框架将是不错的选择。 集成收缩对于大型开发来说可能是个不错的功能，在这种情况下，编写自定义收缩器可能就不可行了。 ... 此概述是为了帮助自己保持跟踪。 在多年的已被汇编。 随着功能逐渐添加到框架中，不幸的是，表的条目可能会过时。 YMMV。 我很乐意接受PR来更新条目和添加新框架。 框架功能 框架 语 收缩 诠释shr。 状态机 面值英石。 马赫。 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 埃尔朗 :check_mark: :check_mark: :check_mark: :check_mark: 哈斯克尔 :check_mark: 哈斯克尔 :check_mark: :check_mark: :check_mark: :check_mark: Scala / JVM