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