文档介绍：劣妻未硕士学位论文基于腃蚩刂破魅砑馐苑椒ㄑ芯◆’夕导师:唐涛北京交通大学留◆作者:李雷≥擎,。:■,
,』奄学位论文版权使用授权书签字日期:沙耆试隆日同意学校向国家有关部门或机构送交论文的复印件和磁盘。本学位论文作者完全了解北京交通大学有关保留、使用学位授权北京交通大学可以将学位论文的全部或部分内容编入有关数提供阅览服务,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得学位论文作者签名:签字日期:趌口年,
北京‘交通大学硕士学位论文基于腃蚩刂破魅砑馐苑椒ㄑ芯≮作者姓名:李雷导师姓名:唐涛学位类别:工学职称:教授学位级别:硕士学科专业:交通信息工程及控制研究方向:基于通信的列车控制北京交通大学◆学号:年月中图分类号:.学校代码:密级:公开海一
致谢学的工作方法给了我极大的帮助和影响。在此衷心感谢唐老师两年来对我的关心活上都给予了我很大的关心和帮助,在此向王老师表示衷心的感谢。给予了热情帮助,也感谢曹欣、永清、边远、鲁秋子和吴雅静等师弟师妹对我论文和工作的支持。另外也感谢我的家人,他们的理解和支持使我能够在学校专心完成我的学业。蔷本论文是在我的导师唐涛教授的悉心指导下完成的,其严谨的治学态度和科和指导。王海峰副教授对于我的科研工作和论文都提出了许多的宝贵意见,在此表示衷心的感谢。在王老师悉心指导下我们完成了实验室的科研工作,在学习上和生在实验室工作及撰写论文期间,刘朔、杨旭文、李伟等师兄的工作经验给于我很大的启发和帮助,张路、刘海旭、岳龙、商晖等同学对我论文中的研究工作~一’
中文摘要摘要:在城市交通压力日益增大的今天,发展城市轨道交通无疑是一种重要甙踩τ贸绦蚩7⒒肪常视糜诳7⒏甙踩ǖ那度胧饺砑低常态机平面化的方法和平面化原则,并将该方法应用于列车管理安全状态机上。并根据测试树算法生成了测试序列,在对测试序列进行分析后,为进行测试场测试覆盖率实现了サ母哺恰的手段。系统缩短了列车的安全运行间隔,提高了运营效率,因而得到了空前的发展。区域控制器是系统中的重要子系统,它为列车提供移动授权,保证列车安全、高效地运行,要求具备高度的安全性与可靠性。因此对其进行严格的测试是非常必要的。用于开发软件系统。如何对基于腪酉低橙砑胁馐裕潜疚研究的重点。本文通过分析邪踩刺械淖刺嘈陀胱R评嘈停隽税踩景的设计,并通过抡嫫鞑馐訸δ埽鄄炝谐的P椭械淖刺欠裾的转移,编写了仿真平台用于之间读取录制的场景,可视化地分析场景中的测试数据。在数据流图测试中使用/测试覆盖准则保证测试的充分性。本文通过分析/的需要满足的测试条件,提出了为萘魍寄P蜕蒑疍最小测试用例集的方法,用于指导的数据流图模型的测试,并使各节点的本文用图幅,表觯慰嘉南!关键词:测试场景;/;籞籆分类号:.~
:籺—甌瓵瑃./甌/,%瑀瓹.,甋瓾甌瑃.;/;籞籆篣铷’.’~●
目录研究背景⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯软件测试的发展⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯/覆盖准则⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.基于安全状态机模型的测试⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..研究意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⒒肪场7椒ā娜砑馐浴本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯基于娜砑馐苑椒ㄑ芯俊基于数据流图模型的测试⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.钚〔馐约煞椒ā本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。锓ǚ治銎鞯纳杓啤综苤....⋯⋯.....⋯.....⋯⋯...⋯⋯...⋯⋯....⋯⋯....⋯⋯.......⋯....⋯⋯.....⋯⋯.....⋯...区域控制器功能⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.本文内容及结构安排⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯砑型开发模式⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.钚〔〔馐园咐删倮⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..~一
.谐倒芾戆踩刺馐孕蛄猩伞作者简历⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯基于列车管理安全状态机的测试⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。.谐倒芾聿馐猿【吧杓啤抡娌馐浴本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯总结与展望⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.附录⋯⋯⋯⋯⋯⋯