【正文】 舉 可能 錯(cuò)誤 原因 排除 不會(huì) 發(fā)生 原因 對(duì)保留的 假設(shè)推斷 證明 留下 的假 設(shè) 確定 錯(cuò)誤 待定 錯(cuò)因 剩余 錯(cuò)因 能 出錯(cuò) 原因 不能 收集更 多數(shù)據(jù) 無(wú)剩余 修改錯(cuò)誤原則 ?注意錯(cuò)誤的群集現(xiàn)象，在錯(cuò)誤近鄰檢查。 軟件的維護(hù)任務(wù) 修改 負(fù)責(zé)人 維 護(hù)申請(qǐng) 系統(tǒng)監(jiān)督員 配置管理員 維 護(hù)機(jī)構(gòu) 維護(hù)人員 維護(hù)管理員 保存維護(hù)記錄 維護(hù)過(guò)程中作應(yīng)記錄的數(shù)據(jù) ?程序標(biāo)識(shí) ?源程序語(yǔ)句數(shù)目 ?機(jī)器代碼指令條數(shù) ?....... ?....... 以收集的數(shù)據(jù)為基礎(chǔ)構(gòu)造維護(hù)數(shù)據(jù)庫(kù) , 供維護(hù)評(píng)價(jià)使用 . 167。再工程的基礎(chǔ)是系統(tǒng)理解 ,包括對(duì)運(yùn)行系統(tǒng)、源代碼、設(shè)計(jì)、分析、文檔等的全面理解。 源代碼 ? 結(jié)構(gòu)圖 ，既可看作是再工程，也可看作是逆向工程。 CASE中心庫(kù)存放的內(nèi)容 ?被求解的問(wèn)題 ?關(guān)于問(wèn)題域的信息 ?系統(tǒng)解決方案 ?關(guān)于被遵從的軟件過(guò)程（方法學(xué)）的規(guī)則和指令 ?項(xiàng)目計(jì)劃、資源和歷史 ?關(guān)于組織的信息 CASE中心庫(kù)提供的服務(wù) ?可從任何高級(jí)的數(shù)據(jù)庫(kù)管理系統(tǒng)期望得到的訪問(wèn)類型 ?特定于 CASE環(huán)境的訪問(wèn)類型 中心庫(kù) 中心信息庫(kù) Data ? 記錄 ? 元素 ? 視圖 ? 入庫(kù)實(shí)體 處理 ? 模塊 ? 處理 ? 函數(shù) ? 外部實(shí)體 ? 界面 圖形 ? DFD ? 結(jié)構(gòu)圖 ? ER圖 ? 數(shù)據(jù)模型 規(guī)則 權(quán)限 過(guò)程和管理 現(xiàn)存 拷貝庫(kù) 數(shù)據(jù) 字典 版本 屬性描述 命名標(biāo)準(zhǔn) ? 標(biāo)準(zhǔn)名 ? 別名 ? 屬性名 ? 編譯名 中心信息庫(kù) 報(bào)告 中心信息庫(kù) 的內(nèi)容 3. CASE工作臺(tái) CASE工作臺(tái)概述 .CASE工作臺(tái)分類 ?程序設(shè)計(jì)工作臺(tái) ?分析和設(shè)計(jì)工作臺(tái) ?測(cè)試工作臺(tái) ?交叉開發(fā)工作臺(tái) ?配置管理工作臺(tái) ?文檔工作臺(tái) ?項(xiàng)目管理工作臺(tái) 程序設(shè)計(jì)工作臺(tái) 組成程序設(shè)計(jì)工作臺(tái)的工具： (1)語(yǔ)言編譯器 (2)結(jié)構(gòu)化編譯器 (3)連接器 (4)加載器 (5)交叉引用 (6)按格式打印 (7)靜態(tài)分析器 (8)動(dòng)態(tài)分析器 (9)交互式調(diào)試器 測(cè)試工作臺(tái) (下游 CASE工具 ) 源代碼 預(yù)測(cè)器 測(cè)試管理器 測(cè)試預(yù)估 模擬器 文件比較器 報(bào)告生成器 動(dòng)態(tài)分析器 被測(cè)試 的程序 測(cè)試數(shù)據(jù) 測(cè)試結(jié)果 測(cè)試結(jié) 果報(bào)告 執(zhí)行報(bào)告 測(cè)試數(shù)據(jù)生成器 規(guī)約 167。 ?IEEE質(zhì)量標(biāo)準(zhǔn)詞典規(guī)定 :39組度量公式 39個(gè)度量項(xiàng)分為四級(jí) : 0級(jí) :已公式化 ,尚未被運(yùn)行有效確認(rèn) 1級(jí) :已為軟件界采用 ,應(yīng)用范圍有限 2級(jí) :已被軟件界接受 ,已取得一定經(jīng)驗(yàn) 3級(jí) :軟件界已廣泛使用 ,已取得相當(dāng)經(jīng)驗(yàn) 3級(jí)的 8個(gè)度量項(xiàng) (1)缺陷密度 (2)需求可追蹤性 (3)Halstead軟件科學(xué) (4)McCabe復(fù)雜性度量 (5)發(fā)現(xiàn) k個(gè)缺陷的平均時(shí)間 (6)按耗時(shí)作故障分析 (7)平均故障時(shí)間 (8)故障率 Halstead的軟件科學(xué)度量 根據(jù)程序中可執(zhí)行代碼行的 操作符 和 操作數(shù) 的 數(shù)量 來(lái)計(jì)算程序的復(fù)雜性 n1 :程序中出現(xiàn)的不同操作符數(shù)目 n2 :程序中出現(xiàn)的不同操作數(shù)數(shù)目 N1 :程序中操作符出現(xiàn)的總數(shù) N2 :程序中操作數(shù)出現(xiàn)的總數(shù) McCabe復(fù)雜性度量舉例 SORT源程序 SUBROTINE SORT(X,N) DIMENSION X(N) IF (N .LT. Z)RETUREN DO 20 1=2,N DO 10 J=1,I IF (X(I).(J)) GOTO 10 SAVE=X(I) X(I)=X(J) X(J)=SAVE 10 CONTINUE 20 CONTINUE RETURN END SORT源程序操作符 操作符 數(shù) 7 6 3. = 5 4. IF () 2 5. DO 2 6. , 2 1 8. .LT. 1 9. .GE. 1 n1=10. GOTO 10 1 N1=28 McCabe復(fù)雜性度量舉例 SORT源程序 SUBROTINE SORT(X,N) DIMENSION X(N) IF (N .LT. Z)RETUREN DO 20 1=2,N DO 10 J=1,I IF (X(I).(J)) GOTO 10 SAVE=X(I) X(I)=X(J) X(J)=SAVE 10 CONTINUE 20 CONTINUE RETURN END SORT源程序操作數(shù) 操作數(shù) 數(shù) 1. X 6 2. I 5 3. J 4 4. N 2 5. 2 1 6. SAVE 2 n2=7. 1 2 N2=22 Halstead使用原始度量定義的算式 (1)程序長(zhǎng)度 N= n1log2 n1+ n2log2 n2 (2)程序容量 V= Nlog2 (n1+ n2) (3)語(yǔ)言級(jí)別 L= (2 n2)/(n1 n2) (4)程序工作量 E= V / L (5)程序編寫時(shí)間 T= E / S S:Stroud數(shù) (6)程序潛在錯(cuò)誤的數(shù)量 B= Nlog2 (n1+ n2) / 3000 Halstead認(rèn)為程序中可能存在的錯(cuò)誤 與程序容量成正比 例 :一程序?qū)?75個(gè)數(shù)據(jù)庫(kù)項(xiàng)共訪問(wèn) 1300 次 ,對(duì) 150個(gè)操作符使用 1200次 ,潛在錯(cuò) 誤數(shù)為 : B= (1300+1200)log2 (75+150) / 3000 = (即 6～ 7個(gè)錯(cuò)誤 ) Halstead軟件科學(xué)是目前一種最好的 軟件度量方法 不足和問(wèn)題 : (1)未忽略模塊特性 (2)忽略了非執(zhí)行語(yǔ)句 (3)代碼和數(shù)據(jù)的二義性 (4)未考慮數(shù)據(jù)類型的差異 (5)未注意調(diào)用深度 (6)未區(qū)別不同類型的運(yùn)算符 McCabe復(fù)雜性度量 (環(huán)路度量 ) McCabe認(rèn)為程序復(fù)雜性很大程度取決 于程序 控制流的復(fù)雜性 ,以 程序圖的環(huán) 路數(shù) 作為該程序復(fù)雜性 . 的度量值 對(duì)于具有強(qiáng)連通圖的環(huán)路數(shù) : V(G)=en+2 e:邊數(shù) n:結(jié)點(diǎn)數(shù) McCabe復(fù)雜性度量示例 a c b e f d 1 2 3 7 6 8 4 5 9 R1 R2 R3 R4 R5 V(G)=96+2 =5 V(G)其它計(jì)算方法 : (1)計(jì)算圖中所有有界區(qū)域和無(wú)界區(qū)域數(shù) R 圖中共有 5個(gè)區(qū)域 (R1到 R5),所以 V(G)=5 (2)用判定語(yǔ)句總數(shù) +1 (判定個(gè)數(shù) =分支 數(shù) 1) 圖中可按 4個(gè)判定計(jì)算 ,V(G)=4+1=5 技術(shù)評(píng)審 軟件評(píng)審是一個(gè) “ 過(guò)濾器 ” ， 用于 “ 凈化 ” 軟件工程各項(xiàng)活動(dòng)