黑盒测试的测试用例设计主要基于功能需求，不涉及程序内部结构或代码实现。因此选项B是正确的描述。