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

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

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