黑盒测试的设计依据是程序的输入输出以及功能需求规格说明书，而不是程序的内部逻辑或代码实现。