第9講軟件測試

第9講軟件測試1《實用軟件工程》陸惠恩編著-何帆本章內(nèi)容l

軟件測試目標l

測試方法步驟l

設(shè)計測試、方案l

測試原則和測試策略l

軟件調(diào)試、驗證與確認l

軟件測試文檔2《實用軟件工程》陸惠恩編著-何帆軟件測試目標 軟件測試的目的是通過人工或計算機執(zhí)行程序來有意識地發(fā)現(xiàn)程序中的設(shè)計錯誤和編碼錯誤。（１）軟件測試是為了發(fā)現(xiàn)程序中的錯誤而執(zhí)行程序的過程； （２）好的測試方案能夠發(fā)現(xiàn)尚未發(fā)現(xiàn)的錯誤； （３）成功的測試是發(fā)現(xiàn)了尚未發(fā)現(xiàn)的錯誤的測試。3《實用軟件工程》陸惠恩編著-何帆軟件測試方法按照測試過程是否執(zhí)行程序來分：靜態(tài)分析與動態(tài)測試按照測試數(shù)據(jù)的設(shè)計依據(jù)來分： 黑盒法與白盒法4《實用軟件工程》陸惠恩編著-何帆軟件測試方法靜態(tài)分析與動態(tài)測試靜態(tài)分析靜態(tài)方法是指不運行被測程序本身，僅通過分析或檢查源程序的文法、結(jié)構(gòu)、過程、接口等來檢查程序的正確性。靜態(tài)方法通過程序靜態(tài)特性的分析，找出欠缺和可疑之處，例如不匹配的參數(shù)、不適當?shù)难h(huán)嵌套和分支嵌套、不允許的遞歸、未使用過的變量、空指針的引用和可疑的計算等。靜態(tài)測試結(jié)果可用于進一步的查錯，并為測試用例選取提供指導。5《實用軟件工程》陸惠恩編著-何帆軟件測試方法靜態(tài)分析與動態(tài)測試2.動態(tài)測試以執(zhí)行程序并分析程序來查錯。為了進行軟件測試，需要預先準備好兩種數(shù)據(jù)：①輸入數(shù)據(jù)；②預期的輸出結(jié)果。我們把以發(fā)現(xiàn)錯誤為目標的用于軟件測試的輸入數(shù)據(jù)及與之對應(yīng)的預期輸出結(jié)果叫測試用例。6《實用軟件工程》陸惠恩編著-何帆黑盒法與白盒法1.黑盒法：

(BlackBoxTesting)又稱功能測試，其測試用例完全是根據(jù)程序的功能說明來設(shè)計的。2.白盒法

(WhiteBoxTesting)：又稱結(jié)構(gòu)測試，其測試用例是根據(jù)程序內(nèi)部的邏輯結(jié)構(gòu)和執(zhí)行路徑來設(shè)計的。

常把黑盒法和白盒法聯(lián)合起來進行，這也稱為灰盒法。7《實用軟件工程》陸惠恩編著-何帆軟件測試步驟一般軟件測試有以下幾個步驟：

模塊測試集成測試程序?qū)彶闀斯み\行確認測試平行運行8《實用軟件工程》陸惠恩編著-何帆軟件測試步驟模塊測試

也稱單元測試，其目的是檢查每個模塊是否能獨立、正確地運行。模塊測試通常在程序設(shè)計時進行。驅(qū)動程序(驅(qū)動模塊)代替主程序，用來測試子程序。存根程序(樁模塊)也稱“虛擬子程序”，測試主模塊。9《實用軟件工程》陸惠恩編著-何帆寫驅(qū)動模塊例為下面的子程序?qū)戲?qū)動模塊進行測試int

