【正文】 錯(cuò)誤診斷是非常難的 ， 它是調(diào)試過(guò)程的關(guān)鍵 2． 改正錯(cuò)誤 診斷出錯(cuò)誤的準(zhǔn)確位置以后，仔細(xì)研究這段代碼以確定出現(xiàn)問(wèn)題的真正原因，并設(shè)法改正錯(cuò)誤。 子系統(tǒng)測(cè)試 —— 組裝測(cè)試、集成測(cè)試 ?模塊集成測(cè)試的方式 ?模塊集成時(shí)可能出現(xiàn)的問(wèn)題 把多個(gè)模塊組合在一起進(jìn)行的測(cè)試 測(cè)試模塊之間的 接口 ，即模塊之間的 數(shù)據(jù) 和 控制傳遞 ?增殖測(cè)試方式和非增殖測(cè)試方式的區(qū)別 模塊集成時(shí)可能出現(xiàn)的問(wèn)題 ?經(jīng)過(guò)模塊接口的數(shù)據(jù)是否丟失 ?一個(gè)模塊是否破壞另一個(gè)模塊的功能 ?子功能的組合是否達(dá)到了預(yù)期要求的主功能 ?全程數(shù)據(jù)結(jié)構(gòu)是否有問(wèn)題 ?單個(gè)模塊的誤差集成放大是否會(huì)達(dá)到不能接受的程度 模塊集成測(cè)試的方式 ?非增殖測(cè)試方式 ?增殖測(cè)試方式 非增殖測(cè)試方式 驅(qū)動(dòng)模塊(driver module) 獨(dú)立地測(cè)試程序的每個(gè)模塊，再把它們組合成整個(gè)程序 A B C D E F 樁模塊 (stub module) 用來(lái)驅(qū)動(dòng)或傳送測(cè)試情況給被測(cè)模塊 用來(lái)體現(xiàn)接受該調(diào)用時(shí)的控制，用來(lái)模擬模塊 E的功能 非增式測(cè)試的特點(diǎn) ? 為每一個(gè)模塊準(zhǔn)備相應(yīng)的驅(qū)動(dòng)模塊 (driver module)和樁 (Stub module)模塊，測(cè)試成本較高 Stub模塊的作用是為正在測(cè)試的上級(jí)模塊 提供調(diào)用的目標(biāo)，以及為上級(jí)模塊傳遞 預(yù)期的數(shù)據(jù)和控制標(biāo)識(shí) ?集成后包含多種錯(cuò)誤，難以對(duì)錯(cuò)誤定位和糾正 增式測(cè)試方式 ?增式測(cè)試方式的種類 ?增式測(cè)試方式的特點(diǎn) ☆ 自頂向下測(cè)試的特點(diǎn) ☆ 自底向上測(cè)試的特點(diǎn) 增式測(cè)試的方式 ?自頂向下測(cè)試 ?自底向上測(cè)試 自頂向下測(cè)試（ top_down testing） 從頂端模塊開(kāi)始測(cè)試，下一次測(cè)試的模塊 至少有一個(gè)調(diào)用它的模塊已經(jīng)測(cè)試過(guò) A B C D E F （ 1）樁模塊 B重復(fù)多次每次回送給 A不同的“固定”測(cè)試數(shù)據(jù)集 假如 A模塊僅調(diào)用 B模塊一次 （ 2）把測(cè)試數(shù)據(jù)放到外部文件上，讓樁模塊B讀入數(shù)據(jù)，再回送到 A ?一個(gè)復(fù)雜模塊 ?一個(gè)具有新算法的模塊 ?懷疑容易出錯(cuò)的模塊 自頂向下測(cè)試順序的選擇 ?如果程序中有關(guān)鍵性的部分，設(shè)計(jì)次序應(yīng)近早地把這些模塊加入程序 ?要讓含有輸入 /輸出的模塊近早地加入到測(cè)試中 自頂向下測(cè)試（ top_down testing） 自底向上測(cè)試（ bottom_up testing） 從程序的 末端模塊 開(kāi)始測(cè)試，下一次測(cè)試的模塊 的所有下層模塊必須事先都被測(cè)試過(guò) A B C D E F （ 1）順序或并行地測(cè)試 E， F， C（設(shè)計(jì)專門(mén)的驅(qū)動(dòng)模塊） （ 2）對(duì) B， D模塊進(jìn)行測(cè)試 （ 3）對(duì) A模塊進(jìn)行測(cè)試 測(cè)試初期不能形成程序總體的概念 ?一個(gè)復(fù)雜模塊 ?一個(gè)具有新算法的模塊 ?懷疑容易出錯(cuò)的模塊 自頂向下測(cè)試順序的選擇 ?如果程序中有關(guān)鍵性的部分，設(shè)計(jì)次序應(yīng)近早地把這些模塊加入程序 ?要讓含有輸入 /輸出的模塊近早地加入到測(cè)試中 自底向上測(cè)試（ bottom_up testing） 自頂向下測(cè)試的特點(diǎn) （ 1）如果主要的錯(cuò)誤趨向于發(fā)生在程序的頂端時(shí)，有利于查處錯(cuò)誤 （ 2）一旦加入了 I/O功能，測(cè)試情況很容易描述 （ 3）初期的程序設(shè)計(jì)輪廓可以讓人們看到程序的功能，并使人們?cè)鰪?qiáng)工作信心 優(yōu)點(diǎn)： （ 1）需要考慮樁模塊 （ 2）樁模塊比想象的更復(fù)雜 （ 3）在 I/O功能加入之前，樁中很難描述測(cè)試情況 （ 4）不可能或很難產(chǎn)生測(cè)試條件 （ 5）很難觀察測(cè)試輸出 （ 6）使人想到設(shè)計(jì)和測(cè)試同時(shí)進(jìn)行 （ 7）會(huì)使人想推遲完成某些模塊的測(cè)試 缺點(diǎn)： 自頂向下測(cè)試的特點(diǎn) 自底向上測(cè)試的特點(diǎn) （ 1）如果主要的錯(cuò)誤發(fā)生在程序的底端時(shí)，有利于查處錯(cuò)誤 （ 2）容易產(chǎn)生測(cè)試條件 （ 3）容易觀察測(cè)試結(jié)果 優(yōu)點(diǎn)： （ 1）必須給出驅(qū)動(dòng)模塊 （ 2）在加入最后一個(gè)模塊之前，程序不能作為一個(gè)整體存在 缺點(diǎn)： 自底向上測(cè)試的特點(diǎn) 增式和非增式的區(qū)別 ?非增式測(cè)試方式需要更多的工作量 ?增式測(cè)試中，模塊之間的接口的錯(cuò)誤或是關(guān)于模塊錯(cuò)誤假定能夠被較早地檢查出來(lái) ?利用增式測(cè)試，改錯(cuò)比較容易 ?增式測(cè)試可能導(dǎo)致徹底地對(duì)程序進(jìn)行測(cè)試 ?非增式測(cè)試方法只需要用較少的機(jī)器時(shí)間，增式測(cè)試需要執(zhí)行更多的機(jī)器指令。 輸入 /輸出錯(cuò)誤 數(shù)據(jù)結(jié)構(gòu) ?數(shù)據(jù)庫(kù)的大小和屬性沒(méi)有正確定義； ?搜索下標(biāo)和索引的定義和使用不正確； ?數(shù)據(jù)名稱和使用不一致； ?常數(shù) 、 累加器和計(jì)數(shù)器的初始化不正確； ?數(shù)據(jù)項(xiàng)的格式和屬性的定義不正確； ?上溢、下溢或地址異常 算法錯(cuò)誤 ?中間結(jié)果數(shù)據(jù)項(xiàng)的大小 、 類型和精度等特性不正確； ?算法操作順序不正確； ?對(duì)除數(shù)為 0的除法的處理不正確； ?精度不夠。在這種情況下，修改文件。 層次模塊圖 A P1 P2 P3 模塊相當(dāng)于一個(gè)基本控制結(jié)構(gòu) 是一個(gè)子程序或一個(gè)程序段 結(jié)構(gòu)圖中的模塊至少是一個(gè)程序或一組程序 程序設(shè)計(jì)的基本特點(diǎn) ?采用自上而下的設(shè)計(jì)步驟 ?程序邏輯組織模塊化 ?限制無(wú)條件轉(zhuǎn)移語(yǔ)句 ?需要的存儲(chǔ)量和運(yùn)行時(shí)間都有一些增加 第三節(jié) 信息系統(tǒng)的測(cè)試 信息系統(tǒng)實(shí)施 信息系統(tǒng)的測(cè)試 ? 軟件測(cè)試方法 ? 動(dòng)態(tài)測(cè)試方案的設(shè)計(jì) ? 軟件測(cè)試步驟 ? 系統(tǒng)測(cè)試概述 ? 靜態(tài)測(cè)試方案的設(shè)計(jì) ? 軟件正確性證明 信息系統(tǒng)測(cè)試概述 ?軟件測(cè)試任務(wù) ?軟件測(cè)試的時(shí)間 ?軟件測(cè)試的基本手段 ?系統(tǒng)測(cè)試概述 ? 軟件測(cè)試的原則 ? 軟件錯(cuò)誤 測(cè)試：就是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過(guò)程 ?測(cè)試應(yīng)該把查出新錯(cuò)誤的測(cè)試看作是成功的測(cè)試 ?沒(méi)有發(fā)現(xiàn)錯(cuò)誤的測(cè)試是失敗的測(cè)試 ?發(fā)現(xiàn)錯(cuò)誤不是目的，目的是開(kāi)發(fā)出高質(zhì)量的完全符合用戶需要的軟件 ?測(cè)試發(fā)現(xiàn)的錯(cuò)誤還必須診斷并改正錯(cuò)誤 系統(tǒng)測(cè)試概述 ?測(cè)試至少占據(jù)了制作過(guò)程的一半工作量 信息系統(tǒng)測(cè)試概述 ?一般程序員很少喜歡測(cè)試，更不喜歡進(jìn)行測(cè)試設(shè)計(jì) 軟件測(cè)試的工作量往往占軟件總工作量的 40%以上。 在極端的情況下，測(cè)試關(guān)系人的生命安全的軟件所花的 成本可能相當(dāng)于軟件工程其他步驟總成本的 3~5倍 如果測(cè)試設(shè)計(jì)和測(cè)試工作量比程序設(shè)計(jì)和編程調(diào)試的工作量大，則更少有程序員喜歡 ?測(cè)試是系統(tǒng)開(kāi)發(fā)中的一個(gè)重要環(huán)節(jié)，是成功開(kāi)發(fā)信息系統(tǒng)的重要保證。如果第一個(gè)字符不正確，則發(fā)出信息 X12。 重要路徑 比較錯(cuò)誤 ?所比較的數(shù)據(jù)項(xiàng)的屬性不匹配； ?在 AND， OR等關(guān)系運(yùn)算次序不正確； ?“ 差 1”錯(cuò)誤 （ 多循環(huán)一次或少循環(huán)一次 ） ； ?錯(cuò)誤的或不存在的循環(huán)終止條件； ?當(dāng)遇到發(fā)散的迭代時(shí)不能終止循環(huán)； ?錯(cuò)誤地修改循環(huán)變量。非增式測(cè)試需要更多的驅(qū)動(dòng)模塊和樁模塊 ?用非增式測(cè)試方式在模塊測(cè)試階段的開(kāi)始就有可能進(jìn)行并行的工作 功能測(cè)試 有效性測(cè)試 Function Testing ?功能測(cè)試概述 ?功能測(cè)試原理 ?功能測(cè)試存在的問(wèn)題 功能測(cè)試概述 ?是繼模塊測(cè)試（單元測(cè)試）成功地實(shí)現(xiàn)白盒測(cè)試準(zhǔn)則之后進(jìn)行的測(cè)試 ?目的是找出程序和其外部規(guī)范之間的不一致 ?外部規(guī)范是對(duì)模塊外部屬性的描述，一般采用黑盒方式 功能測(cè)試 有效性測(cè)試 ?得出一組測(cè)試情況 ?對(duì)外部規(guī)范進(jìn)行分析 找出程序和其外部規(guī)范之間的不一致 模塊測(cè)試之后進(jìn)行 ?使用黑盒法進(jìn)行測(cè)試 在進(jìn)行功能測(cè)試時(shí)注意的問(wèn)題 （ 1）要考慮到那些不合理的和意想不到的輸入條件 （ 2）要將預(yù)期結(jié)果的定義做為測(cè)試情況的重要部分 （ 3）目的是暴露錯(cuò)誤，不是證明程序符合外部規(guī)范 系統(tǒng)測(cè)試 ?系統(tǒng)測(cè)