用于检查给定的推送弹出序列是否正确的程序