Max(int*pVector,intLen){

int

iMax=pVector[0];//定義最大值初始為第一個

for(inti=1;i<Len;i++){//把最大值和每個值比較，如果iMax比數(shù)組的值小，則用大的值替換

if(iMax<pVector[i])

iMax=pVector[i];}returniMax;//返回最大值}10《實用軟件工程》陸惠恩編著-何帆驅(qū)動模塊 voidmain(){

inta[]={12,2,3,4,121,43,6,8};

intL=8;

int

maxval=Max(a,L);

printf(“%d”,maxval);}11《實用軟件工程》陸惠恩編著-何帆集成測試軟件在集成時應(yīng)該考慮以下問題：在把各個模塊連接起來的時候，穿越模塊接口的數(shù)據(jù)是否會丟失；各個子功能組合起來，能否達到預期要求的父功能；一個模塊的功能是否會對另一個模塊的功能產(chǎn)生不利的影響；全局數(shù)據(jù)結(jié)構(gòu)是否有問題；單個模塊的誤差積累起來，是否會放大，從而達到不可接受的程度。12《實用軟件工程》陸惠恩編著-何帆集成測試子系統(tǒng)的組裝稱為集成化。集成測試分為子系統(tǒng)測試和系統(tǒng)測試兩種。子系統(tǒng)測試也叫做部件測試，是把經(jīng)過模塊測試運行正確的模塊集成一個子系統(tǒng)后再進行測試。系統(tǒng)測試是測試整個硬件和軟件系統(tǒng)集成測試的方法有：漸增式測試非漸增式測試13《實用軟件工程》陸惠恩編著-何帆漸增式測試1、自頂向下集成14《實用軟件工程》陸惠恩編著-何帆漸增式測試2、自底向上集成15《實用軟件工程》陸惠恩編著-何帆程序?qū)彶闀腿斯み\行確認測試1.確認測試必須有用戶積極參與，或以用戶為主進行。2.軟件配置復審 為了保證軟件配置的所有成分都齊全，各方面的質(zhì)量都符合要求，文檔與程序一致，要編排好目錄，有利于維護。3.Alpha測試和Beta測試16《實用軟件工程》陸惠恩編著-何帆Alpha測試和Beta測試Alpha測試是由一個用戶在開發(fā)環(huán)境下進行的測試，也可以是公司內(nèi)部的用戶在模擬實際操作環(huán)境下進行的受控測試，Alpha測試不能由程序員或測試員完成。Alpha測試發(fā)現(xiàn)的錯誤，可以在測試現(xiàn)場立刻反饋給開發(fā)人員，由開發(fā)人員及時分析和處理。目的是評價軟件產(chǎn)品的功能、可使用性、可靠性、性能和支持。尤其注重產(chǎn)品的界面和特色。

Beta測試是軟件的多個用戶在一個或多個用戶的實際使用環(huán)境下進行的測試。開發(fā)者通常不在測試現(xiàn)場，Beta測試不能由程序員或測試員完成。因而，Beta測試是在開發(fā)者無法控制的環(huán)境下進行的軟件現(xiàn)場應(yīng)用。只有當α測試達到一定的可靠程度時,才能開始β測試17《實用軟件工程》陸惠恩編著-何帆平行運行舊系統(tǒng)（或手工操作）和新系統(tǒng)同時運行18《實用軟件工程》陸惠恩編著-何帆其他測試性能測試可靠性測試可用性測試回歸測試軟件測試的學習網(wǎng)站http:////19《實用軟件工程》陸惠恩編著-何帆設(shè)計測試方案測試方案包括三個內(nèi)容:要測試的功能輸入的數(shù)據(jù)對應(yīng)的預期輸出結(jié)果20《實用軟件工程》陸惠恩編著-何帆測試用例編號：編制人審定人時間軟件名稱編號/版本測試用例用例編號參考信息（參考的文檔及章節(jié)號或功能項）：輸入說明（列出選用的輸入項，覆蓋正常、異常情況）：輸出說明（逐條與輸入項對應(yīng)，列出預期輸出）：環(huán)境要求（測試要求的軟、硬件、網(wǎng)絡(luò)要求）：特殊規(guī)程要求：用例間的依賴關(guān)系：21《實用軟件工程》陸惠恩編著-何帆

