隨著計(jì)算機(jī)在人們生活與工作中的普及,軟件可靠性越來(lái)越受到重視�；谀Ｐ万�(qū)動(dòng)的軟件測(cè)試可以在軟件開發(fā)早期發(fā)現(xiàn)缺陷,在軟件設(shè)計(jì)時(shí)期幫助開發(fā)人員修正錯(cuò)誤,能夠有效降低測(cè)試的成本。由于現(xiàn)有基于模型驅(qū)動(dòng)的軟件測(cè)試往往只滿足了需求的覆蓋度,容易出現(xiàn)測(cè)試用例集冗余過(guò)高的問(wèn)題,導(dǎo)致測(cè)試執(zhí)行成本高,錯(cuò)誤檢測(cè)效率低。因此本文將基于模型驅(qū)動(dòng)的軟件測(cè)試作為研究方向,將設(shè)計(jì)模型轉(zhuǎn)換為測(cè)試模型,再根據(jù)測(cè)試模型自動(dòng)生成測(cè)試用例,最后進(jìn)行測(cè)試用例優(yōu)先級(jí)排序,實(shí)現(xiàn)一套完善的測(cè)試體系。UML順序圖是一種半形式化的模型,半形式化的模型難以作為測(cè)試模型來(lái)使用。現(xiàn)有的順序圖轉(zhuǎn)換方法僅提供了基本的轉(zhuǎn)換思路,能完成基本順序圖到測(cè)試模型的轉(zhuǎn)換,但未考慮到多順序圖之間嵌套引用帶來(lái)的轉(zhuǎn)換問(wèn)題,無(wú)法適用于復(fù)雜模型的轉(zhuǎn)換。本文提出了一種模型轉(zhuǎn)換方法,該方法將非完全形式化的順序圖模型轉(zhuǎn)換為時(shí)間自動(dòng)機(jī)模型,針對(duì)多順序圖之間的嵌套引用關(guān)系帶來(lái)的轉(zhuǎn)換問(wèn)題,提出順序圖合并子圖的方法與轉(zhuǎn)換規(guī)則。針對(duì)復(fù)雜系統(tǒng)中測(cè)試用例規(guī)模龐大的問(wèn)題,提出一種測(cè)試用例生成方法,生成數(shù)量少且質(zhì)量高的測(cè)試用例。現(xiàn)有的測(cè)試用例排序方法往往只考慮到方法或函數(shù)的覆蓋度,未考慮到不同... 

【文章來(lái)源】：杭州電子科技大學(xué)浙江省

【文章頁(yè)數(shù)】：76 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

opt組合片段的順序圖對(duì)應(yīng)的時(shí)間自動(dòng)機(jī)

alt組合片段的順序圖以及對(duì)應(yīng)的時(shí)間自動(dòng)機(jī)

描述了含有 loop 組合片段的順序圖轉(zhuǎn)換為時(shí)間自動(dòng)機(jī)行邏輯相當(dāng)于程序代碼中的 while 循環(huán)，如果 loop 中片段中的消息事件，當(dāng)執(zhí)行完此組合片段中的消息事則重新從此 loop 組合片段的首個(gè)消息事件開始執(zhí)行到時(shí)間自動(dòng)機(jī)的步驟：獲取順序圖的所有轉(zhuǎn)換所需的信息：順序圖中含有的中每條消息上的消息名、時(shí)間約束；若該順序圖含有則需要讀取 loop 的約束條件，以及它包含的消息序消息的數(shù)量確定狀態(tài)的數(shù)量，對(duì)于每一個(gè)時(shí)間自動(dòng)機(jī)態(tài) s0，若消息數(shù)量為 n，則可以確定 s1到 sn的狀態(tài)。矩陣的創(chuàng)建。loop 組合片段中的消息順序執(zhí)行，順序約束條件則產(chǎn)生回路，在此例子中，若 x>0，則 s1將0，則 s1將遷移到 s3，在到達(dá) s2后，若仍滿足 x>0，則鄰接矩陣連接 s0到 sn各個(gè)狀態(tài)之間的遷移，得到最時(shí)間自動(dòng)機(jī)。

