单项选择题

Myers 1979年提出了一个重要的观点,软件测试的目的是为了______。

A.证明程序正确
B.查找程序错误
C.改正程序错误
D.验证程序无错