基于UML状态图的复杂类测试用例自动生成技术研究

来源 :山东科技大学 | 被引量 : 0次 | 上传用户:miclleg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自动化测试技术的目的是为了提高软件测试的效率和质量,多年以来一直是软件工程研究的热点,而测试用例的自动生成则是自动化测试技术致力于解决的关键问题之一。类和对象是面向对象软件的基本单元,复杂类的测试是面向对象测试的重点和基础。本文针对现有复杂类测试用例自动生成技术存在的主要问题,研究相应的解决方法和技术,以提高测试用例的生成质量、确保测试的逻辑覆盖率。  本文采用统一建模语言、扩展有限自动机和遗传算法等技术,以面向对象复杂类测试为研究对象,研究从UML状态图自动生成复杂类测试序列和测试数据的技术并设计自动化测试工具。具体研究内容和成果如下:  (1)针对目前生成的测试序列存在的不可达测试序列生成、预测消息序列生成算法不合理等问题,在对测试序列生成方法及常见状态机模型分析基础上,选取将UML状态图平展为扩展有限状态机模型的方法生成测试消息序列,并通过改进的UIOS算法生成状态预测序列,给出了一种将消息序列和预测序列相结合生成测试序列的方法。通过理论分析和实例验证,该方法能够生成满足状态——转移覆盖标准的较优测试序列。  (2)针对目前生成类测试数据存在的早熟收敛、编码方式不适合及适应度函数设计不合理等问题,以遗传算法和自适应遗传算法的原理为基础,提出改进的自适应遗传算法FIAGA,该算法通过设计自适应互补的交叉概率和变异概率控制种群进化,改进类测试数据对应的染色体编码方式及适应度函数,实现类测试序列对应测试数据的自动生成。经实验验证,FIAGA算法能加快种群收敛速度,有效避免“早熟”现象。  (3)针对目前测试工具尚未实现与建模工具的充分结合、缺少高效自动生成测试用例工具等问题,依据上述测试用例生成方法,以UML状态图作为输入,设计并实现了自动化测试用例生成原型系统,以自动生成类测试序列及测试对象数据,并以咖啡自动贩售机模型验证了工具的主要功能。  本文的主要研究成果对于面向对象复杂类测试用例的自动生成具有一定的理论价值和实践指导意义。  
其他文献
近年来,计算机应用的快速发展以及网络的普及为人们的生活、工作带来了很大的方便,但是,随之而来的计算机病毒对用户产生的危害也越来越严重,在各种利益的驱动下计算机病毒的
车间调度问题的复杂性使得传统的常规方法已经很难或者无法解决,研究新的解决方法显得越来越重要。近年来,以借鉴自然现象形成的智能优化算法因其良好的性能而得到了广泛的应
随着信息技术的飞速发展,互联网在人们的工作和生活中有着不可或缺的地位。然而在人们享受网络带来便利的同时,也面临着各式各样的威胁。异常检测作为网络安全领域一种重要的技
人机交互作为人与计算机之间实现有效互动的具体方法,多年来一直受到研究人员很大的关注。交互方式的不断演变和创新,为人机交互技术的发展提供了更加广阔的发展空间,也使得对交
Gabor变换是由英国物理学家Dennis Gabor于1946年首次提出的一种重要的联合时频分析方法,它可以将一个信号从时域映射到联合时频域。Wexler和Qian等人在Dennis Gabor的工作的
基于单幅图像的三维重建是基于图像三维重建的一个重要的研究领域,它是利用单幅图像的几何约束或者纹理等信息及有限的先验知识,实现物体的三维重建,是计算机视觉、图像处理
随着无线传感网络的发展,移动传感网络逐渐进入人们的生活,在城市管理、环境监测、医疗卫生等领域广泛应用。由于移动传感网络中传感器节点具有移动性,因此导致网络拓扑结构高度
语义角色标注(Semantic Role Labeling)近来年来备受关注,且已取得了长足的发展,多项研究表自动推断语义论元结构能够导致诸如信息抽取、自动问答和文本蕴含等众多自然语言处
随着Web2.0技术的普及与发展,互联网迅速的进入了SNS时代,同时,教育领域也发生了很大的变化,师生之间需要更多的联系和互动。在这样的背景下,一种新型的网络学习环境——SNS
随着网络带宽的增长以及各种新型网络应用的出现和发展,例如P2P(Peer-to-Peer)下载,P2P流媒体等应用在网络中大行其道,网络中流量的组成出现了很大的改变,UDP网络流量已经占