毕业设计：文献参考（13）

毕业设计：文献参考（13）

一、基本信息

• 标题：时序扩展的UML状态图的测试用例生成研究
• 来源：西南大学
• 作者：李小亮

二、研究背景

     在软件开发中，软件测试是保证软件质量的重要手段，软件测试活动与软件开发过程是同步进行的，贯穿于软件的整个生命周期。软件测试的结果是衡量软件的质量的重要指标，测试的目标是发现软件存在的缺陷和错误。软件测试究竟是什么，一直以来都有很多不同的观点，即使现阶段依然有人对软件测试及其作用存在错误的认识，这也是为什么软件测试没有得到相应地重视的原因。

    软件测试标准定义的给出可以追溯到上个世纪八十年代，IEEE组织定义软件测试为:使用人工或自动化手段对软件系统进行测试或运行的过程，其主要目的是检验系统能否满足规定的需求或判断预期结果与实际结果之间的差别Cpl。以上定义主要包含了两方面的内容，首先软件测试是验证被测软件是否满足预期需求为目的的，其次软件测试是挖掘被测试软件是否存在错误和缺陷的。这就是说如果软件不能通过测试，那么软件开发是不成功的。由此可知，对所开发的软件进行测试是判断该软件能否满足开发需求的依据。

    软件技术正在经历一个飞速发展的阶段，如今软件的规模不断增加，软件朝着更加复杂的方向发展，这必然导致软件系统中存在更多的缺陷。尽管人们在不断地改进和完善开发语言、开发模型和软件工程方法，但是，软件测试依然是保证软件质量，发现软件中缺陷的有效方法。为了从整体上减少软件生命周期中测试成本和提高工作效率，提高软件测试水平尤为重要。

三、具体内容

 论文结构如下:

第一章绪论，论述本文的研究背景及选题意义，总结研究现状，指出论文的主要工作，介绍全文结构安排。

第二章相关理论基础，介绍软件测试的基础理论、基于模型的测试用例生成、UML及其建模技术、UML状态图相关理论和优化测试序列的相关理论。

    第三章充分性准则，介绍软件测试的充分性问题，提出本文中应用的四条充分性准则:状态覆盖准则、迁移覆盖准则、状态转移对覆盖准则和完全判定覆盖准则。

    第四章UML状态图的时序扩展，提出UML状态图的时序扩展方案，给出实例进行说明。

    第五章生成测试用例算法研究，介绍UML状态图生成测试用例的基本算法，提出时序扩展的UML状态图生成测试用例的算法，并对生成的测试用例进行优化处理。

    第六章系统设计，介绍系统的功能、逻辑结构、总体框架以及各个模块的设计，并通过实例对系统功能进行验证。

 

四、参考文献

 [1]李小亮. 时序扩展的UML状态图的测试用例生成研究[D].西南大学,2014.