**
白盒测试技术
**
1.概述
白盒测试叶城结构测试或者逻辑驱动测试,他按照程序内部结构的测试程序,通过测验来检测产品内部动作是否按照设计规格说明书的规定正常进行,检验程序中的每条通路是否都能按预定要求正确工作,他关注的是软件内部逻辑结构。
2.白盒测试方法
白盒测试常用方法主要有:代码检查法、静态结构分析法、逻辑覆盖法、基本路径测试法、域测试法、符号测试法、数据流测试法、Z路径覆盖法、变异测试等。
2.1 代码检查法
代码检查法包括桌面检查、代码审查、走查等,主要检查代码和设计的一致性,代码对标准的遵循,可读性、代码逻辑表达正确性、代码结构的合理性等方面;发现违背程序边学标准的问题,程序中不安全、不明确和模糊的部分,找出程序中不可移植部分、违背程序编程风格的问题,包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。
2.2静态结构分析法
静态结构分析是指测试者通过使用测试工具分析程序源代码的系统结构、数据结构、内部控制逻辑等内部结构,生产函数调用关系图、模块控住流图、内部文件调用关系图等各种图形和图表,清晰的标识整个软件的组成结构,通过分析这些图表,检查软件是否存在缺陷。
2.3 逻辑覆盖法
逻辑覆盖是通过对程序逻辑机构的便利实现程序的覆盖。他是一系列测试过程的总称,这组测试过程逐渐进行越来越完整的通路测试。从覆盖源程序语句的详尽程度分析,逻辑覆盖标准存在不同的覆盖标准:
语句覆盖(SC):为了暴露程序中的错误,程序中的每条语句至少应该执行一次。因此,语句覆盖(Statement Coverage)的含义是:选择足够多的测试数据,使被测程序中每条语句