基于UML的模型转换方法与测试用例优先级排序方法研究
发布时间:2021-03-10 13:54
随着计算机在人们生活与工作中的普及,软件可靠性越来越受到重视。基于模型驱动的软件测试可以在软件开发早期发现缺陷,在软件设计时期帮助开发人员修正错误,能够有效降低测试的成本。由于现有基于模型驱动的软件测试往往只满足了需求的覆盖度,容易出现测试用例集冗余过高的问题,导致测试执行成本高,错误检测效率低。因此本文将基于模型驱动的软件测试作为研究方向,将设计模型转换为测试模型,再根据测试模型自动生成测试用例,最后进行测试用例优先级排序,实现一套完善的测试体系。UML顺序图是一种半形式化的模型,半形式化的模型难以作为测试模型来使用。现有的顺序图转换方法仅提供了基本的转换思路,能完成基本顺序图到测试模型的转换,但未考虑到多顺序图之间嵌套引用带来的转换问题,无法适用于复杂模型的转换。本文提出了一种模型转换方法,该方法将非完全形式化的顺序图模型转换为时间自动机模型,针对多顺序图之间的嵌套引用关系带来的转换问题,提出顺序图合并子图的方法与转换规则。针对复杂系统中测试用例规模庞大的问题,提出一种测试用例生成方法,生成数量少且质量高的测试用例。现有的测试用例排序方法往往只考虑到方法或函数的覆盖度,未考虑到不同...
【文章来源】:杭州电子科技大学浙江省
【文章页数】:76 页
【学位级别】:硕士
【部分图文】:
opt组合片段的顺序图对应的时间自动机
alt组合片段的顺序图以及对应的时间自动机
描述了含有 loop 组合片段的顺序图转换为时间自动机行逻辑相当于程序代码中的 while 循环,如果 loop 中片段中的消息事件,当执行完此组合片段中的消息事则重新从此 loop 组合片段的首个消息事件开始执行到时间自动机的步骤:获取顺序图的所有转换所需的信息:顺序图中含有的中每条消息上的消息名、时间约束;若该顺序图含有则需要读取 loop 的约束条件,以及它包含的消息序消息的数量确定状态的数量,对于每一个时间自动机态 s0,若消息数量为 n,则可以确定 s1到 sn的状态。矩阵的创建。loop 组合片段中的消息顺序执行,顺序约束条件则产生回路,在此例子中,若 x>0,则 s1将0,则 s1将迁移到 s3,在到达 s2后,若仍满足 x>0,则邻接矩阵连接 s0到 sn各个状态之间的迁移,得到最时间自动机。
【参考文献】:
期刊论文
[1]基于B方法的UML模型形式化转换的应用研究[J]. 沈利. 信息技术与信息化. 2017(10)
[2]基于定值-引用链的测试用例优先级排序算法[J]. 潘丽丽,王天锷,秦姣华,向旭宇. 计算机科学. 2017(04)
[3]基于模型驱动的嵌入式软件测试技术研究[J]. 雷海申,王轶辰. 网络空间安全. 2016(08)
[4]基于策略推导的访问控制漏洞测试用例生成方法[J]. 文硕,许静,苑立英,李晓虹,徐思涵,司冠南. 计算机学报. 2017(12)
[5]基于圈复杂度的静态测试用例排序方法[J]. 陈梦云,高建华. 计算机应用与软件. 2016(01)
[6]多目标优化的测试用例优先级在线调整策略[J]. 张娜,姚澜,包晓安,董萌,桂宁. 软件学报. 2015(10)
[7]一种基于PSO优化算法的测试用例集约简方法[J]. 黄一清. 机电设备. 2015(S1)
[8]一种软件自适应UML建模及其形式化验证方法[J]. 韩德帅,杨启亮,邢建春. 软件学报. 2015(04)
[9]基于路径的有向图顶点的重要度计算方法[J]. 李明,赵洁,郑平,王婷. 甘肃高师学报. 2015(02)
[10]大数据下基于异步累积更新的高效P-Rank计算方法[J]. 王旭丛,李翠平,陈红. 软件学报. 2014(09)
博士论文
[1]构件化嵌入式软件设计的分析与验证[D]. 胡军.南京大学 2005
硕士论文
[1]利用遗传算法生成基于MC/DC的回归测试数据[D]. 韩莹.南华大学 2016
[2]基于Additional策略回归测试用例优先级排序优化研究[D]. 唐海鹏.西南大学 2015
[3]Web应用的测试用例优化生成与优先级技术[D]. 常龙辉.上海大学 2015
[4]基于XYZ/SE的C/S体系结构风格研究[D]. 刘曼霞.湖南大学 2013
[5]回归测试中测试用例优先级技术的改进与实现[D]. 吴堃.南京大学 2012
[6]UML2.0序列图到事件确定有限自动机转换的研究[D]. 张祎民.西安电子科技大学 2012
[7]基于接口自动机的嵌入式软件验证技术及支撑工具研究[D]. 徐丙凤.南京航空航天大学 2009
[8]基于UML需求建模的一种形式化分析方法及其应用[D]. 江春.苏州大学 2009
[9]通信软件结构测试关键技术的研究及插桩器实现[D]. 刘玉东.北京交通大学 2008
[10]基于UML的软件系统建模应用研究[D]. 吴丽影.长春理工大学 2007
本文编号:3074773
【文章来源】:杭州电子科技大学浙江省
【文章页数】:76 页
【学位级别】:硕士
【部分图文】:
opt组合片段的顺序图对应的时间自动机
alt组合片段的顺序图以及对应的时间自动机
描述了含有 loop 组合片段的顺序图转换为时间自动机行逻辑相当于程序代码中的 while 循环,如果 loop 中片段中的消息事件,当执行完此组合片段中的消息事则重新从此 loop 组合片段的首个消息事件开始执行到时间自动机的步骤:获取顺序图的所有转换所需的信息:顺序图中含有的中每条消息上的消息名、时间约束;若该顺序图含有则需要读取 loop 的约束条件,以及它包含的消息序消息的数量确定状态的数量,对于每一个时间自动机态 s0,若消息数量为 n,则可以确定 s1到 sn的状态。矩阵的创建。loop 组合片段中的消息顺序执行,顺序约束条件则产生回路,在此例子中,若 x>0,则 s1将0,则 s1将迁移到 s3,在到达 s2后,若仍满足 x>0,则邻接矩阵连接 s0到 sn各个状态之间的迁移,得到最时间自动机。
【参考文献】:
期刊论文
[1]基于B方法的UML模型形式化转换的应用研究[J]. 沈利. 信息技术与信息化. 2017(10)
[2]基于定值-引用链的测试用例优先级排序算法[J]. 潘丽丽,王天锷,秦姣华,向旭宇. 计算机科学. 2017(04)
[3]基于模型驱动的嵌入式软件测试技术研究[J]. 雷海申,王轶辰. 网络空间安全. 2016(08)
[4]基于策略推导的访问控制漏洞测试用例生成方法[J]. 文硕,许静,苑立英,李晓虹,徐思涵,司冠南. 计算机学报. 2017(12)
[5]基于圈复杂度的静态测试用例排序方法[J]. 陈梦云,高建华. 计算机应用与软件. 2016(01)
[6]多目标优化的测试用例优先级在线调整策略[J]. 张娜,姚澜,包晓安,董萌,桂宁. 软件学报. 2015(10)
[7]一种基于PSO优化算法的测试用例集约简方法[J]. 黄一清. 机电设备. 2015(S1)
[8]一种软件自适应UML建模及其形式化验证方法[J]. 韩德帅,杨启亮,邢建春. 软件学报. 2015(04)
[9]基于路径的有向图顶点的重要度计算方法[J]. 李明,赵洁,郑平,王婷. 甘肃高师学报. 2015(02)
[10]大数据下基于异步累积更新的高效P-Rank计算方法[J]. 王旭丛,李翠平,陈红. 软件学报. 2014(09)
博士论文
[1]构件化嵌入式软件设计的分析与验证[D]. 胡军.南京大学 2005
硕士论文
[1]利用遗传算法生成基于MC/DC的回归测试数据[D]. 韩莹.南华大学 2016
[2]基于Additional策略回归测试用例优先级排序优化研究[D]. 唐海鹏.西南大学 2015
[3]Web应用的测试用例优化生成与优先级技术[D]. 常龙辉.上海大学 2015
[4]基于XYZ/SE的C/S体系结构风格研究[D]. 刘曼霞.湖南大学 2013
[5]回归测试中测试用例优先级技术的改进与实现[D]. 吴堃.南京大学 2012
[6]UML2.0序列图到事件确定有限自动机转换的研究[D]. 张祎民.西安电子科技大学 2012
[7]基于接口自动机的嵌入式软件验证技术及支撑工具研究[D]. 徐丙凤.南京航空航天大学 2009
[8]基于UML需求建模的一种形式化分析方法及其应用[D]. 江春.苏州大学 2009
[9]通信软件结构测试关键技术的研究及插桩器实现[D]. 刘玉东.北京交通大学 2008
[10]基于UML的软件系统建模应用研究[D]. 吴丽影.长春理工大学 2007
本文编号:3074773
本文链接:https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/3074773.html