冰淇淋检验程序设计