软件测试实验二
一：实验目的
1.通过实验熟悉测试用例设计
2.通过实验熟悉白盒测试
二：实验内容1：
1．用java编写一个类，完成下面函数的功能，并编写另外一个类，调用该方法：
void DoWork(int x,int y,int z)
{
int k=0,j=0;
if((x>3)&&(z<10))
{
k=x*y-1; //语句块1
j=sqrt(k);
}
if((x= =4)||(y>5))
{
j=x*y+10; //语句块2
}
j=j%3; //语句块3
}
试验内容2：
1、画出上面函数的流程图。
2、分别使用语句覆盖、判定覆盖（也称为分支覆盖）、条件覆盖、判定-条件覆盖、条件组合测试、路径测试设计测试用例（注意测试用例的格式）。
3、执行每个测试用例，执行完毕后填写测试用例。
public class Test
{
static void dowork(int x,int y,int z)
{
int k=0,j=0;
if((x>3)&&(z<10))
{
k=x*y-1;
j=(int)Math.sqrt(k);
}
if((x==4)||(y>5))
{
j=x*y+10;
}
j=j%3;
System.out.println("k="+k);
System.out.println("j="+j);
}
public static void main(String[] args)
{
dowork(4,6,5);
}
}
三：设计测试用例
1.语句覆盖
x=4,y=6,z=5
3.条件覆盖
x>3为真，记为T1
x>3为假，记为-T1
z<10为真，记为T2
z<10为假，记为-T2
x=4为真，记为T3
x=4为假，记为-T3
y>5为真，记为T4
5.条件组合覆盖
1．X>3,Z<10,记为T1，T2
2．X>3,Z>=10,记为T1,-T2
3.X<=3,Z<10,记为–T1，T2
4.X<=3,Z>=10记为–T1,-T2
5.X=4,Y>5 记为T3,T4
6.X=4,Y<=5 记为T3,-T4
7.X<>4,Y>5 记为–T3,T4
8. X<>4, Y<=5记为–T3,-T4
X, Y, Z 执行路径覆盖条件覆盖组合号
4，6，7 ace T1，T2，T3，T4 1,5
4，5，11 abe T1，-T2，T3，-T4 2,6
3，5，10 abd -T1，-T2，-T3，-T4 4,8
3，6，7 abe -T1，T2，-T3，T4 3,7
6。路径覆盖
序号X, Y, Z 执行路径覆盖条件
1 4，6，7 ace T1，T2，T3，T4
2 3，5，10 abd -T1，-T2，-T3，-T4
3 3, 6, 11 abe -T1，-T2，-T3，T4
4 4, 5, 6 acd T1，T2，-T3，-T4
逻辑覆盖法：
语句覆盖：测试用例能使被测程序中的每条执行语句至少执行一次
判断覆盖：测试用例能使被测程序中的每个判断至少取得一次“真”和一次“假”。又称分支覆盖。
条件覆盖：测试用例能使被测程序中的每个判断的每个条件至少取得一次“真”和一次“假”。如果判断中只有一个条件，则条件覆盖便满足判断覆盖，否则，不一定。
判断/条件覆盖：测试用例既满足判断覆盖，又满足条件覆盖。
条件组合覆盖：测试用例使每个判定中所有可能的条件取值组合至少执行一次。
