基于UML协作图的测试序列生成方法研究

摘要	第1-5页
ABSTRACT	第5-7页
目录	第7-9页
第1章 绪论	第9-13页
·研究背景	第9-10页
·研究意义	第10页
·国内外研究现状及主要问题	第10-12页
·国内外研究现状	第10-11页
·主要问题	第11-12页
·本文的组织结构	第12-13页
第2章 规约说明语言UML	第13-17页
·统一建模语言UML简介	第13-14页
·UML协作图	第14-16页
·协作图中的消息	第14-15页
·协作图的定义	第15-16页
·本章小结	第16-17页
第3章 从UML协作图到有限状态机的转换	第17-22页
·有限状态机的形式定义	第17-19页
·从UML协作图生成有限状态机	第19-21页
·本章小节	第21-22页
第4章 基于FSM的测试序列自动生成	第22-29页
·使用Wp方法生成测试序列	第22-24页
·优化Wp方法生成较短测试序列	第24-28页
·中国邮递员问题及算法	第25-27页
·用CPP方法优化Wp方法生成较短测试序列	第27-28页
·本章小节	第28-29页
第5章 总结和展望	第29-31页
·总结	第29页
·展望	第29-31页
参考文献	第31-34页
附件A 优化Wp方法算法	第34-49页
攻读学位期间取得的研究成果	第49-50页
致谢	第50-52页