基于概念化心智模型的軟件需求驗(yàn)證過程的研究及工具的實(shí)現(xiàn).pdf

1、隨著軟件產(chǎn)業(yè)的不斷發(fā)展，軟件系統(tǒng)的規(guī)模和復(fù)雜度劇增，“軟件危機(jī)”的隱患也日漸突出。研究表明，產(chǎn)生諸多問題的最重要因素不是編程，而是需求，因?yàn)樾枨筇崛?、需求分析、需求?yàn)證等與需求相關(guān)的內(nèi)容往往是軟件項(xiàng)目中最難掌控，也是最易變化的部分。由此帶來的軟件項(xiàng)目風(fēng)險(xiǎn)(稱為“需求風(fēng)險(xiǎn)”)一直波及到設(shè)計(jì)、編程、測(cè)試、維護(hù)等一系列后續(xù)階段，并直接導(dǎo)致軟件質(zhì)量的低下和客戶滿意度的下降。 從1997年Davis對(duì)如何驗(yàn)證和評(píng)估軟件需求說明書的質(zhì)量的研

2、究，發(fā)展到2000年X.Lu對(duì)使用路徑搜索網(wǎng)絡(luò)進(jìn)行軟件需求的分析和分類的研究，業(yè)內(nèi)提出了一系列的措施來解決上述問題。當(dāng)中出現(xiàn)了各種需求管理工具如：IBMRationalRequisitePro、BorlandCaliberRM、TelelogicDOORS等。該類工具的基本功能類似，需求使用惟一的標(biāo)號(hào)進(jìn)行標(biāo)志，并提供強(qiáng)大的查詢、跟蹤和管理功能。但這些方法和工具都局限于需求的分析、管理以及跟蹤的層次，缺少項(xiàng)目人員對(duì)需求理解的驗(yàn)證。

3、 為了從更深層次解決問題，提高需求的精確性、確實(shí)性，加深項(xiàng)目涉眾人員對(duì)需求的理解，本文引入概念化的心智模型一路徑搜索網(wǎng)絡(luò)(PFNET)，提出了一種基于人類認(rèn)知模式的需求驗(yàn)證模型(RVM)。此模型不僅有效地構(gòu)建了現(xiàn)實(shí)系統(tǒng)，同時(shí)基于圖形理論和集合理論定量地評(píng)估所構(gòu)建的系統(tǒng)，從而鑒別需求當(dāng)中存在的誤解或錯(cuò)誤，保證了軟件開發(fā)生命周期的不同階段項(xiàng)目涉眾人員對(duì)需求理解的一致性。在實(shí)際系統(tǒng)中驗(yàn)證該模型，研究表明該技術(shù)對(duì)于中型項(xiàng)目上的應(yīng)用頗具實(shí)用性和有

4、效性。 根據(jù)上述驗(yàn)證模型，作者設(shè)計(jì)開發(fā)了一個(gè)基于WEB的需求驗(yàn)證工具，來輔助項(xiàng)目相關(guān)人員更好的完成對(duì)需求的驗(yàn)證工作。此工具完成整個(gè)數(shù)據(jù)的收集、分析、網(wǎng)絡(luò)圖和適當(dāng)報(bào)告的生成過程，大大提高了項(xiàng)目涉眾人員的工作效率，縮短了整個(gè)需求分析驗(yàn)證的時(shí)間。B/S的設(shè)計(jì)結(jié)構(gòu)適用于多組織、多項(xiàng)目組的開發(fā)模式，避免了組織間的空間限制，增加了系統(tǒng)的靈活性，從而減少各類開銷。此工具的實(shí)現(xiàn)也說明了構(gòu)造自動(dòng)化驗(yàn)證工具的可行性。 上述RVM模型能夠很好