软件缺陷报告

1. Bug1:

BugID	B-1
Bug 标题	布尔表达式输入框为空时无提示
软件版本	CellCover1.0	测试环境	1
测试人员	王艺辉	开发人员
创建时间	2020年5月31日	Bug状态	待解决
测试阶段	接口测试、 功能测试、 配置测试、 回归测试
Bug严重程度	紧急、 严重、 一般、 轻微
问题优先级	高 、 较高 、 一般 、 低
问题来源	测试、升级、其他
问题类型	功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他
缺陷的触发条件
操作步骤（简）	1.打开测试用例生成页面 2.设置表达式输入框为空 3.点击生成按钮
实际结果	无任何结果
预期结果	弹出"请重新输入表达式不为空"的提示框
附图	(如果语言不清楚可附图，图过多可附件)

 

2. Bug2:

BugID	B-2
Bug >标题	待测表达式多缺陷显示单缺陷
软件版本	CellCover1.0	测试环境	1
测试人员	王艺辉	开发人员
创建时间	2020年5月30日	Bug状态
测试阶段	接口测试、 功能测试、 配置测试、 回归测试
Bug严重程度	紧急、 严重、 一般、 轻微
问题优先级	高 、 较高 、 一般 、 低
问题来源	测试、升级、其他
问题类型	功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他
缺陷的触发条件	浏览器中打开Web项目,且系统加载完毕
操作步骤（简）	1.打开缺陷诊断页面; 2.设置原表达式为ab+cd 3.设置待测表达式为!abc+de
实际结果	诊断结果为单缺陷,缺陷类型乱码
预期结果	出现"待测表达式不为单双缺陷类型"的提示框
附图	(如果语言不清楚可附图，图过多可附件)

 

3. Bug3:

BugID	B-3
Bug >标题	一般操作变体生成卡诺图对用户不够友好
软件版本	CellCover1.0	测试环境	1
测试人员	王艺辉	开发人员
创建时间	2020年5月30日	Bug状态	待解决
测试阶段	接口测试、 功能测试、 配置测试、 回归测试
Bug严重程度	紧急、 严重、 一般、 轻微
问题优先级	高 、 较高 、 一般 、 低
问题来源	测试、升级、其他
问题类型	功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他
缺陷的触发条件	浏览器中打开Web项目,且系统加载完毕
操作步骤（简）	1.打开变体生成页面; 2.设置原表达式为ab+cd 3.设置单缺陷,LNF-词取反 4.点击!ab+cd的绘制按钮
实际结果	第一次出现原表达式卡罗图,需要点击卡罗图才会出现变体表达式卡诺图;并且位置较偏,显示不全
预期结果	出现正确且完整的卡诺图
附图	(如果语言不清楚可附图，图过多可附件)

 

4. Bug4:

BugID	B-4
Bug >标题	层次关系展示点击界面上的题不能触发交互动画
软件版本	CellCover1.0	测试环境	1
测试人员	王艺辉	开发人员
创建时间	2020年5月30日	Bug状态	待解决
测试阶段	接口测试、 功能测试、 配置测试、 回归测试
Bug严重程度	紧急、 严重、 一般、 轻微
问题优先级	高 、 较高 、 一般 、 低
问题来源	测试、升级、其他
问题类型	功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他
缺陷的触发条件	浏览器中打开Web项目,且系统加载完毕
操作步骤（简）	1.打开层次关系展示--同向双缺陷--01扩张型-- 2.点击界面中的圆或半圆
实际结果	界面无反应
预期结果	出现层次关系展示动画
附图	(如果语言不清楚可附图，图过多可附件)

 

5. Bug5:

BugID	B-4
Bug >标题	卡诺图控制工具条的右键拖拽按钮时常不起作用
软件版本	CellCover1.0	测试环境	1
测试人员	王艺辉	开发人员
创建时间	2020年5月30日	Bug状态	待解决
测试阶段	接口测试、 功能测试、 配置测试、 回归测试
Bug严重程度	紧急、 严重、 一般、 轻微
问题优先级	高 、 较高 、 一般 、 低
问题来源	测试、升级、其他
问题类型	功能问题、版本问题、遗留问题、新需求、配置错误、性能问题、设计问题、偶发性错误、其他
缺陷的触发条件	浏览器中打开Web项目,且系统加载完毕
操作步骤（简）	1.打开测试用例生成页面; 2.设置原表达式为ab+cd 3.拖拽原表达式
实际结果	不为所动
预期结果	允许拖拽并对应显示
附图	(如果语言不清楚可附图，图过多可附件)

 

6. Bug6:

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:

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
附图	(如果语言不清楚可附图，图过多可附件)