【正文】 ?復(fù)雜性分析與分析結(jié)果列表的自動化 ?軟件質(zhì)量分析 ?動態(tài)性能分析 ?軟件代碼分支或條件覆蓋率分析 ?軟件測試用例有效性分析與測試用例最小集的自動選取 ?軟件界面手工操作過程的自動記錄與自動再執(zhí)行 (Playback) 167。 ?找到錯誤的本質(zhì)并修改 ?采用回歸測試，避免因修改引起的新錯誤。 軟件 維護(hù)的實施 修改源程序的三個步驟 ?分析和理解程序 ?修改程序 ?重新驗證程序 修改程序的副作用 ?修改代碼的副作用 ?修改數(shù)據(jù)的副作用 ?修改文檔的副作用 重新驗證程序 從維護(hù)角度所需的測試種類： (1) 對修改事務(wù)的測試 (2) 對修改程序的測試 (3) 操作過程的測試 (4) 應(yīng)用系統(tǒng)運行過程的測試 (5) 使用過程的測試 (6) 系統(tǒng)各部分間接口的測試 (7) 與系統(tǒng)軟件接口的測試 (8) 安全性測試 (9) 后備 /恢復(fù)過程測試 …… 167。但在很多情況下 ,由于各類文檔的丟失 ,只能對源代碼進(jìn)行理解 ,即程序理解。 源代碼 ? 重構(gòu)源代碼 則是再工程或稱重構(gòu)，并不是逆向工程。 軟件工程環(huán)境 (SEE) 軟件工程環(huán)境概述 軟件工程環(huán)境定義 : (1)一組軟件工具的集合 (2)工具按一定方法或模型組織 (3)工具支持整個生存周期各階段或 部分階段 1. 軟件工程環(huán)境分類 (1)按軟件開發(fā)模型及開發(fā)方法分類 支持：瀑布模型、 演化模型、 螺旋模型、 噴泉模型等 支持：結(jié)構(gòu)化方法、 信息模型方法、 OO方法等 1. 軟件工程環(huán)境分類 (2)按應(yīng)用范圍分類 : 通用型軟件工程環(huán)境 專用型軟件工程環(huán)境 (應(yīng)用型軟件工程環(huán)境 ) 1. 軟件工程環(huán)境分類 (3)按開發(fā)階段分類： 前端開發(fā)環(huán)境 (支持系統(tǒng)分析、分析、 設(shè)計等階段活動 ) 后端開發(fā)環(huán)境 (支持編程、測試等階段 活動 ) 軟件維護(hù)環(huán)境 逆向工程環(huán)境 2. 軟件工程環(huán)境的特征 (1)倉庫 (2)工具的集成 (3)用戶友好的界面 (4)提取信息的能力 (5)分析的能力 (6)可裁剪和可擴(kuò)充的能力 (7)項目控制和管理 (8)方法學(xué)的支持 3. 軟件工程環(huán)境的基本功能 (1)軟件開發(fā)的一致性及完整性維護(hù) (2)配置管理及版本控制 (3)數(shù)據(jù)的多種表示形式及自動轉(zhuǎn)換 (4)信息自動檢索及更新 (5)項目控制和管理 (6) 對方法學(xué)的支持 集成環(huán)境 軟件工程環(huán)境的層次模型 工作臺應(yīng)用 框架服務(wù) 平臺服務(wù) 平臺服務(wù) SEE運行在工作臺網(wǎng)絡(luò)上 宿主系統(tǒng) 目標(biāo)機(jī) 1 目標(biāo)機(jī) 2 網(wǎng)絡(luò)連接 網(wǎng)絡(luò)連接 宿主－目標(biāo)開發(fā)方式： 一個軟件工程環(huán)境運行其上的平臺稱為 軟件工程環(huán)境的宿主機(jī)系統(tǒng) 。 軟件可靠性 硬件系統(tǒng)故障率 0 t Z(t) 軟件系統(tǒng)故障率 0 t Z(t) 基本概念 軟件可靠性定義 在給定 時間間隔內(nèi) 和特定的 環(huán)境下，軟件按規(guī)格說明成功 運行的概率。 常用的程序復(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ù)工作 通過 不通過 。 質(zhì)量保證的主要功能 ?質(zhì)量方針的制定和展開 ?質(zhì)量保證方針的質(zhì)量保證標(biāo)準(zhǔn)的制定 ?質(zhì)量保證體系的建立和管理 ?各階段的質(zhì)量評審 質(zhì)量保證的實施 質(zhì)量度量方法 ISO建議的軟件質(zhì)量評價標(biāo)準(zhǔn)分為三級 : 高層 :質(zhì)量需求評價準(zhǔn)則 (SQRC) 中層 :質(zhì)量設(shè)計評價準(zhǔn)則 (SQDC) 低層 :質(zhì)量度量評價準(zhǔn)則 (SQMC) ISO建議的軟件質(zhì)量度量模型 正 確 性 可 跟 蹤 性 完 備 性 準(zhǔn) 確 性 容 錯 性 簡 潔 性 模 塊 性 通 用 性 擴(kuò) 充 性 可 容 性 效 率 安 全 性 可維護(hù)性 適 應(yīng) 性 連 接 性 SQDC SQRC SQMC 可 用 性 一 致 性 由各使用 單位根據(jù) 實際情況 決定 能用于軟件質(zhì)量定量評價的軟件度量 ?美國國防部 AD報告 :把質(zhì)量表現(xiàn)形式 歸納為 190多個 問題 。 CASE中心庫也稱為“軟件總線” CASE中心庫也是一個存放地，結(jié)合了高級的集成 CASE工具的機(jī)制。 逆向工程與再工程十分相似，只是兩者的原始視圖和目標(biāo)視圖不同，它的目標(biāo)視圖一般在前類視圖中。 軟件再工程 是一類軟件工程活動， 是一個工程過程 ,它將 逆向工程 、 重構(gòu) 和 正向工程 組合起來 ,將現(xiàn)存系統(tǒng)重新構(gòu)造為新的形式。 軟件維護(hù)的特點 M P+K e = (cd ) M : 維護(hù)工作總工作量 P : 生產(chǎn)性工作量 K : 經(jīng)驗常數(shù) c : 復(fù)雜度 d : 對該軟件熟悉程度的度量 維護(hù)的成本 維護(hù)中的典型問題 (1)難以跟蹤軟件版本的進(jìn)化過程 , 軟件的變化未在文檔中反映出來 . (2)難以跟蹤軟件的創(chuàng)建過程 . (3)難以讀懂他人程序 . (4)無文檔或不全 . (5)軟件人員流動性大 . (6)設(shè)計時未考慮修改需要 ,修改困難 . (7)維護(hù)工作無吸引力 ,缺乏成就感 . 167。 適用于小程序，路徑數(shù)目很大時無法進(jìn)行。 調(diào)試的 困難在于錯誤的定位 . 調(diào)試的執(zhí)行步驟 錯誤現(xiàn)場 結(jié)果 執(zhí)行案例 改正 測試用例 調(diào)試 已識別 的原因 被懷疑 的原因 回歸測試 附加 測試 排錯策略方法 一 .強(qiáng)行排錯 (brute force) 常見形式 : (1)打印出所有存儲內(nèi)容 、 代碼 (2)程序中設(shè)打印語句 (3)用自動糾錯工具 效率最低 二 .回溯法 (跟蹤法 ) 根據(jù)錯誤癥狀位置，人工沿程序控制流程向回追蹤