中山大学朱熹平教授和清华大学客座教授曹怀薄破解了国际数学界关注上百年的重难题是 [ ]

A、霍奇猜想

B、歌德巴赫猜想

C、黎曼假设

D、庞加莱猜想

下面描述中属于软件测试目的的是

A．改正程序中的错误

B．发现程序中的错误

C．表明程序没有错误

D．验证程序的可靠性