【正文】 受系統(tǒng)變化影響的組件。這兩種維護(hù)中發(fā)生的變化同開發(fā)階段發(fā)生的變化很類似。 再測(cè)試全部用例的策略是最安全的策略，但已經(jīng)運(yùn)行過(guò)許多次的回歸測(cè)試不太可能揭示新的錯(cuò)誤，而且很多時(shí)候，由于時(shí)間、人員、設(shè)備和經(jīng)費(fèi)的原因，不允許選擇再測(cè)試全部用例的回歸測(cè)試 策略，此時(shí)，可以選擇適當(dāng)?shù)牟呗赃M(jìn)行縮減的回歸測(cè)試。這些被執(zhí)行的測(cè)試用例可能會(huì)是新的測(cè)試用例，當(dāng)然也會(huì)有選出來(lái)的適當(dāng)?shù)睦系臏y(cè)試用例?；貧w測(cè)試通常就是發(fā)生在被測(cè)試的系統(tǒng)發(fā)生改變時(shí) ，原來(lái)的 bug 已經(jīng)被完全修復(fù)，不會(huì)產(chǎn)生新的問題 。 浙江大學(xué)碩士學(xué)位論文 第 1 章 緒論 5 下面是本論文的 主要工作 ： 1) 我們說(shuō)明了 需求 可追溯性對(duì)于 進(jìn)行 和管理回歸分析和測(cè)試的重要性。這些就是測(cè)試的歷史信息。 Rothermel 和 Harrold[10] 研究了回歸測(cè)試選擇技術(shù)。 2）基于歷史記錄的回歸測(cè)試選擇。一旦這些軟件失效，就會(huì)造成巨大的損失。許多系統(tǒng)都是非常復(fù)雜和龐大的，而且更新?lián)Q代的速度非常驚人。 致謝 ............................................................................................. 錯(cuò)誤 !未定義書簽。其目的是選擇一個(gè)盡可能小并且又能覆蓋所有改變和影響的代碼的測(cè)試用例集。他們的研究包含很廣泛的課題。 2) 基于歷史記錄的回歸測(cè)試選擇。因?yàn)樵谶@個(gè)選擇過(guò)程中完全是根據(jù)測(cè)試的歷史記錄來(lái)進(jìn)行的，那么就必定要求這個(gè)歷史記錄是完整，正確的。浙江大學(xué)碩士學(xué)位論文 第 2 章 回歸測(cè)試 6 第 2章 回歸測(cè)試 引言 Myers 發(fā)現(xiàn)對(duì)已經(jīng)存在的程序進(jìn)行修改比整個(gè)系統(tǒng)重新進(jìn)行編碼更容易產(chǎn)生bug[18]。 4. 獲取和評(píng)估測(cè)試結(jié)果，包括評(píng)估發(fā)生改變的軟 件系統(tǒng)的運(yùn)行情況，報(bào)告回歸測(cè)試集的覆蓋率。 3. 再測(cè)試修改的部分：當(dāng)測(cè)試者對(duì)修改的局部化有足夠的信心時(shí)，可以通過(guò)相依性分析識(shí)別軟件的修改情況并分析修改的影響，將回歸測(cè)試局限于被改變的模塊和它的接口上。完善性維護(hù)是軟件維護(hù)的主要部分，通常占所有軟件維護(hù)工作量的一半以上。問題越可能發(fā)生，問題發(fā)生后的影響越大，那么風(fēng)險(xiǎn)級(jí)別越高。根據(jù) Spanoudaki 的說(shuō)法 [25]，需求的可追溯性可以被用到 ： 1. 協(xié)助驗(yàn)證系統(tǒng)滿足需求的要求。 UML 最適于數(shù)據(jù)建模，業(yè)務(wù)建模，對(duì)象建模，組件建模。 2. 理解工作流：即使我們?cè)谏钊肓私庥美?，我們可以協(xié)同商業(yè)專家畫出活動(dòng)圖，理解業(yè)務(wù)流程及其如何變化的。 3. 起點(diǎn) (Start Marker)：活動(dòng)圖的人口 (最開始的狀態(tài) )。 12. 信息 (Message)：一些發(fā)送到對(duì)象的或者從對(duì)象中發(fā)出的信息。描述的是航空公司的一個(gè)簡(jiǎn)單的訂票系統(tǒng)的系統(tǒng)行為。因?yàn)橄到y(tǒng)必須跟蹤沒一個(gè)訂單，所以消息就被發(fā)送到對(duì)象 Log File 中。在這章中，我們假定我們的測(cè)試用例都是基于活動(dòng)圖來(lái)設(shè)計(jì)的。 對(duì)于同步行為，一旦系統(tǒng)到達(dá)同步 fork 的時(shí)候，所有在 fork 和它對(duì)應(yīng)的 join之間的行為都在同步進(jìn)行，直到下一個(gè)出來(lái)的行為被激發(fā)。 基于活動(dòng)圖設(shè)計(jì)測(cè)試用例 在我們的例子中，我們基于圖 34 設(shè)計(jì)了 5 個(gè)測(cè)試用例，都列在表 32 中。但是，需求必須符合項(xiàng)目開發(fā)時(shí)間和預(yù)算的要求。 設(shè)計(jì)一個(gè)面向?qū)ο蟮能浖到y(tǒng)在系統(tǒng)發(fā)布前都不會(huì)完結(jié)。如果我浙江大學(xué)碩士學(xué)位論文 第 3 章 方法 1：基于活動(dòng)圖的回歸測(cè)試 29 們找到一個(gè)方法可以去跟蹤測(cè)試用例到活動(dòng)圖各個(gè)元素的關(guān)系，那么我們就可以建立需求特征和測(cè)試用例之間的聯(lián)系。對(duì)于每個(gè) node 和 edge，我們列出了相對(duì)應(yīng)的測(cè)試用例。這些活動(dòng)圖已經(jīng)正確地，完全地，一致地，可行地表現(xiàn)了系統(tǒng)的規(guī)范說(shuō)明。一個(gè)好的設(shè)計(jì)必須可以在有限的時(shí)間和預(yù)算中實(shí)施。分析需求必須確保 不會(huì)有歧義的單詞出現(xiàn)在需求文檔。這個(gè)系統(tǒng)幫助用戶去進(jìn)行加拿大元和美元之間的交換。我們?cè)诒疚闹胁挥懻摶诨顒?dòng)圖的測(cè)試用例設(shè)計(jì)過(guò)程。在我們的研究中，活動(dòng)圖的元素可以分成節(jié)點(diǎn)和 邊界 兩類。如果是個(gè)無(wú)賬戶的單獨(dú)的訂票，會(huì)隨著訂單出來(lái)需要支付的信 息，客戶再去支付。它標(biāo)志著用分支標(biāo)識(shí)的條件行為的結(jié)束。它不同于一般的轉(zhuǎn)移，因?yàn)樗恍枰黠@的觸發(fā)器事件，而是通過(guò)完成活動(dòng)（用活動(dòng)狀態(tài)表示）來(lái)觸發(fā)。 活動(dòng)圖的元素 一個(gè)活動(dòng)圖的核心標(biāo)志是活動(dòng)狀態(tài)或者說(shuō)是簡(jiǎn)單的活動(dòng)。另一種可視化形式是狀態(tài)圖。 UML 為面向?qū)ο箝_發(fā)系統(tǒng)的產(chǎn)品進(jìn)行說(shuō)明、可視化、和編制文檔的一種標(biāo)準(zhǔn)語(yǔ)言。 “需求的可追溯性”這個(gè)專用名詞最初是來(lái)自美 國(guó)國(guó)防部。 在我們的研究中，我們使用 UML 中的 活動(dòng)圖作為需求分析和設(shè)計(jì)的 工具 ，尤其是作為工作流的標(biāo)記。 2. 適應(yīng)性維護(hù) (Adaptive Maintenance)： 適應(yīng)性維護(hù)是為使軟件系統(tǒng)適應(yīng)不浙江大學(xué)碩士學(xué)位論文 第 2 章 回歸測(cè)試 11 斷變化的運(yùn)行環(huán)境而進(jìn)行修改的活動(dòng)。 測(cè)試用例 選擇 過(guò)程圖 22 所示。利用回歸分析和測(cè)試，我們可以僅僅重 新測(cè)試受到影響到得那部分軟件系統(tǒng)。 本文結(jié)構(gòu)組織 文章剩下部分組織結(jié)構(gòu)如下： 第二章：主要描述回歸測(cè)試的背景知識(shí)，相關(guān)技術(shù)。測(cè)試人員不得不去花很多時(shí)間去讀懂代碼，而且對(duì)測(cè)試人員的要求會(huì)很高。 先采用一些分解術(shù)將復(fù)雜的程序分解成一個(gè)個(gè)相對(duì)較小的片段來(lái)進(jìn)行分析和維護(hù)。而基于歷史記錄的回歸測(cè)試選擇要求測(cè)試的所有記錄非常完善，很多時(shí)候我們達(dá)不到要求。而隨著軟件規(guī)模的日益龐大，回歸測(cè)試的成本也相應(yīng)增大，甚至達(dá)到整個(gè)測(cè)試成本的一半以上 [3]。 2）提出了一個(gè)基于活動(dòng)圖的回歸測(cè)試選擇策略，用來(lái)選擇回歸測(cè)試用例。 主要研究?jī)?nèi)容及成果包括以下幾個(gè)方面： 1） 分析了需求的可跟蹤性對(duì)于進(jìn)行和管理回歸分析和測(cè)試的重要性。其目的是保證程序在修改后不會(huì)引入新的錯(cuò)誤 [2]。基于代碼的回歸測(cè)試選擇對(duì)測(cè)試人員要求很高，需要測(cè)試人員閱讀并理解代碼，這需要很多的時(shí)間花費(fèi)，并且是依賴于編程語(yǔ)言的。這個(gè)方法是通過(guò)比較修改前后對(duì)應(yīng)代碼對(duì)基線測(cè)試用例進(jìn)行選擇，從而得到回歸測(cè)試用例集的一種技術(shù) [28]。這個(gè)需要就會(huì)產(chǎn)生一些實(shí)際的問題。 提供了基于風(fēng)險(xiǎn)的回歸測(cè)試選擇技術(shù)，作為基于活動(dòng)圖的回歸測(cè)試技術(shù)的有效補(bǔ)充。 圖 回歸測(cè)試技術(shù) 回歸分析的討論 對(duì)僅僅發(fā)生少量變化的軟件系統(tǒng)進(jìn)行完全的測(cè)試是很昂貴的行為，尤其是對(duì)于大型系統(tǒng)。 2) 過(guò)時(shí)的測(cè)試用例：這些測(cè)試用例對(duì)于發(fā)生改變的規(guī)格說(shuō)明和執(zhí)行已經(jīng)是不相關(guān)或已經(jīng)過(guò)時(shí)了。軟件交付使用后，用戶將成為新的測(cè)試人員，在使用過(guò)程中，一旦發(fā)現(xiàn)錯(cuò)誤，他們會(huì)向開發(fā)人員報(bào)告并要求維護(hù)。浙江大學(xué)碩士學(xué)位論文 第 3 章 方法 1：基于活動(dòng)圖的回歸測(cè)試 13 第 3章 方法 1：基于活動(dòng)圖的回歸測(cè)試 引言 軟件的規(guī)范說(shuō)明階段 (specification phase)對(duì)于軟件的整體開發(fā)過(guò)程來(lái)說(shuō)是一個(gè)非常重要的階段， UML 方法是目前比較流行的軟件工程開發(fā)方法，它對(duì)軟件整體開發(fā)過(guò)程提供了一套有用的模型。 需求的可追溯性是為了 找出因?yàn)樾枨笞兓艿?影響的組件和 選擇出 相應(yīng)的測(cè)試用例的一個(gè) 基本要求 。 統(tǒng)一建模語(yǔ)言（ UML 是 Unified Modeling Language 的縮寫）是用來(lái)對(duì)軟件浙江大學(xué)碩士學(xué)位論文 第 3 章 方法 1：基于活動(dòng)圖的回歸測(cè)試 15 密集系統(tǒng)進(jìn)行可視化建模的一種語(yǔ)言。 活動(dòng)圖用途及優(yōu)缺點(diǎn)： 活動(dòng)圖用于對(duì)系統(tǒng)的動(dòng)態(tài)行為建模，它是 系統(tǒng)行為 狀態(tài)的一種可視化形式。因?yàn)樵诿嫦驅(qū)ο箝_發(fā)過(guò)程中，需求分析和設(shè)計(jì)工作有時(shí)候相互混合在一起，所以活動(dòng)圖，作為分析和設(shè)計(jì)階段的成果，可以比最原始的需求包含更多的信息。這種轉(zhuǎn)移 可稱為完成轉(zhuǎn)移。 2) 融合：一個(gè)融合有多個(gè)進(jìn)入的轉(zhuǎn)移和一個(gè)出來(lái)的轉(zhuǎn)移。如果這個(gè)訂單是個(gè)預(yù)定，系統(tǒng)會(huì)根據(jù)消費(fèi)者的賬戶信息找到指定銀行賬號(hào)，用這個(gè)銀行賬號(hào)支付相應(yīng)的訂單的數(shù)額，同時(shí)會(huì)在這個(gè)賬戶上增加獎(jiǎng)勵(lì)的點(diǎn)數(shù)?；顒?dòng)圖可以看成這么一種圖，它可以表達(dá)許多東西，尤其是控制流關(guān)系，因此 也為設(shè)計(jì)測(cè)試提供豐富的信息。 Binder 總結(jié)了對(duì)應(yīng)每一個(gè) UML 圖的測(cè)試策略，提供了完整的供 參考的 UML 圖和測(cè)試設(shè)計(jì)步驟 [7]。這是個(gè)在線外匯交易系統(tǒng)。測(cè)試需求包括下面 3 個(gè)方面的基本問題 [27]： 1. 正確性：需求必須清楚地表達(dá)客戶的真實(shí)意愿。 浙江大學(xué)碩士學(xué)位論文 第 3 章 方法 1：基于活動(dòng)圖的回歸測(cè)試 28 3. 適用性：對(duì)于一個(gè)項(xiàng)目來(lái)說(shuō)，時(shí)間和預(yù)算總是有限的。但是，安全起見，我們規(guī)定了如下的假設(shè)： 假設(shè)：我們假設(shè)活動(dòng)圖已經(jīng)被 基線測(cè)試 檢測(cè)過(guò)了。在這個(gè)模型中，測(cè)試用例作為因變數(shù)。 (看圖 35)。在進(jìn)行下一個(gè)階段之前，必須達(dá)到下面兩個(gè)方面的標(biāo)準(zhǔn)： 1. 開發(fā)團(tuán)隊(duì)必須有足夠的信心根據(jù)設(shè)計(jì)的架構(gòu)將系統(tǒng)開發(fā)出來(lái)，同時(shí)要充分考慮到存在的風(fēng)險(xiǎn)。一旦客戶同意這個(gè)需求，就到了設(shè)計(jì)階段。在測(cè)試集中，每個(gè)測(cè)試用例都對(duì)應(yīng)一個(gè)從起點(diǎn)到終點(diǎn)的路徑，都測(cè)試一個(gè)特定的系統(tǒng)功能。這些同步線程執(zhí)行是由在執(zhí)行的系統(tǒng)控制。 每個(gè)測(cè)試用例設(shè)計(jì)出來(lái)都是 有一定得測(cè)試目的。 浙江大學(xué)碩士學(xué)位論文 第 3 章 方法 1：基于活動(dòng)圖的回歸測(cè)試 22 UML 活動(dòng)圖記錄單個(gè)操作或方法的邏輯、單個(gè)用例或商業(yè)過(guò)程的邏輯流程。 實(shí)心圓表示活動(dòng)圖的起點(diǎn)，實(shí)際上是一個(gè)占位符，帶邊框的實(shí)心圓表示終點(diǎn)。 13. 泳道和時(shí)標(biāo)：活動(dòng)圖中泳道區(qū)分了其中活動(dòng)的不同職責(zé)，在泳道圖中，每一個(gè)活動(dòng)都只能明確地屬于一個(gè)泳道。每個(gè)活動(dòng)圖只有一個(gè)起點(diǎn)。 3. 描述一個(gè)復(fù)雜的連續(xù)的運(yùn)算法則 4. 處理多線程應(yīng)用：活動(dòng)圖有一系列的元素去描述多線程應(yīng)用的系統(tǒng)行為。 UML 作為一種模型語(yǔ)言，它使開發(fā)人員專注于建立產(chǎn)品的模型和結(jié)構(gòu)，而不是選用什么程序語(yǔ)言和算法實(shí)現(xiàn)。 2. 確認(rèn)軟件需求說(shuō)明變化的影響。風(fēng)險(xiǎn)是所有測(cè)試的動(dòng)力所在。 在適應(yīng)性維護(hù)和完善性維護(hù)階段里，軟件系統(tǒng) 的變化是由于用戶需求或者系統(tǒng)的規(guī)格說(shuō)明的變化。通常，一個(gè)回歸錯(cuò)誤一定涉及一個(gè)新的、修改的或刪除的代碼段。 5. 修改測(cè)試計(jì)劃以符合下一個(gè)階段的回歸分析和測(cè)試?；貧w測(cè)試 是 被用來(lái)確認(rèn)被修復(fù)的 bug 已經(jīng)真正的被修復(fù)了，同時(shí)在這個(gè)過(guò)程中沒有產(chǎn)生新的 bug，系統(tǒng)的功能還要符合需求的規(guī)定。但是，實(shí)際情況是，很多項(xiàng)目的測(cè)試歷史記錄是不完整的。就是以測(cè)試用例執(zhí)行的歷史記錄數(shù)據(jù)為依據(jù)進(jìn)行回歸測(cè)試選擇 [29]。例如，Brown 和 Hoffman[8] 研究了測(cè)試環(huán)境和自動(dòng)化回歸測(cè)試過(guò)程。目前回歸測(cè)試選浙江大學(xué)碩士學(xué)位論文 第 1 章 緒論 2 擇的研究，主要包括： 1）基于代碼信息的回歸測(cè)試選擇。 浙江大學(xué)碩士學(xué)位論文 圖目錄 III 圖目錄 圖 回歸測(cè)試技術(shù) .......................................................................................................... 7 圖 回歸測(cè) 試用例選擇 .................................................................................................. 9 圖 活動(dòng)圖例子 ............................................................................................................ 20 圖 同步行為 ................................................................................................................ 23 圖 一個(gè)取得匯率報(bào)價(jià)的模塊的活動(dòng)圖 .................................................................... 24 圖 簡(jiǎn)化后的活動(dòng)圖 .................................................................................................... 25 圖 建 立需求特征和測(cè)試用例之間的可跟蹤的聯(lián)系 ................................................ 26 圖 需求特征和測(cè)試用例間的可跟蹤性的聯(lián)系鏈 .................................................... 30 圖 取得報(bào)價(jià)的功能 模塊 實(shí)施中發(fā)生錯(cuò)誤和變化 .................................................... 32 圖 控制流圖 C 和改變后的 C’................................................................................... 33 圖 圖 45 中的活動(dòng)圖的改 變 ......................................