文档介绍：:邓昌琪导师:李开成北京交通大学....年月
学位论文作者签名:灵鲁碜签字日期:谀阥峦蛉学位论文版权使用授权书签字日期:嗳缒闖聑厂日本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索,提供阅览服务,并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。同意学校向国家有关部门或机构送交论文的复印件和磁盘。C艿难宦畚脑诮饷芎笫视帽臼谌ㄋ得导师签名:,
:邓昌琪导师姓名:李开成学位类别:工学学号:称:副教授学位级别:硕士职·中图分类号:.学校代码:密级:公开·■
致谢在实验室工作及撰写论文期间,尹南、修桂生、王超琦、张友兵、郭志良、耿悦、孔令宽、石亮、商晖等同学对我论文中的研究工作给予了热情帮助,在此本论文的工作是在我的导师李开成副教授的悉心指导下完成的,李开成副教授严谨的治学态度和科学的工作方法给了我极大的帮助和影响。在此衷心感谢三年来李开成老师对我的关心和指导。郑伟副教授悉心指导我们完成了实验室的科研工作,在学习上和生活上都给予了我很大的关心和帮助,在此向郑伟老师表示衷心的谢意。袁磊老师、刘雨老师和魏国栋师兄对于我的科研工作和论文都提出了许多的宝贵意见,在此表示衷心的感谢。向他们表达我的感激之情。另外也感谢父母对我的关心,他们的理解和支持使我能够在学校专心完成我的学业。
关键词:.怀翟厣璞福荒P颓馐裕徊馐杂美豁觯籙使用馐岳┱褂镅訳圆馐怨探薪#芯砍翟厣璞腹δ懿馐缘牟试用例生成方法。方法建立P兔枋龀翟厣璞腹δ苄枨蟆Mü褂糜美肌⒒疃己妥刺冀功能需求进行细化建立了详细的功能需求描述模型;逻辑的方法。该方法通过将活动图按照被测系统功能划分为活动图片段,从活动规则,进而生成测试逻辑。信息划分为测试环境、测试逻辑、测试数据以及测试结果分析四个部分。基于讨论车载设备测试外部环境构成,测试逻辑的具体行为与描述方法以及测试数据具体内容与结构。最终得到使用测试平台模型、测试逻辑模型与测试数据结构模型组合描述的测试用例模型。分类号:.系统己投入运营。根据我国铁路运输特点,.读锌叵低吵翟厣璞副匦肼跨线运行,确保互联互通,。测试用例是开展设备功能测试的前提。论文在模型驱动架构的基础上,通过首先在铁道部发布的车载设备相关技术文档的基础上,提出按照场景划分的在测试用例中提出了测试逻辑概念,给出了基于需求模型的活动图生成测试图片段中提取测试逻辑片段,根据活动图的结构建立测试逻辑片段组合与优化的最后对车载设备测试用例所需要描述的信息进行总结,将测试用例所描述的
瓵—一:.,.甌.,...·瓹—...,....瑃甋~瑃一
’,,。
目录模型驱动架构理论及用例生成方法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..车载设备需求模型建立方法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.翟厣璞钢饕T擞3【⒎ⅰ.刺冀ⅰ测试逻辑生成方法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..中文摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯引言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯课题研究背景及意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯论文主要工作⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯模型驱动架构简介⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯基于模型驱动的测试方法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.P颓馐苑椒ā车载设备测试与测试用例生成⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..馐杂美煞椒ā车载设备需求模型建立⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.。.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...美冀ⅰ小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.基于活动图的测试逻辑生成⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..、,
ⅰ.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯独创性声明⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯测试逻辑生成示例⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...÷呒问纠小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.