论文部分内容阅读
随着信息技术的发展,软件规模不断扩大,如何保证和提高软件质量成为软件工程最为关心的问题之一。软件测试作为保证软件质量的关键技术之一,能够有效地发现软件中的故障。但是,随着软件开发方法和软件工程的发展,特别是面向对象技术的广泛应用,面向对象技术自身的各种特性给软件测试带来了新的挑战。传统的软件测试方法和技术是基于结构化思想的,较少考虑面向对象技术的特性,很多情况下它们不能适应面向对象软件的测试。为了对面向对象软件进行有效的测试,就迫切需要研究面向对象软件的测试方法与技术。 统一建模语言(Unified Modeling Language,UML)是一种描述能力强大并且涵义直观的标准建模语言。统一建模语言是一种图形化的建模语言,用于明确规定和构建软件系统开发过程中形成的产品,它提供多种图元从不同的角度和应用层次刻画系统特性以及复杂的运行环境。使用统一建模语言UML建立的模型图能够很好的描述面向对象软件各个方面的特性,从而为测试工作提供了不少方便,而传统的软件测试技术无法有效的对其进行测试。因此,基于被测试软件系统的UML模型图的测试及其自动化方法和技术的研究也就成为当前测试领域研究的热点之一。本文对基于UML模型图的测试用例生成方法进行了相应的研究和探讨。 测试充分性准则是整个软件测试的核心,它直接决定了测试用例的生成,而测试用例生成是软件测试的关键。本文研究分析了基于UML状态图的面向对象类级测试用例生成技术,所做的研究工作有:将UML状态图转换成相应的有限状态机,根据有限状态机的规格说明信息,按照不同的测试充分性标准,分别提出算法1,通过遍历相应的测试树,生成满足状态覆盖标准的测试用例集,和算法2,生成满足迁移覆盖标准的测试用例集,并结合一个具体的状态图实例说明了该方法的使用过程。论文最后还通过一个基于UML的研究生管理系统的框架设计,对UML的其他模型图进行相应的测试策略分析。与传统的软件测试方法相比较,基于UML模型图的软件测试具有比较明显的优势,体现在:1、通用性,测试完全基于UML的模型图,减少了模型建立过程;2、形式化,UML有严格的定义,便于实现测试信息的提取和自动化;3、可重用性,实现测试分析和设计阶段制品的重用。