發(fā)布時(shí)間：2018-09-08 20:02

【摘要】：隨著軟件市場(chǎng)對(duì)產(chǎn)品質(zhì)量要求的不斷提高,軟件測(cè)試的重要性也受到了廣泛的關(guān)注。然而傳統(tǒng)的軟件測(cè)試方法基于人工操作,效率低下且成本高昂,已無(wú)法滿足規(guī)模龐大的復(fù)雜軟件的測(cè)試要求。為了提高測(cè)試效率,降低測(cè)試成本,對(duì)傳統(tǒng)測(cè)試方法的優(yōu)化研究顯得尤為重要。近年來(lái),隨著軟件工程的快速發(fā)展,UML應(yīng)用已貫穿于整個(gè)軟件開發(fā)過(guò)程,基于UML模型的軟件測(cè)試也成為了一種新興的測(cè)試方法,并作為軟件測(cè)試自動(dòng)化研究的理論依據(jù)。本文以研究UML活動(dòng)圖為基礎(chǔ),旨在針對(duì)大型交互系統(tǒng)的共有特征,結(jié)合模型測(cè)試技術(shù)的核心理念,重點(diǎn)研究了基于UML活動(dòng)圖的測(cè)試用例設(shè)計(jì)與生成方法。論文首先闡述了與課題相關(guān)的理論技術(shù),包括軟件測(cè)試、基于模型的測(cè)試技術(shù)以及UML的發(fā)展與內(nèi)容。其次,著重分析了UML動(dòng)態(tài)模型的可測(cè)試性與測(cè)試策略,通過(guò)對(duì)比分析各模型在指導(dǎo)測(cè)試方面的優(yōu)缺點(diǎn),進(jìn)而指出活動(dòng)圖模型是描述系統(tǒng)行為的最佳模型,也是研究基于模型的自動(dòng)化測(cè)試技術(shù)的重要理論依據(jù)。然后,本文結(jié)合活動(dòng)圖的形式化定義及測(cè)試覆蓋準(zhǔn)則,提出基于活動(dòng)圖的測(cè)試用例生成策略。該策略給出了基于UML活動(dòng)圖的測(cè)試用例生成框架,并圍繞測(cè)試場(chǎng)景和測(cè)試數(shù)據(jù)生成兩方面展開詳細(xì)的研究和討論。在測(cè)試場(chǎng)景生成方面,針對(duì)UML活動(dòng)圖的并發(fā)特性,首先對(duì)活動(dòng)圖的并發(fā)模塊加以識(shí)別和壓縮,依據(jù)覆蓋準(zhǔn)則生成初步的測(cè)試場(chǎng)景;然后采用改進(jìn)后的實(shí)例化算法,動(dòng)態(tài)引入約束條件,對(duì)并發(fā)模塊內(nèi)的活動(dòng)進(jìn)行排序,生成完整的測(cè)試場(chǎng)景。在測(cè)試數(shù)據(jù)生成方面,引入測(cè)試剖面的概念,并在傳統(tǒng)輪轉(zhuǎn)法的基礎(chǔ)上加以優(yōu)化,提出一種覆蓋率更高的測(cè)試數(shù)據(jù)組合方法。最后,本文結(jié)合具體的案例分析,驗(yàn)證了該方法的準(zhǔn)確性和有效性,并基于研究成果給出了測(cè)試用例生成系統(tǒng)的分析與設(shè)計(jì)。重點(diǎn)介紹了該系統(tǒng)的功能模塊劃分和類圖設(shè)計(jì),并給出關(guān)鍵算法,為測(cè)試用例生成系統(tǒng)提供了可靠的實(shí)現(xiàn)方案,提高了自動(dòng)化測(cè)試的可行性和完備性。
[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é)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP311.53

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 崔萌 ,李宣東 ,鄭國(guó)梁;UML實(shí)時(shí)活動(dòng)圖的形式化分析[J];計(jì)算機(jī)學(xué)報(bào);2004年03期

9 朱雪陽(yáng),唐稚松;UML活動(dòng)圖的時(shí)序邏輯語(yǔ)義[J];計(jì)算機(jī)研究與發(fā)展;2005年09期

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

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

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

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

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

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

1 記者 朱周良;美再謀劃時(shí)代突破：斥巨資繪人腦活動(dòng)圖[N];上海證券報(bào);2013年

2 本報(bào)記者 沈湫莎;繪制人腦活動(dòng)圖，10年太短[N];文匯報(bào);2013年

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2231552