測試用例規(guī)程目的：測試用例文檔化、規(guī)范化，實現(xiàn)軟件測試的配置管理、適用范圍：同方融達系統(tǒng)測試二、規(guī)范：1XX測試項目1.1XX測試子項目用例編號用例級別輸入預期輸出實測結(jié)果備注對該用例分配唯一的編號標識表明該用例的重要性列出執(zhí)行本測試用例所須的具體的每一個輸入（值）列出所有的預期指標要求下的具體預期輸出（值）此項在測試時填寫。指明該測試用例是否通過。如果不通過，需列出實際測試時的測試輸出值如果有必要，則要填寫“預置條件”、“特殊環(huán)境需求”、“特殊測試步驟要求”、“相關(guān)測試用例”以及“相關(guān)測試規(guī)程”等相關(guān)信息，具體見詳細的注釋說明22《實用軟件工程》陸惠恩編著-何帆設(shè)計測試方案黑盒測試方法:等價類劃分法邊界值分析法錯誤推測法白盒測試方法邏輯覆蓋法因果圖法23《實用軟件工程》陸惠恩編著-何帆等價類劃分法等價類劃分把程序的輸入域劃分成若干個互不相交的一組子集，我們稱為等價類。所謂等價類是指輸入域的某個集合，所以等價類的并便是整個輸入域。這對于測試有兩個非常重要的意義：表示整個輸入域提供了一種形式的完備性，而互不相交則可保證一種形式的無冗余性。24《實用軟件工程》陸惠恩編著-何帆等價類劃分法劃分等價類在考慮等價類時，應(yīng)注意區(qū)別兩種不同的情況：●有效等價類：有效等價類是指對程序規(guī)格說明，是有意義的，合理的輸人數(shù)據(jù)所構(gòu)成的集合?！駸o效等價類：無效等價類是指對程序規(guī)格說明，是不合理或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。25《實用軟件工程》陸惠恩編著-何帆等價類劃分法幾條確定等價類的原則：●按取值范圍劃分：如果輸入條件規(guī)定了取值范圍或值的數(shù)了量，則可以確定一個有效等價類和兩個無效等價類。例如：如果程序規(guī)格說明要求輸入的是1～12月中的一個月，則1～12定義一個有效等價類和兩個無效等價類(月<1和月>12)?！癜磾?shù)值劃分：如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對每個輸入值分別進行處理。則可為每一個輸入值確立一個有效等價類，此外針對這組值確立一個無效等價類，它是所有不允許的輸入值的集合。26《實用軟件工程》陸惠恩編著-何帆等價類劃分法幾條確定等價類的原則：●按數(shù)值集合劃分：如果輸入條件規(guī)定了輸入值的集合，則可確定一個有效等價類和一個無效等價類(該集合有效值之外)。例如，某程序要求“某標識符應(yīng)以字母開頭…”，則“以字母開頭者”作為一個有效等價類，“以非字母開頭”為一個無效等價類?！癜聪拗茥l件或規(guī)則劃分：如果規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則或限制條件，則可以確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）。27《實用軟件工程》陸惠恩編著-何帆【實例1】

三角問題三角形問題： 輸入三個整數(shù)a、b和c分別作為三角形的三條邊，程序判斷由這三條邊構(gòu)成的三角形類型是：等邊三角形、等腰三角形、一般三角形或非三角形（不能構(gòu)成一個三角形）。我們可以將這個問題更詳細地描述為： 三角形問題：輸入三個整數(shù)a、b和c分別作為三角形的三條邊，要求a、b和c必須滿足以下條件：Con1．1≤a≤100Con2．1≤b≤100Con3．1≤c≤100Con4．a(chǎn)<b+cCon5．b<a+cCon6．c<a+b28《實用軟件工程》陸惠恩編著-何帆輸入三個整數(shù)有效等價類號碼無效等價類號碼整數(shù)1一邊為非整數(shù)二邊為非整數(shù)三邊均為非整數(shù)456三個數(shù)2只有一條邊只有二條邊多余三條邊7891<=x<=1003一邊為零二邊為零三邊為零101112一邊<零二邊<零三邊<零131415一邊>100二邊>100三邊>100161718在三角形問題中，輸入條件要求●整數(shù)；●三個數(shù)；●取值在1到100之間29《實用軟件工程》陸惠恩編著-何帆abc覆蓋的等價類abc覆蓋的等價類1.5，4，540，0，0123.5，2.5，55-3，4，6132.5，4.5，5.562，-7，-51437-3，-5，-7154，58101，4，8162，3，4，593，101，101173，0，810101，101，101180，6，011測試用例：3，4，5便可覆蓋有效等價類1-3。覆蓋無效等價類的測試用例見下表所示。30《實用軟件工程》陸惠恩編著-何帆邊界值分析法

