軟件測(cè)試技術(shù)知識(shí)點(diǎn)整理(編輯修改稿)
2025-07-25 16:49 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 通常在因果圖中用Ci表示原因，用Ei表示結(jié)果，各結(jié)點(diǎn)表示狀態(tài)，可取值“0”或“1”?！?”表示某狀態(tài)不出現(xiàn)，“1”表示某狀態(tài)出現(xiàn)。C2c1恒等： c1為1,則e1也為1,否則e1為0. 非： 若c1是1,則e1為0,否則e1是1.或： 若c1或c2或c3是1,則e1是1,若三者都不為1,則e1為0.與： 若c1和c2都是1,則e1為1,否則若有其中一個(gè)不為1,則e1為0.④約束：實(shí)際問(wèn)題中,輸入狀態(tài)之間可能存在某些依賴關(guān)系.E約束(異)： a,b最多有一個(gè)可能為1,不能同時(shí)為1.I約束(或)： a,b,c中至少有一個(gè)必須為1,不能同時(shí)為0.O約束(惟一)： a和b必須有一個(gè)且僅有一個(gè)為1R約束(要求)：a是1時(shí),b必須是1,即a為1時(shí),b不能為0M約束：對(duì)輸出條件的約束,若結(jié)果a為1,則結(jié)果b必須為0.⑤因果圖生成測(cè)試用例的基本步驟（a）找出原因和結(jié)果。（b）畫(huà)出因果圖。 （c）增加約束。（d）把因果圖轉(zhuǎn)化為判定表，并化簡(jiǎn)。（e）把判定表的每一列拿出來(lái)作為依據(jù)，設(shè)計(jì)測(cè)試用例。⑥例題（a）原因： C1：第一個(gè)字符是A； C2：第一個(gè)字符是B；C3：第二個(gè)字符是一個(gè)數(shù)字字找。結(jié)果： E1：給出信息L； E2：修改文件； E3：給出信息M。（b）因果圖。（c）決策表。12345678C1C2C310111110101110010111010100100000E1E2E3不可能√√√√√√√√√測(cè)試用例A3A5AMAamp。B3B5BMB*C2X6CMD*（d）設(shè)計(jì)測(cè)試用例測(cè)試用例1： 輸入數(shù)據(jù)：A3 預(yù)期輸出：修改文件測(cè)試用例2： 輸入數(shù)據(jù)：AM 預(yù)期輸出：給出信息M測(cè)試用例3： 輸入數(shù)據(jù)：B3 預(yù)期輸出：修改文件測(cè)試用例4： 輸入數(shù)據(jù)：B* 預(yù)期輸出：給出信息M測(cè)試用例5： 輸入數(shù)據(jù)：C2 預(yù)期輸出：給出信息L測(cè)試用例6： 輸入數(shù)據(jù)：CM 預(yù)期輸出：給出信息LM⑦因果圖法的優(yōu)點(diǎn)：（a）考慮了多個(gè)輸入之間的相互組合、相互制約關(guān)系；（b）能夠幫助我們按一定步驟，高效率地選擇測(cè)試用例，同時(shí)還能為我們指出，程序規(guī)格說(shuō)明描述中存在著什么問(wèn)題。六、白盒測(cè)試1．白盒測(cè)試概述：白盒測(cè)試也稱結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。2．方法：程序結(jié)構(gòu)分析；邏輯覆蓋測(cè)試；基本路徑測(cè)試。3．原則：（1）保證一個(gè)模塊中所有獨(dú)立路徑至少被測(cè)試一次；（2）所有邏輯值均需測(cè)試真（True）和假（False）兩種情況；（3）檢查程序的內(nèi)部數(shù)據(jù)結(jié)構(gòu)，保證其結(jié)構(gòu)的有效性；（4）在取值上、下邊界，即可操作范圍內(nèi)運(yùn)行所有循環(huán).4．邏輯覆蓋測(cè)試:主要是測(cè)試覆蓋率，以程序內(nèi)在邏輯結(jié)構(gòu)為基礎(chǔ)的測(cè)試。6種：語(yǔ)句覆蓋 判斷覆蓋 條件覆蓋 判定條件覆蓋 條件組合覆蓋 路徑測(cè)試.①語(yǔ)句覆蓋：在測(cè)試時(shí)，首先設(shè)計(jì)若干個(gè)測(cè)試用例，然后運(yùn)行被測(cè)程序，使程序中的每個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次 。判定：整體 控制。 包括：a、單一條件判定； b、符合條件覆蓋語(yǔ)句覆蓋率：已執(zhí)行的可執(zhí)行語(yǔ)句占程序中可執(zhí)行語(yǔ)句總數(shù)的百分比②判定覆蓋：設(shè)計(jì)足夠多的測(cè)試用例，使程序中的每個(gè)判定至少都獲得一次“真值”或“假值”。③條件覆蓋:構(gòu)造一組測(cè)試用例，使得每一判定語(yǔ)句中每個(gè)邏輯條件的可能值至少滿足一次。滿足條件覆蓋的不一定滿足判定覆蓋，反之亦然。兩者無(wú)直接關(guān)系。④判定/條件覆蓋：設(shè)計(jì)足夠的測(cè)試用例，使得判定中每個(gè)條件的所有可能(真/假)至少出現(xiàn)一次，并且每個(gè)判定本身的判定結(jié)果(真/假)也至少出現(xiàn)一次⑤組合條件覆蓋（MCC）：設(shè)計(jì)足夠的測(cè)試用例，使得每個(gè)判定中條件的各種可能組合都至少出現(xiàn)一次。滿足組合條件覆蓋的測(cè)試用例是一定滿足判定覆蓋、條件覆蓋和判定/條件覆蓋。⑥修正條件判定覆蓋(MCDC)：需要足夠的測(cè)試用例來(lái)確定各個(gè)條件能夠影響到包含的判定的結(jié)果，即要求滿足兩個(gè)條件。七、靜態(tài)測(cè)試1．靜態(tài)測(cè)試不實(shí)際運(yùn)行軟件，主要對(duì)軟件的編程格式、結(jié)構(gòu)等方面進(jìn)行評(píng)估。可以有人工進(jìn)行，也可借助軟件工具自動(dòng)進(jìn)行。2．靜態(tài)測(cè)試的方法 （1）代碼檢查：代碼審查 代碼走查 桌面檢查 同行評(píng)分（略）（2）代碼審查：通常由4人組成，其中一人是協(xié)調(diào)人，一人是程序的編寫(xiě)者，其他人員通常是程序的設(shè)計(jì)人員以及測(cè)試專(zhuān)家。優(yōu)點(diǎn)
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1