等价类划分 第4页