实验二+108+曾宏宇

一、实验目的

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

二、实验要求

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

三、实验内容

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

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

1) 被测原代码    http://www.cnblogs.com/LixiaZhang/

　　下面仅对被测代码的核心函数经行测试：

 public String NextDay(){
        //判断大月且不是12月31号
        if (month == 1 || month == 3 || month == 5 || month == 7 || month == 8 || month == 10 ||( month == 12 && day<31))
        {
            if (day < 31)
                day++;
            else if (day == 31)
            {
                month++;
                day =1;
            }

        }
        //判断12月31号
        else if (month == 12 && day == 31)
        {
            year++;
            month = 1;
            day = 1;
        }
        //判断除了2月的小月
        else if (month == 4 || month == 6 || month == 9 || month == 11)
        {
            if (day < 30)
                day++;
            else if (day == 30)
            {
                month++;
                day = 1;
            }
            else{
                return "日期错误！";
            }

        }
        //2月需判断是否闰年
        else  if (month == 2)
        {
            if((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)){
                if (day < 29)
                    day++;
                else if (day == 29)
                {
                    month++;
                    day = 1;
                 }
                else
                {
                    return "日期错误!";
                }
            }
            else{
                 if (day < 28)
                     day++;
                 else if (day == 28)
                 {
                     month++;
                     day = 1;
                 }
                 else{
                     return "日期错误!";
                 }
            }
        }
        return "第二天:"+year+"年"+month+"月"+day+"日";
    }

　　DD-路径图

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

　　语句覆盖

　　A-B-D-X

　　A-B-E-X

　　A-C-F-X

　　A-C-G-H-J-X

　　判定覆盖

　　A-C-G-H-K-N-X

　　A-C-G-H-K-O

　　A-C-G-I-L-P-X

　　A-C-G-I-L-Q-U

　　A-C-G-I-M-S-W

　组合覆盖和路径覆盖同上

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

　　普通测试：

public class ComDateTest {

	private Date date=new Date();

	//语义覆盖
	@Test
	public void testNextDay1() {
		date.setDay(25);
		date.setMonth(1);
		date.setYear(2008);
		assertEquals("第二天:2008年1月26日", date.NextDay());
	}

	@Test
	public void testNextDay2() {
		date.setDay(31);
		date.setMonth(3);
		date.setYear(2008);
		assertEquals("第二天:2008年4月1日", date.NextDay());
	}
	@Test
	public void testNextDay3() {
		date.setDay(31);
		date.setMonth(12);
		date.setYear(2008);
		assertEquals("第二天:2009年1月1日", date.NextDay());
	}
	@Test
	public void testNextDay4() {
		date.setDay(28);
		date.setMonth(4);
		date.setYear(2008);
		assertEquals("第二天:2008年4月29日", date.NextDay());
	}

	//判定覆盖
	@Test
	public void testNextDay5() {
		date.setDay(30);
		date.setMonth(6);
		date.setYear(2005);
		assertEquals("第二天:2005年7月1日", date.NextDay());
	}
	@Test
	public void testNextDay6() {
		date.setDay(31);
		date.setMonth(11);
		date.setYear(2005);
		assertEquals("日期错误！", date.NextDay());
	}
	@Test
	public void testNextDay7() {
		date.setDay(28);
		date.setMonth(2);
		date.setYear(1996);
		assertEquals("第二天:1996年2月29日", date.NextDay());
	}
	@Test
	public void testNextDay8() {
		date.setDay(31);
		date.setMonth(2);
		date.setYear(1996);
		assertEquals("日期错误!", date.NextDay());
	}
	@Test
	public void testNextDay9() {
		date.setDay(29);
		date.setMonth(2);
		date.setYear(1995);
		assertEquals("日期错误!", date.NextDay());
	}

}

　　参数化测试:

public class PacDateTest {

	private Date date=new Date();

	private int day;
	private int month;
	private int year;
	private String result;
	@Parameters
	public static Collection data(){
		return Arrays.asList(new Object[][]{
			{25,1,2008,"第二天:2008年1月26日"},
			{31,3,2008,"第二天:2008年4月1日"},
			{31,12,2008,"第二天:2009年1月1日"},
			{28,4,2008,"第二天:2008年4月29日"},
			{30,6,2005,"第二天:2005年7月1日"},
			{31,11,2005,"日期错误！"},
			{28,2,1996,"第二天:1996年2月29日"},
			{31,2,1996,"日期错误!"},
			{29,2,1995,"日期错误!"},
		});
	}

	public PacDateTest(int day,int month ,int year,String result){
		this.day=day;
		this.month=month;
		this.year=year;
		this.result=result;
	}

	@Test
	public void testNextDate(){
		date.setDay(day);
		date.setMonth(month);
		date.setYear(year);
		assertEquals(result,date.NextDay());
	}

}

　　打包测试：

@RunWith(Suite.class)

@Suite.SuiteClasses({
	ComDateTest.class,
	PacDateTest.class
})
public class AllDateTest {

}

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

　　普通测试

　　参数化测试

　　打包测试

　　源代码在输入合法的情况下能够正常运行，并输出正确结果。

四、测试小结：

　1.测试结果显示在输入数据类型符合实际的情况下，未出现任何逻辑性错误，能输出正确结果。

　2.源代码中存在多处标点符号，见一下标点符号统一使用英文形式，以便测试。

　3.通过本次实验，学会了使用Junit框架对java代码测试，相比人工在控制台输入数据测试，Junit测试更加严格，更加方便。

　4.经过这几次的实验，感觉到了软件测试工作的不易，开发人员应该经可能写出的代码结构清晰，使用统一的代码风格，使得测试人员能够方便阅读并理解代码，提高测试效率。