基于xUML的列控系統(tǒng)需求規(guī)范驗證方法研究.pdf

1、列控系統(tǒng)需求工程是列控系統(tǒng)發(fā)展的重要組成部分,需求規(guī)范驗證是需求工程建設(shè)的重要環(huán)節(jié),它是降低系統(tǒng)開發(fā)風(fēng)險和項目成本的有效手段。本文主要圍繞基于可執(zhí)行UML(Executable UML,xUML)的列控系統(tǒng)需求規(guī)范驗證方法開展研究。
　　 首先介紹列控系統(tǒng)需求規(guī)范驗證的背景,分析當(dāng)前時期列控系統(tǒng)需求規(guī)范驗證研究存在的問題,總結(jié)了需求規(guī)范驗證以及可執(zhí)行模型建立方法的國內(nèi)外研究現(xiàn)狀。進一步研究了需求規(guī)范驗證的理論基礎(chǔ),總結(jié)了需求規(guī)范

2、驗證的主要工作組成。
　　 基于可執(zhí)行模型的驗證是驗證需求規(guī)范模型動態(tài)特性的有效手段,論文將可執(zhí)行模型的思想引入到列控系統(tǒng)需求規(guī)范的驗證中,設(shè)計了基于xUML的列控系統(tǒng)需求規(guī)范驗證方法。本文使用xUML圖形實現(xiàn)列控系統(tǒng)需求規(guī)范的描述;針對列控系統(tǒng)需求規(guī)范模型的特點,加強了動作行為語義,從而建立了列控系統(tǒng)需求規(guī)范的可執(zhí)行模型;根據(jù)列控系統(tǒng)需求規(guī)范的特點,本文提出了基于xUML模型的列控系統(tǒng)需求規(guī)范完整性和可行性的驗證方法。