这是总结好的各种测试用例的方法,等价类划分,错误推测法,因果图法等等等等,都有例子