白盒测试方法详细说明.pdfVIP

。 白盒测试方法 一、静态结构分析法 程序的结构形式是白盒测试的主要依据。 研究表明程序员 38%的时间花费在理解软件系 统上， 因为代码以文本格式被写入多重文件中， 这是很难阅读理解的， 需要其它一些东西来 帮助人们阅读理解，如各种图表等，而静态结构分析满足了这样的需求。 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、 数据结构、 内部控制逻辑等内部结构，生成函数调用关系图、 模块控制流图、内部文件调用 关系图、 子程序表、 宏和函数参数表等各类图形图标， 可以清晰地标识整个软件系统的组成 结构，使其便于阅读和理解， 然后可以通过分析这些图标， 检查软件有没有存在缺陷或错误。 其中函数调用关系图通过应用程序中各函数之间的调用关系展示了系统的结构。 通过查 看函数调用关系图， 可以检查函数之间的调用关系是否符合要求， 是否存在递归调用， 函数 的调用曾是是否过深， 有没有存在独立的没有被调用的函数。 从而可以发现系统是否存在结 构缺陷，发现哪些函数是重要的，哪些是次要的，需要使用什么级别的覆盖要求 模块控制流图是与程序流程图相类似的由许多节点和连接节点的边组成的一种图形， 其 中一个节点代表一条语句或数条语句， 边代表节点间控制流向， 它显示了一个函数的内部逻 辑结构。 模块控制流图可以直观地反映出一个函数的内部逻辑结构， 通过检查这些模块控制 流图，能够很快发现软件的错误与缺陷 二、代码检查 代码检查包括桌面检查、 代码审查和走查等， 主要检查代码和设计的一致性， 代码对标准的 遵循、 可读性， 代码逻辑表达的正确性， 代码结构的合理性等方面；发现违背程序编写标准 的问题，程序中不安全、 不明确和模糊的部分，找出程序中不可移植部分、 违背程序编程风 格的内容， 包括变量检查、命名和类型审查、 程序逻辑审查、 程序语法检查和程序结构检查 等内容。 代码检查方法 1、代码检查法 （1）桌面检查：这是一种传统的检查方法，由程序员检查自己编写的程序。程序员在程序 通过编译之后， 对源程序代码进行分析、 检验，并补充相关文档， 目的是发现程序中的错误。 由于程序员熟悉自己的程序及其程序设计风格， 桌面检查由程序员自己进行可以节省很多的 检查时间，但应避免主观片面性 （2 ）代码审查 由若干程序员和测试员组成一个审查小组， 通过阅读、 讨论和争议， 对程序进行静态分 析的过程。代码审查分两步：第一步，小组负责人提前把设计规格说明书、控制流程图、程 序文本及有关要求、 规范等分发给小组成员， 作为审查的依据。 小组成员在充分阅读这些材 料后，进入审查的第二步，召开程序审查会。在会上，首先由程序员逐句简介程序的逻辑。 - 可编辑修改 - 。 在此过程中，程序员或其他小组成员可以提出问题，展开讨论，审查错误是否存在。实践表 明，程序员在讲解过程中能发现许多原来自己没有发现的错误， 而讨论和争议则促进了问题 的暴露。 在会前， 应当给审查小组每个成员准备一份常见错误