以下函数值的类型是______。
fun(float x)
float y;
y=3*x-4;
return y;

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

A．;