【摘 要】
:
软件测试在软件开发过程有着越来越重要的地位,它贯穿于软件定义与开发的整个周期即整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点和难点所在,它的设计依
论文部分内容阅读
软件测试在软件开发过程有着越来越重要的地位,它贯穿于软件定义与开发的整个周期即整个软件开发过程。而测试用例的生成设计又是软件测试过程中的重点和难点所在,它的设计依据主要来自于软件需求和软件设计,其中要涉及到测试用例的充分性覆盖准则问题。本文的研究内容属于基于规格说明的软件测试的范畴。基于规格说明的测试用例生成技术是一种新兴的测试用例生成技术,有很多优于以前的测试技术的方面。本文主要研究了基于UML(Unified Modeling Language,统一建模语言)状态图规格说明的测试用例生成技术。由于UML是一种半形式化语言,没有精确的语义描述,首先使用OOZS(Object-Oriented Z Specification,Z语言的面向对象扩展)对状态图进行形式化,在此基础上将UML状态图转换成展平正规式FREE模型(Flattened Regular Expression)。FREE模型是一个扩展的有限状态机,其中的复合迁移对应着UML状态图中的迁移,其中的状态配置是UML状态图中状态的抽象,因此FREE模型就是一个UML状态图。图论(Graph Theory)在经历了200多年的发展以后,已经积累了大量成熟理论。由于UML状态图可以看作图论意义上的图,因此,本文将图论中的理论引入进来,指导测试用例的生成。在基于UML状态图的测试充分性准则方面,本文沿用了A.J.Offutt提出的四种经典测试充分性准则,即状态覆盖准则、迁移覆盖准则、迁移对覆盖准则和完全判定覆盖准则。贯穿全文,使用了饮料自动售货机这一实例,对本文提出的方法给予说明。
其他文献
混沌理论可用来理解脑中某些不规则的活动,混沌动力学为人们研究神经网络提供了新的契机。本文对混沌神经网络做了深入的研究,从网络的拓扑结构和网络的学习和工作规则这两个
随着Internet网络信息的激增,使得人们在面对海量的信息时感到束手无策,难以选择,而传统通过人工手段对庞大的原始文档集进行组织和整理的方法,不仅费时、费力,效果也不理想
信息时代中,信息是发展的第一要素,网络的发展让信息的共享成为可能。而信息共享的实质是数据的共享。数据是信息资源最直接的表现形式。这样,为了实现资源的真正共享,在每一
随着互联网的飞速发展,人们面临着日益严峻的网络安全问题。入侵检测技术是继防火墙技术之后的重要的网络安全保障技术。Snort是一个强大的轻量级的网络入侵检测系统,它具有
流程特别是卓越的流程已经成为企业的一种核心竞争能力,BPM(Business Process Management,业务流程管理)系统成为企业整合资源取得更高绩效和实现价值创造的关键,加上企业日
随着科技的发展,互联网已经占领了人们的生活,网络信息安全越来越受到人们的重视。在网络信息传播中,图像传播的安全尤为重要。由于端到端加密模式的方便,快捷以及高安全性,
SOA (Service Oriented Architecture,面向服务的架构)作为下一代的软件开发理念,对现代软件开发模式产生了深远的影响。SOA通过服务的发布、服务的发现以及服务的调用等机制
近些年来,随着社会的发展,信息无障碍的研究与发展越来越受到重视,其中一个很重要的技术就是手语识别和手语合成技术,这种技术的发展为聋人和正常人之间的自然交流提供了一个
ARM架构的嵌入式处理器和嵌入式Linux操作系统的完美结合,引发了远程监控系统新的技术革命:由于其优异的性能和高的性价比,被广泛地应用到各种电子产品的设计当中;并且越来越
目标跟踪技术的研究是计算机视觉、图像处理和模式识别领域里非常活跃的课题,目前正广泛地应用于军用和民用等各个领域。本文研究的主要内容为如何将目标跟踪技术应用到实验