有盖水池满水试验程序为( )。