6.11.3 基于不变性的被动测试