实验三日期题白盒测试用例设计
日期问题白盒测试用例的设计(实验时间2012.3.21)
一、实验目的
1．熟练掌握如何运用基路径测试方法进行测试用例设计。
二、实验内容
1、题目
前一日函数PreDate是NextDate的逆函数(代码实现见下)，实现功能为：输入1800 年到2050 年之间的某个日期，函数返回这一天的前一天的日期。(此处不考虑无效输入)
请采用基路径方法对前一日函数进行测试用例设计。
代码：(被测函数为PreDate)
#include"stdio.h"
typedef struct MyDate{
int month;
int day;
int year;
}MyDate;
MyDate PreDate(MyDate date);
int Leapyear(int year);
void Print(MyDate date);
MyDate PreDate(MyDate date)
//输入日期有效性检查中其他模块实现，此处假设输入日期都是合法数据
{
1.MyDate yesterday;
2.yesterday.month = date.month; // initialization
3.yesterday.day = date.day;
4.yesterday.year = date.year;
5.int days_month[13]={0,31,0,31,30,31,30,31,31,30,31,30,31};
//初始化每月天数，其中2月不确定，初始化为0
6.if(date.day>1)
7.yesterday.day=date.day-1;
else
{
8.if(date.month==1)
{
9.yesterday.year=date.year-1;
10.yesterday.month=12;
11.yesterday.day=31;
}
12.else if(date.month==3)
{
13.if(Leapyear(date.year))
{
14.yesterday.month=2;
15.yesterday.day=29;
}
else
{
16.yesterday.month=2;
17.yesterday.day=28;
}
}
else
{
18.yesterday.month=date.month-1;
19.yesterday.day=days_month[date.month-1];
}
}
20.return yesterday;
}
21.int Leapyear(int year)
{
22.if((year%4==0&&year%100!=0) || (year%400==0))
23.return 1;
24.else return 0;
}
void Print(MyDate date)
{
25.printf("%d--%d--%d\n",date.year,date.month,date.day);
}
2、测试用例设计
1)控制流图
2)环路复杂度计算
圈复杂度是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目，为确保所有语句至少执行一次的测试数量的上界。独立路径必须包含一条在定义之前不曾用到的边。
对应上面图中的圈复杂度，计算如下：
流图中有五个区域；
V(G)=4个判定结点+1=5。
3)基本路径集设计
基本路径集为：
A．1、2、3、4、5、6、8、12、13、14、15、20、25
B．1、2、3、4、5、6、8、12、16、17、20、25
C．1、2、3、4、5、6、8、12、18、19、20、25
D．1、2、3、4、5、6、8、9、10、11、20、25
E．1、2、3、4、5、6、7、20、25
根据上面的独立路径，去设计输入数据，使程序分别执行到上面五条路径。
4)测试用例集设计
为了确保基本路径集中的每一条路径的执行，根据判断结点给出的条件，选择适当的数据以保证某一条路径可以被测试到，满足上面例子基本路径集的测试用例是：
2000-1-2 2000-1-1 2000-3-1
1999-3-1 1980-5-1
三、总结与体会
白盒测试是一种被广泛使用的逻辑测试方法，是由程序内部逻辑驱动的一种单元测试方法。只有对程序内部十分了解才能进 行
