白盒测试

白盒测试方法：

（1）静态白盒测试：

             代码评审

             代码检查

（2）动态白盒测试：

            逻辑覆盖

            基本路径覆盖

           循环覆盖

代码检查法：

（1）代码检查方式：

            桌面检查

            代码审查

            走查

（2）代码检查项目：

•        以下项目为桌面检查：

        变量的交叉引用表

        标号的交叉引用表

       子程序、宏、函数

       等价性检查

      常量检查

•    以下项目为代码审查：

      标准检查

     风格检查

•   以下项目为走查：

    对照程序的规格说明，详细阅读源代码，逐字逐句进行分析和思考，比较实际的代码和期望代码，从它们的差异中发现程序的问题和错误

   补充文档

（3）编码规范、代码检查规则、缺陷检查表