武汉轻工大学
软件工程实验报告（实验三）
姓名：刘文斌 院系：数学与计算机学院 班级：软件工程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 }