【正文】 ? 167。 軟件視圖示例 信息庫 視圖編輯器 DFD 視圖編輯器 Petri網(wǎng) 視圖編輯器 ERA圖 視圖編輯器 跟蹤矩陣 X X X Req1 Req2 Prog1 Prog2 Prog3 視圖編輯器 程序結(jié)構(gòu)圖 視圖編輯器 流程圖 視圖編輯器 規(guī)格說明 再工程信息庫及其產(chǎn)品 軟件文檔 分析結(jié)果 信息庫 設(shè)計(jì)成果 規(guī)格說明 各種圖 度量值 分析、分解器 源程序或其模板 (進(jìn)入點(diǎn) ) 源程序 自動(dòng)進(jìn)行再工程的過程 軟件 軟件的 新視圖 語法分析器 語義分析器 視圖合成器 信息庫 其他 產(chǎn)品 經(jīng)過再工程 過程可獲得 的信息 ?格式 ?圖形 ?文檔 ?度量值 ?邏輯 ?報(bào)告 軟件再工程技術(shù) 再工程課題 相關(guān)技術(shù) 重構(gòu) 文檔重寫、加注釋、更新文檔 復(fù)用工程 重新劃分模塊 數(shù)據(jù)再工程 業(yè)務(wù)過程再工程 可維護(hù)性分析、業(yè)務(wù)量分析、經(jīng)濟(jì)分析 理解軟件 改進(jìn)軟件 獲取、保存及 擴(kuò)充軟件的知識(shí) 分解 逆向工程、恢復(fù)設(shè)計(jì) 對(duì)象恢復(fù) 程序理解 知識(shí)庫及變換 瀏覽 分析、度量 逆向工程、恢復(fù)設(shè)計(jì) （ 1）軟件重構(gòu) 對(duì)軟件進(jìn)行改造，使其易于理解或易于維護(hù)。 軟件工具 定義： 用來輔助軟件開發(fā)、運(yùn)行、維 護(hù)、管理、支持等過程中的活 動(dòng)的軟件成為軟件工具 . 分類： 按軟件過程活動(dòng)分類 ?支持軟件開發(fā)過程的工具 ?支持軟件維護(hù)過程的工具 ?支持軟件管理過程和支持過程的工具 167。 大型軟件開發(fā)環(huán)境 青鳥系統(tǒng)簡(jiǎn)介 集成化軟件工程環(huán)境青鳥 II系 統(tǒng) (JB2) 特點(diǎn)： ?環(huán)境主要目標(biāo)之一：支持 OO軟件開發(fā) ?集成性和開放性的統(tǒng)一。 (3)規(guī)定的功能 (4)成功運(yùn)行 167。 什么是容錯(cuò)軟件？ 定義 1：規(guī)定功能的軟件，在一定程度 上對(duì)自身錯(cuò)誤的作用具有屏蔽 能力的軟件； 定義 2：規(guī)定功能的軟件，在一定程度 上能從錯(cuò)誤狀態(tài)自動(dòng)恢復(fù)到正 常狀態(tài)的軟件； 定義 3：規(guī)定功能的軟件，在因錯(cuò)誤而 發(fā)生錯(cuò)誤時(shí)，仍能在一定程度 上完成預(yù)期的功能的軟件； 容錯(cuò)的一般方法 實(shí)現(xiàn)容錯(cuò)計(jì)算的方法： ?錯(cuò)誤檢測(cè)算法 ?錯(cuò)誤恢復(fù)算法 容錯(cuò)資源 ?軟件冗余備份 實(shí)現(xiàn)容錯(cuò)計(jì)算的主要手段是 冗余 主體： 常規(guī)軟件所需資源 附加體：容錯(cuò)資源 容錯(cuò)軟件 容錯(cuò)的一般方法 冗余技術(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)動(dòng)態(tài)冗余 :多重模塊待機(jī)儲(chǔ)備 ,相繼運(yùn)行 M1 M2 M3 主模塊 備用 I 待機(jī)儲(chǔ)備系統(tǒng)結(jié)構(gòu) 開關(guān) Mn …. 備用 備用 (3)混合冗余 H（ N， K） M1 M2 Mk I H（ N， K） 系統(tǒng)結(jié)構(gòu) 開關(guān) Mn …. Mk+1 …. V 轉(zhuǎn) 換 開 關(guān) 冗余技術(shù)分類： 以檢測(cè)或糾正信息在運(yùn)算或傳輸中的錯(cuò)誤為目的而外加的一部分信息。 軟件質(zhì)量 影響軟件質(zhì)量的因素 ?人的因素 ?軟件需求 ?測(cè)試的局限性 ?質(zhì)量管理的困難 ?軟件人員的傳統(tǒng)習(xí)慣 ?開發(fā)規(guī)范 ?開發(fā)工具支持不夠 什么是軟件質(zhì)量 成本 可靠 維護(hù) 及時(shí) 交付 正確 功能 功能 成本 及時(shí) 交付 軟件質(zhì)量的若干側(cè)面 McCall提出的表明軟件質(zhì)量 的 11個(gè)質(zhì)量特性 ▲ 使用性 ▲ 測(cè)試性 ▲ 正確性 ▲ 維護(hù)性 ▲ 可靠性 ▲ 移植性 ▲ 效率 ▲ 重用性 ▲ 完整性 ▲ 互操作性 ▲ 適應(yīng)性 (靈活性 ) 國(guó)際標(biāo)準(zhǔn)和國(guó)家標(biāo)準(zhǔn)規(guī)定的 質(zhì)量特性 ISO/IEC 91261991 Information technology software product evaluation quality characteristics and guidelines for their use 我國(guó) 1996年將其等同采用 ： GB/T162601996 軟件產(chǎn)品評(píng)價(jià) 質(zhì)量特性及其使用指南 產(chǎn)品質(zhì)量與過程質(zhì)量 產(chǎn)品質(zhì)量 開發(fā)技術(shù) 成本、 時(shí)間、進(jìn)度 過程質(zhì)量 人員素質(zhì) 影響產(chǎn)品質(zhì)量的 4個(gè)方面 167。 在 CASE工具輔助下進(jìn)行軟件開發(fā) , 可 提高開發(fā)效率、改善軟件質(zhì)量 。 再工程是在同一類視圖或前一類視圖上把一個(gè)軟件視圖的信息變換成另一視圖的信息。 預(yù)防性維護(hù) 開發(fā)和維護(hù)者不應(yīng)等待用戶的維護(hù)申 請(qǐng) , 可先選擇以下類型程序作為預(yù)防 性維護(hù)對(duì)象 : (1)預(yù)計(jì)若干年內(nèi)將繼續(xù)使用的程序 (2)當(dāng)今正成功使用的程序 (3)最近的將來要進(jìn)行大修改和完善的 程序 167。 ?推測(cè)錯(cuò)誤的產(chǎn)生頻度 ?推測(cè)殘留在程序中的錯(cuò)誤數(shù) ?評(píng)價(jià)測(cè)試的精確度和覆蓋率 推測(cè)錯(cuò)誤的產(chǎn)生頻度 （推測(cè)錯(cuò)誤產(chǎn)生的時(shí)間間隔） 1 K(ET/IT Ec(t)/IT) 方法 :估算平均故障時(shí)間 (MTTF估算公式 )當(dāng)故障率為獨(dú)立于時(shí)間的常量 λ : MTTF＝ K : 經(jīng)驗(yàn)常數(shù) ET : 程序中原有的殘留錯(cuò)誤數(shù) IT : 程序長(zhǎng)度 t: 測(cè)試時(shí)間 Ec(t):在 0t期間內(nèi)發(fā)現(xiàn)的錯(cuò)誤總數(shù) λ 1 = 推測(cè)殘留在程序中的錯(cuò)誤數(shù) 錯(cuò)誤植入模型 Mills將 播種模型 用于程序中殘留錯(cuò)誤的估算 ,稱 錯(cuò)誤植入模型 播種模型： N： 程序中原有殘留的錯(cuò)誤數(shù) Nt：新植入的錯(cuò)誤數(shù) n: 測(cè)試發(fā)現(xiàn)的原有錯(cuò)誤數(shù) nt :測(cè)試發(fā)現(xiàn)的植入錯(cuò)誤數(shù) N N n n t ≈ t N N n n t = t Hyman對(duì)錯(cuò)誤植入模型的改進(jìn) ET: 程序中原有的殘留錯(cuò)誤數(shù) E1: 1號(hào)測(cè)試員在某一時(shí)間內(nèi)發(fā)現(xiàn)的錯(cuò)誤數(shù) E2: 2號(hào)測(cè)試員在同一時(shí)間內(nèi)發(fā)現(xiàn)的錯(cuò)誤數(shù) E0: 兩位測(cè)試員共同發(fā)現(xiàn)的錯(cuò)誤數(shù) E E E E 1 ≈ 0 = 2 T E T E 1 E 2 /E 0 第七章 軟件維護(hù)與軟件再工程 167。 (糾錯(cuò)技術(shù) ) 測(cè)試 是找出軟件錯(cuò)誤的過程， 調(diào)試 是確定錯(cuò)誤的位置 、 性質(zhì) 并糾正。 三 .消去原因 (cause limination) 列出可能原因 ,逐個(gè)排除 ,找出問題 (1) 試探法 (2) 歸納法 (3) 演繹法 (4) 二分查找法 (1) 歸納法 收集 有關(guān) 數(shù)據(jù) 組織 數(shù)據(jù) 構(gòu)造 線索 研究 線索 關(guān)系 假設(shè) 錯(cuò)誤 原因 證明 假設(shè) 糾正 錯(cuò)誤 能 不 能 證 明 線索 關(guān)系 錯(cuò)誤 線索 能 不能 (2) 演繹法 列