实验报告三(测试方案)模版.docVIP

《软件工程》实验报告三：软件测试方案设计文档

第PAGE4页共NUMPAGES4页

班级

学号

姓名

实验时间

指导教师

计算机093杨静晶

2012/4/18

卢莹

实验序号及实验名称实验三软件测试方案设计

一、实验题目及要求：

已知下列C语言程序（判断某一年是否是闰年）：

main()

{intyear,leap;

printf(输入年份：);scanf(%d,year);

if(year%4==0)

{if(year%100!=0)leap=1;

elseif(year%400==0)leap=1;

elseleap=0

}

elseleap=0;

if(leap)

printf(%disleapyear\n,year);

else

printf(%disnotleapyear\n,year);

}

设计满足以下测试要求的测试方案：

①采用“等价分类法”对上述程序的接口进行测试。

②采用适当的“逻辑覆盖”方法对上述程序的内部控制逻辑进行测试。

二、测试方案

输入year

输入year

year%4=0

year%100！=0

year%400=0

leap=1

leap=0

leap=1

leap=1

N

Y

Y

N

leap=0

是闰年

不是闰年

Y

N

结束

a

b

c

d

e

g

f

h

i

j

k

l

Y

N

采用“等价分类法”对上述程序的接口进行测试。

使用等价划分法设计测试方案首先需要划分输入数据的等价类，为此需要研究程序的功能说明，从而确定输入数据的有效等价类和无效等价类。在确定输入数据的等价类时，常常还需要分析输出数据的等价类，以便根据输出数据的等价类导出对应的输入数据的等价类。

本题判断年份是否是闰年，要输入的年份year是整型的。所以数据可分为正整数、零、负整数3个有效类。

根据等价类设计测试用例：

a)设计一个新的测试方案以尽可能多的覆盖尚未被覆盖的有效等价类，重复这一步骤直到所有有效等价类都被覆盖为止。

b)设计一个新的测试方案，使它覆盖一个而且只覆盖一个尚未被覆盖的等价无效类，重复这一步骤直到所有有效等价类都被覆盖为止。

采用适当的“逻辑覆盖”方法对上述程序的内部控制逻辑进行测试

逻辑覆盖属于白盒测试，分为语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖。

选择使用条件覆盖。条件覆盖的含义是，不仅对每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果。

条件覆盖要设计足够多的测试用例，运行被测程序，使得每一判定语句中每个逻辑条件的可能取值至少满足一次。

三、测试用例设计过程：

采用“等价分类法”对上述程序的接口进行测试。

1、有效输入的等价类：

不能被4整除

能被4整除，但不能被100整除

能被4、100、400整除

能被4、100整除，但不能被400整除

含有负号

2、无效输入的等价类：

空字符串（全是空格）

数字与空格混合组成

数字与其他字符混合组成

测试方案：

编号

等价类

输入

预期的输出

1

不能被4整除

year=2013

不是闰年

2

能被4整除，但不能被100整除

year=2016

是闰年

3

能被4、100、400整除

year=2000

是闰年

4

能被4、100整除，但不能被400整除

year=3000

不是闰年

5

空字符串（全是空格）

year=‘’

无效输入

6

数字与空格混合组成

year=‘203’

无效输入

7

含有负号

year=-2221

无效输入

8

数字与其他字符混合组成

year=20XX

无效输入

采用“条件覆盖”法进行测试

b点出现的各种结果：year%4=0，year%4!=0

d点出现的各种结果：year%100!=0,year%100=0

f点出现的各种结果：year%400=0,year%400!=0

i点出现的各种结果：leap=1，leap=0

用以下4个测试数据覆盖:

year=2013(执行路径abcikl)

year=2016(执行路径abdeijl)

year=2000(执行路径abdfgijl)

year=3000(执行路径abdfhikl)

四、参考资料

《数据库系统概论（第四版）》王珊、萨师煊高等教育出版社

《软件工程（第3版）》张海藩倪宁人民邮电出版社