单项选择题

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

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