需求分析輔助工具的研究與實(shí)現(xiàn).pdf

1、需求工程是軟件工程的一個(gè)子學(xué)科。需求工程的目的是給待開發(fā)或改造的預(yù)期軟件一個(gè)清晰、完整的，精確且沒有二義性的描述。而需求工程的核心則是工具，過程和標(biāo)記。
　　 研究了需求的獲取、描述、一致性檢查等問題。其中，重點(diǎn)研究了需求描述和需求一致性檢查。將需求分析過程分為需求獲取、需求理解和需求分析三個(gè)階段。采用華中科技大學(xué)軟件工程實(shí)驗(yàn)室提出的基于自然語(yǔ)言的半形式化需求描述語(yǔ)言（NDL語(yǔ)言）對(duì)需求進(jìn)行描述。為了提高NDL語(yǔ)言的描述能力，提

2、出了一種對(duì)NDL語(yǔ)言進(jìn)行擴(kuò)充的機(jī)制。考慮到難以事先得出需求中所有可能存在的不一致性種類，將需求一致性檢查分為兩部分：基礎(chǔ)一致性檢查和規(guī)則庫(kù)檢查。基礎(chǔ)一致性檢查檢查事先已經(jīng)預(yù)料到了的不一致。規(guī)則庫(kù)檢查則可以在系統(tǒng)運(yùn)行過程中不斷提高系統(tǒng)的不一致性檢查能力。研究了對(duì)基于NDL語(yǔ)言描述的需求進(jìn)行分析以生成目標(biāo)系統(tǒng)控制結(jié)構(gòu)、數(shù)據(jù)結(jié)構(gòu)和操作結(jié)構(gòu)的方法。
　　 最后，基于上述的研究結(jié)果開發(fā)了需求分析輔助工具。該工具是SoftMaker的重要組