下面那个不属于静态分析（）A、编码规则的检查B、程序结构分析C、程序复杂度分析D、内存泄漏

参考答案：√

正确答案：B
解析：白盒测试按照程序内部的逻辑测试程序，检验程序中的每条路径能否按预定要求工作，白盒测试又称单元测试，它不属于基于代码分析的静态测试。故正确选项为B项。

正确答案：ABC

正确答案：B
本题考查软件静态测试方法。静态测试不实际运行被测软件，主要是对软件的编程格式、结构等方面进行评估。本题中分支覆盖率分析、系统压力测试和路径覆盖分析都需要实际运行被测软件才能得到，只有复杂度分析可通过静态分析程序代码实现。

正确答案：D
解析：静态错误分析主要用于确定在源程序中是否有某类错误或者危险结构，包括：
  类型和单位分析——为了强化对源程序中数据类型的检查，在程序设计语言中扩充一些新的数据类型。
  引用分析——在静态错误分析中，最广泛使用的技术就是发现引用异常。
  表达式分析——对表达式进行分析，以发现和纠正在表达式中出现的错误。
  接口分析——接口的一致性是程序的静态错误分析和设计分析共同研究的题目。接口一致性的设计分析主要检查模块之间接口的一致性和模块与外部数据库之间接口的一致性。

答案：B

解析：

正确答案：A

参考答案：D

正确答案：D
软件测试按照不同的划分方法，有不同的分类。按照程序是否执行，可以分为静态测试和动态测试；按照测试用例的设计方法，可以分为白盒测试和黑盒测试；按照开发阶段划分，可以分为单元测试、集成测试、确认测试、系统测试和验收测试等等。静态测试的主要特征是在用计算机测试源程序时，计算机并不真正运行被测试的程序。静态测试包括代码检查、静态结构分析、代码质量度量等。它可以由人工进行，也可以借助软件工具自动进行。动态测试的主要特征是计算机必须真正运厅被测试的程序，通过输入测试用例，对其运行情况进行分析，判断期望结果和实际结果是否一致。动态测试包括功能确认与接口测试、覆盖率分析、性能分析、内存分析等，覆盖率分析属于动态测试。

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

答案：C

解析：