使用邊界值分析方法設(shè)計測試用例，首先應(yīng)確定邊界情況。輸入等價類與輸出等價類的邊界，就是應(yīng)著重測試的邊界情況。 邊界值分析方法的基本思想是，選取正好等于，剛剛大于，或剛剛小于邊界的值做為測試數(shù)據(jù)，而不是選取等價類中的典型值或任意值做為測試數(shù)據(jù)。31《實用軟件工程》陸惠恩編著-何帆 邊界值分析設(shè)計測試用例時遵循的幾條原則：●如果輸入條件規(guī)定了取值范圍，則應(yīng)為取值范圍的兩端編寫有效測試用例，并為緊靠兩端之外的條件編寫無效輸入測試用例。如：規(guī)定輸入值范圍是[1，20]；●如果輸入條件規(guī)定了值的個數(shù)，測使用例與規(guī)定取值范圍的一樣，例如：輸入書的數(shù)量至少為3，至多為8。●在輸入值有一定規(guī)則或有規(guī)定的集合時，應(yīng)仔細分析規(guī)格說明，找出其它的可能邊界條件?！襻槍σ?guī)格說明的每個輸出條件，應(yīng)用上述原則。32《實用軟件工程》陸惠恩編著-何帆邊界值測試用例33《實用軟件工程》陸惠恩編著-何帆錯誤推測法人們也可以通過經(jīng)驗或直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子，這就是錯誤推測法。錯誤推測法的特點：沒有確定的步驟，很大程度上是憑經(jīng)驗進行的。例如輸入數(shù)據(jù)為零或輸出數(shù)據(jù)為零是容易發(fā)生錯誤的情況，所以可選擇輸入值為零的例子，以及使輸出值為零的例子；又如輸入表格為“空”或輸入表格只有一行是較易出錯誤的情況，所以可選擇表示這些情況的例子。34《實用軟件工程》陸惠恩編著-何帆錯誤推測法【例2】

對一個采用兩分法的檢索程序，可以列出以下這些需要檢查的情況。1)被檢索的表格只有一行。2)表格的行數(shù)恰好是2的冪次(如16)。3)表格的行數(shù)比2的冪次多1或少1(如15、17)。35《實用軟件工程》陸惠恩編著-何帆因果圖法等價類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯(lián)系、相互組合等?？紤]輸入條件之間的相互組合，可能會產(chǎn)生一些新的情況。但要檢查輸入條件的組合不是一件容易的事情，即使把所有輸入條件劃分成等價類，他們之間的組合情況也相當多。因此必須考慮采用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個動作的形式來考慮設(shè)計測試用例。這就需要利用因果圖。

36《實用軟件工程》陸惠恩編著-何帆因果圖法設(shè)計步驟：將規(guī)格說明中的輸入作為因，輸出作為果;畫出因果圖；標出因果圖的約束條件；把因果圖轉(zhuǎn)化為判定表，在判定表中的每一列設(shè)計一個測試用例。因果圖法基本符號如下(四種邏輯關(guān)系)：37《實用軟件工程》陸惠恩編著-何帆

因果圖關(guān)系①恒等：若c1是1，則e1也是1；否則e1為0。

②相反：若c1是1，則e1是0；否則e1是1。③或：若c1或c2或c3是1，則e1是1；否則e1為0?！盎颉笨捎腥我鈧€輸入。④與：若c1和c2都是1，則e1為1；否則e1為0?！芭c”也可有任意個輸入。

38《實用軟件工程》陸惠恩編著-何帆3.因果圖約束符號輸入條件的約束和輸出條件的約束39《實用軟件工程》陸惠恩編著-何帆輸入條件的約束和輸出條件的約束輸入條件的約束有以下4類：

①E約束（異）：a和b中至多有一個可能為1，即a和b不能同時為1。

②I約束（或）：a、b和c中至少有一個必須是1，即a、b和c不能同時為0。

③O約束（唯一）；a和b必須有一個，且僅有1個為1。

④R約束（要求）：a是1時，b必須是1，即不可能a是1時b是0。輸出條件約束類型

