【導讀】例、查找軟件缺陷、分析并記錄測試結果。直至發(fā)生兩件事情之一:完成循環(huán)或系統(tǒng)崩潰.增加了對環(huán)境的認知能力,有目的地敲鍵盤,C/C++，j、Java和VB產品，自動化功能包括：?軟件測試用例有效性分析與測試用例最小集的自動選取?調試的困難在于錯誤的定位.序控制流程向回追蹤源代碼。注意錯誤的群集現象，在錯誤近鄰。采用回歸測試，避免因修改引起的。推測殘留在程序中的錯誤數。評價測試的精確度和覆蓋率。難以跟蹤軟件版本的進化過程,軟件人員流動性大.設計時未考慮修改需要,修改困難.維護工作無吸引力,缺乏成就感.機器代碼指令條數。以收集的數據為基礎構造維護數據庫,修改文檔的副作用。進行修改、擴充或壓縮的容易程度。

　　

【正文】 RETURN END SORT源程序操作符 操作符 數 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源程序操作數 操作數 數 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數 (6)程序潛在錯誤的數量 B= Nlog2 (n1+ n2) / 3000 Halstead認為程序中可能存在的錯誤 與程序容量成正比 例 :一程序對 75個數據庫項共訪問 1300 次 ,對 150個操作符使用 1200次 ,潛在錯 誤數為 : B= (1300+1200)log2 (75+150) / 3000 = (即 6～ 7個錯誤 ) Halstead軟件科學是目前一種最好的 軟件度量方法 不足和問題 : (1)未忽略模塊特性 (2)忽略了非執(zhí)行語句 (3)代碼和數據的二義性 (4)未考慮數據類型的差異 (5)未注意調用深度 (6)未區(qū)別不同類型的運算符 McCabe復雜性度量 (環(huán)路度量 ) McCabe認為程序復雜性很大程度取決 于程序 控制流的復雜性 ,以 程序圖的環(huán) 路數 作為該程序復雜性 . 的度量值 對于具有強連通圖的環(huán)路數 : V(G)=en+2 e:邊數 n:結點數 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ū)域數 R 圖中共有 5個區(qū)域 (R1到 R5),所以 V(G)=5 (2)用判定語句總數 +1 (判定個數 =分支 數 1) 圖中可按 4個判定計算 ,V(G)=4+1=5 技術評審 軟件評審是一個 “ 過濾器 ” ， 用于 “ 凈化 ” 軟件工程各項活動 167。 軟件可靠性 硬件系統(tǒng)故障率 0 t Z(t) 軟件系統(tǒng)故障率 0 t Z(t) 基本概念 軟件可靠性定義 在給定 時間間隔內 和特定的 環(huán)境下，軟件按規(guī)格說明成功 運行的概率。 軟件可靠性的主要指標 借用硬件可靠性的定量度量方法來度量軟件的可靠性： MTBF:平均故障間隔時間 MTTF:平均故障時間 t1， t2, ....., tn:失效時間 MTTF＝ n i=1 n 1 ∑ t i 軟件可靠性定義的要素 (1)環(huán)境條件 規(guī)定軟件的使用環(huán)境 (輸入數據要求和環(huán)境 ) (2)規(guī)定時間 時間 t是隨機變量。 (3)規(guī)定的功能 (4)成功運行 167。 軟件容錯技術 提高軟件質量和可靠性的技術 : ?避開錯誤技術 ?容錯技術：對無法避開的差錯，使其 影響減至最小的技術。 什么是容錯軟件？ 定義 1：規(guī)定功能的軟件，在一定程度 上對自身錯誤的作用具有屏蔽 能力的軟件； 定義 2：規(guī)定功能的軟件，在一定程度 上能從錯誤狀態(tài)自動恢復到正 常狀態(tài)的軟件； 定義 3：規(guī)定功能的軟件，在因錯誤而 發(fā)生錯誤時，仍能在一定程度 上完成預期的功能的軟件； 容錯的一般方法 實現容錯計算的方法： ?錯誤檢測算法 ?錯誤恢復算法 容錯資源 ?軟件冗余備份 實現容錯計算的主要手段是 冗余 主體： 常規(guī)軟件所需資源 附加體：容錯資源 容錯軟件 容錯的一般方法 冗余技術分類： (1)靜態(tài)冗余： 3模冗余、多模冗余 U M1 M2 M3 V u2 u1 u3 I 3模（ TMR）表決系統(tǒng)的結構 表決器 U=(u1∧ u2)∨ (u2∧ u3)∨ =(u1∧ u3) (2)動態(tài)冗余 :多重模塊待機儲備 ,相繼運行 M1 M2 M3 主模塊 備用 I 待機儲備系統(tǒng)結構 開關 Mn …. 備用 備用 (3)混合冗余 H（ N， K） M1 M2 Mk I H（ N， K） 系統(tǒng)結構 開關 Mn …. Mk+1 …. V 轉 換 開 關 冗余技術分類： 以檢測或糾正信息在運算或傳輸中的錯誤為目的而外加的一部分信息。 誤差校正碼 ：奇偶碼 定重碼 循環(huán)碼 …… (冗余碼 ) 冗余技術分類： 以重復執(zhí)行指令（指令復執(zhí)）或程序（程序復算）來消除瞬時錯誤帶來的影響。 常用的程序復算方法： 程序滾回技術 出錯 …… t0 t1 t2 t3 ti1 ti ti+1 i1 i 程序滾回示意圖 1 2 3 時刻 t0， t1， t2， …. 對應于程序中預先設置好的恢復點 軟件的容錯系統(tǒng)結構 把同一功能的不同版本的程序 (多為子系統(tǒng)或模塊級 )并行聯結到系統(tǒng)中 ,構成冗余并行模型 . 版本 1 版本 2 版本 3 …... 表決 同一功能 多版本程序示意圖 2. 恢復塊結構 要求做容錯的塊 (基本塊 ) 提供： 備份塊 (獨立設計的相應冗余備份 ) 附加的錯誤檢驗 恢復措施 恢復塊 Ensure 接受測試 By 基本塊 Else By備份塊 1 …… Else By備份塊 n Else 錯誤 恢復塊的工作方式 保存現場 隊空 從恢復塊的備份塊 隊列中取一個模塊 激活此模塊 執(zhí)行此模塊 恢復現場 接受測試 T 有問題 顯示錯誤及位置 繼續(xù)執(zhí)行后續(xù)工作 通過 不通過