（）模型描述用于验证用况的测试用例。