从UML顺序图模型生成测试用例

来源 :南京大学 | 被引量 : 0次 | 上传用户:yoclin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试是一种活动,其目的是评估一个程序或系统的属性或能力并判定它是否满足系统的期望结果。它是保证软件质量的一个重要过程。测试活动一般包括测试用例设计、利用测试用例执行被测软件和评估测试结果。其中最关键的阶段是测试用例设计。 UML(UnifiedModelingLanguage)是一个通用的可视化建模语言,用于对软件进行描述、可视化处理、构建和建立软件系统制品的文档。目前已被学术界和工业界广泛接受,正在发展成为软件工程领域的标准,基于UML模型的测试已经成为软件工程相关领域的研究热点。 本文面向UML顺序图模型,探讨测试用例生成方法和技术,包括测试需求的生成和使用Category-Partition方法生成测试用例,主要结果包括如下: 1.回顾了传统的软件测试方法,包括测试定义、目的和局限性、以及测试方法分类;分析了面向对象软件的测试方法及相关研究成果。对UML及相关的测试研究工作进行了分析和阐述。 2.集成UML模型中描述的结构和行为信息到UML顺序图。主要是针对UML类图和状态图进行分析,从中提取必要的信息以OCL形式附加在顺序图中对象生命线上,并对这些信息进行完整性和一致性检查。 3.给出了UML顺序图的测试准则和生成测试用例的相关方法。测试准则包括谓词覆盖和事件路径覆盖。据此准则,给出了测试用例表述的五元组形式以及生成测试用例的方法。
其他文献
为使学生更好地融入企业,使学生得到有效训练,做到学以致用,本文根据工科学生毕业环节的特点,提出了一种“设计+工程项目”的毕业环节教学方法.结合机械类专业的特色,采用设
《古诗十九首》创造出一种非常规空间艺术 (设置虚实空间、扩大缩小空间、变形空间和变换空间 ) ,有效地传达情感 (离愁别绪 )。 ( 1 )实际空间是有限的 ;虚设空间是无限的 ,
随着多媒体技术和计算机网络的快速发展,数字媒体的制作和传播变得更加方便和快捷,同时盗版和侵权的问题也日益严重.数字水印技术作为一种数字媒体版权保护的有效方法,近年来
随着计算机网络及通信技术的发展,各种软件新技术被应用于信息系统的开发中,其中,工作流技术以其良好的适应性和灵活性更是受到广泛的关注。它让企业从繁琐的业务过程逻辑处理中
分形图象压缩编码是一种新型的图象压缩技术.它思想新颖,压缩比高,如今已成为图象压缩领域的研究热点.本文提出了一种基于圆盘特性的非线性分形图像压缩编码算法的改进型算法
以升格为本科后的浙江越秀外国语学院为例,从实现SPT培养目标及进一步提升学院的内涵建设着手,对推进本科大学生思想政治教育,提出新问题,探索新思路.
随着现实社交网络服务的飞速发展,理解网络用户之间潜在的影响力的传播过程,能够帮助我们更好的理解网络结构的动态演化,以及不同的信息对于人与人之间的社会影响作用。现有的关
受经济下行影响,加之中国人民银行对合意贷款规模的严格管控,农村信用社放贷积极性不高。建议逐步弱化合意贷款规模指令性、强制化作用,取消或者改进合意贷款规模管理模式,引
该文研究了网络攻防的特点,深入研究端口扫描的各种技术,开发了具有中国自主版权的,特色鲜明并能够实际应用的端口扫描软件.本文重点阐述了端口扫描软件的设计和实现的关键技
用户评论数据剧增是互联网Web2.0兴起后的一个重要现象。这是一个评论的时代,人们在阅读新闻、图书,观看电影,听音乐和购买商品时都会参考历史用户评论;在消费完成后,又会留下