单项选择题

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

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