单项选择题

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