论文摘要
软件测试是软件开发过程的重要组成部分，是软件质量保证的重要手段。测试用例是软件测试最核心的内容之一，测试用例的数量和质量很大程度上决定了软件质量的好坏。近年来，基于统一建模语言（Unified Modeling Language，UML）模型的软件测试技术成为研究热点。本文重点研究了基于UML活动图模型的测试用例自动生成方法。由于UML是一种半形式化的建模语言，本文给出了一种将UML活动图模型转换为Petri网模型的方法，利用Petri网的分析技术找出模型中的错误或缺陷，从而改进UML活动图模型。在获取测试场景部分，本文采用的方法是将UML活动图模型转换为有向图，通过对有向图的深度优先搜索得到测试场景的集合。在生成测试用例部分，本文介绍了重点关注的三类负面测试用例并给出了测试用例生成算法。最后，本文设计实现了一个测试用例自动生成工具，验证了基于UML活动图模型自动生成测试用例方法的可行性。
论文目录
相关论文文献
- [1].活动图集[J]. 辅导员 2016(02)
- [2].人脑活动图将解开思维奥秘[J]. 百科知识 2013(07)
- [3].好奇好学 动手动脑 学会发现 开启智慧[J]. 小学生导刊(高年级) 2015(Z1)
- [4].基于形式活动图的协议一致性测试用例生成方法研究[J]. 安徽大学学报(自然科学版) 2013(03)
- [5].基于资源扩展活动图的并发测试用例生成方法[J]. 航天控制 2019(01)
- [6].可视化教学过程设计研究[J]. 中国电化教育 2009(03)
- [7].一种基于UML类图和活动图的故障树生成方法[J]. 计算机科学 2016(07)
- [8].基于新活动演算的SysML活动图形式化描述[J]. 计算机应用与软件 2015(10)
- [9].UML活动图的一种逻辑语义[J]. 福建师范大学学报(自然科学版) 2010(03)
- [10].基于UML活动图模型的测试用例设计[J]. 现代计算机(专业版) 2009(07)
- [11].UML活动图的正确性检测[J]. 软件工程 2018(03)
- [12].基于故障扩展SysML活动图的软件安全性分析方法研究[J]. 小型微型计算机系统 2015(09)
- [13].循环嵌套结构的测试场景反蚁群自动生成方法[J]. 小型微型计算机系统 2012(08)
- [14].基于UML活动图的系统测试方法研究[J]. 计算机应用与软件 2010(12)
- [15].基于UML活动图的测试研究进展[J]. 计算机科学 2008(02)
- [16].基于UML活动图模型测试场景自动生成的优化[J]. 电子设计工程 2019(24)
- [17].一种基于故障扩展SysML活动图的安全性验证框架研究[J]. 计算机科学 2015(07)
- [18].黄南州图书馆开展文化系列活动图锦[J]. 图书馆工作与研究 2019(09)
- [19].一种基于UML活动图的切片方法[J]. 微计算机信息 2009(18)
- [20].基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究[J]. 小型微型计算机系统 2015(03)
- [21].一种基于SysML活动图的风险识别方法[J]. 数字技术与应用 2020(07)
- [22].第17届黄河旅游节主要活动图集[J]. 公关世界 2011(10)
- [23].“人物分布图”和“人物活动图”教学浅析[J]. 中学历史教学参考 2019(15)
- [24].改进的UML活动图在建模中的研究与实现[J]. 电子科技大学学报 2009(01)
- [25].基于扩展UML活动图的过程建模[J]. 计算机应用 2009(03)
- [26].基于蚁群算法UML活动图的测试用例生成研究[J]. 泰州职业技术学院学报 2010(05)
- [27].赛场外的赛场 乒乓外的乒乓——世乒赛期间重要活动图集[J]. 乒乓世界 2008(04)
- [28].UML活动图到时间Petri网的映射方法[J]. 电子科技 2012(02)
- [29].UML活动图到Petri网映射方法的研究与实现[J]. 微计算机信息 2009(06)
- [30].基于WF Flowchart的UML活动图动态构建与测试[J]. 软件 2018(05)