【正文】 ? (2)嵌套循環(huán) ? 直接把簡單循環(huán)測試方法應用于嵌套循環(huán)，會使測試數(shù)目以幾何級數(shù)增長。為減少測試數(shù)， 套循環(huán)的測試策略： ? 從最內(nèi)層循環(huán)開始測試，把所有其他循環(huán)都設置為最小值。 ? 對最內(nèi)層循環(huán)使用簡單循環(huán)測試方法，而使外層循環(huán)的迭代參數(shù) (例如，循環(huán)計數(shù)器 )取最小值，并為越界值或非法值增加一些額外的測試。 ? 由內(nèi)向外，對下一個循環(huán)進行測試，但保持所有其他外層循環(huán)為最小值，其他嵌套循環(huán)為 “ 典型 ” 值。 ? 繼續(xù)進行下去，直到測試完所有循環(huán)。 125 軟件工程 2021 第七章 實現(xiàn) 循環(huán)測試 ? (3)串接循環(huán) ? 如果串接循環(huán)的各個循環(huán)都彼此獨立，則可以使用前述的測試簡單循環(huán)的方法來測試串接循環(huán)。但是，如果兩個循環(huán)串接，而且第一個循環(huán)的循環(huán)計數(shù)器值是第二個循環(huán)的初始值，則這兩個循環(huán)并不是獨立的。當循環(huán)不獨立時，建議使用測試嵌套循環(huán)的方法來測試串接循環(huán)。 126 軟件工程 2021 第七章 實現(xiàn) 第七章內(nèi)容概要 ? 編碼 ? 軟件測試基礎 ? 單元測試 ? 集成測試 ? 確認測試 ? 白盒測試技術 ? 黑盒測試技術 ? 調試 ? 軟件可靠性 ★ 127 軟件工程 2021 第七章 實現(xiàn) 黑盒測試技術 ? 黑盒測試力圖發(fā)現(xiàn)下述類型的錯誤： ? ①功能不正確或遺漏了功能； ? ②界面錯誤； ? ③數(shù)據(jù)結構錯誤或外部數(shù)據(jù)庫訪問錯誤； ? ④性能錯誤； ? ⑤初始化和終止錯誤。 ? 黑盒測試法與白盒測試法不能互相代替，兩者應互為補充。 ? 白盒測試在測試過程的早期階段進行，黑盒測試主要用于測試過程的后期 128 軟件工程 2021 第七章 實現(xiàn) 黑盒測試技術 ? 黑盒測試的方法主要有： ? 等價劃分 ? 邊界值分析 ? 錯誤推測 129 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ? 等價劃分方法把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分成若干部分，據(jù)此導出測試用例，一個理想的測試用例能夠獨自發(fā)現(xiàn)一類錯誤。 ? 等價劃分法的一個假設：每類中的一個典型值在測試中的作用與這一類中所有其他值的作用相同。 ? 在確定輸入數(shù)據(jù)的等價類時，常常還需要確定輸出數(shù)據(jù)的等價類，以便根據(jù)輸出數(shù)據(jù)的等價類導出對應的輸入數(shù)據(jù)的等價類。 130 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ? 等價類的劃分有兩種不同的情況： ? 有效等價類：是指對于程序的規(guī)格說明來說，是合理的，有意義的輸入數(shù)據(jù)構成的集合。 ? 無效等價類：是指對于程序的規(guī)格說明來說，是不合理的，無意義的輸入數(shù)據(jù)構成的集合。 131 軟件工程 2021 第七章 實現(xiàn) 劃分等價類的原則 1. 如果輸入條件規(guī)定了取值范圍或值的個數(shù)，則可以確立一個有效等價類和兩個無效等價類。 2. 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)定了 “ 必須如何 ” 的條件，這時可確立一個有效等價類和一個無效等價類。 3. 如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對每個輸入值分別進行處理。這時可為每一個輸入值確立一個有效等價類，此外針對這組值確立一個無效等價類，它是所有不允許的輸入值的集合。 132 軟件工程 2021 第七章 實現(xiàn) 劃分等價類的原則 4. 如果規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則，則可以確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）。 ? 如果規(guī)定了輸入數(shù)據(jù)為整型，則可以劃分出正整數(shù)、零和負整數(shù)等 3個有效類。 ? 如果程序的處理對象是表格，則應該使用空表，以及含一項或多項的表。 133 軟件工程 2021 第七章 實現(xiàn) 確定測試用例 ? 設計一個新的測試用例，使其盡可能多地覆蓋尚未被覆蓋的有效等價類，重復這一步，直到所有的 有效等價類 都被覆蓋為止； ? 設計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重復這一步，直到所有的 無效等價類 都被覆蓋為止。 134 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ― 實例 1 ? 假設有一個把數(shù)字串轉變成整數(shù)的函數(shù)。被處理的數(shù)字串是右對齊的，也就是說，如果數(shù)字串比 6個字符短，則在它的左邊補空格。如果數(shù)字串是負的，則負號和最高位數(shù)字緊相鄰 (負號在最高位數(shù)字左邊一位 )。 135 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 1 ? 分析這個程序的規(guī)格說明，可以劃分出如下等價類： ? 有效輸入的等價類有 ? (1)l一 6個數(shù)字字符組成的數(shù)字串 (最高位數(shù)字不是零 )； ? (2)最高位數(shù)字是零的數(shù)字串； ? (3)最高位數(shù)字左鄰是負號的數(shù)字串； 136 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 1 ? 無效輸入的等價類有 ? (4)空字符串 (全是空格 )； ? (5)左部填充的字符既不是零也不是空格； ? (6)最高位數(shù)字右面由數(shù)字和空格混合組成； ? (7)最高位數(shù)字右面由數(shù)字和其他字符混合組成； ? (8)負號與最高位數(shù)字之間有空格； 137 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 1 ? 合法輸出的等價類有 ? (9)在計算機能表示的最小負整數(shù)和零之間的負整數(shù)； ? (10)零； ? (11)在零和計算機能表示的最大正整數(shù)之間的正整數(shù)； ? 非法輸出的等價類有 ? (12)比計算機能表示的最小負整數(shù)還小的負整數(shù)； ? (13)比計算機能表示的最大正整數(shù)還大的正整數(shù)。 138 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 1 ? 根據(jù)上面劃分出的等價類，可以設計出下述測試方案 (注意，每個測試方案由 3部分內(nèi)容組成 )： ? (1)1～ 6個數(shù)字組成的數(shù)字串，輸出是合法的正整數(shù)。 輸入： ‘ 1’ 預期的輸出： 1。 ? (2)最高位數(shù)字是零的數(shù)字串，輸出是合法的正整數(shù)。 輸入： ‘ 00000l’ 預期的輸出： 1 139 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 1 ? (4)最高位數(shù)字是零，輸出也是零。 輸入： ‘ 000000’ 預期的輸出： 0 ? (5)太小的負整數(shù)。 輸入： ‘ 47561’ 預期的輸出： “ 錯誤 —無效輸入 ” ? (6)太大的正整數(shù)。 輸入： ‘ 132767’ 預期的輸出： “ 錯誤 —無效輸入 ” 140 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 1 ? (7)空字符串。 輸入： ‘ ’ 預期的輸出： “ 錯誤 ——沒有數(shù)字 ” ? (8)字符串左部字符既不是零也不是空格 輸入： ‘ XXXXXl’ 預期的輸出： “ 錯誤 ——填充錯 ” ? (9)最高位數(shù)字后面有空格。 輸入： ‘ 1 2’ 預期的輸出： “ 錯誤 ——無效輸入 ” 141 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 1 ? (10)最高位數(shù)字后面有其他字符。 輸入： ‘ 1XX2’ 預期的輸出： “ 錯誤 ——無效輸入 ” ? (11)負號和最高位數(shù)字之間有空格。 輸入： ‘ 12’ 預期的輸出： “ 錯誤 ——負號位置錯 ” 142 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 2 ? 在某一 PASCAL語言版本中規(guī)定： “ 標識符是由字母開頭，后跟字母或數(shù)字的任意組合構成。有效字符數(shù)為 8個，最大字符數(shù)為80個。 ” 并且規(guī)定： “ 標識符必須先說明，再使用。 ” ， “ 在同一說明語句中，標識符至少必須有一個。 ” 143 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 2 用等價類劃分方法，建立輸入等價類表 : 144 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 2 ? 下面選取了 9個測試用例，它們覆蓋了所有的等價類。 ① VAR x， T1234567： REAL； BEGIN x := ； T1234567 := ； ...… (1), (2), (4), (8), (9), (12), (14) ② VAR ： REAL； (3) ③ VAR x，： REAL。 (5) 145 軟件工程 2021 第七章 實現(xiàn) 等價劃分 ―實例 2 ④ VAR T12345678： REAL； (6) ⑤ VAR T12345......： REAL； (7) 多于 80個字符 ⑥ VAR T$： CHAR； (10) ⑦ VAR GOTO： INTEGER； (11) ⑧ VAR 2T： REAL； (13) ⑨ VAR PAR： REAL； (15) BEGIN ...... PAP := SIN ( * ) / 6； 146 軟件工程 2021 第七章 實現(xiàn) ? 某城市的電話號碼由 3部分組成。這 3部分的名稱與內(nèi)容分別是 ? 地區(qū)碼： 空白或 3位數(shù)字； ? 前綴：非 ‘ 0’或 ‘ 1’開頭的 3位數(shù)字； ? 后綴： 4位數(shù)字。 ? 假定被測程序能接受一切符合上述規(guī)定的電話號碼，拒絕所有不符合規(guī)定的號碼，用等價類劃分法設計該程序的測試用例 課堂練習 147 軟件工程 2021 第七章 實現(xiàn) 輸入條件 有效等價類 無效等價類 地區(qū)碼 空白 3位數(shù)字 有非數(shù)字字符 少于 3位數(shù)字 多于 3位數(shù)字 前綴 從 200到 999之間的 3位數(shù)字 有非數(shù)字字符 起始位為 ‘ 0’ 起始位為 ‘ 1’ 少于 3位數(shù)字 多于 3位數(shù)字 后綴 4位數(shù)字 有非數(shù)字字符 少于 4位數(shù)字 多于 4位數(shù)字 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 148 軟件工程 2021 第七章 實現(xiàn) 邊界值分析 (Boundary Value Analysis) ? 人們從長期的測試工作經(jīng)驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。因此針對各種邊界情況設計測試用例，可以查出更多的錯誤。 149 軟件工程 2021 第七章 實現(xiàn) 邊界值分析 (Boundary Value Analysis) 對前面的實例 1補充下述測試方案： (12)使輸出剛好等于最小的負整數(shù)。 輸入： ‘ 32768’ 預期的輸出為： 32768 (13)使輸出剛好等于最大的正整數(shù)。 輸入： ‘ 32767’ 預期的輸出： 32767 原來用等價劃分法設計出來的測試方案 (5)最好改為： (14)使輸出剛剛小于最小的負整數(shù)。 輸入： ‘ 32769’ 預期的輸出； “ 錯誤 ——無效輸入 ” 150 軟件工程 2021 第七章 實現(xiàn) 邊界值分析 (Boundary Value Analysis) 原來的測試方案 (6)最好改為： (15)使輸出剛剛大于最大的正整數(shù)。 輸入： ‘ 32768’ 預期的輸出： “ 錯誤 ——無效輸入 ” 151 軟件工程 2021 第七章 實現(xiàn) 錯誤推測法 ? 人們也可以靠經(jīng)驗和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子。這就是錯誤推測法。 ? 錯誤推測法的基本想法是：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例。 ? 經(jīng)驗表明，發(fā)現(xiàn)錯誤多的程序段，往往其中尚未發(fā)現(xiàn)的錯誤也多。 ? 利用前一章所講述的判定表或判定樹來設計測試用例。 152 軟件工程 2021 第七章 實現(xiàn) Myers提出了使用