1407040248_周立群_白盒测试试题

答：V（G）=e-n+2。其中，e表示控制流图中边的数量，n表示控制流图中节点的数量。其实，圈复杂度的计算还有更直观的方法，因为圈复杂度所反映的是“判定条件”的数量，所以圈复杂度实际上就是等于判定节点的数量再加上1，也即控制流图的区域数，对应的公式为：V（G）=区域数=判定节点数+1。V（G）=3+1=4或V（G）=5=3+2=4
4.请用逻辑覆盖和基路径测试方法对下面的java代码进行测试。代码的功能是：用折半查找法在元素呈升序排列的数组中查找值为key的元素。
publicintbinSearch(intarray[],intkey) {
intmid, low, high;
low = 0;
high = array.length - 1;
publicbooleanisDate(intyear,intmonth,intday) {
booleanflag =true;
if((year < 0) || (year > 2050)) {
flag =false;
}
if((month < 1) || (month > 12)) {
flag =false;
}else{
switch(month) {
case1:
case3:
case5:
case7:
case8:
case10:
case12:
if((day > 31) || (day < 1)) {
flag =falቤተ መጻሕፍቲ ባይዱe;
}
break;
case4:
case6:
case9:
case11:
if((day > 30) || (day < 1)) {
二、简答题
1.请试着比较一下黑盒测试、白盒测试、单元测试、集成测试、系统测试、验收测试的区别与联系。
答：黑盒测试：已知产品的功能设计规格，可以进行测试证明每个实现了的功能是否符合要求。白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。单元测试(模块测试)是开发者编写的一小段代码，用于检验被测代码的一个很小的、很明确的功能是否正确。通常而言，一个单元测试是用于判断某个特定条件(或者场景)下某个特定函数的行为。集成测试(也叫组装测试，联合测试)是单元测试的逻辑扩展。它的最简单的形式是：两个已经测试过的单元组合成一个组件，并且测试它们之间的接口。从这一层意义上讲，组件是指多个单元的集成聚合。在现实方案中，许多单元组合成组件，而这些组件又聚合成程序的更大部分。方法是测试片段的组合，并最终扩展进程，将您的模块与其他组的模块一起测试。最后，将构成进程的所有模块一起测试。
答：1）、语句覆盖。就是选择足够的测试用例，使程序中的每个可执行语句至少执行一次。
2）、判定覆盖。就是执行足够的测试用例，使得程序中的每个判定的"true"和"false"值都至少执行一次，这种测试也称为“分支测试”。
3）、条件覆盖。执行足够的测试用例，使程序每个判定中的每个条件的"true"和"false"
}
}
returnt;
}
2.使用逻辑覆盖测试方法测试以下程序段：
voidDoWork (intx,inty,intz) {
1intk=0,j=0;
2if( (x>3)&&(z<10) ){
4 k=x*y-1;
5 j=sqrt(k);
6 }
7if((x==4)||(y>5)){
8 j=x*y+10;
9 }
}
5.设计判别一个整数x（x≥2）是否为素数的程序，并设计测试用例满足条件覆盖和基本路径覆盖。
答：
测试条件
测试数据
期待结果
小于2的整数
-12
输出错误信息
素数
67
素数
非素数
90
非素数
6.请用逻辑覆盖和基路径测试方法对下面的java代码进行测试。代码的功能是：输入三个数，判断它们是否为有效的日期（其中年小于2050）。
动态测试方法：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖。
4.举例说明结构性测试覆盖指标C0，C1，C1P，CMCC的区别。
答：结构性测试覆盖指标C0:所有语句。
C1:所有DD-路径（判断分支）
C1P:所有判断的每种分支
CMCC:多条件覆盖
5.常用的逻辑覆盖测试方法有哪几种？并简单描述各种方法的目的。
8.详细设计的目的是为软件结构图中的每一个模块确定使用的算法和块内数据结构，并用某种选定的表达工具给出清晰的描述。(X)
9.尽量用公共过程或子程序去代替重复的代码段。（X）
10.对于连锁型分支结构，若有n个判定语句，则有2n条路径。（√）
11.尽量采用复合的条件测试，以避免嵌套的分支结构。（√）
12.GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁。（√）
leap =false;
}
}else{
leap =true;
}
}else{
leap =false;
}
returnleap;
}
（1）请画出以上代码的控制流图
答：
（2）请计算上述控制流图的圈复杂度V（G）（独立线性路径数）
答：V（G）=8-5+1=4，独立线性路径数：4
（3）假设输入的取值范围是0 < year < 2010,请使用基本路径测试法为变量year设计测试用例，使其满足基本路径覆盖的要求。
答:白盒测试法的覆盖标准有逻辑覆盖、循环覆盖和基本路径测试。逻辑覆盖包含多种：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖。
语句覆盖：就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。这里的“若干个”，意味着使用测试用例越少越好。
例如上边的Coverage类代码，从path a到path c再到path e的路径就是所有可执行的语句路径，所以选择path ace路径设计测试用例即可覆盖所有可执行语句。
值至少执行一次。
4）、判定/条件覆盖。执行足够的测试用例，使得判定中每个条件的所有可能至少出现一次，同时每个判定本身的判定结果也至少出现一次。
5）、条件组合覆盖。执行足够的测试用例，使得每个判定中条件的各种可能组合至少出现一次。
6）、路径覆盖。执行足够的测试用例，要求覆盖程序中所有可能的路径
6.逻辑覆盖中几种主要覆盖的含义?举例说明?
while(low <= high) {
mid = (low + high) / 2;
if(key == array [mid]) {
returnmid;
}elseif(key < array[mid]) {
high = mid - 1;
}else{
low = mid + 1;
}
}
return-1;
系统测试是将经过测试的子系统装配成一个完整系统来测试。它是检验系统是否确实能提供系统方案说明书中指定功能的有效方法。(常见的联调测试)系统测试的目的是对最终软件系统进行全面的测试，确保最终软件系统满足产品需求并且遵循系统设计。验收测试是部署软件之前的最后一个测试操作。验收测试的目的是确保软件准备就绪，并且可以让最终用户将其用于执行软件的既定功能和任务。
判定覆盖：有时也称分支覆盖，就是指设计若干测试用例，运行被测程序，使得每个判定的取真分支和取假分支至少经历一次。
例如上边的Coverage类代码，path ace,path abd,path abe,path acd四条路径均是符合判定覆盖要求的路径。
条件覆盖：设计足够多的测试用例，使得每一判定语句中每个逻辑条件的可能取值至少满足一次。
7.什么是DD-路径？什么是MM-路径？DD-路径和MM-路径的区别与联系。
答:DD-路径是程序图中的一条链，使得：情况1：由一个节点组成，内度=0。情况2：由一个节点组成，外度=0。情况3：由一个节点组成，内度≥2或外度≥2。情况4：由一个节点组成，内度=1并且外度=1。情况5：长度≥1的最大链。使用数据流测试方
三、用例设计题
1.请用逻辑覆盖法对下面的java代码段进行测试。
publiccharfunction(intx,inty) {
chart;
if((x >= 90) && (y >= 90)) {
t = 'A';
}else{
if((x + y) >= 165) {
t = 'B';
}else{
t = 'C';
例如上边的Coverage类中第8行“if(A==2 or X>1)”代码，所有可能的条件组合为：“A==2,X>1”、“A==2,X<=1”和“A!=2,X>1”三种。在条件覆盖中仅需考虑到这三种的一种即可，而在条件组合覆盖中需要都考虑到。
路径覆盖：路径测试就是设计足够的测试用例，覆盖程序中所有可能的路径。路径覆盖是覆盖率最高的一种覆盖技术。
2.什么是白盒测试?白盒测试主要采用的技术有哪些?
答：白盒测试是通过对程序内部结构的分析、检测来寻找问题。词法分析与语法分析，静态错误分析，程序插桩技术。
3.白盒测试有那几种方法？并简单描述各种方法的特点。
答：白盒测试方法分为两大类：静态测试方法和动态测试方法。
静态测试方法：检查软件的表示和描述是否一致,没有冲突或者没有歧义。
3.以下代码由java语言书写，用于判断闰年。请按要求回答问题。