CBTC列车自动防护系统测试案例的优化研究

目录

声明

1 绪论

1.1 选题背景及意义

1.2 研究现状

1.3 主要研究内容及结构安排

2 CBTC列车自动防护系统测试基础

2.1 测试方法及相关概念介绍

2.2 测试案例约减优化算法

2.3 测试序列优化算法

2.4 小结

3 CBTC列车自动防护系统测试案例约减优化

3.1 CBTC列车自动防护系统功能需求分析

3.2 梦境蚁群算法

3.3 测试案例的梦境蚁群算法约减优化

3.4 测试案例的梦境蚁群算法约减优化结果分析

3.5 小结

4 CBTC列车自动防护系统测试序列生成

4.1 测试序列生成策略

4.2 建模方法UPPAAL

4.3 测试场景建模

4.4 测试序列生成

4.5 小结

5 CBTC列车自动防护系统测试序列优化

5.1 萤火虫算法优化测试序列

5.2 测试序列优化对比

5.3 小结

6 CBTC通用测试平台应用实现

6.1 CBTC通用测试平台

6.2 测试案例优化策略的应用实现

6.3 小结

结论

致谢

参考文献

攻读学位期间的研究成果