基于模型的CBTC区域控制器测试序列自动生成方法的研究

声明

摘要

1 绪论

1．1 选题背景及研究意义

1．2 国内外研究现状

1．3 主要研究内容

2 CBTC区域控制子系统介绍及测试方法选取

2．1 CBTC区域控制子系统介绍

2．2 区域控制器测试方法的选取

2．2．1 测试方法选取

2．2．2 测试专业术语

2．2．3 测试系统结构组成

2．2．4 测试序列设计方法

2．3 小结

3 区域控制器建模分析与验证

3．1 建模工具介绍

3．1．1 时间自动机理论

3．1．2 UPPAAL

3．2 区域控制器模型建立

3．2．1 区域控制器功能介绍

3．2．2 区域控制器模型建立

3．3 模型仿真验证

3．4 小结

4 基于模型的区域控制器测试序列生成方法

4．1 时间自动机模型文件解析

4．2 测试覆盖标准

4．3 测试序列生成方法

4．4 区域控制器的测试序列生成

4．5 小结

5 测试序列自动生成的实现

5．1 开发工具介绍及测试序列自动生成软件的实现

5．2 测试序列自动生成的实现

5．3 小结

结论

致谢

参考文献

附录

攻读学位期间的研究成果