原文传递
CTCS-3级列控系统测试案例优化生成方法研究
| 论文题名： | CTCS-3级列控系统测试案例优化生成方法研究 |
| 关键词： | CTCS-3级;列控系统;测试案例;UML建模语言;状态图自动生成;测试覆盖准则 |
| 摘要： | 为满足客运专线和高速铁路快速发展的需求，我国开展了对CTCS-3级列控系统的技术攻关，以实现CTCS-3级列控系统关键技术的国产化和系统集成创新，并保证在运营组织上满足动车组跨线运行的要求、在系统装备上满足不同厂商设备互联互通的要求。在这样的背景下，如何对CTCS-3级列控系统进行全面的功能测试是一个急需解决的问题。而测试案例作为列控系统测试的基础，对其生成方法进行研究就变得非常重要。 论文根据UML建模语言和CTCS-3列控系统测试案例的特点，提出了测试案例优化生成方法。首先，在分析UML建模机制的基础上提出将UML建模技术应用于CTCS-3级列控系统测试案例的生成中，在不改变现有的测试案例生成思路的基础上引入UML建模技术来优化测试案例的生成。测试案例的生成分为两步，第一步是从《CTCS-3级列控系统系统需求规范(SRS)》中提取出功能特征，第二步是针对每一个功能特征，结合对列车运行流程的建模来生成测试案例。其次，论文提出基于UML状态图自动生成测试案例的方法，其主要思路是在满足测试覆盖标准的前提下，将对状态图的操作转化为图论中Hamilton圈、Euler回路及顶点的度的求解，采用相应的算法对状态图进行遍历，从而生成测试案例。最后，对基于状态图生成测试案例的方法进行了具体实现，其过程是通过解析UML状态图的MDL文件获取状态图的相关信息，并将这些信息存储在图的邻接表结构中，然后通过对图进行遍历生成测试案例，并使生成的测试案例满足迁移对覆盖准则。 论文提出的将UML建模技术应用于CTCS-3级测试案例的生成，并基于状态图自动生成测试案例的方法，减少了人工参与，提高了测试案例生成的智能程度，并为实现自动测试奠定了基础。 |
| 作者： | 王倩倩 |
| 专业： | 交通信息工程及控制 |
| 导师： | 张勇 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2010 |
| 正文语种： | 中文 |
检索历史
应用推荐
