免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
基于UML statecharts测试方法的研究
中文名称: 基于UML statecharts测试方法的研究
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3122320收藏本论文】【我的收藏】【我要投稿
英文名称: Research of Testing Method Based on UML Statecharts
学位类型: 博士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 控制理论与控制工程
毕业年份: 涉及隐私,隐去***
关键字: UML statecharts 形式化语义 FREE模型 基于规格说明的软件测试 测试准则 测试用例自动生成 软件测试
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文简介:统一建模语言(UnifiedModelingLanguage,UML)是一种描述能力强大且涵义直观的可视化建模语言,它提供多种图元从不同角度和应用层次刻画系统特性以及复杂的运行环境。基于UML的软件开发过程和建模环境已被工业界广泛接受,其中包括航天、国防、汽车等许多安全攸关领域。如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件质量的关键技术之一,能够有效地发现软件中的故障。因而,基于UML软件测试成为了软件工程的一个重要研究方向。软件测试的关键是测试用例的产生。本文对基于UMLstatecharts图的测试用例生成方法进行了研究和探讨。 直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的,本文提出了基于UMLstatecharts图的测试框架:先利用现有的UML工具(如ArgoUML等)画出UMLstatecharts图,并产生它的XMI(XMLMetadataInterchange)格式的规格说明文件;然后根据UMLstatecharts图的语义,层次和并发结构被展平,UMLstatecharts图的规格说明XML文件转换成FREE(FlattenedRegularExpression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集。 UMLstatecharts图是一种图形符号,描述了UML框架的行为,它是UML语言的一个重要组成部分。然而,UMLstatecharts图缺乏精确的语法和语义。本文用Z语言定义了UMLstatecharts图的形式化语法和语义。按照这个精确语义,UMLstatecharts图被转换成了FREE模型。这个FREE模型不仅有助于确定软件设计是否是一致的、无歧义的和完整的,而且也有利于软件测试。 测试充分性准则是整个软件测试的核心,它直接决定了测试用例的生成。目前基于UML状态图生成测试用例的充分性准则:状态覆盖准则、迁移覆盖准则、全谓词公式覆盖准则和迁移对覆盖准则,它们没有解决测试循环的问题。在测试时,循环被执行一次是很不充分的,按照不完全归纳法的思想,本文提出了ZOT循环覆盖准则,也就是使循环分别执行0次、1次、2次;针对A.J.Offutt等人给出的覆盖准则“完全序列准则”(completesequencelevel),由于它的操作性极弱,无法在工具中实现,在此基础上结合ZOT循环覆盖准则,本文还提出了全ZOT路径覆盖准则。并给出了状态覆盖、迁移覆盖、全谓词公式覆盖、迁移对覆盖、ZOT循环覆盖和全ZOT路径覆盖这6条覆盖准则的应用,还讨论了这些覆盖准则之间的包含关系。 A.J.Offutt给出的两条测试准则(全谓词公式覆盖和迁移对覆盖)产生测试用例的算法只适用于以下情况:一方面只对使能迁移产生测试,另一方面它需要所有的变量都是布尔型的。本文针对这两个方面的问题进行了扩充,不仅可以测试使能迁移,还能测试非法迁移,变量也不再要求它是布尔型的,而提出了由FREE模型根据全谓词公式覆盖准则和迁移对覆盖准则分别产生有限的迁移序列的两个算法。本文还提出了由FREE模型根据全ZOT路径覆盖准则分别产生有限的迁移序列的算法。 最后,给出了本文所提出的基于UMLstatecharts图的测试用例生成方法的UMLSTG系统设计及实现技术。这个系统,从读入UMLstatecharts图的规格说明XML文件,到最后按照不同的测试覆盖准则可以分别产生出相应的测试用例文件。
本类相关论文:
·基于PACS的结构化报告(SR)模块的设计与实
·细粒度软件抗衰策略及相关技术研究
·软件测试与可靠性评估
·向量场可视化技术的研究与实现
·CSCW技术在电力客户服务中心中的应用
·面向企业的远程协同培训系统的研究与实现
·软件DSM中的数据行为分析及系统性能优化
·面向机器翻译的双语信息处理系统的设计与实现
·在EDBMS中若干面向对象关键技术的扩充及系统
·基于语义网络的智能教学系统开发环境
形式化语义论文 测试准则论文
·增量式软件产品线关键技术研究
·基于UML与时序逻辑的嵌入式实时软件建模及应用
·基于UML状态图的测试生成研究
·支持模型驱动开发的体系结构形式化语义与转换一致
·基于本体的异构数据集成技术研究与实现
·基于UML状态图的测试生成研究
·并发软件测试理论与技术研究
·基于软件需求建模的测试用例自动生成工具的研究
·基于UML Statechart图的软件测试用
·软件测试用例自动生成系统研究开发
测试用例自动生成论文 软件测试论文
·水下机器人软件可靠性测试方法研究
·TTCN-3编译器测试用例集自动生成研究与实现
·基于WSDL/SOAP接口的测试系统研究与实现
·测试用例自动生成算法在车载ATP中的研究与应用
·基于模型驱动的测试用例自动生成技术研究
·基于STAF和RFT的自动化回归测试系统的设计
·软件测试数据的高效生成及测试方法研究
·软件测试用例集简化及其构建方法研究
·地图管理信息系统的设计与实现
·FSCS自适应随机测试算法的边界效应及运行效率
  推荐期刊投稿
·外交评论-外交学院学报
·中国行为医学科学
·遥测遥控
·包装与食品机械
·党史研究与教学
·高中数理化(高一版)
·财政研究
·新闻出版交流
·交通环保
·现代语文(语言研究版)
 
·创作
·东方企业文化
·城市公用事业
·临床小儿外科杂志
·云南地税
·林业调查规??/a>
·炼油与化工
·中国介入心脏病学杂志
·文艺争鸣
·现代食品科技
 
·课外阅读
·国际关系学院学报
·邯郸医学高等专科学校学报
·重庆医科大学学报
·山西煤炭
·教育实践与研究(中学版)
·东北财经大学学报
·江苏科技大学学报(社会科学版)
·大地构造与成矿学
·牡丹江大学学报
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号