【正文】 d (A = 2) or not (B = 0) and (X 1) L4 ( a? c ? d ) = {(A 1) and (B = 0)} and not {(A = 2) or (X/A 1)} = (A 1) and (B = 0) and not (A = 2) and not (X/A 1) 語句覆蓋 ?語句覆蓋就是設(shè)計(jì)若干個(gè)測試用例，運(yùn)行被測程序，使得 每一可執(zhí)行語句至少執(zhí)行一次 。 ?對于圖例，如果選擇 路徑 L1和 L2，就可得滿足要求的測試用例 : ? 【 (2, 0, 4)， (2, 0, 3)】 覆蓋 ace【 L1】 【 (1, 1, 1)， (1, 1, 1)】 覆蓋 abd【 L2】 (A = 2) and (B = 0) or (A 1) and (B = 0) and (X/A 1) not (A 1) and not (A = 2) and not (X 1) or not (B = 0) and not (A = 2) and not (X 1) ? 如果選擇路徑 L3和 L4，還可得另一組可用的測試用例 : 【 (2, 1, 1)， (2, 1, 2)】 覆蓋 abe【 L3】 【 (3, 0, 3)， (3, 0, 1)】 覆蓋 acd【 L4】 not (A 1) and (X 1) or not (B = 0) and (A = 2) or not (B = 0) and (X 1) (A 1) and (B = 0) and not (A = 2) and not (X/A 1) 條件覆蓋 ?條件覆蓋就是設(shè)計(jì)若干個(gè)測試用例，運(yùn)行被測程序，使得程序中 每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次 。 記 ① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯1, B ＝ 0 作 ④ A≯1, B≠0 作 T T1 2T T1 2T T1 2T T1 2 ⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯ 1 作 ⑦ A≠2, X＞ 1 作 ⑧ A≠2, X≯ 1 作 測 試 用 例 覆蓋條件 覆蓋組合 【 (2, 0, 4), (2, 0, 3)】 (L1) ① , ⑤ 【 (2, 1, 1), (2, 1, 2)】 (L3) ② , ⑥ 【 (1, 0, 3), (1, 0, 4)】 (L3) ③ , ⑦ 【 (1, 1, 1), (1, 1, 1)】 (L2) ④ , ⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4路徑測試 ? 路徑測試就是設(shè)計(jì)足夠的測試用例， 覆蓋程序中所有可能的路徑 。 ?為減少測試用例的數(shù)目，可采用 試驗(yàn)設(shè)計(jì)法 ， 抽取部分路徑進(jìn)行測試 。 基本路徑測試 ? 基本路徑測試方法把覆蓋的路徑數(shù)壓縮到一定限度內(nèi)，程序中的循環(huán)體最多只執(zhí)行一次。箭頭為邊，表示控制流的方向。 等價(jià)類劃分 ? 等價(jià)類劃分是一種典型的黑盒測試方法，使用這一方法時(shí)，完全不考慮程序的內(nèi)部結(jié)構(gòu)，只依據(jù)程序的規(guī)格說明來設(shè)計(jì)測試用例。在該子集合中，各個(gè)輸入數(shù)據(jù)對于揭露程序中的錯(cuò)誤都是等效的。 ? 在設(shè)計(jì)測試用例時(shí)，要同時(shí)考慮有效等價(jià)類和無效等價(jià)類的設(shè)計(jì)。 在數(shù)軸上表示成 : 2) 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)定了?必須如何?的條件，這時(shí)可確立一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。 4) 如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對每個(gè)輸入值分別進(jìn)行處理。 5) 如果規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則，則可以確立一個(gè)有效等價(jià)類（符合規(guī)則）和若干個(gè)無效等價(jià)類（從不同角度違反規(guī)則）?！?結(jié)束?，若干個(gè)無效等價(jià)類 ?以‘ :’ 結(jié)束?、?以‘ ,’結(jié)束?、?以‘ ’結(jié)束?、?以 LF結(jié)束?等。有效字符數(shù)為 8個(gè)，最大字符數(shù)為 80個(gè)。 ① VAR x， T1234567： REAL； BEGIN x := ； T1234567 := ； ...… (1), (2), (4), (8), (9), (12), (14) ② VAR ： REAL； (3) ③ VAR x，： REAL。 ? 比如，在做三角形計(jì)算時(shí)，要輸入三角形的三個(gè)邊長： A、 B和 C。 ? 這里所說的邊界是指，相當(dāng)于輸入等價(jià)類和輸出等價(jià)類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。這就是錯(cuò)誤推測法。它適合于檢查程序輸入條件的各種組合情況。為表明這些特殊情況，在因果圖上用一些記號標(biāo)明約束或限制條件。? 0?表示某狀態(tài)不出現(xiàn)，? 1? 表示某狀態(tài)出現(xiàn)。若售貨機(jī)沒有零錢找，則一個(gè)顯示 〖 零錢找完 〗的紅燈亮，這時(shí)在投入 1元硬幣并押下按鈕后，飲料不送出來而且 1元硬幣也退出來；若有零錢找，則顯示 〖 零錢找完 〗 的紅燈滅，在送出飲料的同時(shí)退還 5角硬幣。 4) 因果圖 5) 轉(zhuǎn)換成判定表 ? 使用各種設(shè)計(jì)方法的綜合策略 ? 測試素材的復(fù)用 ? 在任何情況下都必須使用 邊界值分析法 。 ? 不要因?yàn)閷?shí)現(xiàn)的困難程度而影響設(shè)計(jì)用例 ? Generic Test ? 自動生成測試用例 Review ?編寫測試 Property Page的 Test Case 第四章 測試度量體系的建立 一個(gè)完備的測試度量體系的構(gòu)成要素： 1. 缺陷庫的建立 2. 用例庫的建立 3. 測試結(jié)果庫的建立 4. 自動化測試體系 5. 高效的工作流程 6. 數(shù)據(jù)統(tǒng)計(jì)和數(shù)據(jù)挖掘 7. 缺陷追蹤體系 8. 科學(xué)的測試管理 測試度量體系構(gòu)成 ? 用例庫的建立 ? 不能把用例庫只建成一個(gè)詳細(xì)的記錄平臺，它是自動化測試體系的支撐平臺 ? 用例庫的具體實(shí)現(xiàn) ? 缺陷庫的建立 ? 同樣地，缺陷庫也不只是記錄 Bug的數(shù)據(jù)庫，建設(shè)時(shí)要考慮缺陷追蹤和為管理提供支撐 ? 缺陷庫的具體實(shí)現(xiàn) ? 測試結(jié)果庫的建立 ? 用例庫、缺陷庫和結(jié)果庫是數(shù)據(jù)輔助決策的支撐平臺 測試度量體系 —— 平臺建設(shè) 測試度量體系（一） ? Bug和 Case的關(guān)聯(lián) ? Known Failure與 New Failure 缺陷的生命期 （ 1） Open態(tài) pending態(tài) resolve態(tài) /open態(tài) （ 2） Open態(tài) Close態(tài) （ 3） Open態(tài) delay態(tài) open close resolve delay pending 測試度量體系 —— 流程 Review ? 從開一個(gè) Bug到關(guān)閉一個(gè) Bug經(jīng)歷的階段、處理的方法、判斷的依據(jù) 第五章 測試方法及技巧 從兩個(gè)小故事想到的 ? 香皂盒測試 ? 太空用筆 ? Work Around和徹底解決問題 軟件測試的種類 ? Functionality Test ? Black box and White box ? Security ? Help and documentation ? International Sufficiency (Globalization/localization) ? Accessibility ? Scalability/ ? Performance ? Stress 軟件測試的種類 ? Geo/Political/Legal ? Logging/ Message format Tracing/Counters( Diagnos ability) ? Testability ? Test Hooks ? SCENARIO BASED TESTS ? Reliability/LongHaul ? Integration ? Interoperability ? Compatibility ? UE測試 功能測試 ? 功能測試是在規(guī)定的一段時(shí)間內(nèi)運(yùn)行軟件系統(tǒng)的所有功能，以驗(yàn)證這個(gè)軟件系統(tǒng)有無嚴(yán)重錯(cuò)誤。例如： ? 把輸入數(shù)據(jù)速率提高一個(gè)數(shù)量級，確定輸入功能將如何響應(yīng)。 ? 強(qiáng)度測試的一個(gè)變種就是 敏感性測試 。特別是對于實(shí)時(shí)系統(tǒng)或嵌入式系統(tǒng)。例如， ? 對于編譯程序，讓它處理特別長的源程序； ? 對于操作系統(tǒng)，讓其作業(yè)隊(duì)列 “ 滿員 ” ； ? 對于信息檢索系統(tǒng)，讓它使用頻率達(dá)到最大。 安全性測試 ? 安全測測試本質(zhì)上也是功能測試的一種 ? 對于非桌面型應(yīng)用、 CS/BS應(yīng)用、電信 /金融 /企業(yè)級的應(yīng)用尤為重要 ? 安全性測試的前提條件是清晰詳盡的權(quán)限定義 可使用性測試 ? 可使用性測試主要從使用的 合理性 和 方便性 等角度對軟件系統(tǒng)進(jìn)行檢查，發(fā)現(xiàn)人為因素或使用上的問題。 ? 要分配和裝入文件與程序庫 ? 布臵適用的硬件配臵 ? 進(jìn)行程序的聯(lián)結(jié)。 ?文檔測試 ? 這種測試是檢查用戶文檔 (如用戶手冊 )的清晰性和精確性。 ? α測試 的目的是評價(jià)軟件產(chǎn)品的 FLURPS（即功能、局域化、可使用性、可靠性、性能和支持）。 ? 桌前檢查 （ Desk Checking） 由程序員自己檢查自己編寫的程序 。 ? 調(diào)試活動由兩部分組成： ? 確定程序中可疑錯(cuò)誤的確切性質(zhì)和位臵。如果要找出真正的原因，排除潛在的錯(cuò)誤，不是一件易事。 ? 當(dāng)其他錯(cuò)誤得到糾正時(shí) , 這一錯(cuò)誤所表現(xiàn)出的現(xiàn)象可能會暫時(shí)消失，但并未實(shí)際排除。 ? 現(xiàn)象是由于難于精確再現(xiàn)的輸入狀態(tài)（例如，實(shí)時(shí)應(yīng)用中輸入順序不確定）引起?？梢圆捎靡韵路椒ǎ? 強(qiáng)行排錯(cuò) 這種調(diào)試方法目前使用較多，效率較低。 ? 自動調(diào)試工具。 一旦發(fā)現(xiàn)了錯(cuò)誤，人們先分析錯(cuò)誤征兆，確定最先發(fā)現(xiàn)?癥狀?的位臵。再從這一點(diǎn)出發(fā)，回溯程序的執(zhí)行過程，反復(fù)考慮：? 如果程序在這一點(diǎn)上的狀態(tài)（變量的值）是這樣，那么程序在上一點(diǎn)的狀態(tài)一定是這樣 ...? ， 直到找到錯(cuò)誤的位臵?？茨男┹斎霐?shù)據(jù)的運(yùn)行結(jié)果是正確的，哪些輸入數(shù)據(jù)的運(yùn)行結(jié)果有錯(cuò)誤。 ? 提出假設(shè) 分析線索之間的關(guān)系，利用在線索結(jié)構(gòu)中觀察到的矛盾現(xiàn)象，設(shè)計(jì)一個(gè)或多個(gè)關(guān)于出錯(cuò)原因的假設(shè)。 演繹法調(diào)試 ? 演繹法是一種從一般原理或前提出發(fā)，經(jīng)過排除和精化的過程來推導(dǎo)出結(jié)論的思考方法。 ? 利用已有的測試數(shù)據(jù)，排除不正確的假設(shè) 仔細(xì)分析已有的數(shù)據(jù)，尋找矛盾，力求排除前一步列出所有原因。調(diào)試由兩部分組成，調(diào)試原則也分成兩組。利用調(diào)試工具，可以幫助思考，但不能代替思考。 ? 當(dāng)心修正一個(gè)錯(cuò)誤的同時(shí) 有可能會引入新的錯(cuò)誤 。A ? Thank You!