首页> 正文

基于UML序列图模型的软件测试研究

2020-12-10阅读(398)

基于UML序列图模型的软件测试研究

论文摘要

软件测试是软件开发过程中重要的组成部分，是保证软件质量的有效手段。本文主要研究了基于UML序列图模型的软件测试方法和工具实现。鉴于UML模型是一种半形式化的建模，本文首先给出了一种将UML序列图模型转换为LTS模型的规则和方法，利用LTS的分析工具找出模型中的错误和缺陷，以此来检查UML序列图模型的正确性。在生成测试用例的过程中，本文研究了一种通过LTS生成测试用例的规则和算法。之后本文给出了基于UML序列图测试自动化的实现，可以通过生成的测试用例自动生成测试脚本来驱动待测系统运行，然后对执行结果进行比较生成测试结果。最后，本文设计实现了一款基于UML序列图模型的软件测试工具，验证了基于UML序列图模型软件测试自动化方法的可行性。

论文目录

  • 摘要
  • Abstract
  • 第一章 绪论
  • 1.1 研究背景
  • 1.1.1 软件测试概述
  • 1.1.2 软件测试分类
  • 1.2 研究现状
  • 1.2.1 基于 UML 活动图生成测试用例的方法
  • 1.2.2 基于 UML 状态图生成测试用例的方法
  • 1.2.3 基于 UML 序列图生成测试用例的方法
  • 1.3 本文主要研究工作
  • 1.4 本文的组织结构
  • 第二章 相关理论与技术
  • 2.1 基于模型的软件测试
  • 2.1.1 基于模型的软件测试概述
  • 2.1.2 测试模型分类
  • 2.1.3 基于模型的软件测试流程
  • 2.1.4 选择合适的测试模型
  • 2.1.5 基于模型的软件测试的优缺点
  • 2.2 UML 基础知识
  • 2.2.1 UML 概述
  • 2.2.2 UML 模型的特点和应用范围
  • 2.2.3 选用 UML 模型做测试模型的优点
  • 2.3 本章小结
  • 第三章 UML 序列图到 LTS 的转换
  • 3.1 UML 序列图概述
  • 3.1.1 UML 序列图定义
  • 3.1.2 UML 序列图图形表示
  • 3.1.3 UML 序列图可测试性分析
  • 3.2 LTS 的相关理论
  • 3.2.1 LTS 概述
  • 3.2.2 LTS 的图形表示
  • 3.3 UML 序列图到 LTS 的转换方法
  • 3.3.1 UML 序列图到 LTS 的转换规则
  • 3.3.2 UML 序列图到 LTS 的转换算法
  • 3.3.3 UML 序列图到 LTS 的转换实例
  • 3.4 本章小结
  • 第四章 基于 UML 序列图生成测试用例
  • 4.1 测试充分性准则
  • 4.1.1 测试充分性准则的相关概念
  • 4.1.2 UML 序列图的测试覆盖准则
  • 4.2 测试场景介绍
  • 4.3 测试用例介绍
  • 4.4 测试用例的生成方法
  • 4.4.1 测试用例的生成规则
  • 4.4.2 测试用例的生成算法
  • 4.4.3 测试用例的生成实例
  • 4.5 本章小结
  • 第五章 基于 UML 序列图测试的自动化
  • 5.1 软件测试的自动化概述
  • 5.2 软件测试的自动化的优点
  • 5.3 软件测试自动化的流程
  • 5.4 软件测试自动化的实现
  • 5.4.1 软件测试自动化的实现过程
  • 5.4.2 软件测试自动化的实例
  • 5.5 本章小结
  • 第六章 基于 UML 序列图的测试工具设计
  • 6.1 Eclipse 插件介绍
  • 6.1.1 Eclipse 平台的基本框架
  • 6.1.2 Eclipse 插件开发的优缺点
  • 6.1.3 实现 Eclipse 插件步骤
  • 6.2 测试工具的实现
  • 6.3 本章小结
  • 第七章 总结与展望
  • 7.1 工作总结
  • 7.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序列图模型的软件测试研究
    下载Doc文档

    猜你喜欢

    © 2024 毕速过 版权所有 鄂ICP备12018319号-5