【正文】 模 ?程序員的知識(shí) ?軟件的可移植性要求 ?軟件的應(yīng)用領(lǐng)域 ? 項(xiàng)目應(yīng)用領(lǐng)域是最關(guān)鍵的因素 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 科學(xué)工程計(jì)算 FORTRAN、 Pascal、 C語(yǔ)言 數(shù)據(jù)處理與應(yīng)用 COBOL、 SQL、 4GL 實(shí)時(shí)處理和系統(tǒng) 匯編語(yǔ)言和 Ada語(yǔ)言 系統(tǒng)軟件 匯編語(yǔ)言、 C語(yǔ)言、 Ada語(yǔ)言 人工智能 Prolog、 lisp語(yǔ)言 面向?qū)ο蟮恼Z(yǔ)言 C++、 JAVA 可視化 Visual Basic、 Visual C++、 Visual Foxpro、 Delphi 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 編碼風(fēng)格 ?編碼風(fēng)格是指一個(gè)人編制程序時(shí)所表現(xiàn)出來(lái)的特點(diǎn)、習(xí)慣、邏輯思路等。例： pstrName ?選用具有 實(shí)際含義 的標(biāo)示符，以利于對(duì)標(biāo)識(shí)符的理解 ?為了便于程序的輸入，標(biāo)識(shí)符的名字 不宜過(guò)長(zhǎng) 。如：“請(qǐng)輸入待查職工的編號(hào) (5位數(shù)字 00001~99999)” ?程序應(yīng)對(duì)輸入數(shù)據(jù)的 合法性進(jìn)行檢查 。 ?軟件開(kāi)發(fā)者希望通過(guò)軟件測(cè)試表明軟件產(chǎn)品中不存在錯(cuò)誤，已正確地實(shí)現(xiàn)了用戶的要求。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 測(cè)試步驟 ?測(cè)試的 4 個(gè)步驟： ?單元（模塊）測(cè)試 ?集成測(cè)試（子系統(tǒng)和系統(tǒng)測(cè)試） ?確認(rèn)（驗(yàn)收）測(cè)試 ?平行運(yùn)行 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 單元測(cè)試：檢查各各程序模塊是否有錯(cuò)誤，能發(fā)現(xiàn)編碼和詳細(xì)設(shè)計(jì)的錯(cuò)誤 。 ?對(duì)運(yùn)行時(shí)間有要求的模塊，還要專門(mén)進(jìn)行關(guān)鍵路徑測(cè)試，以確定最壞情況下和平均意義下影響模塊運(yùn)行時(shí)間的因素。 ?存根程序（ stub）： 代替被測(cè)試模塊 所調(diào)用的模塊。 ?選用按深度方向組裝的方式，可以首先實(shí)現(xiàn)和驗(yàn)證一個(gè)完整的軟件功能。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 混合策略 ? 1）衍變的自頂向下的增殖測(cè)試 ?先對(duì)輸入／輸出模塊和引入新算法模塊進(jìn)行測(cè)試； ?再自底向上組裝成為功能相當(dāng)完整且相對(duì)獨(dú)立的子系統(tǒng)； ?然后由主模塊開(kāi)始自頂向下進(jìn)行增殖測(cè)試。 ?應(yīng)當(dāng)嚴(yán)格遵守用戶手冊(cè)和操作手冊(cè)中規(guī)定的使用步驟，以便檢查這些文檔資料的完整性和正確性。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 條件覆蓋： 使得程序中 每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次 。 ? 獨(dú)立路徑條數(shù) 是確保程序中，每個(gè)可執(zhí)行語(yǔ)句至少能被執(zhí)行一次所必需的測(cè)試用例數(shù)目的上界。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 步驟 5 ：由基本路徑集，導(dǎo)出測(cè)試用例 ?基本路徑集不是唯一的，對(duì)于給定的程序圖，可以得到不同的基本路徑集。 ?無(wú)效等價(jià)類(lèi)： 是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是不合理的，無(wú)意義的輸入數(shù)據(jù)構(gòu)成的集合。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價(jià)類(lèi)劃分原則（ 4） ?原則 4 ：如果規(guī)定輸入數(shù)據(jù)為整型，則可劃分出正整、零和負(fù)整數(shù)三個(gè)有效類(lèi)，其他數(shù)據(jù)為無(wú)效類(lèi) ?原則 5：如果程序處理對(duì)象是表格，則應(yīng)使用空表、含一項(xiàng)和多項(xiàng)的表。 ? 現(xiàn)用等價(jià)類(lèi)劃分法設(shè)計(jì)測(cè)試用例，來(lái)測(cè)試程序的“日期檢查功能”。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 8 調(diào)試（ Debug） ?軟件調(diào)試是在成功測(cè)試之后，進(jìn)一步診斷和改正程序中潛在的錯(cuò)誤。 ? 現(xiàn)象是由于難于精確再現(xiàn)的輸人狀態(tài)（例如，實(shí)時(shí)應(yīng)用中輸入順序不確定）引起。 ? 組織數(shù)據(jù)。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 演繹法調(diào)試步驟 ? 列舉所有可能出錯(cuò)原因的假設(shè) 。 ? 證明余下的假設(shè) 。 ?當(dāng)心修正一個(gè)錯(cuò)誤的同時(shí)有可能會(huì)引入新的錯(cuò)誤。 ?經(jīng)驗(yàn)表明，平均無(wú)故障時(shí)間 MTTF與單位長(zhǎng)度程序中剩余的錯(cuò)誤數(shù)成反比： 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 估算錯(cuò)誤的方法 ? 1）植入錯(cuò)誤法 ?在測(cè)試之前由專人在程序中隨機(jī)地植入一些錯(cuò)誤，測(cè)試之后，根據(jù)測(cè)試小組發(fā)現(xiàn)的錯(cuò)誤中原有的和植入的兩種錯(cuò)誤的比例，來(lái)估計(jì)程序中原有錯(cuò)誤的總數(shù) ET 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 第 7 章作業(yè)： ? 1 、習(xí)題七第 4 題的第（ 3 ）小題； 2 、某程序規(guī)定，輸入三個(gè)整數(shù)作為三角形的邊長(zhǎng)。 ?一般程序只能進(jìn)行有限的測(cè)試，在發(fā)現(xiàn)錯(cuò)誤時(shí)能說(shuō)明程序有問(wèn)題；但未發(fā)現(xiàn)錯(cuò)誤時(shí)，不能說(shuō)明程序中沒(méi)有錯(cuò)誤。 ? 隨著運(yùn)行時(shí)間的增加，運(yùn)行時(shí)出現(xiàn)程序故障的概率也將增加，即可靠性隨著給定的時(shí)間間隔的加大而減少。 ?只把調(diào)試工具當(dāng)做輔助手段來(lái)使用。仔細(xì)分析已有的數(shù)據(jù)，尋找矛盾，力求排除前一步列出的所有原因。利用分析結(jié)果，設(shè)計(jì)一個(gè)或多個(gè)關(guān)于出錯(cuò)原因的假設(shè)。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 回溯法（跟蹤法） ?根據(jù)錯(cuò)誤癥狀位置，人工沿程序控制流程向回追蹤源代碼。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ? 調(diào)試在技術(shù)上的難度 ? 錯(cuò)誤現(xiàn)象與原因所處的位置可能相距甚遠(yuǎn)。 ? 邊界值分析方法思想： 確定邊界之后，選取正好等于、剛剛大于或剛剛小于邊界的值做為測(cè)試數(shù)據(jù)，而不是選取等價(jià)類(lèi)中典型值或任意值做為測(cè)試數(shù)據(jù)。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 等價(jià)類(lèi)劃分法設(shè)計(jì)測(cè)試用例（例 1 ) ? 例 1： ? 某報(bào)表處理系統(tǒng)，要求用戶輸入處理報(bào)表的日期。 ? 例：教師上崗方案中規(guī)定對(duì)教授、副教授、講師和助教分別計(jì)算分?jǐn)?shù)，做相應(yīng)的處理。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 設(shè)計(jì)測(cè)試用例的步驟 ?步驟 1 ：劃分等價(jià)類(lèi) (列出等價(jià)類(lèi)表） ?等價(jià)類(lèi)是指輸入數(shù)據(jù)的子集合。 ? } ? else { ? if (nSum 1) nPosX = 2。 ? 記① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯1, B ＝ 0 作 ? ④ A≯1, B≠0 作 T T1 2T T1 2T T1 2T T1 2信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 ?⑤ 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) ④ ,⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 6 .路徑測(cè)試 ?路徑測(cè)試就是設(shè)計(jì)足夠的測(cè)試用例， 覆蓋程序中所有可能的路徑 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7. 6 白盒測(cè)試技術(shù) ?白盒測(cè)試執(zhí)行的要求： ?對(duì)程序模塊的所有獨(dú)立的執(zhí)行路徑至少測(cè)試一次 ?對(duì)所有的邏輯判定，取“真”與取“假”的兩種情況都至少測(cè)試一次； ?在循環(huán)的邊界和運(yùn)行界限內(nèi)執(zhí)行循環(huán)體； ?測(cè)試內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性。 ?確認(rèn)測(cè)試的基礎(chǔ) ：軟件需求規(guī)格說(shuō)明書(shū) ?確認(rèn)測(cè)試的主要工作 ：有效性測(cè)試與軟件配置審查 ?主要參與人員 ：以用戶為主 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 確認(rèn)測(cè)試的步驟 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 7 .5. 1 確認(rèn)測(cè)試范圍 ? 通常采用黑盒測(cè)試，驗(yàn)證被測(cè)軟件是否滿足用戶需求。 3. 對(duì)由模塊組成的子功能族進(jìn)行測(cè)試 。 信息科學(xué)與技術(shù)學(xué)院 閔笛 軟件工程 集成測(cè)試的兩種方式 ?① 非漸增式組裝方式 ?對(duì)每個(gè)模塊分別進(jìn)行單元測(cè)試，再把所有模塊組裝成一個(gè)完整的系統(tǒng)進(jìn)行的測(cè)試