在安装过程中查看工具提示
Modelcheck 报告已实现现代化