【正文】 ? 測(cè)試的描述和范圍 ? 測(cè)試環(huán)境 ? 測(cè)試時(shí)間表 ? 集成次序 ? 測(cè)試用例以及測(cè)試的預(yù)期結(jié)果等 測(cè)試方法：集成測(cè)試階段是以黑盒法為主。 人員安排：既要求參與的人熟悉單元的內(nèi)部細(xì)節(jié)，又要求他們能夠從足夠高的層次上觀察整個(gè)系統(tǒng)。 4 軟件測(cè)試的一般性理論 二、單元測(cè)試 單元測(cè)試檢查單 ? 邏輯和算法：正確實(shí)現(xiàn)了邏輯和算法 ? 數(shù)據(jù)結(jié)構(gòu)（全局和局部）：使用了全局?jǐn)?shù)據(jù)結(jié)構(gòu)？哪些？如果有，作了哪些關(guān)于全局?jǐn)?shù)據(jù)的假設(shè)？這些假設(shè)正確嗎？使用了局部數(shù)據(jù)？在算法執(zhí)行的所有步驟期間，保持局部數(shù)據(jù)的完整性了嗎？ ? 接口：來(lái)自調(diào)用模塊的數(shù)據(jù)匹配被調(diào)用的模塊的期望接收的數(shù)據(jù)？被調(diào)用模塊的數(shù)據(jù)匹配調(diào)用的模塊提供的數(shù)據(jù)？ ? 獨(dú)立路徑：標(biāo)識(shí)了所有穿過(guò)模塊的獨(dú)立路徑？執(zhí)行了嗎？ ? 邊界條件：了解邊界條件嗎？進(jìn)行了測(cè)試確保該模塊在其邊界條件上的適當(dāng)?shù)牟僮髁藛幔? ? 出錯(cuò)處理：所有出錯(cuò)處理路徑均執(zhí)行到了嗎？ 167。如：在結(jié)構(gòu)化語(yǔ)言中（ C語(yǔ)言），單元指一個(gè)函數(shù)；在面向?qū)ο笳Z(yǔ)言中（ Java語(yǔ)言）單元指一個(gè)類；在圖形化的軟件中，單元也可以指一個(gè)窗口、一個(gè)菜單等。 白盒測(cè)試黑盒測(cè)試、靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試只是一個(gè)測(cè)試的不同分類的角度而已。 4 在程序的開(kāi)頭加注釋，說(shuō)明程序的基本信息；在重要的函數(shù)模塊處加注釋，說(shuō)明各函數(shù)的功能。 建議修改的問(wèn)題也是 3個(gè) Main函數(shù)沒(méi)有返回值類型和參數(shù)列表 建議改為： void main（ void）， 表明 main函數(shù)的返回值和參數(shù)都為空。 c=max(a,b)。 int c。 程序代碼的靜態(tài)測(cè)試需要我們按照相應(yīng)語(yǔ)言的代碼規(guī)范模板來(lái)逐行檢查程序代碼 C語(yǔ)言程序的例子 include Max(float x,float y) { float z。合理的測(cè)試人力和軟、硬件資源安排 ? 重用價(jià)值 ? 測(cè)試的數(shù)據(jù)或者樣例可以重用 靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試 靜態(tài)測(cè)試 是指不實(shí)際運(yùn)行被測(cè)程序，而只是靜態(tài)地檢查程序代碼、界面或文檔中可能存在的錯(cuò)誤。 條件分支覆蓋 ? 在測(cè)試時(shí)，設(shè)計(jì)足夠的測(cè)試用例，使得判斷中每個(gè)條件的所有可能取值至少出現(xiàn)一次，并且每個(gè)判斷本身的判定結(jié)果也至少出現(xiàn)一次。 測(cè)試用例被測(cè)程序源程序分析覆蓋情況分析執(zhí)行路徑白盒測(cè)試要研究被測(cè)程序的源代碼結(jié)構(gòu) 167。 需求 說(shuō)明 產(chǎn)生 被測(cè)程序 測(cè)試結(jié)果 輸出 比較 測(cè)試用例 黑盒測(cè)試只關(guān)心輸入與輸出的對(duì)應(yīng)關(guān)系，不關(guān)心被測(cè)程序的內(nèi)部關(guān)系。 軟件測(cè)試既可用于驗(yàn)證，又可用于確認(rèn) 。（回歸測(cè)試） 軟件測(cè)試信息流 測(cè)試 建立可 靠性模型 排錯(cuò) 評(píng)估 測(cè)試結(jié)果 預(yù)期結(jié)果 修正的軟件 可靠性模型 軟件配置 測(cè)試配置 測(cè)試工具 測(cè)試結(jié)果 錯(cuò)誤 出錯(cuò)率 回歸測(cè)試 測(cè)試計(jì)劃 測(cè)試用例 測(cè)試程序 ｝ 測(cè)試成本曲線 不足測(cè)試 過(guò)度測(cè)試 測(cè)試的程度 t 未發(fā)現(xiàn)的缺陷數(shù) 測(cè)試成本 最佳測(cè)試點(diǎn) 為什么不可能做窮舉測(cè)試 M1 D1 D2 D3 D4 M2 M3 M4 M5 M6 M7 D5 =20次 循環(huán)次數(shù) 0 1 2……20 獨(dú)立路徑數(shù) 51+52+53+……+5 21≈1014 (1百萬(wàn)億 ) 每個(gè)測(cè)試用例（考慮、執(zhí)行、驗(yàn)證結(jié)果） 5分鐘 共需測(cè)試時(shí)間 10億年 為什么不可能做窮舉測(cè)試 程序 P X Y Z 若 X、 Y為所有可能的整數(shù) 在字長(zhǎng) 32位機(jī)上 測(cè)試 X Y1 ?Z1 ． ． ． Xn、 Yn ?Zn n = 232?232 = 264 ? ?1019 生存期各階段 V、 Vamp。 7)測(cè)試的有效性。堅(jiān)持獨(dú)立測(cè)試原則，必要的情況下建立獨(dú)立測(cè)試機(jī)構(gòu)。 f. 程序運(yùn)行時(shí)能通過(guò)任何可能給出的數(shù)據(jù)，給出正確的結(jié)果 。 3 軟件測(cè)試的基本概念 測(cè)試目的（ J. Myers） ? 測(cè)試是程序執(zhí)行的過(guò)程，目的在于發(fā)現(xiàn)錯(cuò)誤（缺陷） ? 好的測(cè)試用例能有效地發(fā)現(xiàn)別的測(cè)試用例未發(fā)現(xiàn)的錯(cuò)誤（缺陷） ? 成功的測(cè)試是發(fā)現(xiàn)了未曾發(fā)現(xiàn)的錯(cuò)誤（缺陷） 167。 軟件缺陷不可能完全避免 一、軟件缺陷 缺陷和事故 ?機(jī)械和建筑業(yè)的對(duì)比。 ? 對(duì)用戶期望的偏離，即用戶要求未體現(xiàn)在產(chǎn)品中（可能是規(guī)格說(shuō)明有疏漏，也可能是實(shí)現(xiàn)中的問(wèn)題。 customer, user, PM, technical support Design/Analysis Validate requirements 驗(yàn)收測(cè)試設(shè)計(jì) 集成測(cè)試設(shè)計(jì) 單元測(cè)試設(shè)計(jì) 開(kāi)發(fā)和測(cè)試過(guò)程的 V模型 系統(tǒng)規(guī)格描述 框架設(shè)計(jì) 系統(tǒng)測(cè)試 集成測(cè)試 詳細(xì)設(shè)計(jì) Code 單元測(cè)試 需求 驗(yàn)收測(cè)試 系統(tǒng)測(cè)試設(shè)計(jì) 執(zhí)行單元測(cè)試 執(zhí)行集成測(cè)試 執(zhí)行系統(tǒng)測(cè)試 執(zhí)行驗(yàn)收測(cè)試 167。 ? 驗(yàn)收測(cè)試與系統(tǒng)測(cè)試非常相似，主要區(qū)別是測(cè)試人員不同，驗(yàn)收測(cè)試由用戶執(zhí)行。 是 “從小到大”、“由內(nèi)至外”、“循序漸進(jìn)”的測(cè)試過(guò)程，體現(xiàn)了“分而治之”的思想。 （《編程之道》） ? 你在學(xué)校里學(xué)過(guò)測(cè)試嗎？（讀到博士可能也不懂測(cè)試） ? 你所在的企業(yè)重視測(cè)試嗎？ （小公司程序員的技能更加全面） ? 臨時(shí)抱佛腳行嗎？ 你以為有文檔模板就會(huì)測(cè)試了嗎 ？ ? 如果不懂得有效地進(jìn)行測(cè)試，你不僅得不到功勞，也沒(méi)人欣賞你的苦勞，你擁有最多的將只是疲勞。 作用 測(cè)試是為了要找出缺陷，但同時(shí)，也可以通過(guò) 對(duì)缺陷的度量和統(tǒng)計(jì)， 分析缺陷產(chǎn)生的原因和缺陷的分布特征， 分析產(chǎn)品的質(zhì)量、工作效率、診斷開(kāi)發(fā)過(guò)程中的問(wèn)題，并通過(guò)改進(jìn)各個(gè)開(kāi)發(fā)過(guò)程提高過(guò)程能力，最終降低缺陷數(shù)量和缺陷密度。T活動(dòng) （ 3）測(cè)試查錯(cuò)曲線 （ 4） 排除隱錯(cuò)的相對(duì)成本 167。167。 3 軟件測(cè)試的基本概念 1. 測(cè)試的目的 2. 測(cè)試的對(duì)象 3. 軟件測(cè)試的原則 4. 軟件測(cè)試信息流 第二部分（章）軟件工程與軟件測(cè)試 5. 為什么不可能做到窮舉測(cè)試 6. 測(cè)試策略 （ 1） 測(cè)試步驟 （ 2） 生存期各階段 V and Vamp。 1 軟件工程與軟件測(cè)試模型 一、什么是軟件測(cè)試？ 1983年 IEEE定義為： 使用人工或自動(dòng)手段來(lái)運(yùn)行或測(cè)定某個(gè)系統(tǒng)的過(guò)程，其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或是弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。 1 軟件工程與軟件測(cè)試模型 你真的懂測(cè)試嗎 ? 編程大師說(shuō)：沒(méi)有錯(cuò)誤的程序世間難求。 1 軟件工程與軟件測(cè)試模型 二、軟件測(cè)試階段 ? 單元測(cè)試、集成測(cè)試、 系統(tǒng)測(cè)試、 驗(yàn)收測(cè)試。 ? 系統(tǒng)測(cè)試的粒度最大，一般由獨(dú)立測(cè)