【正文】 所有的邏輯判定，取“真”與取“假”的兩種情況都至少測試一次；– 在循環(huán)的邊界和運行界限內執(zhí)行循環(huán)體；– 測試內部數據結構的有效性，等。通過在不同點檢查程序的狀態(tài)，確定實際的狀態(tài)是否與預期的狀態(tài)一致。在字長為32位的計算機上運行。 但這是不可能的。 用黑盒測試發(fā)現程序中的錯誤，必須在所有可能的輸入條件和輸出條件中確定測試數據，來檢查程序是否都能產生正確的輸出。? 黑盒測試又叫做功能測試或數據驅動測試。八、測試與軟件開發(fā)各階段的關系? 軟件開發(fā)過程是一個自頂向下，逐步細化的過程? 軟件計劃階段定義軟件作用域? 軟件需求分析建立軟件信息域、功能和性能需求、約束等? 軟件設計把設計用某種程序設計語言轉換成程序代碼? 測試過程是依相反順序安排的自底向上，逐步集成的過程。? 修正后的文檔再測試：直到通過測試為止。? 測試結果分析：比較實測結果與預期結果，評價錯誤是否發(fā)生。– 需求規(guī)格說明的確認– 程序的確認? 驗證(Verification)，試圖證明在軟件生存期各個階段，以及階段間的邏輯協(xié)調性、完備性和正確性。五、確認和驗證：? 為把握軟件開發(fā)各個環(huán)節(jié)的正確性，需要進行各種確認和驗證工作。軟件測試應貫穿于軟件定義與開發(fā)的整個期間。8. 妥善保存測試計劃，測試用例，出錯統(tǒng)計和最終分析報告，為維護提供方便。6. 嚴格執(zhí)行測試計劃，排除測試的隨意性。5. 充分注意測試中的群集現象。3. 程序員應避免檢查自己的程序。三、軟件測試的原則 1. 應當把“盡早地和不斷地進行軟件測試”作為軟件開發(fā)者的座右銘。 – 能夠證明軟件的功能和性能與需求說明相符合。? 從軟件開發(fā)者的角度出發(fā)，則希望測試成為表明軟件產品中不存在錯誤的過程，驗證該軟件已正確地實現了用戶的要求，確立人們對軟件質量的信心。二、測試的目的：? 基于不同的立場，存在著兩種完全不同的測試目的。軟件測試與質量保證 一、軟件測試的定義 定義：軟件測試是為了發(fā)現錯誤而執(zhí)行程序的過程。或者說軟件測試是根據軟件開發(fā)各階段的規(guī)格說明和程序的內部結構而精心設計一批測試用例，并利用這些測試用例去運行程序，以發(fā)現程序錯誤的過程。? 從用戶的角度出發(fā)，普遍希望通過軟件測試暴露軟件中隱藏的錯誤和缺陷，以考慮是否可接受該產品。Grenford Myers軟件測試目的(1) 測試是程序的執(zhí)行過程，目的在于發(fā)現錯誤；(2) 一個好的測試用例在于能發(fā)現至今未發(fā)現的錯誤；(3) 一個成功的測試是發(fā)現了至今未發(fā)現的錯誤的測試? 換言之，測試的目的是– 系統(tǒng)地找出軟件中潛在的各種錯誤和缺陷。– 測試不能表明軟件中不存在錯誤，它只能說明軟件中存在錯誤。2. 測試用例應由測試輸入數據和對應的預期輸出結果這兩部分組成。4. 在設計測試用例時，應當包括合理的輸入條件和不合理的輸入條件。經驗表明，測試后程序中殘存的錯誤數目與該程序中已發(fā)現的錯誤數目成正比 。7. 應當對每一個測試結果做全面檢查。四、軟件測試的對象? 軟件測試并不等于程序測試。? 需求分析、概要設計、詳細設計以及程序編碼等各階段所得到的文檔，包括需求規(guī)格說明、概要設計規(guī)格說明、詳細設計規(guī)格說明以及源程序，都應成為軟件測試的對象。? 確認(Validation)，是一系列的活動和過程，目的是想證實在一個給定的外部環(huán)境中軟件的邏輯正確性。七、測試信息流測試信息流? 軟件配置：軟件需求規(guī)格說明、軟件設計規(guī)格說明、源代碼等；? 測試配置：測試計劃、測試用例、測試程序等；? 測試工具：測試數據自動生成程序、靜態(tài)分析程序、動態(tài)分析程序、測試結果分析程序、以及驅動測試的測試數據庫等等。? 排錯(調試)：對已經發(fā)現的錯誤進行錯誤定位和確定出錯性質，并改正這些錯誤，同時修改相關的文檔。? 通過收集和分析測試結果數據，對軟件建立可靠性模型? 利用可靠性分析，評價軟件質量：— 軟件的質量和可靠性達到可以接受的程度；—所做的測試不足以發(fā)現嚴重的錯誤；? 如果測試發(fā)現不了錯誤，可以肯定，測試配置考慮得不夠細致充分，錯誤仍然潛伏在軟件中。九、軟件測試用例設計? 兩種常用的測試方法– 黑盒測試– 白盒測試（一）黑盒測試? 這種方法是把測試對象看做一個黑盒子，測試人員完全不考慮程序內部的邏輯結構和內部特性，只依據程序的需求規(guī)格說明書，檢查程序的功能是否符合它的功能說明。? 黑盒測試方法是在程序接口上進行測試，主要是為了發(fā)現以下錯誤:– 是否有不正確或遺漏了的功能?– 在接口上，輸入能否正確地接受? 能否輸出正確的結果?– 是否有數據結構錯誤或外部信息(例如數據文件)訪問錯誤?– 性能上是否能夠滿足要求?– 是否有初始化或終止性錯誤?168。168。? 假設一個程序P有輸入量X和Y及輸出量Z。若X、Y取整數，按黑盒方法進行窮舉測試：? 可能采用的 測試數據組： 232232 ＝264 ? 如果測試一組數據需要1毫秒，一年工作365 24小時，完成所有測試需5億年（二）白盒測試? 此方法把測試對象看做一個透明的盒子，它允許測試人員利用程序內部的邏輯結構及有關信息，設計或選擇測試用例，對程序所有邏輯路徑進行測試。因此白盒測試又稱為結構測試或邏輯驅動測試。? 對一個具有多重選擇和循環(huán)嵌套的程序，不同的路徑數目可能是天文數字。? 包含的不同執(zhí)行路徑數達5^20條，對每一條路徑進行測試需要1毫秒，假定一年工作365 24小時，要想把所有路徑測試完，需3170年白盒測試的測試用例設計十、白盒測試的測試用例設計（一）邏輯覆蓋邏輯覆蓋是以程序內部的邏輯結構為基礎的設計測試用例的技術。– 語句覆蓋– 判定覆蓋– 條件覆蓋– 判定－條件覆蓋– 條件組合覆蓋– 路徑覆蓋。（二）語句覆蓋? 語句覆蓋就是設計若干個測試用例，運行被測程序，使得每一可執(zhí)行語句至少執(zhí)行一次。? 測試用例的設計格式如下【輸入的(A, B, X)，輸出的(A, B, X)】? 為圖例設計滿足語句覆蓋的測試用例是:【(2, 0, 4)，(2, 0, 3)】　 覆蓋 ace【L1】（三）判定覆蓋? 判定覆蓋就是設計若干個測試用例，運行被測程序，使得程序中每個判斷的取真分支和取假分支至少經歷一次。? 對于圖例，如果選擇路徑L1和L2，就可得滿足要求的測試用例? 【(2, 0, 4)，(2, 0, 3)】覆蓋 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆蓋 abd【L2】 如果選擇路徑L3和L4，還可得另一組可用的測試用例:【(2, 1, 1)，(2, 1, 2)】覆蓋 abe【L3】【(3, 0, 3)，(3, 1, 1)】覆蓋 acd【L4】 （四）條件覆蓋? 條件覆蓋就是設計若干個測試用例，運行被測程序，使得程序中每個判斷的每個條件的可能取值至少執(zhí)行一次。例如，? 對于第一個判斷：– 條件 A＞1 取真為 ，取假為 條件 B＝0 取真為 ，取假為 ? 對于第二個判斷：– 條件A＝2 取真為 ，取假為 條件X＞1 取真為 ，取假為測試用例 覆蓋分支 條件取值【(2, 0, 4)，(2, 0, 3)】 L1(c, e) 【(1, 0, 1)，(1, 0, 1)】 L2(b, d) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) 或測 試 用 例 覆蓋分支 條件取值【(1, 0, 3)，(1, 0, 4)】 L3(b, e) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) （五）判定－條件覆蓋? 判定－條件覆蓋就是設計足夠的測試用例，使得判斷中每個條件的所有可能取值至少執(zhí)行一次，同時每個判斷中的每個條件的可能取值至少執(zhí)行一次。 記 ① 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 作 測 試 用 例 覆蓋條件 覆蓋組合【(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) ④, ⑧（七）路徑測試? 路徑測試就是設計足夠的測試用例，覆蓋程序中所有可能的路徑。? 得到程序的控制流程圖/程序圖Sequence