白盒测试概述

白盒测试基本技术                                                             白盒测试方法

1、词法分析与语法分析                                                     1、代码检查法

2、静态错误分析                                                                 2、静态结构分析法

3、程序插桩技术                                                                 3、静态质量度量法  

                                                                                               4、逻辑覆盖法    

                                                                                               5、基本路径测试法&其他

白盒测试基本技术  

1、词法分析与语法分析

    通过词法分析与语法分析可以获取软件组成的重要基本因素，例如：变量标识符、过程标识符、常量等，组合这些基本因素可以得到软件的基本信息。如：标号交叉引用表，变量交叉引用表，子程序、宏和函数表，等价表和常数表等

      按照功能分析，引用表的作用有以下3种：直接从表中查出说明/使用错误，如循环层次表、变量交叉引用表、标号交叉引用表；为用户提供辅助信息，如子程序引用表、等价表、常数表；用来做错误预测和程序复杂度极端，如操作符和操作数的统计表等

2、静态错误分析

    静态错误分析用于确定在源程序中是否有某类错误或“危险”结构。它有以下几种。

   （1）类型和单位分析，为了强化对源程序中数据类型的检查，在程序设计语言中扩充一些新的数据类型，例如仅能在数组中使用的“下标”类型以及在循环语句中当作控制变量使用的“计数器”类型

   （2）引用分析，这是静态错误分析中最常用的技术。如果沿着程序的控制路径，变量在赋值以前被引用，或者变量在赋值以后未被引用，这时就发生了引用异常

    （3）表达式分析，包括在表达式中不正确地使用了括号造成错误；数组下标越界造成错误；除数为零造成错误；对负数开方造成错误。最复杂的一类表达式分析是对浮点数计算的误差进行检查。由于使用二进制数不精确地表示十进制浮点数，常常使计算结果出乎意料

    （4）接口分析，接口一致性是程序的静态错误分析和设计分析共同研究的题目。要检查形参与实参在类型、数量、维数、顺序、使用上的一致性；检查全局变量和公共数据区在使用上的一致性

3、程序插桩技术

    在软件动态测试中，程序插桩（Program Instrumentation）是一种基本的测试手段，是借助往被测程序中插入操作来实现测试目的的方法；断言语句

    设计插桩程序时需要考虑的问题包括：探测那些信息；在程序的什么部位设置探测点；需要设置多少个探测点