静态测试是以人工的、非形式化的方法对程序进行分析和测试。常用的静态测试方法有（）。

正确答案：B

正确答案：B
解析：静态测试一般是指通过人工评审软件文档或程序，借以发现其中的错误，不必运行程序。动态测试指的是上机测试，它使程序有控制的运行，从多角度的观察程序运行时的行为。黑箱测试是动态测试的一种，由此可以看出A)，D)两项是不对的。穷举测试需要针对大量测试数据来验证程序的准确度，因此需要程序运行。

正确答案：C

正确答案：B
解析：本题考查软件测试方法的基本知识。
  软件测试分为静态测试和动态测试两大类。静态测试包括人工检测和计算机辅助静态分析。动态测试是通过运行程序发现错误，对软件产品进行黑盒和白盒测试。

正确答案：B
软件测试分为静态测试和动态测试两大类。静态测试包括人工检测和计算机辅助静态分析。动态测试是通过运行程序发现错误，对软件产品进行黑盒和白盒测试。

正确答案：A

正确答案：B

答案分析：

本题考查的是静态测试与动态测试的区别。区别如下，

静态测试是指被测试程序不在机器上运行，而是采用人工检测和计算机辅助静态分析的手段对程序进行检测，主要方法包括：（1）人工测试；（2） 计算机辅助静态分析。

动态测试是指通过运行程序发现错误，一般意义上的测试主要是指动态测试。为了使测试发现更多的错误，需要运用一些有效的方法，一种是黑盒测试，即测试产品的功能，一种是白盒测试，即测试产品内部结构及处理过程。

正确答案：

正确答案：A
解析：白盒法和黑盒法都是动态测试。

正确答案：B
虽然软件测试技术在不断地发展，但传统的分类方法仍然适用。按使用的测试技术不同可以将测试分为静态测试和动态测试。进一步地可以将静态测试分成静态分析和代码审查，将动态测试分成白盒测试和黑盒测试。代码审查（包括代码评审和走查）主要依靠有经验的程序设计人员根据软件设计文档，通过阅读程序，发现软件错误和缺陷。代码审查一般按代码审查单阅读程序，查找错误。代码审查的内容包括检查代码和设计的一致性；检查代码的标准性、可读性；检查代码逻辑表达的正确性和完整性；检查代码结构的合理性等。代码审查虽然在发现程序错误上有一定的局限性，但它不需要专门的测试工具和设备，且有一旦发现错误就能定位错误和一次发现一批错误等优点。静态分析主要对程序进行控制流分析、数据流分析、接口分析和表达式分析等。静态分析一般由计算机辅助完成。静态分析的对象是计算机程序，程序设计语言不同，相应的静态分析工具也就不同。目前具备静态分析功能的软件测试工具有很多，如Purify，Macabe等。白盒测试是一种按照程序内部的逻辑结构和编码结构设计并执行测试用例的测试方法。采用这种测试方法，测试者需要掌握被测程序的内部结构。白盒测试通常根据覆盖准则设计测试用例，使程序中的每个语句、每个条件分支、每个控制路径都在程序测试中受到检验。白盒测试需要运行程序，并能在运行过程中跟踪程序的执行路径。软件人员使用白盒测试方法，主要想对程序模块进行如下的检查：·对程序模块的所有独立的执行路径至少测试一次：·对所有的逻辑判定，取“真”与取“假”的两种情况都能至少测试一次：·在循环的边界和运行界限内执行循环体；·测试内部数据结构的有效性等。黑盒测试是一种从软件需求出发，根据软件需求规格说明设计测试用例，并按照测试用例的要求运行被测程序的测试方法。它较少关心程序内部的实现过程，侧重于程序的执行结果，将被测程序看成是不可见的黑盒子，因此被称为黑盒测试。黑盒测试着重于验证软件功能和性能的正确性，它的典型测试项目包括功能测试、性能测试、边界测试、余量测试和强度测试等。黑盒测试主要是为了发现以下几类错误：·是否有不正确或遗漏了的功能？·在接口上，输入能否正确地接受？能否输出正确的结果？·是否有数据结构错误或者外部信息（例如数据文件）访问错误？·性能上是否能够满足要求？·是否有初始化或终止性错误？因此正确答案是B。