【摘要】：隨著軟件市場對產(chǎn)品質(zhì)量要求的不斷提高,軟件測試的重要性也受到了廣泛的關(guān)注。然而傳統(tǒng)的軟件測試方法基于人工操作,效率低下且成本高昂,已無法滿足規(guī)模龐大的復(fù)雜軟件的測試要求。為了提高測試效率,降低測試成本,對傳統(tǒng)測試方法的優(yōu)化研究顯得尤為重要。近年來,隨著軟件工程的快速發(fā)展,UML應(yīng)用已貫穿于整個軟件開發(fā)過程,基于UML模型的軟件測試也成為了一種新興的測試方法,并作為軟件測試自動化研究的理論依據(jù)。本文以研究UML活動圖為基礎(chǔ),旨在針對大型交互系統(tǒng)的共有特征,結(jié)合模型測試技術(shù)的核心理念,重點研究了基于UML活動圖的測試用例設(shè)計與生成方法。論文首先闡述了與課題相關(guān)的理論技術(shù),包括軟件測試、基于模型的測試技術(shù)以及UML的發(fā)展與內(nèi)容。其次,著重分析了UML動態(tài)模型的可測試性與測試策略,通過對比分析各模型在指導(dǎo)測試方面的優(yōu)缺點,進而指出活動圖模型是描述系統(tǒng)行為的最佳模型,也是研究基于模型的自動化測試技術(shù)的重要理論依據(jù)。然后,本文結(jié)合活動圖的形式化定義及測試覆蓋準則,提出基于活動圖的測試用例生成策略。該策略給出了基于UML活動圖的測試用例生成框架,并圍繞測試場景和測試數(shù)據(jù)生成兩方面展開詳細的研究和討論。在測試場景生成方面,針對UML活動圖的并發(fā)特性,首先對活動圖的并發(fā)模塊加以識別和壓縮,依據(jù)覆蓋準則生成初步的測試場景;然后采用改進后的實例化算法,動態(tài)引入約束條件,對并發(fā)模塊內(nèi)的活動進行排序,生成完整的測試場景。在測試數(shù)據(jù)生成方面,引入測試剖面的概念,并在傳統(tǒng)輪轉(zhuǎn)法的基礎(chǔ)上加以優(yōu)化,提出一種覆蓋率更高的測試數(shù)據(jù)組合方法。最后,本文結(jié)合具體的案例分析,驗證了該方法的準確性和有效性,并基于研究成果給出了測試用例生成系統(tǒng)的分析與設(shè)計。重點介紹了該系統(tǒng)的功能模塊劃分和類圖設(shè)計,并給出關(guān)鍵算法,為測試用例生成系統(tǒng)提供了可靠的實現(xiàn)方案,提高了自動化測試的可行性和完備性。
[Abstract]:With the development of software market, the importance of software testing has been paid more and more attention. However, the traditional software testing method is based on manual operation, which is inefficient and costly, so it can not meet the test requirements of complex software on a large scale. In order to improve test efficiency and reduce test cost, it is very important to optimize traditional test methods. In recent years, with the rapid development of software engineering, the application of UML has been running through the whole software development process. Software testing based on UML model has become a new testing method, and it is the theoretical basis of software test automation research. Based on the study of UML activity diagrams, this paper focuses on the design and generation of test cases based on UML activity diagrams, aiming at the common characteristics of large-scale interactive systems and the core idea of model testing technology. Firstly, this paper introduces the theory and technology related to the subject, including software testing, model-based testing, and the development and content of UML. Secondly, the testability and test strategy of UML dynamic model are analyzed, and the advantages and disadvantages of each model in guiding test are compared, and the activity diagram model is the best model to describe the behavior of the system. It is also an important theoretical basis for the research of model-based automated testing technology. Then, based on the formal definition of activity diagram and test coverage criterion, a test case generation strategy based on activity diagram is proposed. The strategy gives a test case generation framework based on UML activity diagram and discusses the test scenario and test data generation in detail. In the aspect of test scene generation, aiming at the concurrency characteristic of UML activity diagram, the concurrency module of activity diagram is first identified and compressed, and the preliminary test scenario is generated according to the coverage criterion, and then the improved instantiation algorithm is adopted. Dynamic constraint conditions are introduced to sort the activities in concurrent modules, and a complete test scenario is generated. In the aspect of test data generation, the concept of test section is introduced and optimized on the basis of traditional rotation method, and a test data combination method with higher coverage is proposed. Finally, this paper verifies the accuracy and effectiveness of the method, and gives the analysis and design of the test case generation system based on the research results. The function module partition and class diagram design of the system are introduced emphatically, and the key algorithms are given, which provide a reliable implementation scheme for the test case generation system, and improve the feasibility and completeness of the automated test.
【學(xué)位授予單位】：江蘇科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP311.53

