基于UML模型的测试场景生成研究与工具实现

中文摘要	第1-5页
ABSTRACT	第5-7页
第一章 引言	第7-13页
·课题研究的背景	第7-8页
·国内外研究现状	第8-10页
·课题研究意义	第10-11页
·本文研究贡献	第11-13页
第二章 UML概述	第13-18页
·UML的发展概况	第13-14页
·UML主要内容	第14-16页
·UML与软件过程	第16-18页
第三章 基于UML动态图的测试模型	第18-26页
·基于UML顺序图的测试模型	第18-20页
·基于UML活动图的测试模型	第20-21页
·基于UML协作图的测试模型	第21-26页
第四章 UML动态模型的形式化描述	第26-30页
·UML顺序图形式化	第26页
·UML活动图形式化	第26-28页
·UML协作图形式化	第28-30页
第五章 基于UML动态模型的测试场景生成方法	第30-35页
·UML顺序图测试场景提取	第31-32页
·UML活动图测试场景提取	第32-33页
·UML协作图测试场景提取	第33-35页
第六章 系统环境与实现	第35-40页
·系统环境	第35-36页
·工具实现	第36-40页
第七章 结论和进一步的工作	第40-42页
·结论	第40-41页
·下一步的研究工作	第41-42页
参考文献	第42-44页
致谢	第44页