本文選題：模型構(gòu)建 + 模型比較��； 參考：《華中科技大學(xué)》2016年碩士論文

【摘要】：隨著Web技術(shù)的興起和發(fā)展,Web應(yīng)用安全性問題逐漸受到重視。在測試技術(shù)的不斷發(fā)展的背景下,基于模型的測試技術(shù)逐漸成為保證Web應(yīng)用質(zhì)量的重要手段。然而,軟件測試規(guī)模隨著Web應(yīng)用規(guī)模的擴大變得越發(fā)龐大,測試開銷不堪重負。因此,研究更加通用的測試方法來提高軟件測試效率具有重大的研究價值。基于模型比較的Web應(yīng)用測試方法是一種基于黑盒的軟件測試方法。該方法主要分為Web應(yīng)用模型構(gòu)建、模型比較和測試用例生成三個步驟。具體來講,首先根據(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)模型進行比較得到差異部分形成軟件的差異模型;最后結(jié)合模型比較過程所產(chǎn)生的差異模型以及Web應(yīng)用軟件的實現(xiàn)模型生成測試用例�；谀Ｐ捅容^的Web應(yīng)用測試方法通過模型比較可以發(fā)現(xiàn)軟件需求和實現(xiàn)中錯誤,捕獲的軟件錯誤更加全面,同時通過構(gòu)建模型生成測試用例,使測試用例生成過程更加自動化�；诓町惸Ｐ蜕蓽y試用例過程將測試用例的生成集中于軟件錯誤集中,該錯誤集即為模型比較得到的差異模型,這樣可以有效的縮小測試用例集規(guī)模,提高測試效率。實驗結(jié)果表明,基于模型比較的Web應(yīng)用測試方法可以有效區(qū)分軟件錯誤類型,并能有效約減測試用例,加速測試流程。
[Abstract]:With the rise and development of Web technology, the problem of web application security has been paid more and more attention. With the continuous development of testing technology, model-based testing technology has gradually become an important means to ensure the quality of Web applications. However, the scale of software testing becomes more and more large with the expansion of Web application scale, and the test cost is unbearable. Therefore, it is of great value to study more general testing methods to improve the efficiency of software testing. The Web application testing method based on model comparison is a software testing method based on black box. The method is mainly divided into three steps: Web application model construction, model comparison and test case generation. Specifically, according to the requirement and design description document generated by Web application in software requirement and design phase, the requirement model of software is constructed with UML state diagram to express the structure and behavior characteristics of Web application software. The requirement model of Web application software based on UML state diagram is transformed into a comparable model representation. At the same time, the realization model of Web application navigation model based on black box is obtained by using the method of generating Web application navigation model based on black box. Then the software requirement and the implementation model of the first two steps are compared at the stage of model comparison, and the difference model is formed by comparing the requirements and implementation models of the first two steps. Finally, test cases are generated by combining the difference model generated by the process of model comparison and the implementation of Web application software. The Web application testing method based on model comparison can find software requirements and errors in implementation through model comparison, and catch more comprehensive software errors. At the same time, the test case generation process can be more automated by building a model to generate test cases. The process of generating test cases based on differential model focuses the generation of test cases on the software error set, which is the difference model compared with the model, which can effectively reduce the scale of test cases and improve test efficiency. The experimental results show that the Web application test method based on model comparison can effectively distinguish the types of software errors, reduce test cases effectively and accelerate the test process.
【學(xué)位授予單位】：華中科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP311.53;TP393.09

【參考文獻】

相關(guān)期刊論文 前5條

1 楊志偉;吳兵;;基于UML狀態(tài)圖的軟件測試充分性準則研究[J];計算機技術(shù)與發(fā)展;2013年08期

2 張友春;魏強;劉增良;周穎;;信息系統(tǒng)漏洞挖掘技術(shù)體系研究[J];通信學(xué)報;2011年02期

3 郭亮;繆淮扣;王皙;陳圣波;;UML模型到FSM模型的轉(zhuǎn)換[J];計算機科學(xué);2009年07期

4 謝曉東;盧炎生;毛澄印;;Software Testing Method Based on Model Comparison[J];Journal of Southwest Jiaotong University(English Edition);2008年02期

5 方菲,孫家殨,王立福,楊芙清;面向?qū)ο筌浖貧w測試技術(shù)研究[J];軟件學(xué)報;2001年03期

相關(guān)博士學(xué)位論文 前2條

1 錢忠勝;基于模型的Web應(yīng)用測試用例生成方法[D];上海大學(xué);2008年

2 謝曉東;基于模型比較的軟件測試用例生成方法研究[D];華中科技大學(xué);2007年

相關(guān)碩士學(xué)位論文 前2條

1 陳志德;基于模型的面向?qū)ο鬁y試用例生成研究[D];中國科學(xué)技術(shù)大學(xué);2010年

2 趙剛;計算機后門程序Windows Rootkit剖析與實現(xiàn)[D];西安建筑科技大學(xué);2009年

，

本文編號：1971937