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