软件测试牛倩第五章白盒测试上机作业.pptxVIP

第五章白盒测试牛倩

黑盒测试等价类划分边界值分析因果图决策表

白盒测试的优点和局限性白盒测试无法实现穷举测试的原因逻辑覆盖法、基本路径测试及控制结构测试白盒测试方法的综合使用策略白盒测试的含义白盒测试中的静态测试和动态测试010203040506本章要点

白盒测试也称结构测试或逻辑驱动测试，是一种测试用例设计方法，它从程序的控制结构导出测试用例。测试人员利用程序的内部逻辑结构和相关信息，对程序的内部结构和路径进行测试，检验其是否达到了预期的设计要求。什么是白盒测试？

白盒测试一般由软件开发人员进行在集成测试阶段，如果需要白盒测试，则由有经验的测试人员和软件开发人员共同完成。0102谁来负责白盒测试？

有了黑盒测试为什么还要白盒测试？白盒测试是一种主要的单元测试方法。如果基础单元不能保证质量，则会给后续测试工作带来很多困难。黑盒测试只能观察软件的外部表现，即使软件的输入输出都是正确的，却并不能说明软件就是正确的。因为程序有可能用错误的运算方式得出正确的结果，例如“负负得正，错错得对”，只有白盒测试才能发现真正的原因。白盒测试能发现程序里的隐患，象内存泄漏、误差累计问题。在这方面，黑盒测试存在严重的不足。

白盒测试的优点与黑盒测试相比，白盒测试深入到程序的内部进行测试，更易于定位错误的原因和具体位置，弥补了黑盒测试只能从程序外部进行测试的不足。

白盒测试的局限性即使白盒测试覆盖了程序中的所有路径，仍不一定能发现程序中的全部错误。这是因为：白盒测试不能查出程序中的设计缺陷。白盒测试不能查出程序是否遗漏了功能或路径。白盒测试可能发现不了一些与数据相关的错误。

保证一个模块中的所有独立路径至少被执行一次；0101020304对所有的逻辑值均需要测试真、假两个分支；在上下边界及可操作范围内运行所有循环；检查内部数据结构以确保其有效性。020304白盒测试的主要目的

动态测试：逻辑覆盖法、基本路径测试法、控制结构测试、程序插桩等。02静态测试：代码检查法、静态结构分析法、代码质量度量法等。01白盒测试分为静态测试和动态测试两大类。白盒测试的方法及分类

代码检查应在编译和动态测试之前进行，并且应尽早进行。代码检查主要检查代码和设计的一致性，代码是否遵循标准，代码的可读性，代码的逻辑正确性，代码结构的合理性等。代码检查包括桌面检查、代码审查和走查等。代码检查法静态白盒测试（略）

静态结构分析主要是以图形的方式表现程序的内部结构，供测试人员对程序结构进行分析。01在静态结构分析中，测试人员通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图表，以清晰地表示程序的内部结构，供测试人员对其进行分析，进而查找程序中的错误。02静态结构分析法静态白盒测试（略）

静态白盒测试（略）代码质量度量法根据ISO/IEC9126国际标准的定义，软件质量包括以下六个方面：功能性（Functionality）可靠性（Reliability）可用性(Usability)效率(Efficiency)可维护性(Maintainability)可移植性（Portability）可根据ISO9126质量模型构造软件的静态质量度量模型，通过量化的数据评估被测程序的质量。

01逻辑覆盖法（Logic-coverageTesting）是以程序内部的逻辑结构为基础设计测试用例的方法。02根据对程序内部的逻辑结构的覆盖程度，逻辑覆盖法具有不同的覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定—条件覆盖、条件组合覆盖、修正条件判定覆盖。逻辑覆盖法

x=x/a;if((a1)(b=0))x=x+1;if((a=2)||(x1))例子程序（画出程序控制流图）：

程序框图(A1)AND(B=0)(A=2)OR(X1)aX=X/AX=X+1eFFTTbdc

1.语句覆盖设计若干条测试用例，使程序中每条可执行语句至少执行一次。√×语句覆盖

Case1：A=2,B=0,X=3(A1)AND(B=0)(A=2)OR(X1)aX=X/AX=X+1eFFTTbdc语句覆盖

Case2：A=2,B=1,X=3(A1)AND(B=0)(A=2)OR(X1)aX=X/AX=X+1eFFTTbdc此语句未覆盖语句覆盖

Case1：A=2,B=0,X=3(A1)AND(B=0)(A=2)OR(X1)aX=X/AX=X+1eFFTTbdc错写成OR错写成AND语句覆盖是最弱的覆盖语句覆盖

2.判定覆盖（分支覆盖）设计测试用例，使程序中的每个逻辑判断的取真和取假的分支至少经历一次。

第一组：Case1：A=2,B=0,