UML协作图到自动机观测模型转化方法的研究

摘要	第1-4页
Abstract	第4-8页
1 绪论	第8-12页
·立题背景	第8页
·国内外研究现状	第8-10页
·本文的目标和主要研究内容	第10-12页
2 有限状态自动机观测模型	第12-24页
·有限状态自动机	第12-14页
·从有限状态自动机构造正则表达式	第14-16页
·软件系统行为分析	第16-20页
·构件化软件系统观测模型	第20-22页
·本章小结	第22-24页
3 UML协作图信息提取	第24-32页
·研究假定	第24页
·UML协作图模型分析	第24-27页
·UML协作图分析	第24-25页
·UML协作图形式化定义	第25-27页
·协作图信息提取	第27-31页
·本章小结	第31-32页
4 协作图到自动机观测模型的转化	第32-40页
·协作图数据库文件到DFA的映射规范	第32-33页
·自动机观测模型的生成	第33-37页
·观测模型对构件测试要素的提取	第37-38页
·测试原理	第38-39页
·本章小结	第39-40页
5 实例描述	第40-48页
·需求描述	第40-41页
·提取数据库文件	第41-43页
·需求转换	第43-44页
·自动机观测模型的建立	第44-46页
·测试实施	第46-47页
·本章小结	第47-48页
6 总结与展望	第48-50页
·课题研究总结	第48页
·研究展望	第48-50页
致谢	第50-52页
参考文献	第52-56页
在校期间发表论文	第56页