112、hypothesis 属性测试：让机器自动生成测试用例，发现你从未想过的边界

112、hypothesis 属性测试：让机器自动生成测试用例，发现你从未想过的边界

上周五晚上十一点，我盯着屏幕上的生产环境报错日志，头皮发麻。一个用户上传了包含特殊 Unicode 字符的 CSV 文件，导致我们数据清洗管道直接崩溃。这个字符在测试环境从来没出现过——因为测试用例是我手写的，我压根没想到有人会在文件名里塞进零宽空格和从右向左的覆盖字符。

这种“没想到”的边界，才是软件里真正的魔鬼。手写测试用例就像用手电筒照房间，你只能看到光照到的地方。而 hypothesis 这个库，相当于给你一个探地雷达，自动扫描你代码里所有可能藏雷的角落。

从一段“看起来没问题”的代码开始

先看一个我早期项目里的函数，功能是把时间字符串转成分钟数：

deftime_to_minutes(time_str:str)-