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