【正文】 件維護的特點 M P+K e = (cd ) M : 維護工作總工作量 P : 生產(chǎn)性工作量 K : 經(jīng)驗常數(shù) c : 復(fù)雜度 d : 對該軟件熟悉程度的度量 維護的成本 維護中的典型問題 (1)難以跟蹤軟件版本的進化過程 , 軟件的變化未在文檔中反映出來 . (2)難以跟蹤軟件的創(chuàng)建過程 . (3)難以讀懂他人程序 . (4)無文檔或不全 . (5)軟件人員流動性大 . (6)設(shè)計時未考慮修改需要 ,修改困難 . (7)維護工作無吸引力 ,缺乏成就感 . 167。 衡量軟件質(zhì)量的幾個主要質(zhì)量特性： ?可維護性 ?可使用性 ?可靠性 可維護性的度量 度量程序可維護性的 7個特性在各類維護 中的側(cè)重點 改正性維護 適應(yīng)性維護 完善性維護 可理解性 ? 可測試性 ? 可修改性 ? ? 可靠性 ? 可移植性 ? 可使用性 ? ? 效率 ? 167。 軟件再工程 是一類軟件工程活動， 是一個工程過程 ,它將 逆向工程 、 重構(gòu) 和 正向工程 組合起來 ,將現(xiàn)存系統(tǒng)重新構(gòu)造為新的形式。 軟件視圖示例 信息庫 視圖編輯器 DFD 視圖編輯器 Petri網(wǎng) 視圖編輯器 ERA圖 視圖編輯器 跟蹤矩陣 X X X Req1 Req2 Prog1 Prog2 Prog3 視圖編輯器 程序結(jié)構(gòu)圖 視圖編輯器 流程圖 視圖編輯器 規(guī)格說明 再工程信息庫及其產(chǎn)品 軟件文檔 分析結(jié)果 信息庫 設(shè)計成果 規(guī)格說明 各種圖 度量值 分析、分解器 源程序或其模板 (進入點 ) 源程序 自動進行再工程的過程 軟件 軟件的 新視圖 語法分析器 語義分析器 視圖合成器 信息庫 其他 產(chǎn)品 經(jīng)過再工程 過程可獲得 的信息 ?格式 ?圖形 ?文檔 ?度量值 ?邏輯 ?報告 軟件再工程技術(shù) 再工程課題 相關(guān)技術(shù) 重構(gòu) 文檔重寫、加注釋、更新文檔 復(fù)用工程 重新劃分模塊 數(shù)據(jù)再工程 業(yè)務(wù)過程再工程 可維護性分析、業(yè)務(wù)量分析、經(jīng)濟分析 理解軟件 改進軟件 獲取、保存及 擴充軟件的知識 分解 逆向工程、恢復(fù)設(shè)計 對象恢復(fù) 程序理解 知識庫及變換 瀏覽 分析、度量 逆向工程、恢復(fù)設(shè)計 （ 1）軟件重構(gòu) 對軟件進行改造，使其易于理解或易于維護。 逆向工程與再工程十分相似，只是兩者的原始視圖和目標視圖不同，它的目標視圖一般在前類視圖中。 軟件工具 定義： 用來輔助軟件開發(fā)、運行、維 護、管理、支持等過程中的活 動的軟件成為軟件工具 . 分類： 按軟件過程活動分類 ?支持軟件開發(fā)過程的工具 ?支持軟件維護過程的工具 ?支持軟件管理過程和支持過程的工具 167。 CASE中心庫也稱為“軟件總線” CASE中心庫也是一個存放地，結(jié)合了高級的集成 CASE工具的機制。 大型軟件開發(fā)環(huán)境 青鳥系統(tǒng)簡介 集成化軟件工程環(huán)境青鳥 II系 統(tǒng) (JB2) 特點： ?環(huán)境主要目標之一：支持 OO軟件開發(fā) ?集成性和開放性的統(tǒng)一。 質(zhì)量保證的主要功能 ?質(zhì)量方針的制定和展開 ?質(zhì)量保證方針的質(zhì)量保證標準的制定 ?質(zhì)量保證體系的建立和管理 ?各階段的質(zhì)量評審 質(zhì)量保證的實施 質(zhì)量度量方法 ISO建議的軟件質(zhì)量評價標準分為三級 : 高層 :質(zhì)量需求評價準則 (SQRC) 中層 :質(zhì)量設(shè)計評價準則 (SQDC) 低層 :質(zhì)量度量評價準則 (SQMC) ISO建議的軟件質(zhì)量度量模型 正 確 性 可 跟 蹤 性 完 備 性 準 確 性 容 錯 性 簡 潔 性 模 塊 性 通 用 性 擴 充 性 可 容 性 效 率 安 全 性 可維護性 適 應(yīng) 性 連 接 性 SQDC SQRC SQMC 可 用 性 一 致 性 由各使用 單位根據(jù) 實際情況 決定 能用于軟件質(zhì)量定量評價的軟件度量 ?美國國防部 AD報告 :把質(zhì)量表現(xiàn)形式 歸納為 190多個 問題 。 (3)規(guī)定的功能 (4)成功運行 167。 常用的程序復(fù)算方法： 程序滾回技術(shù) 出錯 …… t0 t1 t2 t3 ti1 ti ti+1 i1 i 程序滾回示意圖 1 2 3 時刻 t0， t1， t2， …. 對應(yīng)于程序中預(yù)先設(shè)置好的恢復(fù)點 軟件的容錯系統(tǒng)結(jié)構(gòu) 把同一功能的不同版本的程序 (多為子系統(tǒng)或模塊級 )并行聯(lián)結(jié)到系統(tǒng)中 ,構(gòu)成冗余并行模型 . 版本 1 版本 2 版本 3 …... 表決 同一功能 多版本程序示意圖 2. 恢復(fù)塊結(jié)構(gòu) 要求做容錯的塊 (基本塊 ) 提供： 備份塊 (獨立設(shè)計的相應(yīng)冗余備份 ) 附加的錯誤檢驗 恢復(fù)措施 恢復(fù)塊 Ensure 接受測試 By 基本塊 Else By備份塊 1 …… Else By備份塊 n Else 錯誤 恢復(fù)塊的工作方式 保存現(xiàn)場 隊空 從恢復(fù)塊的備份塊 隊列中取一個模塊 激活此模塊 執(zhí)行此模塊 恢復(fù)現(xiàn)場 接受測試 T 有問題 顯示錯誤及位置 繼續(xù)執(zhí)行后續(xù)工作 通過 不通過 。 什么是容錯軟件？ 定義 1：規(guī)定功能的軟件，在一定程度 上對自身錯誤的作用具有屏蔽 能力的軟件； 定義 2：規(guī)定功能的軟件，在一定程度 上能從錯誤狀態(tài)自動恢復(fù)到正 常狀態(tài)的軟件； 定義 3：規(guī)定功能的軟件，在因錯誤而 發(fā)生錯誤時，仍能在一定程度 上完成預(yù)期的功能的軟件； 容錯的一般方法 實現(xiàn)容錯計算的方法： ?錯誤檢測算法 ?錯誤恢復(fù)算法 容錯資源 ?軟件冗余備份 實現(xiàn)容錯計算的主要手段是 冗余 主體： 常規(guī)軟件所需資源 附加體：容錯資源 容錯軟件 容錯的一般方法 冗余技術(shù)分類： (1)靜態(tài)冗余： 3模冗余、多模冗余 U M1 M2 M3 V u2 u1 u3 I 3模（ TMR）表決系統(tǒng)的結(jié)構(gòu) 表決器 U=(u1∧ u2)∨ (u2∧ u3)∨ =(u1∧ u3) (2)動態(tài)冗余 :多重模塊待機儲備 ,相繼運行 M1 M2 M3 主模塊 備用 I 待機儲備系統(tǒng)結(jié)構(gòu) 開關(guān) Mn …. 備用 備用 (3)混合冗余 H（ N， K） M1 M2 Mk I H（ N， K） 系統(tǒng)結(jié)構(gòu)