实验四 白盒测试

实验目的

 

(1) 掌握静态分析代码的技巧

(2) 学习黑盒测试中的等价类划分

 

实验内容

 

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

 

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

 

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

UserOperation.java文件中的getUserRole ()方法存在的问题是:没有定义非管理用户,

错误原因:没有先判断用户名是否为空,如果不为空,才能接着判断是否是管理员还是普通用户

public class UserOperation {

/**

 * 根据页面传入的用户名判断是否为admin(这里假设用户名为admin即管理员用户),

 * 若为admin用户则进入管理员界面,非admin用户进入普通用户界面

 * @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;

}

 

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

 

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

 

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

问题是当输入的是字符串,为空,或者是特殊符号,就会发生异常

修改:抛出异常

/**

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

 * 判断年龄是否在18~26之间(包括18和26),如果年龄在此区间内,则“验证通过”,跳转到validateuser.jsp页

 * @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("您的输入不正确,请重新输入");

}

}

}

 

 

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

 

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

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

转载于:https://www.cnblogs.com/bushi2b/p/5399013.html

### 白盒测试基于逻辑覆盖的方法 #### 什么是白盒测试白盒测试是一种软件测试技术,它通过查看程序内部结构来设计测试用例。这种方法假设测试人员熟悉代码的实现细节,并能够根据这些细节验证程序的行为是否符合预期。 #### 逻辑覆盖方法概述 逻辑覆盖是指一系列用于评估测试覆盖率的标准,其目标是确保程序中的每一条可能执行的路径都被测试到。常见的逻辑覆盖标准包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖以及修正条件判定覆盖等[^1]。 #### 各种覆盖级别的定义及其特点 - **语句覆盖**:这是最基础的一种覆盖级别,要求每个可执行语句至少被执行一次。 - **判定覆盖(分支覆盖)**:这种覆盖级别不仅关注语句的执行情况,还要求每个判断表达式的真假值都要被测试到。这意味着对于任何 `if` 或 `switch` 结构,都需要考虑所有的可能分支。 - **条件覆盖**:此级别强调的是布尔表达式中各个子条件的不同组合都应得到检验。例如,在复合条件 `(A && B)` 中,需分别测试 A 和 B 的真伪状态。 - **判定/条件覆盖**:这是一种更严格的覆盖形式,它结合了判定覆盖和条件覆盖的要求,既保证每个判断都有两个方向上的运行经历,又确认其中涉及的所有单一条件也得到了充分考察[^2]。 - **修正条件判定覆盖 (MCDC)**:进一步改进了条件覆盖的概念,规定当某个特定条件的变化足以引起最终决策结果变化时,则该条件应当独立地接受正反两方面的检测。 #### Java 示例演示——使用修正条件判定覆盖 下面给出一段简单的Java代码作为例子展示如何应用修正条件判定覆盖: ```java public class TestClass { public boolean checkCondition(int a, int b, int c){ if ((a > 0 || b < 10) && !(c == 5)){ return true; }else{ return false; } } } ``` 针对上述函数 `checkCondition` ,我们可以通过如下方式构建满足 MCDC 覆盖率需求的测试案例集: | 测试编号 | 输入参数(a,b,c)| 输出 | |----------|------------------|------| | T1 |(1,-9,6) | True | | T2 |(-8,7,6) | False| | T3 |(-8,11,6) | True | 解释说明: - 对于T1来说,a>0成立使得整体表达式为True. - 在T2里只有b<10有效但是由于!(c==5),所以返回False. - 到达第三个样例,T3再次让整个命题变为True因为此时尽管第一个部分不生效但第二个否定项阻止了错误发生. 这样就实现了对所有单独变量改变能直接影响最后决定这一特性的完全测验.
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值