学位论文 > 优秀研究生学位论文题录展示
基于U2TP的CTCS-3级车载设备测试用例的生成方法研究
作 者: 邓昌琪
导 师: 李开成
学 校: 北京交通大学
专 业: 交通信息工程及控制
关键词: CTCS-3 车载设备 模型驱动测试 测试用例 UML U2TP
分类号: TP273
类 型: 硕士论文
年 份: 2010年
下 载: 19次
引 用: 0次
阅 读: 论文下载
内容摘要
列车运行控制系统是确保列车运行安全、提高运输效率的铁路基础设备。车载设备是列车运行控制系统中的重要组成部分,具有很高的安全要求。随着我国高速铁路的大规模建设,作为确保高速铁路运行安全的CTCS-3级列车运行控制系统已投入运营。根据我国铁路运输特点,CTCS-3级列控系统车载设备必须满足跨线运行,确保互联互通,因此对CTCS-3级列车运行控制系统车载设备的功能测试具有重要意义。测试用例是开展设备功能测试的前提。论文在模型驱动架构的基础上,通过使用UML测试扩展语言U2TP对测试过程进行建模,研究车载设备功能测试的测试用例生成方法。首先在铁道部发布的车载设备相关技术文档的基础上,提出按照场景划分的方法建立UML模型描述车载设备功能需求。通过使用用例图、活动图和状态图将功能需求进行细化建立了详细的功能需求描述模型;在测试用例中提出了测试逻辑概念,给出了基于需求模型的活动图生成测试逻辑的方法。该方法通过将活动图按照被测系统功能划分为活动图片段,从活动图片段中提取测试逻辑片段,根据活动图的结构建立测试逻辑片段组合与优化的规则,进而生成测试逻辑。最后对车载设备测试用例所需要描述的信息进行总结,将测试用例所描述的信息划分为测试环境、测试逻辑、测试数据以及测试结果分析四个部分。基于U2TP讨论车载设备测试外部环境构成,测试逻辑的具体行为与描述方法以及测试数据具体内容与结构。最终得到使用测试平台模型、测试逻辑模型与测试数据结构模型组合描述的测试用例模型。
|
全文目录
致谢 5-6 中文摘要 6-7 ABSTRACT 7-11 1 引言 11-15 1.1 课题研究背景及意义 11-12 1.1.1 研究背景 11 1.1.2 研究意义 11-12 1.2 国内外研究现状 12-13 1.3 论文主要工作 13-15 2 模型驱动架构理论及用例生成方法 15-21 2.1 模型驱动架构简介 15-16 2.2 基于模型驱动的测试方法 16-18 2.2.1 模型驱动测试 16-17 2.2.2 模型驱动测试方法 17-18 2.3 车载设备测试与测试用例生成 18-21 2.3.1 车载设备测试 18-19 2.3.2 测试用例生成方法 19-21 3 车载设备需求模型建立 21-35 3.1 车载设备简介 21-25 3.1.1 车载设备结构 21-22 3.1.2 车载设备主要功能 22-24 3.1.3 车载设备工作模式 24-25 3.2 车载设备需求模型建立方法 25-29 3.2.1 车载设备主要运营场景介绍 26-28 3.2.2 需求模型建立方法 28-29 3.3 车载设备运行流程建模 29-34 3.3.1 用例图建立 29-31 3.3.2 活动图建立 31-33 3.3.3 状态图建立 33-34 3.4 小结 34-35 4 基于活动图的测试逻辑生成 35-43 4.1 测试逻辑生成方法 35-38 4.1.1 基本思想 35-36 4.1.2 活动图分割方法 36 4.1.3 逻辑片段获取 36-37 4.1.4 逻辑片段组合与测试逻辑获取 37-38 4.2 测试逻辑生成示例 38-42 4.2.1 按照功能划分活动图 38-39 4.2.2 获取逻辑片段示例 39-40 4.2.3 测试逻辑获取 40-42 4.3 小结 42-43 5 基于U2TP的测试用例生成 43-58 5.1 U2TP下的测试概念介绍 43-46 5.1.1 测试架构 43-44 5.1.2 测试行为 44-45 5.1.3 测试数据 45 5.1.4 时间概念 45-46 5.2 测试环境模型建立 46-49 5.2.1 车载设备测试环境描述 46-47 5.2.2 测试组件模型建立 47-49 5.3 测试用例生成 49-57 5.3.1 测试环境描述 50-51 5.3.2 测试逻辑描述 51-52 5.3.3 测试数据描述 52-54 5.3.4 测试结果分析 54-57 5.4 小结 57-58 6 总结与展望 58-59 参考文献 59-62 图索引 62-63 表索引 63-65 学位论文数据集 65
|
相似论文
- 中小企业进销存管理系统的研究与设计,TP311.52
- UML模型到XMI的映射方法研究,TP311.5
- 基于模型的Web测试技术研究与应用,TP311.53
- 基于形式化UML测试序列生成方法研究,TP311.53
- 软件可信性增长测试用例生成方法的研究,TP311.53
- 面向Seam框架的PIM到PSM转换研究,TP311.52
- 基于UML的体育场馆管理系统的分析、设计与实现,TP311.52
- 排课管理系统的设计与实现,TP311.52
- 振道科技人力资源管理系统,TP311.52
- 基于PDM的金融机具行业项目管理系统的研究与开发,TP311.52
- 永康市计生管理系统的设计与实现,TP311.52
- 教育局OA系统设计与实现,TP311.52
- 高校教务管理系统与实现,TP311.52
- 自动生成SQL测试用例集的研究与实现,TP311.52
- 一个基于UML的提案管理系统的设计与实现,TP311.52
- 工程项目管理系统的设计与实现方法研究,TP311.52
- 面向家庭的远程健康监护系统的设计与研究,TP311.52
- 交通运输服务的GPS机动车监控系统的设计与实现,TN967.1
- 宜春学院学生就业管理系统的设计与实现,TP311.52
- 中小型物流企业配送管理系统的设计与实现,TP311.52
- 高校人力资源信息管理系统的设计和实现,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 自动化技术及设备 > 自动化系统 > 自动控制、自动控制系统
© 2012 www.xueweilunwen.com
|