检索结果-南通市图书馆

基于uml状态图的自动化测试框架研究与实现

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于UML状态图的自动化测试框架研究与实现

作者：杨晶华东理工大学

学位级别：硕士

随着软件产业的飞速发展,软件规模及软件复杂度与日俱增,软件测试作为保证软件质量的关键技术,已经受到越来越多的关注。自动化测试的出现和发展使软件测试进入了一个崭新时期,极大地提高了软件测试的速度和效率,自动化测试技术和方法... 详细信息

随着软件产业的飞速发展,软件规模及软件复杂度与日俱增,软件测试作为保证软件质量的关键技术,已经受到越来越多的关注。自动化测试的出现和发展使软件测试进入了一个崭新时期,极大地提高了软件测试的速度和效率,自动化测试技术和方法已逐渐成为学术界和工业界研究的重点。本文介绍了软件测试理论和自动化测试技术的发展,并对基于规格说明的测试以及数据驱动测试技术进行了详细的论述,在此基础上提出了一个基于uml状态图的自动化测试框架,框架的核心构成包括测试用例自动生成,测试脚本的生成、管理与执行。对于测试用例的生成,引入代码测试中的函数最小化思想,依据边界测试准则提出ON-OFF测试数据搜索算法生成测试数据,采用记忆化搜索高效生成测试用例,生成的测试用例满足转移覆盖准则,同时开发实现了一个测试用例自动生成工具;对于测试脚本的生成、管理与执行,提出了一个三层的自动化测试架构,采用模块化设计,数据驱动的指导思想,实现了业务层、脚本层和数据层的分离,提高了自动化开发的效率,减少了建立和维护脚本的成本;最后,将该测试框架应用于Web应用程序HDPOS5,选取其核心模块进行测试,从而验证了框架的可行性和实用价值。

关键词：软件自动化测试 uml状态图函数最小化数据驱动

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于uml状态图的软件测试研究

基于UML状态图的软件测试研究

作者：苗俊磊西安电子科技大学

学位级别：硕士

软件测试是确保软件正确性和增加软件可信性最基本的手段。为了尽可能减少软件测试的成本,大量的学术人员投入了越来越多的精力到软件测试方法和工具的研究上。作为标准建模语言,uml能够清晰且准确地表示软件系统的结构和功能,它既包含... 详细信息

软件测试是确保软件正确性和增加软件可信性最基本的手段。为了尽可能减少软件测试的成本,大量的学术人员投入了越来越多的精力到软件测试方法和工具的研究上。作为标准建模语言,uml能够清晰且准确地表示软件系统的结构和功能,它既包含了软件需求分析阶段的信息,也为软件的实现提供了依据,所以根据uml模型自动产生测试用例并完成相关测试,具有重要的现实意义。本文以基于模型软件测试的相关理论和方法为基础,重点研究了基于uml状态图软件测试的方法。首先利用图论中的深度优先搜索算法对状态图进行遍历,得到满足相应覆盖准则的测试用例。然后利用Soot工具将待测程序转换为控制流图,通过遍历得到程序的方法执行路径,接着借助于最短编辑距离算法,完成模型路径与程序路径的匹配。之后提出了测试用例自动执行的实现方法,通过自动产生的测试脚本,驱动插桩后的待测程序运行,然后获取实际执行结果,并且完成结果比较。最后本文设计了一款基于uml状态图的软件测试工具,并且给出了详细的设计方案和实现过程。

关键词： uml状态图测试用例 Soot工具插桩技术测试脚本

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于uml状态图的协议文本转换技术

汕头大学学报（自然科学版） 2005年第4期20卷 65-70页

作者：蔡伟鸿欧少闽汕头大学计算机系广东汕头515063

利用uml状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM... 详细信息

利用uml状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的.

关键词： uml uml状态图协议测试

基于uml状态图的工作流时序约束一致性研究

在线全文

学校读者我要写书评

暂无评论

苏州大学学报（自然科学版） 2005年第4期21卷 43-48页

作者：陆公正张广泉张冬华张育苏州大学计算机科学与技术学院江苏苏州215006

