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

A．程序数据结构
B．程序流程图
C．程序内部逻辑
D．程序外部功能

在各项均为正数的等比数列|a_n|中，若a₂=2，则a₁+2a₃的最小值是______．