【相似文獻】

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

1 齊建業(yè);李強;余祥;;基于形式活動圖的協(xié)議一致性測試用例生成方法研究[J];安徽大學(xué)學(xué)報(自然科學(xué)版);2013年03期

2 管昌生，夏紅霞，劉定飛，鐘珞;一種結(jié)構(gòu)程序設(shè)計與分析的工具[J];微電子學(xué)與計算機;1994年05期

3 王智群;;一種Concur任務(wù)樹轉(zhuǎn)化為UML2.0的方法[J];計算機工程;2009年11期

4 張正,劉建華,吳潔明,袁山龍;利用UML活動圖進行業(yè)務(wù)分析[J];北方工業(yè)大學(xué)學(xué)報;2003年03期

5 周新寬;陳平;李青山;;一種UML活動圖的逆向恢復(fù)方法[J];計算機工程與應(yīng)用;2006年17期

6 孫自安,周伯生;UML活動圖的評價和擴展[J];計算機工程與應(yīng)用;2001年12期

7 杜薇,劉偉;UML的活動圖及其在電子政務(wù)項目中的應(yīng)用[J];計算機工程;2003年05期

8 崔萌 ,李宣東 ,鄭國梁;UML實時活動圖的形式化分析[J];計算機學(xué)報;2004年03期

9 朱雪陽,唐稚松;UML活動圖的時序邏輯語義[J];計算機研究與發(fā)展;2005年09期

10 許永峰;陳平;;基于UML活動圖的進程關(guān)系模型恢復(fù)方法[J];電子科技;2006年05期

相關(guān)會議論文 前3條

1 唐劍文;;基于UML嵌套活動圖的回歸測試用例選擇[A];全國第21屆計算機技術(shù)與應(yīng)用學(xué)術(shù)會議（CACIS·2010）暨全國第2屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集[C];2010年

2 韋銀星;張申生;曹健;;基于UML活動圖的軟件過程模型研究[A];第六屆全國計算機應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

3 陳章耀;李曉峰;;基于UML活動圖的電信業(yè)務(wù)過程建模方法[A];2008'中國信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

相關(guān)重要報紙文章 前2條

1 記者 朱周良;美再謀劃時代突破：斥巨資繪人腦活動圖[N];上海證券報;2013年

2 本報記者 沈湫莎;繪制人腦活動圖，10年太短[N];文匯報;2013年

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

1 朱羿全;安全關(guān)鍵嵌入式系統(tǒng)的SysML活動圖概率驗證方法研究[D];南京航空航天大學(xué);2015年

2 常旭嶺;基于Petri網(wǎng)的“系統(tǒng)的系統(tǒng)”的建模與仿真的研究[D];上海交通大學(xué);2015年

3 惠文濤;基于概率模型檢測的SysML活動圖驗證方法研究[D];解放軍信息工程大學(xué);2015年

4 俞磊;基于UML活動圖的仿真與測試方法研究[D];南京大學(xué);2014年

5 李慶;基于UML活動圖的測試用例生成方法的研究[D];江蘇科技大學(xué);2016年

6 王志超;面向活動圖的代碼自動生成技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2010年

7 丁娜;帶OCL約束的活動圖多態(tài)測試方法的研究[D];重慶大學(xué);2012年

8 葉楠;基于活動圖的軟件回歸測試用例自動生成技術(shù)研究[D];南京大學(xué);2012年

9 何曉云;基于活動圖驅(qū)動的軟件需求分析方法及應(yīng)用[D];電子科技大學(xué);2008年

10 崔霞;基于UML活動圖的測試場景智能化生成方法研究[D];上海師范大學(xué);2009年

，

本文編號：2231552