web應(yīng)用的需求檢查.pdf

1、軟件需求的一致性是保證軟件可信性的一個重要方面。資料顯示,由于需求不符而導(dǎo)致的系統(tǒng)失敗高達40％。
　　 需求一致性的檢查一般來說,分為三個方面:一是檢查系統(tǒng)設(shè)計是否滿足系統(tǒng)原本的需求,二是檢查設(shè)計被細化過程中是否滿足系統(tǒng)原本的需求,三是檢查系統(tǒng)實現(xiàn)是否滿足系統(tǒng)原本的需求。
　　 在需求檢查的第一、第二個方面,可以通過一些靜態(tài)分析方法來對設(shè)計模型或細化后的模型進行檢查來發(fā)現(xiàn)需求是否一致。在軟件設(shè)計被逐步實現(xiàn)的過程中,可能

2、會有錯誤或故障出現(xiàn),因而在實現(xiàn)后的軟件或系統(tǒng)中會存在bugs。故對于一個開發(fā)完成的系統(tǒng),我們?nèi)匀恍枰獙ζ溥M行檢查,以確定實現(xiàn)后的系統(tǒng)是否仍然滿足系統(tǒng)初始的需求,即第三個方面的需求檢查。
　　 針對第三方面需求檢查的方法主要有兩種:測試與模型檢查。測試通常被用來檢查實現(xiàn)后的系統(tǒng)的正確性,其測試用例是由需求得到的。由于單個測試之間是無關(guān)的,在每一次測試中只有部分系統(tǒng)得到檢查,因此測試是無法保證其完整性的,也就是說,測試不能檢查到系統(tǒng)

3、的完整的行為。模型檢查的方法可以檢查系統(tǒng)的完整性,但是由程序代碼建立一個模型是很困難的[2]。
　　 本文主要對web應(yīng)用進行第三方面的需求檢查。由于web應(yīng)用自身的一些特點,如導(dǎo)航、超媒體等,本文利用它的可導(dǎo)航性來提出一些新的檢查方法,具體思路如下。1)構(gòu)建實現(xiàn)階段的需求?；谟脩魧?dǎo)航獲得包含用戶行為相關(guān)信息的log file,然后借助自然語言處理技術(shù)(Natural Language Processing)對log file

4、進行處理,得到基于系統(tǒng)實現(xiàn)的use cases,即系統(tǒng)實現(xiàn)階段的需求。2)模型轉(zhuǎn)換?；谙到y(tǒng)初始的需求與實現(xiàn)階段得到的需求,分別建立相應(yīng)的use case模型,然后分別將use case模型自動轉(zhuǎn)換為基于SCA(Scrvice Comoponent Architecture)的組件模型。3)需求檢查。通過比較兩個SCA組件模型來檢查系統(tǒng)實現(xiàn)是否滿足系統(tǒng)初始需求?；赟CA的組件模型不僅包含靜態(tài)信息描述,還包含了系統(tǒng)的行為,因此它可以被用