| 第一章 绪论 | 第1-19页 |
| ·立题背景 | 第5-9页 |
| ·面向对象测试技术的发展现状 | 第9-13页 |
| ·标准建模语言UML | 第13-14页 |
| ·存在的问题 | 第14-16页 |
| ·本文的主要工作与目标 | 第16-17页 |
| ·论文结构 | 第17-19页 |
| 第二章 基于UML的递增式开发模型 | 第19-37页 |
| ·UML简介 | 第19-26页 |
| ·基于UML的开发模型 | 第26-34页 |
| ·动作语言 | 第34-36页 |
| ·小结 | 第36-37页 |
| 第三章 UML Statecharts的操作语义 | 第37-57页 |
| ·UML statecharts简介 | 第38-40页 |
| ·形式化语法 | 第40-48页 |
| ·操作语义 | 第48-56页 |
| ·小结 | 第56-57页 |
| 第四章 UML Statecharts测试用例的生成 | 第57-80页 |
| ·状态机测试 | 第57-62页 |
| ·UML Statecharts测试用例的生成 | 第62-77页 |
| ·继承 | 第77-79页 |
| ·小结 | 第79-80页 |
| 第五章 系统原型实现 | 第80-85页 |
| ·UML交互式支持环境 | 第80-81页 |
| ·测试模拟系统UMLTGen | 第81-84页 |
| ·小结 | 第84-85页 |
| 第六章 结束语 | 第85-88页 |
| ·本文主要贡献 | 第85-86页 |
| ·下一步研究工作 | 第86-88页 |
| 攻读博士学位期间发表的论文 | 第88-89页 |
| 致谢 | 第89-91页 |
| 参考文献 | 第91-100页 |
| 附录A 算法实现 | 第100-102页 |
| 附录B 测试用例实例 | 第102-103页 |