【正文】 A＞1, B＝0 作 ② A＞1, B≠0 作 ③ A≯1, B＝0 作 ④ A≯1, B≠0 作 ⑤ A＝2, X＞1 作 ⑥ A＝2, X≯1 作 ⑦ A≠2, X＞1 作 ⑧ A≠2, X≯1 作 測(cè) 試 用 例 覆蓋條件 覆蓋組合【(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) ④, ⑧（七）路徑測(cè)試? 路徑測(cè)試就是設(shè)計(jì)足夠的測(cè)試用例，覆蓋程序中所有可能的路徑。? 對(duì)于圖例，如果選擇路徑L1和L2，就可得滿足要求的測(cè)試用例? 【(2, 0, 4)，(2, 0, 3)】覆蓋 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆蓋 abd【L2】 如果選擇路徑L3和L4，還可得另一組可用的測(cè)試用例:【(2, 1, 1)，(2, 1, 2)】覆蓋 abe【L3】【(3, 0, 3)，(3, 1, 1)】覆蓋 acd【L4】 （四）條件覆蓋? 條件覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次。（二）語(yǔ)句覆蓋? 語(yǔ)句覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得每一可執(zhí)行語(yǔ)句至少執(zhí)行一次。? 包含的不同執(zhí)行路徑數(shù)達(dá)5^20條，對(duì)每一條路徑進(jìn)行測(cè)試需要1毫秒，假定一年工作365 24小時(shí)，要想把所有路徑測(cè)試完，需3170年白盒測(cè)試的測(cè)試用例設(shè)計(jì)十、白盒測(cè)試的測(cè)試用例設(shè)計(jì)（一）邏輯覆蓋邏輯覆蓋是以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)的設(shè)計(jì)測(cè)試用例的技術(shù)。因此白盒測(cè)試又稱(chēng)為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。? 假設(shè)一個(gè)程序P有輸入量X和Y及輸出量Z。? 黑盒測(cè)試方法是在程序接口上進(jìn)行測(cè)試，主要是為了發(fā)現(xiàn)以下錯(cuò)誤:– 是否有不正確或遺漏了的功能?– 在接口上，輸入能否正確地接受? 能否輸出正確的結(jié)果?– 是否有數(shù)據(jù)結(jié)構(gòu)錯(cuò)誤或外部信息(例如數(shù)據(jù)文件)訪問(wèn)錯(cuò)誤?– 性能上是否能夠滿足要求?– 是否有初始化或終止性錯(cuò)誤?168。? 通過(guò)收集和分析測(cè)試結(jié)果數(shù)據(jù)，對(duì)軟件建立可靠性模型? 利用可靠性分析，評(píng)價(jià)軟件質(zhì)量：— 軟件的質(zhì)量和可靠性達(dá)到可以接受的程度；—所做的測(cè)試不足以發(fā)現(xiàn)嚴(yán)重的錯(cuò)誤；? 如果測(cè)試發(fā)現(xiàn)不了錯(cuò)誤，可以肯定，測(cè)試配置考慮得不夠細(xì)致充分，錯(cuò)誤仍然潛伏在軟件中。七、測(cè)試信息流測(cè)試信息流? 軟件配置：軟件需求規(guī)格說(shuō)明、軟件設(shè)計(jì)規(guī)格說(shuō)明、源代碼等；? 測(cè)試配置：測(cè)試計(jì)劃、測(cè)試用例、測(cè)試程序等；? 測(cè)試工具：測(cè)試數(shù)據(jù)自動(dòng)生成程序、靜態(tài)分析程序、動(dòng)態(tài)分析程序、測(cè)試結(jié)果分析程序、以及驅(qū)動(dòng)測(cè)試的測(cè)試數(shù)據(jù)庫(kù)等等。? 需求分析、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)以及程序編碼等各階段所得到的文檔，包括需求規(guī)格說(shuō)明、概要設(shè)計(jì)規(guī)格說(shuō)明、詳細(xì)設(shè)計(jì)規(guī)格說(shuō)明以及源程序，都應(yīng)成為軟件測(cè)試的對(duì)象。7. 應(yīng)當(dāng)對(duì)每一個(gè)測(cè)試結(jié)果做全面檢查。4. 在設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)當(dāng)包括合理的輸入條件和不合理的輸入條件。– 測(cè)試不能表明軟件中不存在錯(cuò)誤，它只能說(shuō)明軟件中存在錯(cuò)誤。? 從用戶的角度出發(fā)，普遍希望通過(guò)軟件測(cè)試暴露軟件中隱藏的錯(cuò)誤和缺陷，以考慮是否可接受該產(chǎn)品。軟件測(cè)試與質(zhì)量保證 一、軟件測(cè)試的定義 定義：軟件測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程。? 從軟件開(kāi)發(fā)者的角度出發(fā)，則希望測(cè)試成為表明軟件產(chǎn)品中不存在錯(cuò)誤的過(guò)程，驗(yàn)證該軟件已正確地實(shí)現(xiàn)了用戶的要求，確立人們對(duì)軟件質(zhì)量的信心。三、軟件測(cè)試的原則 1. 應(yīng)當(dāng)把“盡早地和不斷地進(jìn)行軟件測(cè)試”作為軟件開(kāi)發(fā)者的座右銘。5. 充分注意測(cè)試中的群集現(xiàn)象。8. 妥善保存測(cè)試計(jì)劃，測(cè)試用例，出錯(cuò)統(tǒng)計(jì)和最終分析報(bào)告，為維護(hù)提供方便。五、確認(rèn)和驗(yàn)證：? 為把握軟件開(kāi)發(fā)各個(gè)環(huán)節(jié)的正確性，需要進(jìn)行各種確認(rèn)和驗(yàn)證工作。? 測(cè)試結(jié)果分析：比較實(shí)測(cè)結(jié)果與預(yù)期結(jié)果，評(píng)價(jià)錯(cuò)誤是否發(fā)生。八、測(cè)試與軟件開(kāi)發(fā)各階段的關(guān)系? 軟件開(kāi)發(fā)過(guò)程是一個(gè)自頂向下，逐步細(xì)化的過(guò)程? 軟件計(jì)劃階段定義軟件作用域? 軟件需求分析建立軟件信息域、功能和性能需求、約束等? 軟件設(shè)計(jì)把設(shè)計(jì)用某種程序設(shè)計(jì)語(yǔ)言轉(zhuǎn)換成程序代碼? 測(cè)試過(guò)程是依相反順序安排的自底向上，逐步集成的過(guò)程。 用黑盒測(cè)試發(fā)現(xiàn)程序中的錯(cuò)誤，必須在所有可能的輸入條件和輸出條件中確定測(cè)試數(shù)據(jù)，來(lái)檢查程序是否都能產(chǎn)生正確的輸出。在字長(zhǎng)為32位的計(jì)算機(jī)上運(yùn)行。? 軟件人員使用白盒測(cè)試方法，主要想對(duì)程序模塊進(jìn)行如下的檢查：– 對(duì)程序模塊的所有獨(dú)立的執(zhí)行路徑至少測(cè)試一次；– 對(duì)所有的邏輯判定，取“真”與取“假”的兩種情況都至少測(cè)試一次；– 在循環(huán)的邊界和運(yùn)行界限內(nèi)執(zhí)行循環(huán)體；– 測(cè)試內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性，等。它屬白盒測(cè)試。? 在圖例中，正好所有的可執(zhí)行語(yǔ)句都在路徑L1上，所以選擇路徑 L1設(shè)計(jì)測(cè)試用例，就可以覆蓋所有的可執(zhí)行語(yǔ)句。? 在圖例中，我們事先可對(duì)所有條件的取值加以標(biāo)記。 測(cè) 試 用 例 通過(guò)路徑 覆蓋條件【(2, 0, 4), (2, 0, 3)】 ace (L1) 【(1, 1, 1), (1, 1, 1)】 abd (L2) 【(1, 1, 2), (1, 1, 3)】 abe (L3) 【(3, 0, 3), (3, 0, 1)】 acd (L3) （八）基本路徑集測(cè)試? 覆蓋關(guān)鍵路徑。? 使用這一方法設(shè)計(jì)測(cè)試用例要經(jīng)歷劃分等價(jià)類(lèi)（列出等價(jià)類(lèi)表）和選取測(cè)試用例兩步。? 等價(jià)類(lèi)的劃分有兩種不同的情況：① 有效等價(jià)類(lèi)：是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。(1) 如果輸入條件規(guī)定了取值范圍，或值的個(gè)數(shù)，則可以確立一個(gè)有效等價(jià)類(lèi)和兩個(gè)無(wú)效等價(jià)類(lèi)。那么所有以字母打頭的構(gòu)成有效等價(jià)類(lèi)，而不在此集合內(nèi)（不以字母打頭）的歸于無(wú)效等價(jià)類(lèi)。? 例如，在教師上崗方案中規(guī)定對(duì)教授、副教授、講師和助教分別計(jì)算分?jǐn)?shù)，做相應(yīng)的處理?！Y(jié)束”。? 再?gòu)膭澐殖龅牡葍r(jià)類(lèi)中按以下原則選擇測(cè)試用例：(1) 為每一個(gè)等價(jià)類(lèi)規(guī)定一個(gè)唯一編號(hào)；(2) 設(shè)計(jì)一個(gè)新的測(cè)試用例，使其盡可能多地覆蓋尚未被覆蓋的有效等價(jià)類(lèi)，重復(fù)這一步，直到所有的有效等價(jià)類(lèi)都被覆蓋為止；（3）設(shè)計(jì)一個(gè)新的測(cè)試用例，使其僅覆蓋一個(gè)尚未被覆蓋的無(wú)效等價(jià)類(lèi)，重復(fù)這一步，直到所有的無(wú)效等價(jià)類(lèi)都被覆蓋為止。” “在同一說(shuō)明語(yǔ)句中，標(biāo)識(shí)符至少必須有一個(gè)。? 人們從長(zhǎng)期的測(cè)試工作經(jīng)驗(yàn)得知，大量的錯(cuò)誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。但如果把六個(gè)不等式中的任何一個(gè)大于號(hào)“＞”錯(cuò)寫(xiě)成大于等于號(hào)“≥”，那就不能構(gòu)成三角形。應(yīng)當(dāng)選取正好等于，剛剛大于，或剛剛小于邊界的值做為測(cè)試數(shù)據(jù)，而不是選取等價(jià)類(lèi)中的典型值或任意值做為測(cè)試數(shù)據(jù)。十二。? 系統(tǒng)測(cè)試把已經(jīng)經(jīng)過(guò)確認(rèn)的軟件納入實(shí)際運(yùn)行環(huán)境中，與其它系統(tǒng)成份組合在一起進(jìn)行測(cè)試。多個(gè)模塊可以平行地獨(dú)立進(jìn)行單元測(cè)試。(2) 局部數(shù)據(jù)結(jié)構(gòu)測(cè)試? 不正確或不一致的數(shù)據(jù)類(lèi)型說(shuō)明? 使用尚未賦值或尚未初始化的變量? 錯(cuò)誤的初始值或錯(cuò)誤的缺省值? 變量名拼寫(xiě)錯(cuò)或書(shū)寫(xiě)錯(cuò)? 不一致的數(shù)據(jù)類(lèi)型? 全局?jǐn)?shù)據(jù)對(duì)模塊的影響 (3) 路徑測(cè)試? 選擇適當(dāng)?shù)臏y(cè)試用例，對(duì)模塊中重要的執(zhí)行路徑進(jìn)行測(cè)試。對(duì)這些地方要仔細(xì)地選擇測(cè)試用例，認(rèn)真加以測(cè)試。它接收測(cè)試數(shù)據(jù)，把這些數(shù)據(jù)傳送給所測(cè)模塊，最后再輸出實(shí)測(cè)結(jié)果。必須對(duì)其中的每個(gè)小程序先進(jìn)行單元測(cè)試要做的工作，對(duì)關(guān)鍵模塊還要做性能測(cè)試。這時(shí)需要考慮的問(wèn)題是：– 在把各個(gè)模塊連接起來(lái)的時(shí)侯，穿越模塊接口的數(shù)據(jù)是否會(huì)丟失；– 一個(gè)模塊的功能是否會(huì)對(duì)另一個(gè)模塊的功能產(chǎn)生不利的影響；– 各個(gè)子功能組合起來(lái)，能否達(dá)到預(yù)期要求的父功能；– 全局?jǐn)?shù)據(jù)結(jié)構(gòu)是否有問(wèn)題；– 單個(gè)模塊的誤差累積起來(lái)，是否會(huì)放大，從而達(dá)到不能接受的程度。也叫做整體拼裝。? 自頂向下的增殖方式在測(cè)試過(guò)程中較早地驗(yàn)證了主要的控制和判斷點(diǎn)。在模塊的測(cè)試過(guò)程中需要從子模塊得到的信息可以直接運(yùn)行子模塊得到。– 再自底向上組裝成為功能相當(dāng)完整且相對(duì)獨(dú)立的子系統(tǒng)。l 回歸測(cè)試– 這種方式采取自頂向下的方式測(cè)試被修改的模塊及其子模塊。任務(wù)是驗(yàn)證軟件的功能和性能及其它特性是否與用戶的要求一致。? 首先制定測(cè)試計(jì)劃，規(guī)定要做測(cè)試的種類(lèi)。– 測(cè)試結(jié)果與預(yù)期的結(jié)果不符。? 在軟件交付使用之后，用戶將如何實(shí)際使用程序，對(duì)于開(kāi)發(fā)者來(lái)說(shuō)是無(wú)法預(yù)測(cè)的。? α測(cè)試可以從軟件產(chǎn)品編碼結(jié)束之時(shí)開(kāi)始，或在模塊（子系統(tǒng)）測(cè)試完成之后開(kāi)始，也可以在確認(rèn)測(cè)試過(guò)