【正文】 ?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ù)量 來計(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)語言級(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ù)庫項(xiàng)共訪問 1300 次 ,對(duì) 150個(gè)操作符使用 1200次 ,潛在錯(cuò) 誤數(shù)為 : B= (1300+1200)log2 (75+150) / 3000 = (即 6～ 7個(gè)錯(cuò)誤 ) Halstead軟件科學(xué)是目前一種最好的 軟件度量方法 不足和問題 : (1)未忽略模塊特性 (2)忽略了非執(zhí)行語句 (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ū)域和無界區(qū)域數(shù) R 圖中共有 5個(gè)區(qū)域 (R1到 R5),所以 V(G)=5 (2)用判定語句總數(shù) +1 (判定個(gè)數(shù) =分支 數(shù) 1) 圖中可按 4個(gè)判定計(jì)算 ,V(G)=4+1=5 技術(shù)評(píng)審 軟件評(píng)審是一個(gè) “ 過濾器 ” ， 用于 “ 凈化 ” 軟件工程各項(xiàng)活動(dòng) 167。 源代碼 ? 結(jié)構(gòu)圖 ，既可看作是再工程，也可看作是逆向工程。 軟件的維護(hù)任務(wù) 修改 負(fù)責(zé)人 維 護(hù)申請(qǐng) 系統(tǒng)監(jiān)督員 配置管理員 維 護(hù)機(jī)構(gòu) 維護(hù)人員 維護(hù)管理員 保存維護(hù)記錄 維護(hù)過程中作應(yīng)記錄的數(shù)據(jù) ?程序標(biāo)識(shí) ?源程序語句數(shù)目 ?機(jī)器代碼指令條數(shù) ?....... ?....... 以收集的數(shù)據(jù)為基礎(chǔ)構(gòu)造維護(hù)數(shù)據(jù)庫 , 供維護(hù)評(píng)價(jià)使用 . 167。 (糾錯(cuò)技術(shù) ) 測(cè)試 是找出軟件錯(cuò)誤的過程， 調(diào)試 是確定錯(cuò)誤的位置 、 性質(zhì) 并糾正。 預(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。 在 CASE工具輔助下進(jìn)行軟件開發(fā) , 可 提高開發(fā)效率、改善軟件質(zhì)量 。 什么是容錯(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ò)誤為目的而外加的一部分信息。 大型軟件開發(fā)環(huán)境 青鳥系統(tǒng)簡(jiǎn)介 集成化軟件工程環(huán)境青鳥 II系 統(tǒng) (JB2) 特點(diǎn)： ?環(huán)境主要目標(biāo)之一：支持 OO軟件開發(fā) ?集成性和開放性的統(tǒng)一。