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