有盖水池满水试验程序为（ ）。