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

【文章來源】：杭州電子科技大學浙江省

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

【學位級別】：碩士

【部分圖文】：

opt組合片段的順序圖對應的時間自動機

alt組合片段的順序圖以及對應的時間自動機

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

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

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

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



本文編號：3074773