依赖公式化的检查项目