单选题

在设计测试用例时，__（1）__是用得最多的一种黑盒测试方法。在黑盒测试方法中，等价类划分方法设计测试用例的步骤如下所述。 ①根据输入条件把数目极多的输入数据划分成若干个有效等价类和若干个无效等价类。 ②设计一个测试用例，使其覆盖__（2）__尚未被覆盖的有效等价类，重复这一步，直至所有的有效等价类均被覆盖。 ③设计一个测试用例，使其覆盖__（3）__尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类均被覆盖。 因果图法是根据__（4）__之间的因果关系来设计测试用例的。 在实际应用中，一旦纠正了程序中的错误后，还应该选择部分或者全部原先已经测试过的测试用例，对修改后的程序进行重新测试，这种测试称为__（5）__。 空白（4）处应选择（）

A 输入与输出

B 设计与实现

C 条件与结果

D 主程序与子程序

解析： 等价类划分是一种黑盒测试方法，将程序的输入域划分为数据类，以便导出测试用例。理想的测试用例是独自发现一类错误。等价类划分试图定义一个测试用例以发 现各类错误，从而减少必须开发的测试用例数。根据已划分的等价类表，应该按照以下步骤确定测试用例。首先，设计一个测试用例，使其尽可能多地覆盖尚未覆盖 的有效等价类，重复这一步，使得所有有效等价类都被测试用例所覆盖。然后，设计一个新的测试用例，使其只覆盖一个无效等价类，重复这一步使所有无效等价类 都被覆盖。应当注意到一次只能覆盖一个无效等价类。因为在一个测试用例中如果含有多个错误，有可能在测试中只发现其中的一个，另一些被忽视。因果图法是根 据输入与输出之间的因果关系来设计测试用例的，要检查输入条件的各种组合情况，在设计测试用例时，须分析规格说明中哪些是原因，哪些是结果，并指出原因和 结果之间、原因和原因之间的对应关系。纠正了程序中的错误之后，选择部分或者全部原先已经通过测试的用例，对修改后的程序进行重新测试以验证对软件修改后 有没有引入新的错误，称为回归测试。