单选题静态分析通过解析程序文本从而识别出程序语句中可能存在的缺陷和异常之处；静态分析所包含的阶段中（）的主要工作是找出输入变量和输出变量之间的依赖关系。A 控制流分析B 数据使用分析C 接口分析D 信息流分析

正确答案：
(4) 【 4 】静态分析 ( 静态测试 )
解析 : 原则上讲 , 可以将软件测试方法分为两大类 , 即静态测试和动态测试。静态测试无须执行被测代码 , 而是借助专用的软件测试工具评审软件文档或程序 , 度量程序静态复杂度 , 检查软件是否符合编程标准 , 借以发现编写的程序的不足之处 , 减少错误出现的概率。动态测试 ,是使被测代码在相对真实环境下运行 , 从多角度观察程序运行时能体现的功能 、 逻辑 、 行为 、结构等的行为 , 以发现其中的错误现象。程序测试分为静态测试和动态测试。静态测试一般是指人工评审软件文档或程序 , 借以发现其中的错误。由于被评审的文档或程序不必运行 , 所以称为静态测试。

正确答案：A
解析：程序数据流分析，主要指静态分析全局变量和局部变量的声明、赋值和使用的位置；动态跟踪变量值的变化情况。而选项A程序结构分析，主要提供整个项目中的所有函数之间的调用关系图。选项C是针对面向对象的软件，提供整个项目中的所有类之间的关系图。选项D程序执行频度分析是统计所有条件分支、多出口跳转、多出口调用的各分支、出口的执行关系图。

正确答案：D
D。【解析】算法分析是指对一个算法的运行时间和占用空间做定量的分析，计算相应的数量级，并用时间复杂度和空间复杂度表示。分析算法的目的就是要降低算法的时间复杂度和空间复杂度，提高算法的执行效率。

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

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

正确答案：

答案：B

解析：

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

正确答案：A
解析：程序数据流分析，主要指静态分析全局变量和局部变量的声明、赋值和使用的位置；动态跟踪变量值的变化情况。而选项A程序结构分析，主要提供整个项目中的所有函数之间的调用关系图。选项C是针对面向对象的软件，提供整个项目中的所有类之间的关系图。选项D程序执行频度分析是统计所有条件分支、多出口跳转、多出口调用的各分支、出口的执行关系图。

正确答案：B

正确答案：A

正确答案：D
解析：走查着重从流程的角度考查程序，借助程序流程图或调用图对数据流和控制流进行静态分析，在调用图中，结点表示程序单元，有向边表示程序单元之间的控制和调用，通过调用图我们可以检查程序中变量的说明和引用、全局变量、参数误用等问题，同时还为动态测试用例的设计提供可靠的依据，注意在调用图中是不能对程序进行修改的。

正确答案：D
算法是指对解题方案准确而完整的描述，而对算法进行分析的目的，是为了在原有的基础上，对算法进行改进，从而提高对数据的处理效率。

答案：C

解析：