【正文】 A=2) and (B=0) or (A1) and (B=0) and (X/A1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 5. 條件組合覆蓋 ?條件組合覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，運(yùn)行被測(cè)程序，使得 每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次 。 ? nPosY。 ?這種方法完全不考慮程序的內(nèi)部結(jié)構(gòu)，只依據(jù)程序的規(guī)格說明來設(shè)計(jì)測(cè)試用例。 ? 兩個(gè)無(wú)效等價(jià)類是“輸入數(shù)＜ 1或“輸入數(shù)＞ 999 在數(shù)軸上表示成： 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價(jià)類劃分原則（ 2） ? 原則 2：如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對(duì)每種輸入數(shù)據(jù)分別處理，則可為每種輸入值確立一個(gè)有效等價(jià)類，此外針對(duì)這組值確立一個(gè)無(wú)效等價(jià)類，它是所有不允許的輸入值的集合。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 測(cè)試用例的選擇原則 ?原則 1: 為每一個(gè)等價(jià)類規(guī)定一個(gè)唯一編號(hào)； ?原則 2:設(shè)計(jì)一個(gè)新的測(cè)試用例，使其盡可能多地覆蓋尚未被覆蓋的有效等價(jià)類，重復(fù)這一步，直到所有的有效等價(jià)類都被覆蓋為止； ?原則 3: 設(shè)計(jì)一個(gè)新的測(cè)試用例，使其僅覆蓋一個(gè)尚未被覆蓋的無(wú)效等價(jià)類，重復(fù)這一步，直到所有的無(wú)效等價(jià)類都被覆蓋為止。 ? 經(jīng)驗(yàn)得知，大量的錯(cuò)誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 .8 .1 調(diào)試過程 ?① 從錯(cuò)誤的外部表現(xiàn)形式入手，確定程序中出錯(cuò)位置； ?② 研究有關(guān)程序，找出錯(cuò)誤的內(nèi)在原因； ?③修改設(shè)計(jì)和代碼，排除這個(gè)錯(cuò)誤； ?④ 重復(fù)進(jìn)行暴露了這個(gè)錯(cuò)誤的原始測(cè)試或某些有關(guān)測(cè)試。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 8. 2 調(diào)試途徑 ?① 強(qiáng)行排錯(cuò) (蠻干法 ) ?效率最低的方法，常見形式： ?打印出所有存儲(chǔ)內(nèi)容、代碼 ?在程序特定部位設(shè)置打印語(yǔ)句 ?自動(dòng)調(diào)試工具。 ? 提出假設(shè) 。 ? 利用已有的測(cè)試數(shù)據(jù)，排除不正確的假設(shè) 。 ?避開死胡同。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 9 軟件可靠性 ? 7 .9. 1 基本概念 ? 什么是軟件可靠性？ ? 程序在給定的時(shí)間間隔內(nèi)，按照規(guī)格說明書的規(guī)定成功地運(yùn)行的概率。 ?分支較多的復(fù)雜的程序，程序可能執(zhí)行的路徑太多，進(jìn)行窮舉測(cè)試幾乎是不可能的。當(dāng)三角形為等邊三角形、等腰三角形、一般三角形時(shí)，給出三角形類型并計(jì)算其面積。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 錯(cuò)誤植入模型 ? Mills 將 播種模型 用于程序中殘留錯(cuò)誤的估算，稱 錯(cuò)誤植入模型 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 2 ) 分別測(cè)試法 ? Hyman 對(duì)錯(cuò)誤植入模型的改進(jìn) ? 兩個(gè)測(cè)試員彼此獨(dú)立測(cè)試同一個(gè)程序的兩個(gè)副本 ,將把其中一個(gè)測(cè)試員發(fā)現(xiàn)的錯(cuò)誤作為有標(biāo)記的錯(cuò)誤 ,由另一名分析員分析他們的測(cè)試結(jié)果。 ?修改錯(cuò)誤的過程將迫使人們暫時(shí)回到程序設(shè)計(jì)階段。見歸納法第四步。把所有可能的錯(cuò)誤原因列成表。 組織整理數(shù)據(jù)，以發(fā)現(xiàn)規(guī)律。 ? 現(xiàn)象可能是周期出現(xiàn)的。 ?調(diào)試活動(dòng)的組成部分： ?確定程序中可疑錯(cuò)誤的確切性質(zhì)和位置。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 劃分等價(jià)類并編號(hào) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 為合理等價(jià)類設(shè)計(jì)測(cè)試用例 ?① 6 位數(shù)字字符 ?⑤ 在 1990 一 1999 之間 ?⑧ 在 1 一 12 之間 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 為每個(gè)不合理等價(jià)類設(shè)計(jì)測(cè)試用例 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價(jià)類劃分法設(shè)計(jì)測(cè)試用例（例 2 ) ?某一 8 位微機(jī)，其十六進(jìn)制常數(shù)定義為： ?以 0x 或 0X 開頭的數(shù)是十六進(jìn)制整數(shù)，其值的范圍是 7f ~ 7f （表示十六進(jìn)制的大小寫字母不加區(qū)別），如 0X 13 , 0X6A ， 0X3c 。 ?原則 6：如果確知，已劃分的等價(jià)類中各元素在程序中的處理方式不同，則應(yīng)將此等價(jià)類進(jìn)一步劃分成更小的等價(jià)類。 ?在設(shè)計(jì)測(cè)試用例時(shí)，要同時(shí)考慮有效等價(jià)類和無(wú)效等價(jià)類的設(shè)計(jì)！ ! 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價(jià)類劃分原則（ 1） ?原則 1 ：若規(guī)定了取值范圍，或輸入值的個(gè)數(shù)，則可以確立一個(gè)有效等價(jià)類和兩個(gè)無(wú)效等價(jià)類。 ?導(dǎo)出測(cè)試用例，確保基本路徑集中的每一條路徑的執(zhí)行。 ? 獨(dú)立路徑條數(shù)＝程序環(huán)路復(fù)雜性 V ( G ) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 步驟 ? void Func(int nPosX, int nPosY) { ? while (nPosX 0) { ? int nSum = nPosX + nPosY。 選取測(cè)試數(shù)據(jù)使得 a點(diǎn)可能結(jié)果 : A1, A≤1, B=0, B≠0 B點(diǎn)可能結(jié)果 : A=2, A≠2, X1, X≤1 選擇用例： A=2,B=0,X=4（路徑：sacbed） A=1,B=1,X=1 （路徑：sabd ） 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 判定 /條件覆蓋 ? 判定－條件覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，使得 判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次 ， 每個(gè)判斷中的每個(gè)分支至少執(zhí)行一次 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 5. 3 α測(cè)試和 β測(cè)試 ?適用：為多個(gè)用戶開發(fā)的軟件 ?α測(cè)試 ：由用戶在開發(fā)環(huán)境下進(jìn)行的測(cè)試。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 2）自底向上一自頂向下的增殖測(cè)試 ?先對(duì)含讀操作的子系統(tǒng)自底向上直至根結(jié)點(diǎn)模塊進(jìn)行組裝和測(cè)試； ?再對(duì)含寫操作的子系統(tǒng)做自頂向下的組裝與測(cè)試。 ?缺點(diǎn) : ?可能遇到邏輯次序上的問題 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 自底向上的增殖方式 ? 從程序模塊結(jié)構(gòu)最底層的模塊開始組裝和測(cè)試。不需要具有子模塊所有功能，但不允許什么事情也不做。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 代碼審查 ?人工測(cè)試源程序。 集成測(cè)試：測(cè)試模塊（子系統(tǒng)）接口，發(fā)現(xiàn)軟件設(shè)計(jì)和需求說明的錯(cuò)誤。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過程 ? 好的測(cè)試用例是極可能發(fā)現(xiàn)至今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試方案； ? 成功的測(cè)試是發(fā)現(xiàn)了至今未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試 ? 總之，測(cè)試的目的是以最少的時(shí)間和人力，系統(tǒng)地找出軟件中潛在的各種錯(cuò)誤和缺陷；測(cè)試附帶的收獲是它能證明軟件的功能和性能與需求說明相符合。 ?若用戶輸入某些數(shù)據(jù)后可能會(huì)產(chǎn)生嚴(yán)重后果，應(yīng)給用戶輸出必要的提示并在必要時(shí)要求用戶確認(rèn)。 ?為了便于區(qū)分，不同的標(biāo)識(shí)符 不要取過于相似 的名字。信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 第 7章 實(shí)現(xiàn) ? 編碼 ? 軟件測(cè)試基礎(chǔ) ? 單元測(cè)試 ? 集成測(cè)試 ? 確認(rèn)測(cè)試 ? 白盒測(cè)試技術(shù) ? 黑盒測(cè)試技術(shù) ? 調(diào)試 ? 軟件可靠性 ? 小結(jié) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 重點(diǎn)和難點(diǎn) ? 結(jié)構(gòu)化程序設(shè)計(jì)的原則和風(fēng)格 ? 軟件測(cè)試的目的和原則 ? 白盒測(cè)試、黑盒測(cè)試的定義 ? 熟練掌握白盒測(cè)試中各種邏輯覆蓋的基本思想 ? 熟練掌握黑盒測(cè)試中等價(jià)劃分、邊界值分析方法 ? 軟件測(cè)試策略中單元測(cè)試、組裝測(cè)試、確認(rèn)測(cè)試和系統(tǒng)測(cè)試的相關(guān)概念及方法 ? 程序調(diào)試步驟和幾種程序調(diào)試方法、過程 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 編碼 ? 7. 選擇程序設(shè)計(jì)語(yǔ)言 ?程序設(shè)計(jì)語(yǔ)言的分類 ?從軟件工程的角度，根據(jù)程序設(shè)計(jì)語(yǔ)言發(fā)展的歷程，大致分為 4 類： ?第一代語(yǔ)言：從屬于機(jī)器的語(yǔ)言 ?第二代語(yǔ)言：匯編語(yǔ)言 ?第三代語(yǔ)言：高級(jí)程序設(shè)計(jì)語(yǔ)言 ?第四代語(yǔ)言（ 4GL ) 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 選擇語(yǔ)言的標(biāo)準(zhǔn) ?系統(tǒng)用戶的要求 ?可以使用的編譯程序 ?可以得到的軟件工具 ?工程規(guī)