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

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

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

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

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