冰是一种制冷剂，主要是因为（　　）

A．冰的温度低

B．冰的传导热的能力强

C．冰在熔化过程中吸收热量

D．主要是因为冰的放热能力强

软件测试方法有很多种。其中，采用机器运行实例方式来发现程序的错误属于

A．静态测试

B．动态测试

C．程序正确性证明

D．系统测试