輸出條件的約束只有M約束（強制）：若結(jié)果a是1，則結(jié)果b強制為0。40《實用軟件工程》陸惠恩編著-何帆【例3】用因果圖法設(shè)計測試用例 某規(guī)格說明規(guī)定：輸入的第一列字符必須是A或B，第二列字符必須是一個數(shù)字。第一、二列都滿足條件時執(zhí)行操作H；如果第一列字符不正確，則給出信息L；如果第二列字符不正確，則給出信息R。 根據(jù)上述要求畫出因果圖，并設(shè)計測試用例。41《實用軟件工程》陸惠恩編著-何帆分析例3的因果原因編號條件原因1：第一列字符是A條件原因2：第一列字符是B條件原因3：第二列字符是數(shù)字 由于原因1和2不能同時成立，用E約束或O約束結(jié)果編號結(jié)果21：執(zhí)行操作H結(jié)果22：給出信息L結(jié)果23：給出信息R如果第一列符合條件，還應(yīng)檢查第二列是否正確。這里將第一列正確的情況編號為11，作為中間結(jié)果42《實用軟件工程》陸惠恩編著-何帆因果圖43《實用軟件工程》陸惠恩編著-何帆判定表原因編號條件原因1：第一列字符是A條件原因2：第一列字符是B條件原因3：第二列字符是數(shù)字結(jié)果編號結(jié)果21：執(zhí)行操作H結(jié)果22：給出信息L結(jié)果23：給出信息R結(jié)果11：中間輸出44《實用軟件工程》陸惠恩編著-何帆白盒法--邏輯覆蓋法

白盒法根據(jù)程序邏輯結(jié)構(gòu)進行測試，邏輯覆蓋法是一系列測試過程的總稱，包括：1.語句覆蓋：要求設(shè)計若干個測試用例，運行被測程序，使程序中每個可執(zhí)行語句至少被執(zhí)行一次。2.判定覆蓋：要求設(shè)計若干測試用例，運行被測程序，使得程序中每個判斷的取真分支和取假分支至少執(zhí)行一次，即判斷的真假值均要被檢測。3.條件覆蓋：要求設(shè)計若干測試用例，執(zhí)行被測程序，使得程序中每個判斷的每個條件的可能取值至少被執(zhí)行一次。45《實用軟件工程》陸惠恩編著-何帆邏輯覆蓋法4.判定/條件覆蓋：要求設(shè)計足夠的測試用例，執(zhí)行被測程序，使得判斷中每個條件的所有可能取值至少被執(zhí)行一次，同時每個判斷的所有可能判斷結(jié)果也至少被執(zhí)行一次。5.條件組合覆蓋：要求選取更過的測試數(shù)據(jù)，使每個判定表達式中條件的各種組合都至少出現(xiàn)一次，從而達到更強的邏輯覆蓋標準。6.點覆蓋：要求足夠多的數(shù)據(jù)使程序執(zhí)行時至少經(jīng)過程序圖中的每個點一次。7.邊覆蓋：要求選取足夠多的測試數(shù)據(jù)，使程序執(zhí)行路徑至少經(jīng)過程序圖中每條邊一次。8.路徑覆蓋：要求設(shè)計足夠多測試用例，覆蓋程序中所有可能的路徑。

