测试方之白盒测试.pptxVIP

白盒测试方法 白盒测试是把测试对象看做一个透明的盒子，它允许测试人员利用程序内部逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。 通过不同点检查程序的状态，确定实际的状态是否与预期的状态一致。 因此白盒测试又称为结构测试或者逻辑驱动测试 白盒测试 静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。 为什么要进行静态白盒测试： 1.尽早的发现软件缺陷。 2.为黑盒测试员在接受软件测试时设计和应用测试用例提供思路。 一、静态白盒测试 代码检查 静态结构分析 代码质量度量 静态测试技术 数据引用错误 数据声明错误 计算错误 比较错误 控制流程错误 子程序参数错误 输入/输出错误 其他检查 代码检查清单 是否引用了未初始化的变量 数组和字符串的下标是整数值吗 是否在应该使用常量的地方使用了变量 变量是否被赋予了不同类型的值 是否为引用的指针分配了内存 数据引用错误 所有变量都赋予正确的长度和类型了吗 变量是否在声明的同时进行了初始化 是否存在声明过、但从未引用或者只引用过一次的变量 在特定的模块中所有变量都显示声明了吗 数据声明错误 计算中是否使用了不同数据类型的变量 计算中是否了解和考虑到编译器对类型或长度不一致的变量的转换规则 在数值计算过程中是否可能出现溢出 除数/模是否可能为零 变量的值是否超过有意义的范围 对于包含多个操作数的表达式，求值的次序是否混乱，运算优先级是否正确 计算错误 存在分数或者浮点值之间的比较吗 如果有，精确问题会影响比较吗 每一个逻辑表达式都正确表达了吗 逻辑计算如期进行了吗 求值次序有疑问吗 逻辑表达式的操作是逻辑值吗 比较错误 如果程序包含begin…end和do…while等语句组，是否一一对应 程序、模板、子程序和循环能否终止 可能存在永远不停的循环吗 循环可能从不执行吗 控制流程错误 子程序接受的参数类型和大小与调用代码发送的匹配吗 如果子程序有多个入口点，引用的参数是否与当前入口点没有关联 常量是否当作参数传递，意外在子程序中改动 子程序参数错误 软件是否严格遵守外部设备读写数据的专用格式 对于文件或者外部设备不存在或者未准备好的错误情况有处理吗 软件是否处理外部设备未连接、不可用或者读写过程中存储空间占满等情况 输出/输入错误 程序的结构形式是白盒测试的主要依据。研究表明程序员38%的时间花费在理解软件系统上，因为代码以文本格式被写入多重文件中，这是很难阅读理解的，需要其它一些东西来帮助人们阅读理解，如各种图表等，而静态结构分析满足了这样的需求。 静态结构分析 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图标，可以清晰地标识整个软件系统的组成结构，使其便于阅读和理解，然后可以通过分析这些图标，检查软件有没有存在缺陷或错误。 其中函数调用关系图通过应用程序中各函数之间的调用关系展示了系统的结构。通过查看函数调用关系图，可以检查函数之间的调用关系是否符合要求，是否存在递归调用，函数的调用曾是是否过深，有没有存在独立的没有被调用的函数。从而可以发现系统是否存在结构缺陷，发现哪些函数是重要的，哪些是次要的，需要使用什么级别的覆盖要求 模块控制流图是与程序流程图相类似的由许多节点和连接节点的边组成的一种图形，其中一个节点代表一条语句或数条语句，边代表节点间控制流向，它显示了一个函数的内部逻辑结构。模块控制流图可以直观地反映出一个函数的内部逻辑结构，通过检查这些模块控制流图，能够很快发现软件的错误与缺陷 代码质量度量是指对源代码进行分析后，通过量化的数据来评估代码质量的过程。 有四种常用度量方法： 　　代码行：用程序中的代码行的多少来表示程序大小和复杂性。 　　Halstead软件科学法：计算机程序被看作是符合的集合，符号主要分为运算符和运算元。 　　结构度量：结构度量是将产品或系统中模块的交互量化的方式。最常用的设计结构度量是扇入和扇出。扇入：调用给定模块的模块数；扇出：给定模块所调用的模块数。 　　圈复杂性：McCabe的圈复杂性测度被用来量化程序的可测试性和可理解性。 代码质量度量 PC-Lint CodeWizard Logiscope Testbed QAC 静态测试工具 动态白盒测试是指利用查看代码功能和实现方法得到的信息来确定哪些要测试，哪些不要测试，如何开展测试 动态白盒测试的另一个常用名称是结构测试，因为软件测试员可以查看并使用代码的内部结构，从而设计和执行测试 二、动态白盒测试 控制流图 环形复杂度 动态测试基本概念 符号○为控制流图的一个结点，表示