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