5.3 语义差异法