实验二+093+王坤煌

一、实验目的

掌握基于覆盖理论与基本路径的基本白盒测试方法和实践

二、实验要求

运用逻辑覆盖测试的覆盖准则设计被测程序的测试用例，并运行测试用例检查程序的正确与否，给出程序缺陷小结。

三、实验内容

根据各位同学自己的被测程序，分别作出各类白盒测试技术的用例设计和相应的Junit脚本。

所有的覆盖的技术：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖，基本路径测试方法。

包括的内容有：

1) 被测原代码

package com.test;
import java.util.Scanner;
public class TestPractice {
    /*闰年判断
     * 返回值为true：该年为闰年
     * 返回值为false：该年为平年
    */
    public static boolean isLeapYear(int y)
    {
        if((y % 4 == 0 && y % 100 != 0)||y % 400 == 0)
            return true;
        else
            return false;
    }

    //下一天判断，返回值为下一天的日期，格式是xxxx年x月x日
    public static String NextDate(int y, int m, int d)
    {
        //判断年份是否超出范围
        if(1912 <= y && y <= 2050)
        {
            //判断月份是否超出范围
            if(1 <= m && m <= 12)
            {
                //大月判断，每个月只有31天
                if(m == 1||m == 3||m == 5||m == 7||m == 8||m ==10||m == 12)
                {
                    if(1 <= d && d < 31)
                        return y+"年"+m+"月"+(d+1)+"日";
                    else if(d == 31)
                    {
                        if(m == 12)
                            return (y+1)+"年1月1日";
                        else
                            return y+"年"+(m+1)+"月1日";
                    }
                    else
                        return "日期超出范围";
                }
                //小月判断，每个月只有30天
                else if(m == 4||m == 6||m == 9||m == 11)
                {
                    if(1 <= d && d < 30)
                        return y+"年"+m+"月"+(d+1)+"日";
                    if(d == 30)
                        return y+"年"+(m+1)+"月1日";
                    else
                        return "日期超出范围";
                }
                /*二月份在平年和闰年天数不同
                 * 所以需要分开统计
                 * */
                else
                {
                    if(isLeapYear(y))
                    {
                        if(1 <= d && d < 29)
                            return y+"年"+m+"月"+(d+1)+"日";
                        if(d == 29)
                            return y+"年"+(m+1)+"月1日";
                        else
                            return "日期超出范围";
                    }
                    else
                    {
                        if(1 <= d && d < 28)
                            return y+"年"+m+"月"+(d+1)+"日";
                        if(d == 28)
                            return y+"年"+(m+1)+"月1日";
                        else
                            return "日期超出范围";
                    }
                }

            }
            else
                return "月份超出范围";
        }
        else
        {
            return "年份超出范围";
        }    

    }

    public static void main(String[] args) {
        Scanner scan = new Scanner(System.in);
        while(true)
        {
            System.out.print("请输入日期：");
            int y = scan.nextInt();
            if(y == -1) break;
            int m = scan.nextInt();
            int d = scan.nextInt();
            System.out.println(NextDate(y,m,d));
        }
    }

}

2）依据覆盖技术，测试用例列表：

DD路径图：

①语句覆盖：

②分支覆盖（判断覆盖）：

③路径覆盖：

3）相应Junit测试脚本、执行结果

package henkepa;

import static org.junit.Assert.assertEquals;

import java.util.Arrays;
import java.util.Collection;

import junit.framework.Assert;

import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.Parameterized;
import org.junit.runners.Parameterized.Parameters;

//为这个类指定一个ParameterizedRunner
@RunWith(Parameterized.class)
public class checkTest {
private int param1;//存放参数
private int param2;
private int param3;
private String dat;//存放日期

//测试数据，一个是参数，一个是期望结果
@Parameters
public static Collection data(){
return Arrays.asList(new Object[][]{

{2017,2,28,"2017年3月1日"},
{2016,2,28,"2016年2月29日"},
{2016,3,31,"2016年4月1日"},
{2016,12,31,"2017年1月1日"},
{2013,4,30,"2013年5月1日"},

});
}

//构造参数，对变量初始化，加入参数获得测试数据
public checkTest(int param,int param02,int param03,String dat){
this.param1=param;
this.param2=param02;
this.param3=param03;
this.dat=dat;
}

@Test
public void NextDate(){

String d=TestPractice.NextDate(param1,param2,param3);
assertEquals(dat, d);

}
}

4）给出测试参数化和打包测试的脚本，并生成执行结果

package henkepa;

import org.junit.runner.RunWith;
import org.junit.runners.Suite;

@RunWith(Suite.class)
@Suite.SuiteClasses({TestPracticeTest.class,})

public class Test {

}

4、测试小结：

测试找到的缺陷清单：未找到缺陷

测试总结与心得体会：通过此次实验对白盒测试有了更深的理解；感觉在做的时候语句覆盖、判定覆盖和路径覆盖做起来都是一样的...