文档介绍：::王倩倩.●.;:≈:;.ⅲ篰:啤一‘、海海嬉褪╇む屙尽黾蕉忭嫠絷ざ.■砭唆■帧尉嘶≈蘅:●
’壬债值学位论文版权使用授权书本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特家有关部门或机构送交论文的复印件和磁盘。月,●▲授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得学位论文作者签名:签字日期:如//年,月日导师签名:签字日期:疘,▲、‘~■●√鼍■一
:王倩倩学位类别:工学学职称:副教授学科专业:交通信息工程及控制研究方向:基于通信的列车控制年月导师姓名:张勇号:学位级别:硕士中图分类号:.学校代码:‘·密级:公开■■≮●√、
致谢了我极大的帮助和影响。此外,张老师还悉心指导我们完成了实验室的科研工作,感谢实验室的袁磊老师、上官伟老师和刘雨老师,他们在实验室的科研和学感谢实验室的陈建球、赵显琼、杨韬、矫亮亮、袁春贵、李涛、耿鹏等师兄和师姐薛丽萍、庞彦知,他们在工作和学习上给予了我热情的帮助,在此向他们表达我最真诚的感谢。感谢在实验室和我一起学习、工作和生活的王超琦、修桂生、裴志斌、张友兵、尹南、邓昌琦、吴道华、吴晓丹、李博、张庆新、靖焱林、感谢我的家人,感谢他们对我的养育之恩,在他们的关爱和鼓励下,我健康首先我要衷心感谢我的导师张勇副教授,本论文的工作是在张老师的悉心指导下完成的,在论文的撰写过程中,张老师严谨的治学态度和科学的工作方法给在学习上和生活上都给予了我很大的关心和帮助,感谢这两年半的研究生学习中张老师对我的关心和指导。习生活中,为我提出了许多宝贵的意见,在此向他表示衷心的感谢。郭丽娜等同学,能够和他们一起学习成长是我的荣幸,他们都是我的良师益友。快乐的成长。在他们的教诲和理解中,我乐观向上,积极进步,认真生活。最后,向所有给予我关心、支持和帮助的人表示衷心的感谢本论文由国家自然基金重点项目“列控系统仿真测试理论与方法的研究、国家钅俊案咚偬妨锌叵低郴チ;ネú馐杂肫拦兰际的支持。.‘,·●『.■气●一、
中文摘要摘要:为满足客运专线和高速铁路快速发展的需求,我国开展了对级列控系统的技术攻关,,并保证在运营组织上满足动车组跨线运行的要求、在系统装备上满足不同厂论文根据S镅院虲列控系统测试案例的特点,提出了测试案例优化生成方法。首先,在分析;频幕∩咸岢鼋玌建模技术应用于一读锌叵低巢馐园咐纳芍校诓桓谋湎钟械牟馐园咐伤悸的基础上引入<际趵从呕馐园咐纳伞2馐园咐纳煞治A讲剑论文提出基于刺甲远刹馐园咐姆椒ǎ渲饕K悸肥窃诼悴馐愿盖标准的前提下,将对状态图的操作转化为图论中圈、芈芳岸点的度的求解,采用相应的算法对状态图进行遍历,从而生成测试案例。最后,对基于状态图生成测试案例的方法进行了具体实现,其过程是通过解析刺图的募袢∽刺嫉南喙匦畔ⅲ⒔庑┬畔⒋娲⒃谕嫉牧诮颖斫峁怪校然后通过对图进行遍历生成测试案例,并使生成的测试案例满足迁移对覆盖准则。论文提出的将<际跤τ糜贑恫馐园咐纳桑⒒谧刺商设备互联互通的要求。在这样的背景下,。而测试案例作为列控系统测试的基础,对其生成方法进行研究就变得非常重要。第一步是从级列控系统系统需求规范分刑崛〕龉δ芴卣鳎二步是针对每一个功能特征,结合对列车运行流程的建模来生成测试案例。其次,图自动生成测试案例的方法,减少了人工参与,提高了测试案例生成的智能程度,并为实现自动测试奠定了基础。关键词:一涣锌叵低常徊馐园咐籙;状态图;图论;测试覆盖准则分类号:.‘,~
琲,琣:;,,垂:,一一瓵,..仃磇瑃瑃;籙;;篣甋阰ⅱ鬷,、●挑~●一、
目录P头治觥τ糜诓馐园咐芍械挠攀啤阂中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.研究背景及意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.读锌叵低掣攀觥国内外研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.论文的主要工作⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯测试案例生成的基础理论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.≈J丁甹⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯槌珊吞氐恪;啤图论相关知识⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.<际踉