黑盒测试用例设计方法包括（）、（）以及（），错误推测法等。

从供选择的答案中选出同下列关于软件测试的各条叙述关系最密切的字句。
A．对可靠性要求很高的软件，例如操作系统，由第三者对源代码进行逐行检查。
B．已有的软件被改版时，由于受到变更的影响，改版前正常的功能可能发生异常，性能也可能下降。因此，对变更的软件进行测试是必要的。
C．在意识到被测试模块的内部结构或算法的情况下进行测试。
D．为了确认用户的需求，先做出系统的主要部分，提交给用户试用。
E．在测试具有层次结构的大型软件时，有一种方法是从上层模块开始，由上到下进行测试。此时，有必要用一些模块替代尚未测试过的下层模块。
供选择的答案：
A~E：①仿真器；②代码审查；③模拟器；④桩；⑤驱动器；⑥域测试；⑦黑盒测试；⑧原型；⑨白盒测试；⑩退化测试。