11.5 验证和替代的应用