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

A．确认测试

B．有效性测试

C．系统测试

D．集成测试