基于UML状态图的测试生成研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-14页 |
| ·研究背景 | 第10-11页 |
| ·本课题研究现状 | 第11-12页 |
| ·基于UML状态图的测试生成研究现状 | 第11页 |
| ·研究中的不足 | 第11-12页 |
| ·本文的主要工作 | 第12页 |
| ·组织结构安排 | 第12-14页 |
| 第二章 基础理论 | 第14-23页 |
| ·UML基础 | 第14-18页 |
| ·UML定义和特点 | 第14-15页 |
| ·UML的语义和表示法 | 第15-16页 |
| ·UML状态图的基本语义 | 第16-18页 |
| ·软件测试基础 | 第18-22页 |
| ·软件测试方法和过程 | 第18-21页 |
| ·基于UML模型的软件测试技术 | 第21-22页 |
| ·小结 | 第22-23页 |
| 第三章 UML层次状态图的语义研究 | 第23-30页 |
| ·UML层次状态图的语义 | 第23-26页 |
| ·层次状态结构 | 第23-26页 |
| ·迁移结构 | 第26页 |
| ·展平状态图的语义 | 第26-29页 |
| ·格局的定义 | 第26-27页 |
| ·迁移冲突与迁移优先级 | 第27-28页 |
| ·迁移连接和划分 | 第28页 |
| ·展平后的状态图结构 | 第28-29页 |
| ·小结 | 第29-30页 |
| 第四章 UML状态图的测试生成研究 | 第30-43页 |
| ·展平UML状态图 | 第30-38页 |
| ·格局状态集推导算法 | 第31-34页 |
| ·迁移生成算法 | 第34-37页 |
| ·生成平坦状态图 | 第37-38页 |
| ·展平状态图的测试覆盖准则研究 | 第38-40页 |
| ·展平UML状态图的测试序列生成 | 第40-41页 |
| ·基于流图的测试生成 | 第40-41页 |
| ·基于FSM的测试生成 | 第41页 |
| ·小结 | 第41-43页 |
| 第五章 实例分析 | 第43-53页 |
| ·ThrustLimitation实例的语义分析 | 第43-44页 |
| ·生成状态格局 | 第44-45页 |
| ·迁移划分 | 第45-48页 |
| ·迁移条件计算 | 第48-49页 |
| ·增加完成迁移和计算迁移结果 | 第49-50页 |
| ·平坦状态图生成 | 第50-51页 |
| ·基于展平状态图的测试序列生成 | 第51-53页 |
| 第六章 结束语 | 第53-55页 |
| ·本文的主要贡献 | 第53页 |
| ·未来的工作 | 第53-55页 |
| 参考文献 | 第55-60页 |
| 硕士期间参与的项目 | 第60-61页 |
| 致谢 | 第61页 |
