672測(cè)試測(cè)試自動(dòng)化-資料下載頁(yè)
2024-09-30 09:49本頁(yè)面
【導(dǎo)讀】例、查找軟件缺陷、分析并記錄測(cè)試結(jié)果。直至發(fā)生兩件事情之一:完成循環(huán)或系統(tǒng)崩潰.增加了對(duì)環(huán)境的認(rèn)知能力,有目的地敲鍵盤(pán),C/C++，j、Java和VB產(chǎn)品，自動(dòng)化功能包括：?軟件測(cè)試用例有效性分析與測(cè)試用例最小集的自動(dòng)選取?調(diào)試的困難在于錯(cuò)誤的定位.序控制流程向回追蹤源代碼。注意錯(cuò)誤的群集現(xiàn)象，在錯(cuò)誤近鄰。采用回歸測(cè)試，避免因修改引起的。推測(cè)殘留在程序中的錯(cuò)誤數(shù)。評(píng)價(jià)測(cè)試的精確度和覆蓋率。難以跟蹤軟件版本的進(jìn)化過(guò)程,軟件人員流動(dòng)性大.設(shè)計(jì)時(shí)未考慮修改需要,修改困難.維護(hù)工作無(wú)吸引力,缺乏成就感.機(jī)器代碼指令條數(shù)。以收集的數(shù)據(jù)為基礎(chǔ)構(gòu)造維護(hù)數(shù)據(jù)庫(kù),修改文檔的副作用。進(jìn)行修改、擴(kuò)充或壓縮的容易程度。
【正文】 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)程序編寫(xiě)時(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ù)類(lèi)型的差異 (5)未注意調(diào)用深度 (6)未區(qū)別不同類(lèi)型的運(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) 167。 軟件可靠性 硬件系統(tǒng)故障率 0 t Z(t) 軟件系統(tǒng)故障率 0 t Z(t) 基本概念 軟件可靠性定義 在給定 時(shí)間間隔內(nèi) 和特定的 環(huán)境下，軟件按規(guī)格說(shuō)明成功 運(yùn)行的概率。 軟件可靠性的主要指標(biāo) 借用硬件可靠性的定量度量方法來(lái)度量軟件的可靠性： MTBF:平均故障間隔時(shí)間 MTTF:平均故障時(shí)間 t1， t2, ....., tn:失效時(shí)間 MTTF＝ n i=1 n 1 ∑ t i 軟件可靠性定義的要素 (1)環(huán)境條件 規(guī)定軟件的使用環(huán)境 (輸入數(shù)據(jù)要求和環(huán)境 ) (2)規(guī)定時(shí)間 時(shí)間 t是隨機(jī)變量。 (3)規(guī)定的功能 (4)成功運(yùn)行 167。 軟件容錯(cuò)技術(shù) 提高軟件質(zhì)量和可靠性的技術(shù) : ?避開(kāi)錯(cuò)誤技術(shù) ?容錯(cuò)技術(shù)：對(duì)無(wú)法避開(kāi)的差錯(cuò)，使其 影響減至最小的技術(shù)。 什么是容錯(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ù)分類(lèi)： (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) 開(kāi)關(guān) Mn …. 備用 備用 (3)混合冗余 H（ N， K） M1 M2 Mk I H（ N， K） 系統(tǒng)結(jié)構(gòu) 開(kāi)關(guān) Mn …. Mk+1 …. V 轉(zhuǎn) 換 開(kāi) 關(guān) 冗余技術(shù)分類(lèi)： 以檢測(cè)或糾正信息在運(yùn)算或傳輸中的錯(cuò)誤為目的而外加的一部分信息。 誤差校正碼 ：奇偶碼 定重碼 循環(huán)碼 …… (冗余碼 ) 冗余技術(shù)分類(lèi)： 以重復(fù)執(zhí)行指令（指令復(fù)執(zhí)）或程序（程序復(fù)算）來(lái)消除瞬時(shí)錯(cuò)誤帶來(lái)的影響。 常用的程序復(fù)算方法： 程序滾回技術(shù) 出錯(cuò) …… t0 t1 t2 t3 ti1 ti ti+1 i1 i 程序滾回示意圖 1 2 3 時(shí)刻 t0， t1， t2， …. 對(duì)應(yīng)于程序中預(yù)先設(shè)置好的恢復(fù)點(diǎn) 軟件的容錯(cuò)系統(tǒng)結(jié)構(gòu) 把同一功能的不同版本的程序 (多為子系統(tǒng)或模塊級(jí) )并行聯(lián)結(jié)到系統(tǒng)中 ,構(gòu)成冗余并行模型 . 版本 1 版本 2 版本 3 …... 表決 同一功能 多版本程序示意圖 2. 恢復(fù)塊結(jié)構(gòu) 要求做容錯(cuò)的塊 (基本塊 ) 提供： 備份塊 (獨(dú)立設(shè)計(jì)的相應(yīng)冗余備份 ) 附加的錯(cuò)誤檢驗(yàn) 恢復(fù)措施 恢復(fù)塊 Ensure 接受測(cè)試 By 基本塊 Else By備份塊 1 …… Else By備份塊 n Else 錯(cuò)誤 恢復(fù)塊的工作方式 保存現(xiàn)場(chǎng) 隊(duì)空 從恢復(fù)塊的備份塊 隊(duì)列中取一個(gè)模塊 激活此模塊 執(zhí)行此模塊 恢復(fù)現(xiàn)場(chǎng) 接受測(cè)試 T 有問(wèn)題 顯示錯(cuò)誤及位置 繼續(xù)執(zhí)行后續(xù)工作 通過(guò) 不通過(guò)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1