参考答案：B

解析： 仅根据规格说明书描述的程序功能来设计测试用例的方法称为黑盒测试法。白盒测试是对程序的逻辑结构进行检查，从中获取测试数据。静态分析又称静态测试不必运行程序，目的是收集有关程序代码的结构信息而非查错。人工分析与自动化测试相对，与具体的测试方法不是同一个概念。