静态测试方法包括计算机辅助静态分析方法和（）测试方法。

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

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

正确答案：A

答案：A

解析：

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

正确答案：正确性证明
正确性证明 解析：软件测试的方法有3种；动态测试、静态测试和正确性证明。动态测试指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误，而测试是否能发现错误取决于测试实例的设计。静态测试一般指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为是静态的。

答案：A

解析：