46《實用軟件工程》陸惠恩編著-何帆【實例4】測試下面用PDL表示的程序進行測試BeginIf(A=3)OR(Ｂ>1)ThenX:=A*BEndifIf(A>2)AND(B=0)ThenX:=A-3EndifEnd47《實用軟件工程》陸惠恩編著-何帆程序流程圖1.語句覆蓋Ａ=３,Ｂ=０執(zhí)行路徑為sacbde2.判定覆蓋A=3,B=0sacbdeA=2,B=0sabe3.條件覆蓋A=2,B=2sacbeA=3,B=0sacbde4.判定/條件覆蓋A=3,B=0sacbdeA=2,B=0sabeA=2,B=2sacbe開始返回48《實用軟件工程》陸惠恩編著-何帆5.條件組合覆蓋條件組合及對應(yīng)的執(zhí)行路徑見右表49《實用軟件工程》陸惠恩編著-何帆6.點覆蓋程序圖見右圖Ａ=3,B=07.邊覆蓋A=3,B=01-4-5-6-7A=2,B=-11-2-3或A=3,B=21-4-5-3A=4,B=01-2-6-78.路徑覆蓋Ａ=1,B=11-2-3A=4,B=01-2-6-7A=1,B=21-4-5-3A=3,B=01-4-5-6-750《實用軟件工程》陸惠恩編著-何帆程序結(jié)構(gòu)復雜程度的度量McCabe方法首先畫出程序圖，然后計算程序的環(huán)行復雜度。程序環(huán)行復雜度的計算方法有三種：1、V(G)=m-n+2 其中，m是程序圖G中的弧數(shù)，n是有向圖G中的節(jié)點數(shù)。2、如果P是流圖中判定結(jié)點的個數(shù)， V(G)=P+1。3、強連通圖中線性無關(guān)有向環(huán)的個數(shù)。51《實用軟件工程》陸惠恩編著-何帆程序結(jié)構(gòu)復雜程度的度量應(yīng)用V(G)越大表示程序越復雜，McCabe研究了大量的程序后發(fā)現(xiàn)V(G)越大程序越容易出錯，測試和維護都很困難。實踐證明，模塊的規(guī)模以V(G)<11為宜。52《實用軟件工程》陸惠恩編著-何帆程序結(jié)構(gòu)復雜程度的度量【實例5】計算程序環(huán)行復雜度 現(xiàn)有對計算機應(yīng)用能力考試成績進行統(tǒng)計的程序。連續(xù)輸入考試成績，最后以輸入0分或負分為結(jié)束。規(guī)定成績在60分以下的不及格、60分以上的及格、80分以上的屬于優(yōu)秀。該程序統(tǒng)計并分別輸出成績不及格、及格、優(yōu)秀的人數(shù)及總?cè)藬?shù)。算出此程序的環(huán)行復雜度。53《實用軟件工程》陸惠恩編著-何帆程序流程圖開始S1，S2，S3，S=0輸入XX>0?X>=60?X<80?S2=S2+1S1=S1+1S3=S3+1S=S+1結(jié)束輸出S1,S2,S3,SFFFTTTsbac1c2c3defgh54《實用軟件工程》陸惠恩編著-何帆程序圖55《實用軟件工程》陸惠恩編著-何帆計算程序的環(huán)行復雜度：在圖中，實線弧數(shù)為14,節(jié)點數(shù)為12。因此，環(huán)行復雜度為 V(G)=14-12+2=4圖中，判定結(jié)點的個數(shù)為3，3+1=4。從出口點到入口點作一條虛線，圖中有4個線性無關(guān)的有向環(huán)：R1、R2、R3、R4。三種計算方法的結(jié)果相同。56《實用軟件工程》陸惠恩編著-何帆軟件測試原則和策略軟件測試原則測試不要由設(shè)計和開發(fā)部門來測試,改錯由程序作者負責測試用例要有輸入，又要有對應(yīng)的預期結(jié)果測試用例要有合理的輸入，也要有不合理的除了檢查程序是否做了應(yīng)做的工作，還要檢查是否做了不應(yīng)該做的工作窮盡測試是不可能的，要精心設(shè)計測試用例Pareto原理：發(fā)現(xiàn)的錯誤中80%很可能是由程序中20%的模塊造成的軟件需求期間就應(yīng)制定測試計劃應(yīng)長期保存所有的測試用例，直至該程序被廢棄57《實用軟件工程》陸惠恩編著-何帆實用測試策略用等價類劃分法設(shè)計測試方案。使用邊界值分析方法，既測試輸入數(shù)據(jù)的邊界情況又包括輸出數(shù)據(jù)的邊界情況。如果含有輸入條件的組合情況，一開始就用因果圖法。必要時用錯誤推斷法補充測試方案。用邏輯覆蓋法檢查現(xiàn)有測試方案，若沒有達到邏輯覆蓋標準，再補充一些測試用例。58《實用軟件工程》陸惠恩編著-何帆軟件調(diào)試、驗證與確認軟件調(diào)試也稱糾錯。調(diào)試的原則

