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

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

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