基于UML-XML的车载设备测试用例生成方法研究和实现
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 综述 | 第11-17页 |
| ·研究背景 | 第11页 |
| ·研究目的和意义 | 第11-12页 |
| ·国内外研究现状 | 第12-15页 |
| ·列车运行控制系统测试 | 第12-13页 |
| ·基于模型的软件测试方法 | 第13-15页 |
| ·论文主要内容和组织结构 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 2 UML和XML | 第17-24页 |
| ·UML 2.0 | 第17-19页 |
| ·UML视图 | 第17页 |
| ·用例图 | 第17-18页 |
| ·活动图 | 第18-19页 |
| ·UML模型图可测试性分析 | 第19-20页 |
| ·测试用例描述方法 | 第20-23页 |
| ·基于XML的测试用例描述 | 第20-21页 |
| ·基于XMI的UML到XML的转换 | 第21-22页 |
| ·XML基本概念 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 3 基于UML-XML的测试用例生成方法 | 第24-36页 |
| ·测试用例生成方法框架 | 第24-25页 |
| ·可测试用例模型及其测试用例模型 | 第25-31页 |
| ·可测试的UML建模方法 | 第25-27页 |
| ·用例模型形式化定义 | 第27-29页 |
| ·测试用例模型形式化定义 | 第29-30页 |
| ·模型的映射关系 | 第30-31页 |
| ·测试用例模型生成算法 | 第31-35页 |
| ·测试覆盖准则 | 第31页 |
| ·测试对象生成算法 | 第31-32页 |
| ·测试场景生成算法 | 第32-33页 |
| ·测试用例生成算法 | 第33-35页 |
| ·本章小结 | 第35-36页 |
| 4 基于XMI的UML-XML转换规则 | 第36-49页 |
| ·测试用例的XML模式模型 | 第36-39页 |
| ·UML设计XML模式 | 第36页 |
| ·测试用例的XML模式模型 | 第36-39页 |
| ·UML-XML转换规则 | 第39-48页 |
| ·XMI文档分析 | 第39-45页 |
| ·模型转换规则 | 第45-48页 |
| ·本章小结 | 第48-49页 |
| 5 车载设备测试用例生成实现 | 第49-64页 |
| ·车载设备需求建模 | 第49-53页 |
| ·车载设备的功能 | 第49-51页 |
| ·车载设备的功能模型 | 第51-53页 |
| ·测试用例生成的软件实现 | 第53-60页 |
| ·测试用例生成工具 | 第53-55页 |
| ·用例模型分析 | 第55-56页 |
| ·测试用例生成 | 第56-59页 |
| ·测试用例配置 | 第59-60页 |
| ·测试用例生成结果分析 | 第60-63页 |
| ·本章小结 | 第63-64页 |
| 6 总结与展望 | 第64-66页 |
| ·论文工作总结 | 第64页 |
| ·研究展望 | 第64-66页 |
| 参考文献 | 第66-68页 |
| 附录A 缩写词 | 第68-70页 |
| 图索引 | 第70-72页 |
| 表索引 | 第72-73页 |
| 作者简历 | 第73-75页 |
| 学位论文数据集 | 第75页 |
