属性测试设计 Skill：从示例验证走向业务不变量验证

属性测试设计实战指南：定义属性、生成器、缩减、输入域、不变量和可复现失败。