面说法正确的是（）。

A.经过测试没有发现错误说明程序正确

B.测试的目标是为了证明程序没有错误

C.成功的测试是发现了迄今尚未发现的错误的测试

D.成功的测试是没有发现错误的测试

经国务院批准并授权，国家测绘局2005年10月9日宣布，地球最高峰珠峰的“身高”为8848.43m．与我国1975年公布的数据8852.13m相比，珠峰“身高”整整低了3.70m!据悉，全球气候变暖导致峰顶冰雪厚度变薄是珠峰变“矮”的主要原因之一．则与此相关的环境问题是（　　）

A．温室效应

B．酸雨

C．臭氧层衰竭

D．白色污染