实验4:白盒测试

实验目的

（1） 掌握静态分析代码的技巧

（2） 学习黑盒测试中的等价类划分

实验内容

一、 找出函数中存在的问题。以下题目均在Lab04项目中完成。

1、 某站点通过用户输入的用户名和密码（在login.jsp登录页中输入）来判断出现什么样的界面，如果是管理员（即用户名为admin或administrator）跳转到管理员页面（welcome_admin.jsp）,非管理用户跳转到普通用户界面(welcome.jsp)。游客访问站点是，无需输入用户名和密码，直接进入普通用户界面（welcome.jsp）

要求：找出UserOperation.java文件中的getUserRole ()方法存在的问题，说明问题产生的原因，并修改它。

说明：不要求编写Junit单元测试用例，可以自己设想测试数据，通过静态分析，配合动态运行调试找出问题所在。

 

 getUserRole ()方法存在的问题是：没定义普通用户和游客

原因：没判断用户名是否为空值，忽略了游客用户，因为如果未空，则为游客，非空，才能接着判断是否是管理员还是普通用户

修改：

public class UserOperation {

/**

 * 根据用户名判断是否为空，若为空，则为游客，若不为空，则判断是管理员还是普通游客

 * @return 用户角色

 */

public String getUserRole(String userName){

String userRole="guest";

if(userName!=null){

if(userName.equals("admin") || userName.equals("administrator")){

userRole="admin";

}

}else{

 userRole="guest";

}

return userRole;

}

 

 

2、 用户注册（register.jsp）时要输入年龄字段，用户输入的参数由UserOperation.java文件中的validateUserAge()方法，转换为数值型，判断年龄是否在18~26之间（包括18和26），如果年龄在此区间内，则返回true，跳转到login.jsp页，否则弹出提示框，提示“用户年龄输入不正确”。

要求：找出UserOperation.java文件中的validateUserAge()方法存在的问题，说明问题产生的原因，并修改它。

问题：输入字符串，显示为空，输入特殊符号，会发生异常

修改：

/**

 * 将用户注册时输入的年龄转换为数值型，

 * @return 验证通过返回true，否则返回false

 * @throws Exception跑出异常

 */

public boolean validateUserAge(String userAge) throws Exception{

if(Integer.parseInt(userAge)<18 || Integer.parseInt(userAge)>26){

return true;

}

 

 

else{ throw new Exception("输入不正确，请重新输入");

}

}

}

 

 

 

二、利用黑盒测试中的等价类划分完成以下题目

 

3、某程序规定："输入三个非0正整数 a 、 b 、 c 分别作为三边的边长构成三角形（暂不考虑特殊三角形的情况）。请根据给出的说明，用等价类划分法进行划分，并给每个等价类规定唯一的编号。

 

 

 

 

 

 

有效等价类	编号	无效等价类	标号
a+b>c	1	a+b<c a+b=c	9 10
b+c>a	2	b+c<a  b+c=a	11 12
a+c>b	3	a+c<b a+c=b	13 14
a-b<c	4	a-b>c   a-b=c	15 16
a-c<b	5	a-c>b  a-c=b	17 18
b-c<a	6	b-c>a   b-c=a	19 20
正整数	7	a,b,c至少一个为负整数 a,b,c至少一个为小数	21   22
非0	8	a,b,c至少一个为0	23