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

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

2、先根據(jù)Web應(yīng)用在軟件需求和設(shè)計(jì)階段產(chǎn)生的需求和設(shè)計(jì)說(shuō)明文檔，用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)形式，同時(shí)采用基于黑盒的Web應(yīng)用導(dǎo)航模型生成方法獲取軟件的實(shí)現(xiàn)模型，并將其轉(zhuǎn)換成可比較的模型表現(xiàn)形式；然后模型比較階段將對(duì)前兩步產(chǎn)生的軟件的需求和實(shí)現(xiàn)模型進(jìn)行比較得到差異部分形成軟件的差異模型；最后結(jié)合模型比較過(guò)程所產(chǎn)生的差異模型以

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