基于本體的Web應(yīng)用自動(dòng)化驗(yàn)證.pdf

1、Web應(yīng)用是全球信息基礎(chǔ)組織的重要組成部分，因此，必須保證其行為的正確性，徹底檢測(cè)其功能。已有一些輔助自動(dòng)檢測(cè)錯(cuò)誤的工具，如VeriWeb等。此外，研究者也提出很多方法，用來驗(yàn)證其功能需求。然而，這些方法和工具通常難以解決這一問題：自動(dòng)判斷生成頁(yè)面(在當(dāng)前頁(yè)面提交表單或點(diǎn)擊某個(gè)鏈接后所產(chǎn)生的后續(xù)頁(yè)面)是否是預(yù)期的。 為了解決這個(gè)問題，本文提出了一種基于本體的方法來自動(dòng)判斷該生成頁(yè)面是否與預(yù)期結(jié)果一致的方法。該方法首先用本體對(duì)We

2、b應(yīng)用的規(guī)格說明進(jìn)行建模，然后利用該本體來驗(yàn)證生成頁(yè)面。每次驗(yàn)證Web應(yīng)用前，通常都需手工輸入相關(guān)領(lǐng)域知識(shí)進(jìn)Cyc本體庫(kù)。為了避免這種情況，成功地重用了先前存儲(chǔ)在Cyc庫(kù)中的規(guī)格說明來驗(yàn)證當(dāng)前的系統(tǒng)，并且這些規(guī)格說明已被驗(yàn)證并確保正確。 論文的工作主要包括以下幾個(gè)方面：(1)深入地分析了現(xiàn)存的關(guān)于Web應(yīng)用自動(dòng)化驗(yàn)證的相關(guān)方法和技術(shù)，并指出其不足之處，如自動(dòng)化程度低、邏輯錯(cuò)誤檢測(cè)不全面等。為此，提出了一個(gè)新的基于本體的方法來建模