进行软件测试是为了(18)，通常可分为白盒测试和黑盒测试。白盒测试是根据程序的内部逻辑来设计测试用例，黑盒测试是根据软件的(19)来设计测试用例。常用的黑盒测试方法有边值分析、等价类划分、错误猜测、因果图等。其中，(20)经常与其它方法结合起来使用。软件测试的步骤主要有单元测试、集成测试和确认测试。如果一个软件作为产品被许多客户使用的话，在确认测试时通常要经过。测试和β测试的过程。其中，β测试是(21)进行的一种测试。在软件设计和编码时，采取(22)等措施都有利于提高软件的可测试性。
A．发现程序中的所有错误
B．尽可能多地发现程序中的错误
C．证明程序是正确的
D．证明程序做了应做的事
