实验目的
（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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|