白盒测试技术复习纲要.docVIP

第6章 白盒测试技术1、软件测试方法从运行状态可分为哪两类？ 2 （1）静态测试： 2 （2）动态测试： 2 2、什么是白盒测试？白盒测试的测试用例的依据是什么？ 2 3． 请简述白盒测试内容。 2 4． 白盒测试基本技术有哪些？ 2 5． 白盒测试方法有哪些？ 2 6．请简述黑盒测试与白盒测试异同点？ 3 7．简述词法和语法分析的内容？ 3 8．简述静态错误分析的主要内容。 3 9．请简述程序插桩技术的主要内容。 4 10、请简述白盒测试方法－静态测试的主要内容。 4 1、代码检查法 4 2、静态结构分析法 5 3、静态质量度量法 6 11、 白盒测试方法－动态测试（即设计测试用例的方法） 6 白盒测试的动态测试原则 6 逻辑覆盖法 7 语句覆盖（SC） 7 判定覆盖（DC） 7 条件覆盖（CC） 7 条件判定组合覆盖（CDC） 7 多条件覆盖（MCC） 8 修正条件判定覆盖（MCDC） 8 12、六种逻辑覆盖的强弱关系 8 13、基本路径覆盖 10 （1）概述 10 （2）程序控制流图 10 （3）什么程序环路复杂性 11 （4）什么是环形复杂度？ 11 （5）基本路径测试步骤 11 14、其它白盒测试方法 11 1、域测试 11 2、符号测试 12 3、Z路径覆盖 12 4、程序变异 12 15 白盒测试综合策略 12 白盒测试中测试方法的选择策略 12 最少测试用例数计算 13 测试覆盖标准 13 16、如何挑选白盒测试工具 13 1、软件测试方法从运行状态可分为哪两类？ （1）静态测试：不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试 （2）动态测试：通过输入一组预先按照一定的测试准则构造的实例数据动态运行程序，而达到发现程序错误的过程，特点如下： ●必须生成测试数据来运行被测试程序，取得程序运行的真实情况、动态情况，进而进行分析 ●测试质量依赖于测试数据 ●生成测试数据，分析测试结果的工作量大，使开展测试工作费时、费力、费人 ●动态测试中涉及多方面工作，人员多，设备多，数据多，要求有较好的管理和工作规程 2、什么是白盒测试白盒测试的测试用例白盒测试白盒测试的测试用例白盒测试又称为逻辑驱动测试根据软件说明文档生成用于白盒测试的测试用例A(B||C),A||(B||C) A=T,B=T,C=T A=F,B=F,C=F 可以满足语句覆盖 缺点：主要对整个表达式最终取值进行度量，忽略了表达式内部取值 条件覆盖（CC） 设计足够多的测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。 如：A(B||C),A||(B||C) A=T,B=F,C=T A=F,B=T,C=F 不能够满足判定覆盖。 条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。 条件判定组合覆盖（CDC） 设计足够多的测试用例，使得判定中的每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果也至少出现一次 如：A(B||C),A||(B||C) A=T,B=T,C=T A=F,B=F,C=F 缺点：没有考虑单个判定对整体结果的影响，无法发现逻辑错误 多条件覆盖（MCC） 也称条件组合覆盖，设计足够多的测试用例，使得每个判定中条件的各种可能组合都至少出现一次（以数轴形式划分区域，提取交集，建立最少的测试用例） A(B||C),A||(B||C) A------B--------C T------T--------T T----- T------- F T------F--------T T------F--------F F------F--------F F------F--------T F------T--------F F------T--------T 满足条件覆盖一定满足判定覆盖、条件覆盖、条件判定组合覆盖 缺点：判定语句较多时，条件组合值比较多 修正条件判定覆盖（MCDC） 每一个程序模块的入口和出口点都要考虑至少要被调用一次，每个程序的判定到所有可能的结果值要至少转换一次 程序的判定被分解为通过逻辑操作符（and，or）连接的bool条件，每个条件对于判定的结果值是独立的 练习1：采用多条件覆盖方法，对下程序进行白盒测试用例设计 if ((a 1 )( b= = 0)) { x=x/a; } if (( a = = 2)|| (x 1 )) { x=x+1; } 12、六种逻辑覆盖的强弱关系 在外面很多的教程都认为这六种逻辑覆盖从弱到强的排列顺序是： 语句覆盖-判定覆盖-条件覆盖-判定-条件覆盖-条件组合覆盖-路径覆盖 但经过上面的分析，它们之间的关系实际上可以用下图表示： 达到100％CDC要求就一定能够满足100％DC的要