实验四 白盒测试
实验目的
(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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|