【參考文獻(xiàn)】：
期刊論文
[1]基于B方法的UML模型形式化轉(zhuǎn)換的應(yīng)用研究[J]. 沈利.  信息技術(shù)與信息化. 2017(10)
[2]基于定值-引用鏈的測(cè)試用例優(yōu)先級(jí)排序算法[J]. 潘麗麗,王天鍔,秦姣華,向旭宇.  計(jì)算機(jī)科學(xué). 2017(04)
[3]基于模型驅(qū)動(dòng)的嵌入式軟件測(cè)試技術(shù)研究[J]. 雷海申,王軼辰.  網(wǎng)絡(luò)空間安全. 2016(08)
[4]基于策略推導(dǎo)的訪問(wèn)控制漏洞測(cè)試用例生成方法[J]. 文碩,許靜,苑立英,李曉虹,徐思涵,司冠南.  計(jì)算機(jī)學(xué)報(bào). 2017(12)
[5]基于圈復(fù)雜度的靜態(tài)測(cè)試用例排序方法[J]. 陳夢(mèng)云,高建華.  計(jì)算機(jī)應(yīng)用與軟件. 2016(01)
[6]多目標(biāo)優(yōu)化的測(cè)試用例優(yōu)先級(jí)在線調(diào)整策略[J]. 張娜,姚瀾,包曉安,董萌,桂寧.  軟件學(xué)報(bào). 2015(10)
[7]一種基于PSO優(yōu)化算法的測(cè)試用例集約簡(jiǎn)方法[J]. 黃一清.  機(jī)電設(shè)備. 2015(S1)
[8]一種軟件自適應(yīng)UML建模及其形式化驗(yàn)證方法[J]. 韓德帥,楊啟亮,邢建春.  軟件學(xué)報(bào). 2015(04)
[9]基于路徑的有向圖頂點(diǎn)的重要度計(jì)算方法[J]. 李明,趙潔,鄭平,王婷.  甘肅高師學(xué)報(bào). 2015(02)
[10]大數(shù)據(jù)下基于異步累積更新的高效P-Rank計(jì)算方法[J]. 王旭叢,李翠平,陳紅.  軟件學(xué)報(bào). 2014(09)

博士論文
[1]構(gòu)件化嵌入式軟件設(shè)計(jì)的分析與驗(yàn)證[D]. 胡軍.南京大學(xué) 2005

碩士論文
[1]利用遺傳算法生成基于MC/DC的回歸測(cè)試數(shù)據(jù)[D]. 韓瑩.南華大學(xué) 2016
[2]基于Additional策略回歸測(cè)試用例優(yōu)先級(jí)排序優(yōu)化研究[D]. 唐海鵬.西南大學(xué) 2015
[3]Web應(yīng)用的測(cè)試用例優(yōu)化生成與優(yōu)先級(jí)技術(shù)[D]. 常龍輝.上海大學(xué) 2015
[4]基于XYZ/SE的C/S體系結(jié)構(gòu)風(fēng)格研究[D]. 劉曼霞.湖南大學(xué) 2013
[5]回歸測(cè)試中測(cè)試用例優(yōu)先級(jí)技術(shù)的改進(jìn)與實(shí)現(xiàn)[D]. 吳堃.南京大學(xué) 2012
[6]UML2.0序列圖到事件確定有限自動(dòng)機(jī)轉(zhuǎn)換的研究[D]. 張祎民.西安電子科技大學(xué) 2012
[7]基于接口自動(dòng)機(jī)的嵌入式軟件驗(yàn)證技術(shù)及支撐工具研究[D]. 徐丙鳳.南京航空航天大學(xué) 2009
[8]基于UML需求建模的一種形式化分析方法及其應(yīng)用[D]. 江春.蘇州大學(xué) 2009
[9]通信軟件結(jié)構(gòu)測(cè)試關(guān)鍵技術(shù)的研究及插樁器實(shí)現(xiàn)[D]. 劉玉東.北京交通大學(xué) 2008
[10]基于UML的軟件系統(tǒng)建模應(yīng)用研究[D]. 吳麗影.長(zhǎng)春理工大學(xué) 2007



本文編號(hào)：3074773