Sublime Text 本身不支持 Property-Based Testing，但可配合 Hypothesis 框架高效开展：安装 Hypothesis 后编写测试脚本，通过终端或构建系统运行；利用插件提升编码效率，自动缩小反例便于调试；可自定义构建系统集成 pytest 实现一键测试。
Sublime Text 本身不直接支持 Property-Based Testing（基于属性的测试），但它可以作为编辑器配合 Python 测试框架（如 Hypothesis）高效开展这类测试。关键在于：用 Sublime 编写带 Hypothesis 的测试脚本，再通过终端或 Sublime 的构建系统运行。
安装 Hypothesis 并验证环境
确保项目中已安装 Hypothesis：
- 在终端中执行 pip install hypothesis（推荐使用虚拟环境）
- 新建一个 Python 文件（例如 test_sorting.py），写一段简单测试验证是否可用：
from hypothesis.strategies import lists, integers
@given(lists(integers()))
def test_sorted_list_is_sorted(xs):
assert sorted(xs) == sorted(xs)
保存后，在终端运行 python test_sorting.py —— 若无报错，说明环境就绪。
在 Sublime 中高效编写 Hypothesis 测试
利用 Sublime 的语法高亮、代码补全和快捷键提升编写效率：
立即学习“Python免费学习笔记（深入）”；
- 安装 Python 和 AutoFileName 插件（便于导入策略时自动提示）
- 常用策略快速写法：
• integers() → 整数
• text() → 字符串
• tuples(integers(), text()) → 元组组合
• builds(MyClass, ...) → 构造自定义对象 - 按 Ctrl+Shift+B（Windows/Linux）或 Cmd+Shift+B（macOS）调出构建菜单，选择 Python 运行当前文件（需已配置 Python 构建系统）
调试失败案例与最小化反例
Hypothesis 发现 bug 后会自动缩小输入规模，输出可复现的最小反例：
- 运行测试时若失败，终端会打印类似 Falsifying example: test_func(xs=[-1, 0, 1]) 的信息
- 把该输入直接复制进测试函数中手动验证，确认逻辑问题
- 用 @given(...).example(...) 或 @reproduce_failure(...) 注解可锁定特定用例，方便 Sublime 内反复调试
集成到 Sublime 构建流程（可选进阶）
想一键运行 Hypothesis 测试并查看报告？可自定义构建系统：
- 菜单栏 → Tools → Build System → New Build System
- 填入以下内容并保存为 Hypothesis.sublime-build：
"cmd": ["python", "-m", "pytest", "$file", "-xvs"],
"selector": "source.python"
}
之后用 Ctrl+Shift+B 选择 Hypothesis，就能运行 pytest + Hypothesis 组合的测试（需提前安装 pytest 和 pytest-hypothesis）。
基本上就这些。Sublime 不是测试框架，但它是写 Hypothesis 测试的轻量高效之选——重点是写得准、跑得清、看得懂反例。
