hypothesis - 使用 Hypothesis 进行 Python 基于属性测试
使用 Hypothesis 策略自动生成测试用例，查找并缩小最小失败示例，验证程序不变性。
标签
更新于: 2026-09-17能力
典型输入
典型输出
该技能可以做什么
- 使用策略自动生成测试数据
- 自动缩小最小失败测试示例
- 执行基于规则的有状态测试
- 生成 Polars 数据帧测试数据
- 配置测试运行设置与配置文件
输入
- 测试策略定义与列 Schema
- 目标函数与状态机
- Hypothesis 配置项与运行 Profile
输出
- 测试断言成功或失败结果
- 引发错误的最小失败样例数据
- Hypothesis 本地示例数据库文件
要求
- Python 运行环境
- Hypothesis 软件包
- pytest 测试框架
- 用于参数化测试的 Polars 库