基于UML顺序图的测试用例生成研究

来源 :南京大学 | 被引量 : 0次 | 上传用户:HappHapp
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是软件开发过程中极其重要的一环,是保证软件质量、提高软件可靠性的关键。研究软件测试理论和高效的软件测试技术以提高软件质量、降低软件生产成本成为软件工程的一个研究热点。 自上世纪80年代以来,面向对象技术迅速发展,获得了越来越广泛的应用。面向对象技术所独有的抽象、继承、封装、多态等新特点能够产生更好的系统结构,更规范的编程风格,极大地优化了数据使用的安全性,提高了程序代码的重用,但同时也增加了软件的复杂度和测试的难度,使得传统的软件测试技术不能直接应用于面向对象的软件测试。因此,针对面向对象系统的软件测试的研究受到了越来越多的重视。统一建模语言UML的出现,成为面向对象技术各方面的强有力的推动力量,为面向对象软件测试提供了一个新的研究方向。 UML(UnifiedModelingLanguage)是一种定义良好,易于表达,功能强大且普遍适用的建模语言。它溶入了软件工程领域的新思想、新方法和新技术,不仅可以支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程。自从它在1997年被OMG采纳作为基于面向对象技术的标准建模语言后,就得到学术界的推崇和工业界的支持并广为使用。因此,基于UML的方法和实用技术的研究成为将来一段时间的发展趋势。由于UML模型在设计阶段就可以产生,通过UML模型生成测试用例可充分利用已有的设计结果,减少软件测试的总成本,对于已使用UML的工业界有着重要的意义。 UML顺序图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文在介绍了软件测试和UML的基础上,提出了一个基于顺序图场景的测试衡量标准(测试覆盖准则),并给出了一个基于UML顺序图的场景测试方法及相应的自动生成测试用例的工具原型。它以UML顺序图为主要测试模型,首先通过对顺序图的形式化定义,将一个顺序图转化成一个以事件为节点的DAG图,对DAG图进行深度优先遍历可以方便地得到所有的测试场景;然后遍历每一个场景以获取各个场景的约束条件、输入和预期输出;在此过程中,结合UML状态图,将对象的状态信息添加到顺序图中,避免了从单个模型图中生成测试用例的不足;最后根据类图、状态图和顺序图的规约信息,采用范畴-划分方法的思想找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例,用于测试该场景中对象之间的交互。
其他文献
在应用实际中,计算机经常要识别来自传感器的不确定性、高度非线性、时变性、高噪声等特点信号并对系统进行控制,要建立其精确数学模型是很困难的.因此,传统的基于精确数学模
本论文主要研究了大学时间表问题中的考试时间表问题及其求解方法,并结合实例进行了求解讨论,其主要工作如下:1、介绍了大学时间表问题的产生背景、发展状况、约束条件、分类
网络技术的发展为医疗信息的共享和交换,提供了可实现的平台和技术保障。电子病历是医疗信息的核心内容,所以构建以电子病历为核心的基于网络的医疗信息体系,是实现医疗体系现代
现有的互联网提供了一种”尽力而为”(best-effort)服务,在这种服务模型下,所有的业务流”一视同仁”公平地竞争网络资源.随着互联网技术的飞速发展,IP业务也得到了快速增长和多
身份认证是证实一个声称的身份是否真实有效的过程,是网络安全技术的一个重要组成部分。本文详细讨论了基于X.509证书格式的PKI认证技术的原理和实现过程,分析了这种认证技术的
蛋白质二级结构预测的方法中绝大多数都是根据蛋白质的一级结构信息即氨基酸序列来进行预测的,而没有考虑到编码蛋白质氨基酸残基序列的DNA序列及其对应密码子中是否隐含有与
随着云计算和虚拟化技术的蓬勃发展,业界学者逐步深入了相关研究。作为实现云计算的关键基础技术,虚拟化提供了一致性的系统级平台,而镜像文件正是扮演了将该平台实例化的重
该文以电子商务的定义、功能和特性开篇,介绍电子商务的现状与发展.在此基础上提出电子商务的一个非常重要的问题——电子商务的安全问题.由此引出目前处于主流并且非常有效
随着即时通类软件在为人们带来诸多方便的同时,也为色情、反动言论及邪教异端邪说洞开方便之门,在企业内部的广泛应用也产生了诸如技术泄密、工作效率降低及网络使用成本增加
大气中二氧化碳含量对海水组成及海洋生物生存环境的影响,正引起人们的广泛关注。在海水结晶问题的有关研究中,基于传统化学实验方法的分析过程繁琐、实际操作复杂、成本花费