C语占中，函数值类型的定义可以缺省，此时函数值的隐含类型是

A．软件测试的目的是证明程序是否正确
B．软件测试的日的是使程序运行结果正确
C．软件测试的目的是尽可能多地发现程序中的错误
D．软件测试的目的是使程序符合结构化原则