基于UML状态图的测试用例自动生成方法研究

论文摘要

软件测试在软件开发过程中有着举足轻重的地位，它贯穿于软件定义与开发的整个周期及整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点与难点，它的设计主要来自于软件需求和软件设计，其中涉及到测试用例的充分性覆盖准则问题。本文主要研究基于规格说明的软件测试。基于规格说明的测试用例生成技术是一种新兴的测试用例生成技术，特别是基于模型的软件测试，有很多优于以前的测试技术的方面。本文主要研究了基于UML(Unified Modeling Language)状态图的测试用例生成技术。首先，将状态图转换为具有形式化语义和分析方法的Petri网，利用现有的Petri网工具对其进行正确性分析，修正模型。然后，利用图论相关算法以及交替变量法对UML状态图进行测试用例的生成，其中包括测试路径和测试数据的生成。并设计了相应的转换工具和测试用例生成工具，给出了详细的设计方案及实现过程。

论文目录

摘要

Abstract

第一章绪论

1.1 研究背景

1.2 研究现状

1.2.1 国内外研究现状

1.2.2 存在的主要问题

1.3 本文的主要内容

1.4 论文组织结构

第二章相关技术理论

2.1 基于模型的测试简介

2.1.1 什么是基于模型的测试

2.1.2 模型的概念

2.1.3 主要测试模型

2.1.4 基于模型的测试的优点及存在的问题

2.2 统一建模语言 UML

2.2.1 UML 中的视图和图

2.2.2 UML 模型的优势

2.3 本章小结

第三章 UML 状态图到 Petri 网（P/T 网）的转换

3.1 UML 状态图

3.2 Petri 网相关理论

3.2.1 Petri 网相关定义

3.2.2 库所/变迁网（P/T 网）

3.2.3 Petri 网的重要性质

3.3 状态图到 Petri 网的转换方法

3.3.1 UML 状态图到 Petri 网的映射规则

3.3.2 UML 状态图到 Petri 网的转换算法

3.3.3 模型转换工具的设计与实现

3.4 实例应用

第四章基于 UML 状态图自动生成测试用例

4.1 覆盖准则

4.2 测试用例

4.2.1 测试用例在软件测试中的作用

4.2.2 测试用例的设计

4.3 基于 UML 状态图测试用例生成方法

4.3.1 测试路径的生成

4.3.2 测试数据的生成

4.4 测试用例生成工具的设计与实现

4.5 本章小结

mbt testing tool 的设计与实现'>第五章 Uml_mbt testing tool 的设计与实现

mbt testing tool 的总体设计'>5.1 Uml_mbt testing tool 的总体设计

mbt testing tool 的具体实现'>5.2 Uml_mbt testing tool 的具体实现

5.3 本章小结

第六章总结与展望

6.1 本文工作总结

6.2 展望

致谢

参考文献

研究成果

相关论文文献

[1].基于UML的软件需求缺陷形式化建模分析[J]. 自动化与仪器仪表 2019(12)
[2].基于UML的超市商品网上管理售卖系统设计[J]. 信息与电脑(理论版) 2020(13)
[3].基于UML的仓库管理系统设计[J]. 信息与电脑(理论版) 2020(14)
[4].基于UML的在线考试系统设计[J]. 信息与电脑(理论版) 2020(14)
[5].基于UML智能测控通信系统仿真平台的开发与应用[J]. 测控技术 2017(01)
[6].基于UML的联合作战装备保障指挥决策信息流模型建立[J]. 兵器装备工程学报 2017(02)
[7].销售管理系统的UML分析与设计[J]. 山东工业技术 2015(23)
[8].基于UML学生成绩管理系统的分析与设计[J]. 山东工业技术 2015(23)
[9].基于UML的软件测试课程教学改革的探讨与研究[J]. 人力资源管理 2015(12)
[10].基于UML的图书管理系统的分析与设计[J]. 工业仪表与自动化装置 2016(01)
[11].基于UML的基层党校学员管理系统分析与建模[J]. 信息化建设 2016(05)
[12].UML状态图在软件工程设计中的应用研究[J]. 微型电脑应用 2015(11)
[13].基于UML的对外职业培训在线考试系统初步设计[J]. 轻工科技 2013(11)
[14].UML活动图建模在软件测试中的应用[J]. 电子产品可靠性与环境试验 2012(S1)
[15].基于UML技术的电子商务系统设计[J]. 办公自动化 2020(13)
[16].基于UML方法的突发事件网络舆情信息流风险评价指标体系构建研究[J]. 图书与情报 2016(03)
[17].基于UML的计算机考试系统分析与设计[J]. 信息技术与信息化 2015(04)
[18].基于遗传算法的UML活动图测试用例优化研究[J]. 现代电子技术 2015(19)
[19].UML活动图在软件工程设计中的应用研究[J]. 网络新媒体技术 2015(06)
[20].企业销售管理系统的UML设计与分析[J]. 电子世界 2014(03)
[21].基于UML的叙词表转本体方法研究[J]. 图书馆杂志 2014(07)
[22].基于UML的兵棋推演系统建模[J]. 军事运筹与系统工程 2014(02)
[23].基于UML的档案管理系统分析[J]. 廊坊师范学院学报(自然科学版) 2014(04)
[24].基于UML的移动教务管理系统的研究与实现[J]. 软件 2014(05)
[25].基于UML的教务管理系统研究[J]. 现代商贸工业 2013(14)
[26].基于UML描述的软件体系结构研究[J]. 中国新技术新产品 2012(04)
[27].UML在研建地理信息标准体系中的应用[J]. 测绘通报 2012(04)
[28].基于UML的学生信息管理系统的开发与研究[J]. 数字技术与应用 2012(02)
[29].基于UML的应急体系业务建模[J]. 福建电脑 2012(02)
[30].基于UML的舰载预警机协同作战流程建模研究[J]. 舰船电子工程 2012(05)

标签：状态图论文; 测试用例论文;

基于UML状态图的测试用例自动生成方法研究

论文摘要

论文目录

相关论文文献

猜你喜欢