单项选择题

20世纪,70年代,1979年Greenford Myers出版的《the Art of Software Testing》一书出了介绍众多的测试经典方法之外,还向人们揭示了测试的目的是________。

A.证真,而非证伪
B.证伪,而非证真
C.证真,且证伪
D.验证程序的正确性