資源描述：
《基于uml交互概覽圖的測試方法研究》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、基于UML交互概覽圖的測試方法研究重慶大學(xué)碩士學(xué)位論文（學(xué)術(shù)學(xué)位）學(xué)生姓名：劉青香指導(dǎo)教師：曾一教授專業(yè)：計算機(jī)軟件與理論學(xué)科門類：工學(xué)重慶大學(xué)計算機(jī)學(xué)院二O一三年五月ResearchonTestMethodBasedonUMLInteractionOverviewDiagramAThesisSubmittedtoChongqingUniversityInPartialFulfillmentoftheRequirementfortheMaster?sDegreeofEngineeringByLiuQingxiangSupervisedbyProf.ZengYiSpecialty:Com
2、puterSoftwareandTheoryCollegeofComputerScienceofChongqingUniversity,Chongqing,ChinaMay2013中文摘要摘要隨著軟件開發(fā)技術(shù)的成熟與應(yīng)用的普及，軟件質(zhì)量的保證面臨新的挑戰(zhàn)，同時也彰顯了軟件測試的重要性。近年來，面向?qū)ο蟮募夹g(shù)的發(fā)展，使基于UML的軟件測試已成為一個重要的研究課題。目前，傳統(tǒng)針對活動圖或者順序圖的單一的模型只能描述系統(tǒng)某一層面的信息，導(dǎo)致測試不充分的問題。如活動圖用來描述系統(tǒng)的業(yè)務(wù)流程，順序圖用來描述系統(tǒng)對象間的交互信息。由于UML是一種半形式化的建模語言，無法精確的描述系統(tǒng)的約束信息，使
3、得基于UML模型產(chǎn)生的測試用例的完備性出現(xiàn)嚴(yán)重不足。針對上述兩個問題，本文采用UML2.0中提出的一種新圖——交互概覽圖（IOD）作為測試模型，它將UML活動圖和順序圖結(jié)合起來描述系統(tǒng)的業(yè)務(wù)流程及交互細(xì)節(jié)，很好的彌補(bǔ)了活動圖和順序圖的缺陷，同時給軟件測試開辟了一個新的領(lǐng)域。目前基于UML2.0交互概覽圖的測試少，而傳統(tǒng)的基于UML活動圖和順序圖的測試已不適用交互概覽圖，因此，本文提出一種基于UML交互概覽圖的測試方法，并結(jié)合OCL約束生成包含約束信息、流程信息和對象交互信息的測試用例。本文主要是結(jié)合于UML交互概覽圖、類圖、順序圖的軟件測試。首先分析UML類圖、交互概覽圖、順序圖的新特
4、性及結(jié)構(gòu)并給出形式化定義，通過在類圖中添加OCL約束來增強(qiáng)UML描述系統(tǒng)的精確性；其次，構(gòu)造可測試交互概覽圖模型。交互概覽圖中不僅包含系統(tǒng)的業(yè)務(wù)流程信息，還包含對象間的交互信息。把IOD的流程結(jié)構(gòu)信息根據(jù)構(gòu)造規(guī)則構(gòu)造為節(jié)點控制流圖（NCFG），把IOD的交互節(jié)點即順序圖中的消息及組合框信息如alt、loop、break等根據(jù)轉(zhuǎn)換規(guī)則轉(zhuǎn)化為消息約束序列圖（MCSD），將MCSD的消息約束路徑替換NCFG中對應(yīng)的交互節(jié)點從而構(gòu)造可測試的交互概覽圖模型。再次，對可測試交互概覽圖模型中的分支、并發(fā)、循環(huán)結(jié)構(gòu)進(jìn)行分析并設(shè)計其測試覆蓋準(zhǔn)則，給出測試線索生成的具體步驟；最后根據(jù)測試線索中的約束條件結(jié)
5、合等價類化劃分法和邊界值分析法構(gòu)造測試輸入數(shù)據(jù)和生成完備的測試用例。通過上述理論研究，本文提出了一種基于UML交互概覽圖的測試框架。在對建模工具RationalSoftwareAchitect（RSA）的XMI模型文件分析的基礎(chǔ)上，開發(fā)了一個基于該框架工具原型，實現(xiàn)了模型信息解析和提取、可測試交互概覽圖的構(gòu)造、測試線索自動生成生成等功能。最后通過實驗實例利用該工具自動生成測試線索，實驗結(jié)果驗證了本文所提方法的可行性和有效性。關(guān)鍵詞：統(tǒng)一建模語言，交互概覽圖，順序圖，測試線索，測試用例I重慶大學(xué)碩士學(xué)位論文II英文摘要ABSTRACTWiththematurityofsoftwarede
6、velopmenttechnologyandthepopularityofapplication,softwarequalityassuranceisnotonlyfacingnewchallenges,butalsohighlightstheimportanceofsoftwaretesting.Inrecentyears,thedevelopmentofobject-orientedtechnology,thesoftwaretestingbasedonUMLhasbecomeanimportantresearchsubject.Atpresent,thesinglemodelca
7、nonlydescribethesysteminformationfromacertainlevelandleadtoinadequatetestingproblem.Forexample，activitydiagramisusedtodescribethebusinessprocessesofsystemandsequencediagramisusedtodescribetheinteractioninformationbetweenobje
