基于模型比較的Web應(yīng)用測試方法研究.pdf

1、隨著Web技術(shù)的興起和發(fā)展，Web應(yīng)用安全性問題逐漸受到重視。在測試技術(shù)的不斷發(fā)展的背景下，基于模型的測試技術(shù)逐漸成為保證Web應(yīng)用質(zhì)量的重要手段。然而，軟件測試規(guī)模隨著Web應(yīng)用規(guī)模的擴(kuò)大變得越發(fā)龐大，測試開銷不堪重負(fù)。因此，研究更加通用的測試方法來提高軟件測試效率具有重大的研究價值。
　　基于模型比較的Web應(yīng)用測試方法是一種基于黑盒的軟件測試方法。該方法主要分為Web應(yīng)用模型構(gòu)建、模型比較和測試用例生成三個步驟。具體來講，首

2、先根據(jù)Web應(yīng)用在軟件需求和設(shè)計階段產(chǎn)生的需求和設(shè)計說明文檔，用UML狀態(tài)圖構(gòu)建軟件的需求模型，表示W(wǎng)eb應(yīng)用軟件的結(jié)構(gòu)和行為特性；其次，將基于UML狀態(tài)圖構(gòu)建的Web應(yīng)用軟件需求模型轉(zhuǎn)換成可比較的模型表現(xiàn)形式，同時采用基于黑盒的Web應(yīng)用導(dǎo)航模型生成方法獲取軟件的實現(xiàn)模型，并將其轉(zhuǎn)換成可比較的模型表現(xiàn)形式；然后模型比較階段將對前兩步產(chǎn)生的軟件的需求和實現(xiàn)模型進(jìn)行比較得到差異部分形成軟件的差異模型；最后結(jié)合模型比較過程所產(chǎn)生的差異模型以

3、及Web應(yīng)用軟件的實現(xiàn)模型生成測試用例。基于模型比較的Web應(yīng)用測試方法通過模型比較可以發(fā)現(xiàn)軟件需求和實現(xiàn)中錯誤，捕獲的軟件錯誤更加全面，同時通過構(gòu)建模型生成測試用例，使測試用例生成過程更加自動化?；诓町惸Ｐ蜕蓽y試用例過程將測試用例的生成集中于軟件錯誤集中，該錯誤集即為模型比較得到的差異模型，這樣可以有效的縮小測試用例集規(guī)模，提高測試效率。
　　實驗結(jié)果表明，基于模型比較的Web應(yīng)用測試方法可以有效區(qū)分軟件錯誤類型，并能有效約