【正文】 ?IEEE質(zhì)量標準詞典規(guī)定 :39組度量公式 39個度量項分為四級 : 0級 :已公式化 ,尚未被運行有效確認 1級 :已為軟件界采用 ,應用范圍有限 2級 :已被軟件界接受 ,已取得一定經(jīng)驗 3級 :軟件界已廣泛使用 ,已取得相當經(jīng)驗 3級的 8個度量項 (1)缺陷密度 (2)需求可追蹤性 (3)Halstead軟件科學 (4)McCabe復雜性度量 (5)發(fā)現(xiàn) k個缺陷的平均時間 (6)按耗時作故障分析 (7)平均故障時間 (8)故障率 Halstead的軟件科學度量 根據(jù)程序中可執(zhí)行代碼行的 操作符 和 操作數(shù) 的 數(shù)量 來計算程序的復雜性 n1 :程序中出現(xiàn)的不同操作符數(shù)目 n2 :程序中出現(xiàn)的不同操作數(shù)數(shù)目 N1 :程序中操作符出現(xiàn)的總數(shù) N2 :程序中操作數(shù)出現(xiàn)的總數(shù) McCabe復雜性度量舉例 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復雜性度量舉例 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)程序長度 N= n1log2 n1+ n2log2 n2 (2)程序容量 V= Nlog2 (n1+ n2) (3)語言級別 L= (2 n2)/(n1 n2) (4)程序工作量 E= V / L (5)程序編寫時間 T= E / S S:Stroud數(shù) (6)程序潛在錯誤的數(shù)量 B= Nlog2 (n1+ n2) / 3000 Halstead認為程序中可能存在的錯誤 與程序容量成正比 例 :一程序?qū)?75個數(shù)據(jù)庫項共訪問 1300 次 ,對 150個操作符使用 1200次 ,潛在錯 誤數(shù)為 : B= (1300+1200)log2 (75+150) / 3000 = (即 6～ 7個錯誤 ) Halstead軟件科學是目前一種最好的 軟件度量方法 不足和問題 : (1)未忽略模塊特性 (2)忽略了非執(zhí)行語句 (3)代碼和數(shù)據(jù)的二義性 (4)未考慮數(shù)據(jù)類型的差異 (5)未注意調(diào)用深度 (6)未區(qū)別不同類型的運算符 McCabe復雜性度量 (環(huán)路度量 ) McCabe認為程序復雜性很大程度取決 于程序 控制流的復雜性 ,以 程序圖的環(huán) 路數(shù) 作為該程序復雜性 . 的度量值 對于具有強連通圖的環(huán)路數(shù) : V(G)=en+2 e:邊數(shù) n:結(jié)點數(shù) McCabe復雜性度量示例 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)其它計算方法 : (1)計算圖中所有有界區(qū)域和無界區(qū)域數(shù) R 圖中共有 5個區(qū)域 (R1到 R5),所以 V(G)=5 (2)用判定語句總數(shù) +1 (判定個數(shù) =分支 數(shù) 1) 圖中可按 4個判定計算 ,V(G)=4+1=5 技術(shù)評審 軟件評審是一個 “ 過濾器 ” ， 用于 “ 凈化 ” 軟件工程各項活動 167。 源代碼 ? 結(jié)構(gòu)圖 ，既可看作是再工程，也可看作是逆向工程。 軟件的維護任務 修改 負責人 維 護申請 系統(tǒng)監(jiān)督員 配置管理員 維 護機構(gòu) 維護人員 維護管理員 保存維護記錄 維護過程中作應記錄的數(shù)據(jù) ?程序標識 ?源程序語句數(shù)目 ?機器代碼指令條數(shù) ?....... ?....... 以收集的數(shù)據(jù)為基礎構(gòu)造維護數(shù)據(jù)庫 , 供維護評價使用 . 167。 (糾錯技術(shù) ) 測試 是找出軟件錯誤的過程， 調(diào)試 是確定錯誤的位置 、 性質(zhì) 并糾正。 預防性維護 開發(fā)和維護者不應等待用戶的維護申 請 , 可先選擇以下類型程序作為預防 性維護對象 : (1)預計若干年內(nèi)將繼續(xù)使用的程序 (2)當今正成功使用的程序 (3)最近的將來要進行大修改和完善的 程序 167。 在 CASE工具輔助下進行軟件開發(fā) , 可 提高開發(fā)效率、改善軟件質(zhì)量 。 什么是容錯軟件？ 定義 1：規(guī)定功能的軟件，在一定程度 上對自身錯誤的作用具有屏蔽 能力的軟件； 定義 2：規(guī)定功能的軟件，在一定程度 上能從錯誤狀態(tài)自動恢復到正 常狀態(tài)的軟件； 定義 3：規(guī)定功能的軟件，在因錯誤而 發(fā)生錯誤時，仍能在一定程度 上完成預期的功能的軟件； 容錯的一般方法 實現(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) 開關 Mn …. 備用 備用 (3)混合冗余 H（ N， K） M1 M2 Mk I H（ N， K） 系統(tǒng)結(jié)構(gòu) 開關 Mn …. Mk+1 …. V 轉(zhuǎn) 換 開 關 冗余技術(shù)分類： 以檢測或糾正信息在運算或傳輸中的錯誤為目的而外加的一部分信息。 大型軟件開發(fā)環(huán)境 青鳥系統(tǒng)簡介 集成化軟件工程環(huán)境青鳥 II系 統(tǒng) (JB2) 特點： ?環(huán)境主要目標之一：支持 OO軟件開發(fā) ?集成性和開放性的統(tǒng)一。