UML模型测试的研究综述摘要：目前，随着面向对象的技术的成熟和广泛使用，关于UML模型的测试方法逐渐成为研究的重点，而且取得了很多的研究成果。该文首先对软件测试的概念和分类进行了介绍，其次简单介绍了UML模型的自动化测框架、测试用例的生成方法、覆盖的规则和测试用例的优化方法。关键词：软件测试；UML模型；测试用例生成；测试用例集优化中图分类号：TP311文献标识码：A文章编号：1009-3044(2014)03-0529-03随着软件规模的逐渐扩大和软件繁琐度的增加，软件测试的质量已经成为热点的问题，在当前软件开发的过程中，软件测试占到软件总开发时间的50%,它贯穿于从需求分析开始的整个软件生命周期屮。软件测试技术处在人工向自动化不断发展成熟的过程中。UML定义良好、易于表达和功能强大的特点，这些特点使它不仅可以对面向对象的软件进行分析与设计的建模，还能够成为测试的根据，被应用在从需求分析开始的软件开发的各个过程中。目前，UML技术被广泛应用在描述系统的静态行为和动态结构屮，基于UML模型测试的研究成为软件测试研究屮的一个重要方向。1软件测试的简述1.1软件测试的概念IEEE将软件测试定义为:使用人工或自动手段來运行或测定某个系统的过程，其FI的在于检验一个软件是否满足规定的需求或明确预期结果与实际结果之间的差别。其实软件测试通俗的解释是依据软件开发过程每个阶段中的规格说明和程序里的结构，设计生成测试用例，然后通过这些用例来运行程序，发现其屮的错误。1.2软件测试的分类关于软件测试的方法和技术众多。依照软件是否能被执行来划分，被划分成静态测试和动态测试；若依照测试的执行体來划分，能够分成白盒测试和黑盒测试，前者针对系统内部结构进行测试，后者针对系统的具体功能进行测试。但是软件测试的分类是互相包含和关联的，白盒测试和黑盒测试可以同时出现在动态测试中。白盒测试主要测试软件的程序内部结构，根据它来生成测试用例。在单元测试中通常使用白盒测试，口盒测试中最常用的方法有逻辑覆盖（语点覆盖、边覆盖、条件覆盖、句覆盖、判定覆盖）和路径测试等。黑盒测试主要测试软件的外部结构，通常是软件的界面和功能，来测试系统的每个功能是否可以正常运行，所以黑盒测试也被称为功能测试。黑盒测试的分类也广泛，通常有等价类划分法、边界值分析法、判定表驱动法、因果图法、止交试验设计法、功能图法和错误推测法等。性能测试主要是关于软件性能的测试，包含负载测试、强度测试、数据库容量测试和基准测试等。UI测试是针对用户界面的风格、文字、图片、背景的测试。功能测试主要是关于软件测试的每个功能模块和逻辑的正确与否。2基于UML模型的测试2.1UML模型测试的自动化框架统一建模语言UML（UnifiedModelingLanguage）是在面向对象技术基础上建立的一个标准、统一的建模语言，它可以支持由需求分析开始的软件开发的整个过程。同时UML模型定义好、功能大、适用广的特点，给基于规格说明的软件测试提供了很好的条件。当前很多著名的国内外研究者对基于UML模型的测试方法展开深入的研究和激烈的讨论。因为功能性测试将关注点更多放在系统模块之间的交互和交互结果等动态信息上，所以UML模型测试的研究法通常是利用UML模型的动态模型（状态图、顺序图、协作图、活动图等）來进行讨论研究如何生成符合某些覆盖准则的测试方法。如图1所示，基于UML模型的软件测试，首先要通过使用UML模型来描述被测软件，从而得到测试的模型，再从得到的测试模型中根据某些测试算法，得到有效的测试信息，然后根据这些测试结果以及另外一些约束来得到测试的用例和数据，从而得到测试的脚本，最终根据已冇的测试工具进行自动化的测试。2.2测试用例生成方法随着测试用例生成技术的发展，软件的测试效率有了很大的改善。它的发展，使得测试工作人员不再通过直觉和经验产生测试用例，缩减了很多的时间、物力、人力，同时也提高了软件测试的效率。因而，软件测试用例生成技术的研究和发展对软件测试自动化的发展的意义是十分重大的。现在测试用例生成的方法主要有随机法、区间算术法、符号执行法、Korel法。1）随机法随机法是在一个输入的变量空间M...