9.4 测试用例的自动生成