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