在黑盒测试方法中，设计测试用例的主要根据是 A)程序内部逻辑 B)程序外部功能 C)程序数