【正文】 o r 1X / A a n d 1A??????? ? ? ? ?? ? ? ? ? ? ? ?1X / A 0B 2A 0B 1X / A 1A???????an doran doran d L 4 (a c d)? ?? ? ? ?? ? ? ? ? ?? ?? ? ? ? ?A B A X A1 0 2 1and and or? ? ? ? ? ? ? ?? ? ? ? ?A B A X A1 0 2 1and and and依據(jù)以上推導(dǎo)出來(lái)的結(jié)果就可以設(shè)計(jì)滿足要求的測(cè)試用例。 邏輯覆蓋 – 語(yǔ)句覆蓋 – 判定覆蓋 – 條件覆蓋 – 判定－條件覆蓋 – 條件組合覆蓋 – 路徑覆蓋 邏輯覆蓋是以 程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ) 的設(shè)計(jì)測(cè)試用例的技術(shù)。給出一個(gè)小程序的流程圖，它包括了一個(gè)執(zhí)行 20次的循環(huá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)的有效性，等。 通過(guò)在不同點(diǎn)檢查程序的狀態(tài)，確定實(shí)際的狀態(tài)是否與預(yù)期的狀態(tài)一致。若 X、 Y取整數(shù)，按黑盒方法進(jìn)行窮舉測(cè)試： ? 可能采用的 測(cè)試數(shù)據(jù)組： 232 232 ＝ 264 ?如果測(cè)試一 組數(shù)據(jù)需要 1毫秒，一年工作 365 24小時(shí)，完成所有測(cè)試需 5億年。 ? 假設(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ò)誤 ? ? 用黑盒測(cè)試發(fā)現(xiàn)程序中的錯(cuò)誤，必須在 所有可能的輸入條件和輸出條件 中確定測(cè)試數(shù)據(jù)，來(lái)檢查程序是否都能產(chǎn)生正確的輸出。 – 功能測(cè)試（黑盒測(cè)試）和結(jié)構(gòu)測(cè)試（白盒測(cè)試） 軟件測(cè)試用例設(shè)計(jì) ? 兩種常用的測(cè)試方法 – 黑盒測(cè)試 – 白盒測(cè)試 黑盒測(cè)試 ? 這種方法是把 測(cè)試對(duì)象 看做 一個(gè)黑盒子 ，測(cè)試人員完全不考慮程序內(nèi)部的邏輯結(jié)構(gòu)和內(nèi)部特性，只依據(jù)程序的需求規(guī)格說(shuō)明書，檢查程序的功能是否符合它的功能說(shuō)明。靜態(tài)測(cè)試時(shí)不執(zhí)行被分析的程序。 測(cè)試與軟件開發(fā)各階段的關(guān)系 ?軟件開發(fā)過(guò)程是一個(gè)自頂向下，逐步細(xì)化的過(guò)程 ?軟件計(jì)劃階段定義軟件作用域 ?軟件需求分析建立軟件信息域、功能和性能需求、約束等 ?軟件設(shè)計(jì)把設(shè)計(jì)用某種程序設(shè)計(jì)語(yǔ)言轉(zhuǎn)換成程序代碼 ?測(cè)試過(guò)程是依相反順序安排的自底向上，逐步集成的過(guò)程。 ?修正后的文檔再測(cè)試 ：直到通過(guò)測(cè)試為止。 ?測(cè)試結(jié)果分析 ：比較實(shí)測(cè)結(jié)果與預(yù)期結(jié)果，評(píng)價(jià)錯(cuò)誤是否發(fā)生。 – 需求規(guī)格說(shuō)明的確認(rèn) – 程序的確認(rèn) ? 驗(yàn)證 (Verification)， 試圖證明在軟件生存期各個(gè)階段，以及階段間的邏輯協(xié)調(diào)性、完備性和正確性。 ? 為把握軟件開發(fā)各個(gè)環(huán)節(jié)的正確性，需要進(jìn)行各種 確認(rèn) 和 驗(yàn)證 工作。 軟件測(cè)試應(yīng)貫穿于軟件定義與開發(fā)的整個(gè)期間 。 8. 妥善保存測(cè)試計(jì)劃，測(cè)試用例，出錯(cuò)統(tǒng)計(jì)和最終分析報(bào)告，為維護(hù)提供方便。 經(jīng)驗(yàn)表明，測(cè)試后 程序中殘存的錯(cuò)誤數(shù)目與該程序中已發(fā)現(xiàn)的錯(cuò)誤數(shù)目成正比 6. 嚴(yán)格執(zhí)行測(cè)試計(jì)劃，排除測(cè)試的隨意性 。 4. 在設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)當(dāng)包括 合理的輸入條件和不合理的輸入條件 。 2. 測(cè)試用例應(yīng)由 測(cè)試輸入數(shù)據(jù) 和對(duì)應(yīng)的 預(yù)期輸出結(jié)果 這兩部分組成。 ? 從 軟件開發(fā)者的角度 出發(fā)，則希望測(cè)試成為 表明軟件產(chǎn)品中不存在錯(cuò)誤 的過(guò)程，驗(yàn)證該軟件已正確地實(shí)現(xiàn)了用戶的要求，確立人們對(duì)軟件質(zhì)量的信心。 或： 軟件測(cè)試是根據(jù)軟件開發(fā)各階段的規(guī)格說(shuō)明和程序的內(nèi)部結(jié)構(gòu)而精心設(shè)計(jì)一批測(cè)試用例，并利用這些測(cè)試用例去運(yùn)行程序，以發(fā)現(xiàn)程序錯(cuò)誤的過(guò)程。第七部分 軟件測(cè)試 ransfer/study/軟件工程 / 軟件測(cè)試是在軟件投入運(yùn)行前，對(duì)軟件需求分析，設(shè)計(jì)規(guī)格說(shuō)明和編碼的最終復(fù)審，是軟件質(zhì)量保證的關(guān)鍵步驟。 概念： 軟件測(cè)試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過(guò)程。 軟件測(cè)試的定義 軟件測(cè)試的目的 ? 基于不同的立場(chǎng)，存在著兩種完全不同的測(cè)試目的： ? 從 用戶的角度 出發(fā)，普遍希望通過(guò)軟件測(cè)試 暴露軟件中隱藏的錯(cuò)誤和缺陷 ，以考慮是否可接受該產(chǎn)品。 Myers軟件測(cè)試目的 (1) 測(cè)試是 程序的執(zhí)行過(guò)程 ，目的在于 發(fā)現(xiàn)錯(cuò)誤 (2) 一個(gè)好的測(cè)試用例在于 能發(fā)現(xiàn)至今未發(fā)現(xiàn)的錯(cuò)誤 (3) 一個(gè)成功的測(cè)試是 發(fā)現(xiàn)了至今未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試 ?換言之，測(cè)試的目的是 – 系統(tǒng)地找出軟件中潛在的各種錯(cuò)誤和缺陷 – 能夠證明軟件的功能和性能與需求說(shuō)明相符合 – 測(cè)試不能表明軟件中不存在錯(cuò)誤，它只能說(shuō)明軟件中存在錯(cuò)誤 軟件測(cè)試的原則 1. 應(yīng)當(dāng)把“ 盡早地和不斷地進(jìn)行軟件測(cè)試 ”作為軟件開發(fā)者的座右銘。 3. 程序員應(yīng)避免檢查自己的程序。 developer independent tester Understands the system but will test “gently” and is driven by delivery Must learn about the system but will attempt to break it and is driven by quality 5. 充分注意測(cè)試中的群集現(xiàn)象。 7. 應(yīng)當(dāng)對(duì)每一個(gè)測(cè)試結(jié)果做全面檢查。 軟件測(cè)試的對(duì)象 ? 軟件測(cè)試并不限于程序測(cè)試。 ? 需求分析 、 概要設(shè)計(jì) 、 詳細(xì)設(shè)計(jì)以及程序編碼 等各階段所得到的文檔 ，包括需求規(guī)格說(shuō)明、概要設(shè)計(jì)規(guī)格說(shuō)明、詳細(xì)設(shè)計(jì)規(guī)格說(shuō)明以及源程序， 都應(yīng)成為軟件測(cè)試的對(duì)象 。 ? 確認(rèn) (Validation)， 是一系列的活動(dòng)和過(guò)程，目的是想證實(shí)在一個(gè)給定的外部環(huán)境中軟件的邏輯正確性。 軟件生存期各階段之間需要保持的正確性 測(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ù)等等。 ?排錯(cuò) (調(diào)試 )：對(duì)已經(jīng)發(fā)現(xiàn)的錯(cuò)誤進(jìn)行錯(cuò)誤定位和確定出錯(cuò)性質(zhì)，并改正這些錯(cuò)誤，同時(shí) 修改相關(guān)的文檔 。 ?通過(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è)試過(guò)程是否在實(shí)際應(yīng)用環(huán)境中運(yùn)行來(lái)分類 ? 靜態(tài)測(cè)試 –通過(guò)對(duì)需求文件、設(shè)計(jì)文件及源程序的閱讀和分析，找出其中的錯(cuò)誤或可疑之處。 ? 動(dòng)態(tài)測(cè)試 –直接在計(jì)算機(jī)上運(yùn)行所要測(cè)試的程序模塊，從實(shí)際運(yùn)行的結(jié)果發(fā)現(xiàn)并糾正錯(cuò)誤。 ? 黑盒測(cè)試又叫做 功能測(cè)試 或 數(shù)據(jù)驅(qū)動(dòng)測(cè)試 。 ? 但這是 不可能 的。 在字長(zhǎng)為 32位的計(jì)算機(jī)上運(yùn)行。 白盒測(cè)試 ? 此方法 把測(cè)試對(duì)象看做一個(gè)透明的盒子 ，它允許測(cè)試人員利用程序內(nèi)部的邏輯結(jié)構(gòu)及有關(guān)信息，設(shè)計(jì)或選擇測(cè)試用例，對(duì)程序所有邏輯路徑進(jìn)行測(cè)試。因此白盒測(cè)試又稱為結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。 ? 對(duì)一個(gè)具有 多重選擇和循環(huán)嵌套 的程序， 不同的路徑數(shù)目可能是天文數(shù)字 。 ? 包含的不同執(zhí)行路徑數(shù)達(dá) 520條，對(duì)每一條路徑進(jìn)行測(cè)試需要 1毫秒，假定一年工作 365 24小時(shí)，要想把所有路徑測(cè)試完，需 3170年。它屬白盒測(cè)試。 語(yǔ)句覆蓋 ? 語(yǔ)句覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得 每一可執(zhí)行語(yǔ)句至少執(zhí)行一次 。 ? 測(cè)試用例的設(shè)計(jì)格式如下 【輸入的 (A, B, X)， 輸出的 (A, B, X)】 ? 為圖例設(shè)計(jì)滿足 語(yǔ)句覆蓋 的測(cè)試用例是 : 【 (2, 0, 4)， (2, 0, 3)】 覆蓋 ace【 L1】 ? ? ? ?? ? ? ? ? ?A B A B X A? ?? ? ?2 01 0 1and orand and 判定覆蓋 ? 判定覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得 程序中每個(gè)判斷的取真分支和取假分支至少經(jīng)歷一次 。 ? 對(duì)于圖例，如果選擇 路徑 L1和 L2，就可得滿足要求的測(cè)試用例 : ? 【 (2, 0, 4)， (2, 0, 3)】覆蓋 ace【 L1】 【 (1, 1, 1)， (1, 1, 1)】 覆蓋 abd【 L2】 ? ? ? ?? ? ? ? ? ?1X / A 2A 0B 1X / A 1A?????a n da n dora n d? ? ? ?? ? ? ? ? ?A B A B X A? ?? ? ?2 01 0 1and orand and? 如果選擇路徑 L3和 L4， 還可得另一組可用的測(cè)試用例 : 【 (2, 1, 1)， (2, 1, 2)】覆蓋 abe【 L3】 【 (3, 0, 3)， (3, 1, 1)】 覆蓋 acd【 L4】 ? ? ? ? ? ?? ? ? ? ? ?1X /A 0B 2A 0B 1X /A 1A??????andorandorand? ? ? ? ? ?? ?A B A X A? ? ??1 0 21and and and條件覆蓋 ?條件覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中 每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次 。例如， ?對(duì)于第一個(gè)判斷： – 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1 T1T2 T2?對(duì)于第二個(gè)判斷： – 條件 A＝ 2 取真為 ，取假為 條件 X＞ 1