属性测试

不写具体用例，而是写"任何输入都该满足的性质"，让工具随机生成大量输入去撞。