（）法是穷举路径测试。