通过对uml状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证.

关键词：工作流 uml状态图模型检测时序约束一致性

基于uml状态图的自动化测试系统研究与实现

在线全文

学校读者我要写书评

暂无评论

信息工程大学学报 2012年第5期13卷 626-631页

作者：布辉刘冉华北水利水电学院河南郑州450011

以uml状态图的测试用例自动生成算法为基础,研究并实现了基于uml状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最... 详细信息

以uml状态图的测试用例自动生成算法为基础,研究并实现了基于uml状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。

关键词： uml状态图自动化测试扩展有限状态机测试用例测试序列

在线全文

学校读者我要写书评

暂无评论

基于uml状态图的测试技术研究

计算机技术与发展 2009年第5期19卷 68-71页

作者：高莉李龙澍安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 安徽建筑工业学院电子与信息工程学院计算机系安徽合肥230601

统一建模语言uml具有定义良好、易于表达、功能强大的特点,同时还提供了非常强大的图例模型。目前,uml统一建模语言已经广泛应用于软件开发之中,而基于uml状态图的测试技术研究,目的就是为了能够有效地发现软件中存在的缺陷和故障,保证... 详细信息

统一建模语言uml具有定义良好、易于表达、功能强大的特点,同时还提供了非常强大的图例模型。目前,uml统一建模语言已经广泛应用于软件开发之中,而基于uml状态图的测试技术研究,目的就是为了能够有效地发现软件中存在的缺陷和故障,保证相应软件质量。讨论分析了基于uml状态图的测试用例生成技术,提出一种基于uml状态图的测试用例生成方法,生成较少但有效的测试用例,便于实现自动化测试,并介绍了基于状态图的测试覆盖标准,最后讨论了未来可以研究的方向。

关键词： uml状态图软件测试测试用例

基于uml状态图和Petri网的冷却水实时控制系统建模与分析

在线全文

学校读者我要写书评

暂无评论

苏州大学学报（工科版） 2009年第6期29卷 7-11页

作者：杨喜刚张广泉苏州大学计算机科学与技术学院江苏苏州215006

实时系统应用要求其必须有严格的正确性,uml及Petri网是保证其正确性的重要建模与分析方法。通过介绍Petri网的基本模型,阐述了uml状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用。

关键词：实时系统形式化方法 uml状态图 Petri网冷却水控制系统

一种基于扩展uml状态图的并发工作流验证方法

在线全文

学校读者我要写书评

暂无评论

电脑知识与技术 2009年第1期5卷 153-156页

作者：陆公正吴澜波顾小晶张广泉苏州市职业大学计算机工程系江苏苏州215104 苏州卫生职业技术学院检验药学系江苏苏州215009 苏州大学计算机科学与技术学院江苏苏州215006

当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的uml状态图，用它进行工作流实例建模。然后把扩展的uml状态图建立的工作流模型转化为Biichi自动机，并用Biichi自动机之间的积表示多个工作流实例的并发... 详细信息

当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的uml状态图，用它进行工作流实例建模。然后把扩展的uml状态图建立的工作流模型转化为Biichi自动机，并用Biichi自动机之间的积表示多个工作流实例的并发模型。接着给出了和证明了根据并发模型中标记的命题公式判定并发冲突的定理。最后，由于随着实例数目的增加，并发模型中的状态数也会按每个实例的状态数倍增加，为了解决这一问题，在检测并发冲突的算法中采用了on—the—fly技术.

关键词： uml状态图 Büchi自动机并发工作流模型检测

嵌入式建模中带有时间扩展的uml状态图的形式化方法

在线全文

学校读者我要写书评

暂无评论

计算技术与自动化 2007年第1期26卷 108-110页

作者：段盛李仁发湖南大学软件学院湖南大学计算机与通信学院湖南长沙410012

面向对象建模语言uml(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对uml状态图进行时间扩展的方法,并... 详细信息

面向对象建模语言uml(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对uml状态图进行时间扩展的方法,并提出利用“可执行uml”对带有时间扩展的uml状态图形式化的方法。

关键词：嵌入式系统 uml状态图形式化