论文部分内容阅读
为满足客运专线和高速铁路快速发展的需求,我国开展了对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级测试案例的生成,并基于状态图自动生成测试案例的方法,减少了人工参与,提高了测试案例生成的智能程度,并为实现自动测试奠定了基础。