1. Bug1:

Bug-1

BugID

 B-1

Bug 标题

 布尔表达式输入框为空时无提示

软件版本

 CellCover1.0

测试环境

 1

测试人员

 王艺辉

开发人员

 

创建时间

 2020年5月31日

Bug状态

 待解决

测试阶段

接口测试、 功能测试、 配置测试、 回归测试

Bug严重程度

紧急、 严重、 一般、 轻微

问题优先级

高 、 较高 、 一般 、 低

问题来源

测试、升级、其他

问题类型

功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他

缺陷的触发条件

 

操作步骤(简)

 1.打开测试用例生成页面
2.设置表达式输入框为空
3.点击生成按钮

实际结果

 无任何结果

预期结果

 弹出"请重新输入表达式不为空"的提示框

附图

(如果语言不清楚可附图,图过多可附件)

 

2. Bug2:

Bug报告

BugID

 B-2

Bug >标题

 待测表达式多缺陷显示单缺陷

软件版本

 CellCover1.0

测试环境

 1

测试人员

 王艺辉

开发人员

 

创建时间

 2020年5月30日

Bug状态

 

测试阶段

接口测试、 功能测试、 配置测试、 回归测试

Bug严重程度

紧急、 严重、 一般、 轻微

问题优先级

高 、 较高 、 一般 、 低

问题来源

测试、升级、其他

问题类型

功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他

缺陷的触发条件

 浏览器中打开Web项目,且系统加载完毕

操作步骤(简)

 1.打开缺陷诊断页面;
2.设置原表达式为ab+cd
3.设置待测表达式为!abc+de

实际结果

 诊断结果为单缺陷,缺陷类型乱码

预期结果

 出现"待测表达式不为单双缺陷类型"的提示框

附图

(如果语言不清楚可附图,图过多可附件)

 

3. Bug3:

Bug报告

BugID

 B-3

Bug >标题

 一般操作变体生成卡诺图对用户不够友好

软件版本

 CellCover1.0

测试环境

 1

测试人员

 王艺辉

开发人员

 

创建时间

 2020年5月30日

Bug状态

 待解决

测试阶段

接口测试、 功能测试、 配置测试、 回归测试

Bug严重程度

紧急、 严重、 一般、 轻微

问题优先级

高 、 较高 、 一般 、 低

问题来源

测试、升级、其他

问题类型

功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他

缺陷的触发条件

 浏览器中打开Web项目,且系统加载完毕

操作步骤(简)

 1.打开变体生成页面;
2.设置原表达式为ab+cd
3.设置单缺陷,LNF-词取反
4.点击!ab+cd的绘制按钮

实际结果

 第一次出现原表达式卡罗图,需要点击卡罗图才会出现变体表达式卡诺图;并且位置较偏,显示不全

预期结果

 出现正确且完整的卡诺图

附图

(如果语言不清楚可附图,图过多可附件)

 

4. Bug4:

Bug报告

BugID

 B-4

Bug >标题

 层次关系展示点击界面上的题不能触发交互动画

软件版本

 CellCover1.0

测试环境

 1

测试人员

 王艺辉

开发人员

 

创建时间

 2020年5月30日

Bug状态

 待解决

测试阶段

接口测试、 功能测试、 配置测试、 回归测试

Bug严重程度

紧急、 严重、 一般、 轻微

问题优先级

高 、 较高 、 一般 、 低

问题来源

测试、升级、其他

问题类型

功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他

缺陷的触发条件

 浏览器中打开Web项目,且系统加载完毕

操作步骤(简)

 1.打开层次关系展示--同向双缺陷--01扩张型--
2.点击界面中的圆或半圆

实际结果

 界面无反应

预期结果

 出现层次关系展示动画

附图

(如果语言不清楚可附图,图过多可附件)

 

5. Bug5:

Bug报告

BugID

 B-4

Bug >标题

 卡诺图控制工具条的右键拖拽按钮时常不起作用

软件版本

 CellCover1.0

测试环境

 1

测试人员

 王艺辉

开发人员

 

创建时间

 2020年5月30日

Bug状态

 待解决

测试阶段

接口测试、 功能测试、 配置测试、 回归测试

Bug严重程度

紧急、 严重、 一般、 轻微

问题优先级

高 、 较高 、 一般 、 低

问题来源

测试、升级、其他

问题类型

功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他

缺陷的触发条件

 浏览器中打开Web项目,且系统加载完毕

操作步骤(简)

 1.打开测试用例生成页面;
2.设置原表达式为ab+cd
3.拖拽原表达式

实际结果

 不为所动

预期结果

 允许拖拽并对应显示

附图

(如果语言不清楚可附图,图过多可附件)

 

6. Bug6:

Bug报告

BugID

 B-6

Bug >标题

 双缺陷诊断接口返回不正确

软件版本

 CellCover1.0

测试环境

 1

测试人员

 王艺辉

开发人员

 

创建时间

 2020年5月30日

Bug状态

 待解决

测试阶段

接口测试、 功能测试、 配置测试、 回归测试

Bug严重程度

紧急、 严重、 一般、 轻微

问题优先级

高 、 较高 、 一般 、 低

问题来源

测试、升级、其他

问题类型

功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他

缺陷的触发条件

 浏览器中打开Web项目,且系统加载完毕

操作步骤(简)

 1.使用postman做测试
2.url:http://127.0.0.1:3000/changeJson,请求方式post
3.输入请求体:ab+cd+ef ab+cde
4.发送请求并查看返回结果

实际结果

 见附图

预期结果

 faultType:LRFx2LOF

附图

(如果语言不清楚可附图,图过多可附件)

 

7. Bug7:

Bug报告

BugID

 B-7

Bug >标题

 双缺陷诊断接口返回不正确

软件版本

 CellCover1.0

测试环境

 1

测试人员

 王艺辉

开发人员

 

创建时间

 2020年5月30日

Bug状态

 待解决

测试阶段

接口测试、 功能测试、 配置测试、 回归测试

Bug严重程度

紧急、 严重、 一般、 轻微

问题优先级

高 、 较高 、 一般 、 低

问题来源

测试、升级、其他

问题类型

功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他

缺陷的触发条件

 浏览器中打开Web项目,且系统加载完毕

操作步骤(简)

 1.使用postman做测试
2.url:http://127.0.0.1:3000/changeJson,请求方式post
3.输入请求体:ab+cd+ef abc+d+ef
4.发送请求并查看返回结果

实际结果

 见附图,诊断结果为单缺陷LOF,与实际不符

预期结果

 faultType:LRFx2LOF

附图

(如果语言不清楚可附图,图过多可附件)