一种基于UML顺序图生成测试数据的方法

来源 :南京航空航天大学 | 被引量 : 0次 | 上传用户:jiekoala
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是保障软件质量的重要手段。随着基于UML软件测试的普及,基于UML顺序图生成测试数据,可以在系统开发早期就设计集成测试阶段的测试用例,提高测试效率;并且是基于UML顺序图的集成测试能够进行并发挥作用的关键。随着UML2.0标准的提出,现有的基于UML顺序图的测试方法不能完全适用,本文对UML2.0顺序图进行研究,结合面向路径的测试数据生成,提出一种基于UML顺序图生成测试数据的方法。本文首先对顺序图进行控制流分析,基于UML2.0活动图元模型定义了能够表达UML2.0顺序图控制流特点的UML顺序图控制流模型:SDCFG图,给出从顺序图到SDCFG图的转换规则。然后,结合OCL约束扩充SDCFG图,定义了集成顺序图和类图信息的模型:CIG图,给出构建CIG图的规则。通过遍历CIG图生成的CIG路径,一方面对应了对象间的交互过程;另一方面包含了交互过程中的对象约束。在此基础上对CIG路径生成测试约束,并讨论了如何去除由OCL导航机制产生的冗余约束。最后,将测试约束分为固定约束和可变约束两部分,结合OCL表达式的语义对固定约束求解,使用约束求解方法和边界值分析求解可变约束,组合固定约束和可变约束的解生成测试数据。生成测试数据的过程中,以ATM系统中用户取款为例,说明了基于UML顺序图的测试数据生成方法的可行性。
其他文献
本文研究了基于S3C4510B的嵌入式通信控制器的设计与实现,从总体设计、HDLC通道驱动程序的实现、通信控制器应用软件的实现与测试来阐述。本文首先从分析设计要求出发,研究了
在20世纪90年代中期,Gartner提出了面向服务的架构(SOA)的概念。今天,SOA已经能够成功地运用到各大企业当中。但是我们发现:“组合服务”的发现和服务质量(QoS)的综合评估仍
非单调逻辑是人工智能研究领域的一个重要方向之一,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的一个重要研究内容。本文探讨了算子在表示定理研究
形式规格说明语言基于严密的数学和逻辑,它是精确的,无二义性的语言。形式规格说明语言克服了非形式化语言的二义性,但是它并不能完全避免规格说明中的人为错误。本文研究的是形
面向方面编程(Aspect-Oriented Programming, AOP)是一种新的程序设计方法,旨在解决传统面向对象程序设计对于系统横切关注点的描述所存在的代码散布和纠缠的问题,使程序具有
随着互联网上信息的海量增长,尤其是万维网的普及,网络信息资源己经涵盖了社会生活的各个方面。通过什么样的方法和途径使网站的网页信息资源得到合理有效地组织,提高信息检
随着经济的快速发展,人们对生活质量的要求日益提高,传统入户抄表方式不仅干扰居民日常生活、带来安全隐患,还存在效率低、易出错等问题。为改善居民生活质量并提高物业管理
最近几年,各个电视媒体的竞争越来越激烈,受众收视研究也显得越来越重要。那么,电视制播机构和广告主、广告商根据什么来衡量观众的多寡呢?根据什么来判断的节目的观看人数呢?根据
TD-SCDMA作为中国提出的第三代移动通信标准(简称3G),它是以我国知识产权为主的、被国际上广泛接受和认可的无线通信国际标准。这是我国电信史上重要的里程碑。它的产生也为
模式识别技术是人工智能的重要研究内容。基于各种技术,几十年来各种不同的模式识别方法得到了广泛的研究与应用。在当今飞速发展的数据挖掘和探查性数据分析中,聚类分析技术