基于UML活动图的并发软件测试方法研究
| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-9页 |
| 1 绪论 | 第9-13页 |
| ·并发测试的背景 | 第9-10页 |
| ·并发软件测试的研究现状和存在的问题 | 第10-11页 |
| ·本文的研究目的和主要工作内容 | 第11-12页 |
| ·本文的组织安排 | 第12-13页 |
| 2 软件测试基本理论 | 第13-26页 |
| ·软件测试基础 | 第13-18页 |
| ·软件测试思想 | 第13-14页 |
| ·软件测试的局限性 | 第14-15页 |
| ·软件测试主要研究方向 | 第15-16页 |
| ·软件测试阶段性 | 第16页 |
| ·软件测试模型 | 第16-18页 |
| ·软件测试方法分类 | 第18-20页 |
| ·基于模型的测试 | 第20-22页 |
| ·模型的重要性 | 第20-22页 |
| ·基于模型的测试框架 | 第22页 |
| ·基于线索的测试 | 第22-24页 |
| ·测试线索 | 第22-24页 |
| ·基于线索的软件测试过程 | 第24页 |
| ·测试自动化概述 | 第24-25页 |
| ·小结 | 第25-26页 |
| 3 面向对象软件测试 | 第26-33页 |
| ·面向对象软件测试 | 第26-29页 |
| ·面向对象技术对软件测试的影响 | 第26-28页 |
| ·面向对象软件测试的层次划分 | 第28-29页 |
| ·UML 和统一软件开发过程 | 第29页 |
| ·基于UML 的软件测试研究 | 第29-32页 |
| ·UML 图对应的测试层次 | 第30页 |
| ·基于UML 的软件测试过程框架 | 第30页 |
| ·基于UML 的软件测试研究现状 | 第30-32页 |
| ·小结 | 第32-33页 |
| 4 基于活动图的并发软件测试方法 | 第33-48页 |
| ·并发软件测试策略 | 第33-35页 |
| ·计算机的并发性 | 第33页 |
| ·现代并发控制原理 | 第33-34页 |
| ·并发软件测试策略 | 第34-35页 |
| ·活动图与并发控制流图 | 第35-36页 |
| ·进程组合爆炸问题 | 第36-37页 |
| ·并发软件测试线索生成算法 | 第37-40页 |
| ·测试线索符号表示 | 第38页 |
| ·测试线索生成算法 | 第38-40页 |
| ·并发软件测试方法 | 第40页 |
| ·算法分析 | 第40-41页 |
| ·方法比较 | 第41-42页 |
| ·测试线索的自动生成 | 第42-47页 |
| ·ArgoUML 建模工具 | 第42-43页 |
| ·模型元数据交换技术XMI | 第43-46页 |
| ·线索自动生成工具设计 | 第46-47页 |
| ·小结 | 第47-48页 |
| 5 应用实例 | 第48-53页 |
| ·数据采集软件 | 第48-49页 |
| ·测试过程 | 第49-51页 |
| ·建立并发控制流图 | 第49页 |
| ·生成测试线索 | 第49-50页 |
| ·测试执行过程 | 第50-51页 |
| ·测试结果 | 第51-52页 |
| ·小结 | 第52-53页 |
| 6 总结和进一步工作 | 第53-55页 |
| ·总结 | 第53-54页 |
| ·进一步工作 | 第54-55页 |
| 致谢 | 第55-56页 |
| 参考文献 | 第56-58页 |
| 附录 | 第58页 |
| 作者在硕士期间发表论文 | 第58页 |
