武汉轻工大学

软件工程实验报告（实验三）

姓名：刘文斌 院系：数学与计算机学院 班级：软件工程1303班 学号： 1305110050 老师：董正言

2015.12.6

实验三软件测试实验

一、实验目的：了解软件测试的基本概念，以及黑盒、白盒测试的基本过程。 二、实验内容：

设计测试下列函数的测试方案：

函数Search(somearray,size,value)的功能是，在一个整数数组somearray中搜索一个值为value的整数，如果数组中有这个数，则函数值等于该数的下标，否则函数值等于-1。数组的长度由参数size指定。假定数组第一个元素的下标为1。

三、实验要求：

1． 采用黑盒测试的方法，写出相应的测试用例

2． 用c语言实现此函数，并且由此设计白盒测试方案（选做）。

四、实验步骤：

1.采用黑盒测试的方法，写出相应的测试用例（假定数组中的值为：5，8，-56，235，-65，449）

1)等价划分：

a)有效输入的等价类： 一个正整数

输入：10 预期的输出：-1 一个负整数 输入：-56

预期的输出：3 b)无效输入的等价类： 一个非数字符号 输入：S

输出：错误——无效输入

一个浮点型数字

输入：23.1

预期的输入：错误——无效的输入

若干个空格 输入：‘’

预期的输出：错误——无效的输入 空输入 输入：

预期的输出：错误——没有输入

数字和非数字符号的组合 输入：5#

预期的输出：错误——无效的输入 负号与最高位数字之间有空格 输入：- 56

预期的输出：错误——无效的输入

c) 合法输入的等价类：

在计算机能表示的最小负整数和零之间的负整数。

输入：-10000 预期的输出：-1

?零

输入：0

预期的输出：-1

在零和计算机能表示的最大整数之间的正整数

输入：10000 预期的输出：-1

d) 非法输入的等价类：

比计算机能表示的最大正整数还大的正整数。 输入：132767

预期的输出：错误——无效的输入

比计算机能表示的最小负整数还小的负整数。 输入：-47561

预期的输出：错误——无效的输入

2) 边界值分析：

使输出刚好等于最小的下标 输入：5

预期的输出：1

使输出刚好等于最大的下标 输入：449

预期的输出：6

使输出不是数组的下标（这里为-1）

输入：500

预期的输出：-1

2.用c语言实现此函数，并且由此设计白盒测试方案

#include

intSearch(intsomearray[],intsize,intvalue) { }

voidmain() {

intsize=6; intvalue;

intarray[6]={5,8,-56,235,-65,449}; do{

for(inti=0;i

returni+1;

return -1;

if(somearray[i]==value) else

}