探析基于xuml的列控系统需求规范验证方法研究

《探析基于xuml的列控系统需求规范验证方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、北京交通大学硕士学位论文基于xUML的列控系统需求规范验证方法研究姓名：张庆新申请学位级别：硕士专业：交通信息工程及控制指导教师：唐涛201012中文摘要摘要：列控系统需求工程是列控系统发展的重要组成部分，需求规范验证是需求工程建设的重要环节，它是降低系统开发风险和项目成本的有效手段。本文主要围绕基于可执行UML(Exec吡lbleUML，xUML)的列控系统需求规范验证方法开展研究。首先介绍列控系统需求规范验证的背景，分析当前时期列控系统需求规范验证研究存在的问题，总结了需求规范验证以及可执行模型建立方法的国内外

2、研究现状。进一步研究了需求规范验证的理论基础，总结了需求规范验证的主要工作组成。基于可执行模型的验证是验证需求规范模型动态特性的有效手段，论文将可执行模型的思想引入到列控系统需求规范的验证中，设计了基于双删L的列控系统需求规范验证方法。本文使用xIM，图形实现列控系统需求规范的描述；针对列控系统需求规范模型的特点，加强了动作行为语义，从而建立了列控系统需求规范的可执行模型；根据列控系统需求规范的特点，本文提出了基于xI『MI，模型的列控系统需求规范完整性和可行性的验证方法。最后，以CTCS．3级列控系统需求规范为研

3、究对象，对论文设计的需求规范验证方法进行了应用，证实了方法的合理性。图2l幅，表5个，参考文献47篇。关键词：列车运行控制系统，系统需求规范，规范验证，可执行UML分类号：ABSTRACTABSTRACT：Requirementsen西neeringon臼随nconnDlsystemis觚importaIltpartoftraillcomrolsystemdeVelopment．TheV耐ficationofrequirementSspecificationisam面nstageoftheCons仇lctionof

4、requirementsengineeriI培．Anditisausemlmethodtoreducetherisk觚dcoStofsystem￡IeVelop】【Ilent．ThistllesispriInaryresearchesontllev嘶ficationm甜lodof妇1conn．0lsystem嗍uirementSspecificatio玛W陆chisb嬲edonexecutableUML．Firstly’meback罂。ourldof吐leverifica：tionof仃aincontrolsyst

5、emrequireInentsw嬲in仃oduced．Tl-enaverificationmetllodofsystemrequ证：mentsSplecificationbaSedoneXecutablemodelsw硒propose也心er廿lepresemresearchsta_tIlsofmemodsofv硪匆ing仃ajIlcon缸Dl夥stem嘲蜘entsspecificationwereaIlalyzed．T址rdly'mem血contentsandnletlleoreticalbaLsisofrequ

6、nInentsspecificationVerificationweresumma=rized．，nleverificationofrequnmentsbaSedonexecutablemodelsc觚e币cientlyveri匆tlled脚icc㈨丽sticsofrequire】mentsspeCification．Averificationmetllod，baSedoneXec咄lbleUML，waSpresen僦l血_ou曲砷∞duciIlgtlleeXec吡lblemodelsinto缸ncomrolsys

7、temrcqu证mentsspecificationV商丘catiQn．1)ⅥlriouSVie、ⅣSofexecutableUMLwerellsedt0descriptme缸nComrolsystemrequirementssplecification．2)Executablemodelsof蛐c0曲∞lsystemroqu沁mentsspecificationwereesta『blished，bys仃engmeningmeactivesemaIlticforeachmodel．3)Amemodw嬲designe

8、d，t0Veri匆mecompleteness锄dfeaSibilit)rofrequirem伽晒Specification，wMchw嬲directedtowardstllec№teristicof俩ncon仃．olsyStemrequirementsSpecification．IIlthelaStsectionoftbjsnlesis，tlleCTCS一