5.6.5 前提条件和后验条件测试