白盒测试技术1实验.docVIP

白盒测试技术1实验 实验目的： 熟悉应用语句覆盖法 熟悉应用判定覆盖法（又称为分支覆盖法） 熟悉应用条件覆盖法 熟悉应用判定-条件覆盖法（又称为分支-条件覆盖法） 熟悉应用条件组合覆盖法 熟悉应用路径覆盖法 实验要求： 掌握语句覆盖法 掌握判定覆盖法（又称为分支覆盖法） 掌握条件覆盖法 掌握判定-条件覆盖法（又称为分支-条件覆盖法） 掌握条件组合覆盖法 掌握路径覆盖法 实验内容及步骤： 给出以下函数，对它分别进行以下覆盖法测试，并设计相应的测试用例。 //判断某年是否闰年 闰年返回1，平年返回0 int leapyear(int year) { int x = 0; if ((year%400==0) || (year%100!=0) (year%4==0)) { x = 1; } return x; } 语句覆盖 判定覆盖（又称为分支覆盖） 条件覆盖 判定-条件覆盖（又称为分支-条件覆盖） 条件组合覆盖 路径覆盖 要求： 画流程图 分别设计以上6种测试用例 并编写自动化测试代码运行测试，记录结果。 int x = 0 int x = 0 return x x = 1 (year%400==0) || (year%100!=0) (year%4==0) 语句块1 判断M Y N 1 2 3 （1）语句覆盖 用例编号 覆盖语句块 用例（year） 1 语句1 1992 （2）判定覆盖（又称为分支覆盖） 用例编号 覆盖判断 用例（year） 1 M的Y分支 1992 2 M的N分支 1993 （3）条件覆盖 设year%400==0取真记作T1，取假记作F1 year%100!=0取真记作T2，取假记作F2 year%4==0取真记作T3，取假记作F3 用例编号 覆盖条件 具体取值条件 用例（year） 1 T1、F2、T3 year%400==0， year%100==0， year%4==0 2000 2 F1、T2、F3 year%400！=0， year%100！=0， year%4！=0 1993 （4）判定-条件覆盖（又称为分支-条件覆盖） 用例编号 覆盖条件 覆盖判断 用例（year） 1 T1、F2、T3 M的Y分支 2000 2 F1、T2、F3 M的N分支 1993 （5）条件组合覆盖 编号 覆盖条件 覆盖判断 条件取值 用例（year） 1 T1、T2、T3 M的Y分支 year%400==0， year%100！=0， year%4==0 —— 2 T1、F2、T3 M的Y分支 year%400==0， year%100==0， year%4==0 2000 3 T1、T2、F3 M的Y分支 year%400==0， year%100！=0， year%4！=0 —— 4 T1、F2、F3 M的Y分支 year%400==0， year%100==0， year%4！=0 —— 5 F1、T2、T3 M的Y分支 year%400！=0， year%100！=0， year%4==0 1992 6 F1、F2、T3 M的N分支 year%400！=0， year%100==0， year%4==0 1900 7 F1、T2、F3 M的N分支 year%400！=0， year%100！=0， year%4！=0 1993 8 F1、F2、F3 M的N分支 year%400！=0， year%100==0， year%4！=0 —— （6）路径覆盖 用例编号 覆盖条件 覆盖路径 用例（year） 1 T1、F2、T3 1-2-3 2000 2 F1、T2、F3 1-3 1993 对三角形triangleApp项目进行逻辑覆盖法测试，对每个模块分别进行以下最适合的覆盖法测试，并设计相应的测试用例。 语句覆盖 判定覆盖（又称为分支覆盖） 条件覆盖 判定-条件覆盖（又称为分支-条件覆盖） 条件组合覆盖 路径覆盖 要求： 画流程图 列出对应模块采用的覆盖方法，并给出合理的理由，然后编写对应的测试用例。 并编写自动化测试代码运行测试，记录结果。 （1）流程图 因为每个判定块中都是对输入的a、b、c三个数的值进行判断，条件复杂度不高，并且主要都是用来做最后的判定，即其中一个条件为假，判定就为假，因此只要用判定覆盖即可将所有可能的结果走完，而用到条件覆盖或更高级的覆盖则会显得冗余，并且条件众多繁琐，要完全覆盖则会设计出很多意义相同而输入不同的用例。 （2）判定覆盖（又称为分支覆盖） 用例编号 覆盖判断 输出结果 用例（year） 1 A的Y分支， B的Y分支， C的Y分支 等边三角形 a=4 b=4 c=4 2 A的Y分支， B的Y分支， C的N分支， D的Y分支 一般三角形 a=4 b=5 c=