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

黑盒测试法主要根据（）来设计测试用例

A．程序数据结构

B．程序流程图

C．程序内部逻辑

D．程序外部功能