论文部分内容阅读
随着计算机技术、通信技术和控制技术的飞跃发展,基于通信的列车控制(CBTC)系统应运而生,CBTC系统提高了列车运行效率,且安全性更高,可维护性更好,因此成为国际上研究与建设的热点。CBTC系统是一个安全苛求系统,要求具备很高的安全性与可靠性,必须在应用前对其进行完备的测试。传统的列车运行控制系统的测试方法不能满足对CBTC系统高效和全面的测试要求,通过相应的计算机仿真技术和先进的测试技术实现系统的自动测试,能够大大提高测试的效率,降低测试的成本。而测试案例的自动生成是自动测试非常重要的一环,其可以节省测试时间,拓展测试人员的能力,在许多测试领域发挥着不可替代的作用。另外,对导致测试错误的影响因素进行自动定位也可以大大提高测试的自动程度。本文主要是对CBTC系统进行分析,建立基于TTCN-3的自动测试框架和模型,并采用启发式算法实现了测试案例自动生成以及对导致测试错误的影响因素进行自动定位。本文完成了以下工作:(1)建立了一个CBTC仿真测试系统,并在CBTC原有设备中添加了原理显示和仿真管理单元。原理显示和仿真管理单元的引入使得CBTC系统功能测试方式更加灵活,同时也使得测试过程和结果可视化程度更高。对CBTC系统引入了两种测试模式,即受控模式和自主模式,通过对仿真管理单元的操作实现。(2)使用组合测试方法,对CBTC系统建立组合测试模型,并提出了一种基于解空间树的启发式算法,用以自动生成覆盖两因素或多因素组合的测试案例,同时根据测试的结果,对导致测试错误的影响因素进行定位。最后将自动生成覆盖两因素组合测试案例和对导致测试错误的影响因素进行定位的启发式算法应用于CBTC ATP单元的功能测试。(3)构造了基于TTCN-3测试环境的自动测试框架,采用TTCN-3测试环境TTworkbench建立了CBTC ATP单元的测试套。用TTCN-3 GFT方式对测试过程以及测试案例的生成和执行进行了定义。通过对CBTC ATP单元进行仿真测试,证明使用该种自动测试方法能够高效的生成测试案例,且能够实现对导致测试错误的影响因素快速定位,而且可行性高。