分布式组件软件测试用例生成方法研究

摘要

计算机网络技术和面向对象技术的发展为软件开发和应用带来了许多深刻的变革。分布式组件逐步成为新一代软件应用的重要模式，随着当前各种相关规范的逐步形成和完善，相应的开发环境和支持工具不断出现，分布式组件系统必将迎来前所未有的应用前景。如何保证分布式组件系统的质量成为一项亟待解决的任务摆在软件测试工程师的面前。 本文讨论了分布式组件系统的特点，分析了组件软件在集成测试时可能出现的错误类型，在此基础之上，提出组件软件的测试模型。为了更加精确描述组件间交互行为，我们结合UML协作图与状态图为组件软件测试建模。 测试充分性准则是整个软件测试的核心，它直接决定测试用例的生成。本文给出基于UML协作图和状态图的测试准则，基于这些准则，介绍了如何从UML协作图和状态图中产生测试用例。对于UML协作图，本文采用直接从协作图中产生测试用例的方法，分别对协作图的条件、并发、循环条件进行讨论，最后采用深度优先算法遍历所有测试场景，每个测试场景对应一个测试用例；对于UML状态图，本文首先将其转换成测试流图，然后从测试流图中产生测试用例。 最后，实现了基于UML协作图/状态图的测试用例生成方法的工具UMLTCG系统。这个系统，从读入UML协作图/状态图的规格说明XML文件，到测试用例的产生及测试用例管理都实现了自动化。

目录

文摘

英文文摘

声明

第一章引言

1.1论文选题及研究意义

1.2国内外研究现状

1.3论文的主要研究内容

1.4本章小结

第二章分布式组件软件建模

2.1分布式组件系统

2.1.1 分布式计算

2.1.2基于组件软件开发

2.1.3 分布式组件系统一般的体系结构

2.2模型分析

2.2.1 错误分析

2.2.2 组件软件的测试模型

2.2.3 基于UML协作图的测试模型

2.2.4 基于UML状态图的测试模型

2.3测试模型的基本要素提取

2.3.1 接口提取

2.3.2 事件提取

2.4本章小结

第三章测试用例自动生成方法

3.1基于UML协作图/状态图的测试准则

3.2 UML协作图/状态图规格说明信息的获取

3.3基于UML协作图的测试用例生成方法

3.3.1 UML协作图场景

3.3.2 测试场景生成

3.3.3 测试场景生成算法

3.4基于UML状态图的测试用例生成方法

3.4.1 UML状态图状态成TFG

3.4.2测试序列生成

3.4.3 测试系列生成算法

3.5本章小结

第四章系统实现

4.1系统的总体框架

4.2用例实现

4.2.1 PXML解析器模块的设计

4.2.2 转换器模块的设计

4.2.3 TCG生成器模块的设计

4.2.4 测试用例管理模块的设计

4.3 UMLTCG系统实现的界面

4.4本章小结

第五章结论与展望

5.1 结论

5.2展望

参考文献

攻读硕士学位期间公开发表的论文

致 谢