注意錯誤的“群集現(xiàn)象”，不能只修改錯誤的征兆、表現(xiàn)。還應(yīng)該修改錯誤的本質(zhì)；注意在修改一個錯誤的同時，要避免引入新的錯誤。常用的調(diào)試方法：模仿跟蹤設(shè)置打印逐層分塊調(diào)試對分查找調(diào)試（二分法調(diào)試）回溯法59《實用軟件工程》陸惠恩編著-何帆軟件調(diào)試、驗證與確認程序正確性驗證（軟件驗證） 是確定軟件開發(fā)周期中的一個給定階段的產(chǎn)品是否達到需求的過程。軟件驗證方法：斷定軟件操作正確只是軟件操作錯誤只是軟件執(zhí)行時產(chǎn)生錯誤的原因把源程序和軟件配置的其他成分自動輸入系統(tǒng)。60《實用軟件工程》陸惠恩編著-何帆軟件調(diào)試、驗證與確認軟件確認軟件確認的方法：系統(tǒng)功能和性能滿足需求說明書中的全部要求，得到用戶認可。完成測試計劃中的所有要求，并書寫測試分析報告和開發(fā)總結(jié)。按用戶手冊和操作手冊進行軟件實際運行。61《實用軟件工程》陸惠恩編著-何帆軟件測試文檔1．軟件測試計劃測試內(nèi)容進度安排設(shè)計考慮測試數(shù)據(jù)的整理方法及評價準則62《實用軟件工程》陸惠恩編著-何帆軟件測試文檔2．測試說明文件測試設(shè)計說明測試用例說明測試規(guī)程說明63《實用軟件工程》陸惠恩編著-何帆測試用例編號：編制人審定人時間軟件名稱編號/版本測試用例用例編號參考信息（參考的文檔及章節(jié)號或功能項）：輸入說明（列出選用的輸入項，覆蓋正常、異常情況）：輸出說明（逐條與輸入項對應(yīng)，列出預期輸出）：環(huán)境要求（測試要求的軟、硬件、網(wǎng)絡(luò)要求）：特殊規(guī)程要求：用例間的依賴關(guān)系：64《實用軟件工程》陸惠恩編著-何帆

測試用例規(guī)程目的：測試用例文檔化、規(guī)范化，實現(xiàn)軟件測試的配置管理、適用范圍：同方融達系統(tǒng)測試二、規(guī)范：1XX測試項目1.1XX測試子項目用例編號用例級別輸入預期輸出實測結(jié)果備注對該用例分配唯一的編號標識表明該用例的重要性列出執(zhí)行本測試用例所須的具體的每一個輸入（值）列出所有的預期指標要求下的具體預期輸出（值）此項在測試時填寫。指明該測試用例是否通過。如果不通過，需列出實際測試時的測試輸出值如果有必要，則要填寫“預置條件”、“特殊環(huán)境需求”、“特殊測試步驟要求”、“相關(guān)測試用例”以及“相關(guān)測試規(guī)程”等相關(guān)信息，具體見詳細的注釋說明65《實用軟件工程》陸惠恩編著-何帆軟件測試文檔3．軟件測試分析報告

內(nèi)容包括：測試項傳遞報告：測試項的位置，狀態(tài)測試日志測試事件報告測試總結(jié)報告見/fei_lai_feng66《實用軟件工程》陸惠恩編著-何帆開始0-----TX>=80ANDy>=801-----TX>=90ANDy>=752-----TX>=75ANDy>=903-----T返回YNYNYN本流程圖描述了某個子程序處理流程，現(xiàn)要求用白盒測試法該子程序設(shè)計測試數(shù)據(jù)。[問題]根據(jù)判定覆蓋，條件覆蓋，判定/條件覆蓋，條件組合覆蓋和路徑覆蓋等5個覆蓋標準，從供選擇的答案中分別找出滿足相應(yīng)覆蓋標準的最小測試數(shù)據(jù)組。用(1)—(12)回答。練習一67《實用軟件工程》陸惠恩編著-何帆(1)X=90，Y=90(2)X=90，Y=70(3)X=90，Y=90(4)X=90，Y=75X=70，Y=70X=70，Y=90X=90，Y=75X=75，Y=90X=90，Y=75X=75，Y=90X=70，Y=70(5)X=90，Y=90(6)X=80，Y=80(7)X=80，Y=80(8)X=80，Y=80X=90，Y=70X=90，Y=75X=90，Y=70X=75，Y=90X=70，Y=90X=90，Y=90X=70，Y=90X=70，Y=70X=70，Y=70X=75，Y=90X=70，Y=70X=70，Y=90X=75，Y=75判定覆蓋條件覆蓋條件覆蓋條件覆蓋條件覆蓋判定/條件覆蓋路徑覆蓋條件覆蓋68《實用軟件工程》陸惠恩編著-何帆(9)X=80，Y=80(10)X=