白盒测试方法详细说明

白盒测试方法一、静态结构分析法程序的结构形式是白盒测试的主要依据。研究表明程序员38%的时间花费在理解软件系统上,因为代码以文本格式被写入多重文件中,这是很难阅读理解的,需要其它一些东西来帮助人们阅读

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