声明
致谢
摘要
图索引
表索引
1 绪论
1.1 选题背景及意义
1.2 国内外研究现状
1.3 论文主要研究内容
1.4 论文组织结构
2 CBTC系统软件测试及其相关技术
2.1 CBTC系统功能及测试简介
2.2 软件测试理论
2.3 本章小结
3 C语言形式化建模方法
3.1 C语言的Petri网建模
3.2 C语言的节点图建模
3.3 本章小结
4 测试路径自动生成
4.1 图的概念
4.2 图的存储结构
4.3 图的搜索算法
4.4 程序设计与实现
4.5 本章小结
5 实例分析
5.1 生成测试路径
5.2 执行单元测试
5.3 分析测试结果
5.4 本章小结
6 结论与展望
6.2 未来工作方向
参考文献
作者简历及科研成果清单