单项选择题
A．发现程序中的所有错误 B．尽可能多地发现程序中的错误 C．证明程序是正确的 D．证明程序做了应做的事1（）……
【按序答1-4题】 软件测试的目的是（1） ，通常可分为白盒测试和黑盒测试。白盒测试是根据程序的（2）来设计测试用例，黑盒测试是根据软件的规格说明来设计测试用例。常用的黑盒测试方法有边值分析、等价类划分、错误猜测、因果图等。软件测试的步骤主要有单元测试、集成测试和确认测试。如果一个软件作为产品被许多客户使用的话，在确认测试时通常要经过α测试和β测试的过程。其中，α测试是（3）进行的一种测试。在软件设计和编码时，采取（4）等措施都有利于提高软件的可测试 性。
1（）
A．发现程序中的所有错误
B．尽可能多地发现程序中的错误
C．证明程序是正确的
D．证明程序做了应做的事
