单选题软件测试方法中的（　　）属于静态测试方法。A 黑盒法B 路径覆盖C 错误推测D 人工检测

本题考查测试的分类，测试可以分为动态测试与静态测试。动态测试是通过运行程序发现错误，包括黑盒测试（等价类划分、边界值分析法、错误推测法）与白盒测试（各种类型的覆盖测试）。静态测试是人工测试方式，包括桌前检查（桌面检查）、代码走查、代码审查。

边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界。边界值分析有以下几种：（1）边界值分析使用与等价类划分法相同的划分，只是边界值分析假定错误更多地存在于划分的边界上，因此在等价类的边界上以及两侧的情况设计测试用例。]?例：测试计算平方根的函数--输入：实数--输出：实数--规格说明：当输入一个0或比0大的数的时候，返回其正平方根；当输入一个小于0的数时，显示错误信息"平方根非法-输入值小于0"并返回0；（2） 等价类划分：I.可以考虑作出如下划分：a、输入 (i)<0 和 (ii)>=0b、输出 (a)>=0 和 (b) ErrorII.测试用例有两个：a、输入4，输出2。对应于 (ii) 和 (a) 。b、输入-10，输出0和错误提示。对应于 (i) 和 (b) 。（3） 边界值分析：划分(ii)的边界为0和最大正实数；划分(i)的边界为最小负实数和0。由此得到以下测试用例：a、输入 {最小负实数}b、输入 {大于最小负实数，且趋近于最小值}c、输入 0逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它属白盒测试。白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。其中运用最为广泛的是基本路径测试法基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。