● 在设计测试用例时，__(4)__是用得最多的一种黑盒测试方法。在黑盒测试方法中， 等价类划分方法设计测试用例的步骤是：① 根据输入条件把数目极多的输入数据划分成若干个有效等价类和若干个无效等价类；② 设计一个测试用例，使其覆盖__(5)__尚未被覆盖的有效等价类,重复这一步，直至所有的有效等价类均被覆盖；③ 设计一个测试用例，使其覆盖__(6)__尚未被覆盖的无效等价类,重复这一步，直至所有的无效等价类均被覆盖。因果图方法是根据__(7)__之间的因果关系来设计测试用例的。在实际应用中，一旦纠正了程序

正确答案：B
解析：(41)空：黑盒测试用例设计方法有：等价类划分、边界值分析、因果图和功能图等。等价类划分是一种典型的黑盒测试方法，该方法即把所有可能的输入数据，即程序的输入部门划分为若干部分，然后从每一部分中选取少数有代表性的数据作为测试用例。边界值分析法，是目前用得最多的黑盒测试法。(42)、(43)空：在采用等价类划分方法设计测试用例时，要让一个测试用例尽可能多地覆盖尚未被覆盖的有效等价类，而为无效等价类设计测试用例时，只能让一个测试用例覆盖一个尚未被覆盖的无效等价类，这样可以保证程序中对某一输入错误的检查不会覆盖其他错误。(44)空：因果图法是根据输入与输出之间的因果关系来设计测试用例的，要检查输入条件的各种组合情况。在设计测试用例时，需分析规格说明中哪些是原因，哪些是结果，并指出原因和结果间的对应关系。(45)空：回归测试是在纠正程序中的错误后，选择部分或者全部原先已经测试过的测试用例，对修改后的程序重新测试，以验证对软件修改后有没有引出新的错误。强度测试是检查在系统运行环境下正常发生故障的情况下，系统可以运行到何种程度的测试。系统测试是将通过确认测试的软件作为整个基于计算机系统的一个元素，与计算机硬件、外设、支持软件、数据以及人员等其他系统元素结合在一起，在实际运行环境下对计算机系统进行一系列的组装测试和确认测试。验收测试是在系统进行有效性测试及软件配置审查后，以用户为主进行的测试。