软件测试是为了发现错误而执行程序的过程。检验软件是否满足用户需求的测试称为 (8) 。 (9) 是维护中常用的方法，其目的是检验修改所引起的副作用。黑盒测试法主要根据 (10) 来设计测试用例。

A．回归测试
B．模块测试
C．功能测试
D．结构测试

该征是由于下列哪支血管发生阻塞引起的

A．大脑中动脉
B．大脑前动脉
C．小脑下后动脉
D．大脑后动脉
E．椎基底动脉