【正文】 試某些用例中的典型場(chǎng)景 ? 類及對(duì)象模型 ? 某些類測(cè)試其狀態(tài)模型 單個(gè)用例測(cè)試采取典型應(yīng)用場(chǎng)景的測(cè)試方法，用例模型的測(cè)試相當(dāng)于系統(tǒng)測(cè)試，測(cè)試的主要目標(biāo)是用例模型對(duì)于用戶需求的可跟蹤性。 UML分析模型的每個(gè)模式，從嚴(yán)格意義上說(shuō)都應(yīng)該經(jīng)過(guò)測(cè)試。 測(cè)試也有需求 、 設(shè)計(jì)和實(shí)現(xiàn) ， 并且測(cè)試本身也會(huì)有測(cè)試(測(cè)試中的測(cè)試 )。這種模糊性帶入了設(shè)計(jì)，甚至代碼中，將可能引發(fā)幾倍，甚至幾十倍的錯(cuò)誤，這必將極大地消耗系統(tǒng)的資源和成本。而且，需求模型、設(shè)計(jì)模型和實(shí)現(xiàn)代碼之間還具備解釋特性。 需求測(cè)試可以較早地發(fā)現(xiàn)需求中問(wèn)題 如：不合理的項(xiàng)目 、 以及錯(cuò)誤地理解了用戶需求的項(xiàng)目 ，避免對(duì)于成本和資源的消耗 。 系統(tǒng)測(cè)試包括： ? 功能測(cè)試 ? 壓力測(cè)試 ? 安全測(cè)試 ? 兼容性測(cè)試 ? 安裝測(cè)試 ? 恢復(fù)測(cè)試 面向?qū)ο鬁y(cè)試類型 模型測(cè)試 類測(cè)試 交互測(cè)試 系統(tǒng)（子系統(tǒng)）測(cè)試 驗(yàn)收和發(fā)布測(cè)試 驗(yàn)收測(cè)試：交付用戶前的系統(tǒng)測(cè)試。 交互測(cè)試的方法有： ? 用例或基于場(chǎng)景的測(cè)試 ? 線程測(cè)試 ? 對(duì)象的測(cè)試。 面向?qū)ο鬁y(cè)試類型 模型測(cè)試 類測(cè)試 交互測(cè)試 系統(tǒng)（子系統(tǒng)）測(cè)試 驗(yàn)收和發(fā)布測(cè)試 交互測(cè)試用于代替?zhèn)鹘y(tǒng)測(cè)試方法中的集成測(cè)試。 面向?qū)ο鬁y(cè)試類型 模型測(cè)試 類測(cè)試 交互測(cè)試 系統(tǒng)（子系統(tǒng)）測(cè)試 驗(yàn)收和發(fā)布測(cè)試 類測(cè)試即傳統(tǒng)測(cè)試中的單元測(cè)試 ， 即驗(yàn)證類的實(shí)現(xiàn)與類的規(guī)約是否一致的活動(dòng) 。 面向?qū)ο鬁y(cè)試類型 模型測(cè)試 類測(cè)試 交互測(cè)試 系統(tǒng)（子系統(tǒng)）測(cè)試 驗(yàn)收和發(fā)布測(cè)試 采用正式技術(shù)評(píng)審的方法，檢查分析與設(shè)計(jì)模型的正確性、完整性和一制性。 繼承 —提高了代碼復(fù)用性，但錯(cuò)誤也會(huì)以同樣方式被 復(fù)用。 ，根據(jù) 面向?qū)ο蟮闹饕匦?，需要改變測(cè)試策略和方法。 強(qiáng)調(diào)需求或設(shè)計(jì)的測(cè)試，通常以兩種方式進(jìn)行 ： 在沒(méi)有代碼的情況下進(jìn)行測(cè)試； 在有代碼的情況下進(jìn)行測(cè)試。 面向?qū)ο蟮臏y(cè)試，既要使用許多傳統(tǒng)的成熟的軟件測(cè)試方法和技術(shù)，也有其不同的特點(diǎn)；主要反映在測(cè)試對(duì)象和內(nèi)容的不同。 有時(shí)也將驗(yàn)收測(cè)試與系統(tǒng)測(cè)試合二為一 ， 此時(shí) ， 參加測(cè)試的人員最好包括：有經(jīng)驗(yàn)的系統(tǒng)測(cè)試專家 ， 用戶代表 ， 軟件開(kāi)發(fā)人員及 QA（ 質(zhì)量保證 ） 人員也應(yīng)參加 。 一般都應(yīng)該先進(jìn)行靜態(tài)測(cè)試 ， 再考慮動(dòng)態(tài)測(cè)試 。 軟件測(cè)試方案是測(cè)試階段的關(guān)鍵技術(shù)問(wèn)題 ， 基本目標(biāo)是選擇最少量的高效測(cè)試用例 ， 從而盡可能多地發(fā)現(xiàn)軟件中的問(wèn)題 。 （ 2）由教師進(jìn)行測(cè)試。軟件工程課程設(shè)計(jì)的驗(yàn)收測(cè)試， 18周進(jìn)行。 Function Testing 功能測(cè)試 Local Area Testing 局域化測(cè)試 Usability Testing 可使用性測(cè)試 Regression Testing 回歸測(cè)試 Performance Testing 性能測(cè)試 Supportability Testing 可支持 性測(cè)試 四、系統(tǒng)測(cè)試 （ system testing ） 將經(jīng)過(guò)確認(rèn)測(cè)試的軟件，與計(jì)算機(jī)硬件、外設(shè)、 支持軟件等一起，在實(shí)際運(yùn)行環(huán)境下測(cè)試。 （ 3） ?測(cè)試和 ?測(cè)試 ?測(cè)試 是在開(kāi)發(fā)機(jī)構(gòu)的監(jiān)督下，由個(gè)別用戶在確認(rèn)測(cè)試階段后期對(duì)軟件進(jìn)行測(cè)試，目的是評(píng)價(jià)軟件的 FLURPS（ 功能、局域化、可使用性、可靠性、性能和支持） ， 注重界面和特色。隨著軟 件工程過(guò)程的進(jìn)展軟件配置項(xiàng)（ SCI software Configuration Item） 快速增加和變化。 選擇測(cè)試人員 選擇測(cè)試用例 實(shí)際運(yùn)行測(cè)試 軟件計(jì)劃 用戶文檔 開(kāi)發(fā)文檔 源程序文本 支持環(huán)境 有效性 測(cè)試 軟件 配置 審查 管理 機(jī)構(gòu) 裁決 專家 鑒定會(huì) 交用戶 運(yùn)行維護(hù) 測(cè)試報(bào)告 軟件配置 （ 1）有效性測(cè)試 制定測(cè)試計(jì)劃，運(yùn)用黑盒法，驗(yàn)證軟件特性是否與需求符合。 三、確認(rèn)測(cè)試 (validation testing) 又稱為有效性測(cè)試或功能測(cè)試。 對(duì)含有寫操作的子系統(tǒng)采用自頂而下。 常見(jiàn)的 混合增值方案： 衍變的自頂而下 先自底而上集成子系統(tǒng)，再自頂而下集成總系統(tǒng)。 集成過(guò)程的原則 ① 盡早測(cè)試關(guān)鍵模塊。 自底而上 增值 優(yōu)點(diǎn)：驅(qū)動(dòng)模塊較容易編寫樁模塊，能夠盡早查出底層涉及較復(fù)雜的算法和實(shí)際的 I/O模塊中的錯(cuò)誤。 確定集成過(guò)程的原則 自頂而下增值 優(yōu)點(diǎn)：能夠盡早發(fā)現(xiàn)系統(tǒng)主控方面的問(wèn)題。 舉例：按自頂而下增值法，寫出下圖中分別按照 深度優(yōu)先 或者 寬度優(yōu)先 增值的模塊組裝次序。 第二步，用實(shí)際模塊 MM1和 M4替換驅(qū)動(dòng)模塊 DD D3。 D4 D5 M1 M4 M3 M2 M6 M5 程序模塊示意圖 第一步，對(duì)最底層的模塊 MM M6進(jìn)行測(cè)試 ,設(shè)計(jì)驅(qū)動(dòng)模塊 D D D3來(lái)模擬調(diào)用。組裝測(cè)試完畢。 S4 第三步，對(duì)由主控模塊 M1和模塊 M M M4構(gòu)成的子系統(tǒng)進(jìn)行測(cè)試，設(shè)計(jì)樁模塊S S5。 自頂而下增值 自底而上 增值 自頂而下增值 M1 M4 M3 M2 M6 M5 程序模塊示意圖 S5 M1 S1 S2 S3 第一步，測(cè)試主控模塊 M1設(shè)計(jì)樁模塊 S S S3， 模擬被 M1調(diào)用的 M M M4。 問(wèn)題： 漸增式與非漸增式各有何優(yōu)、缺點(diǎn)？為什么通常采用漸增式？ 漸增式是先進(jìn)行模塊測(cè)試 ， 然后將這些模塊逐步組裝成較大的系統(tǒng) ， 每連接一個(gè)模塊進(jìn)行一次測(cè)試 。 ②測(cè)試方法以黑盒法為主，按照組裝方案進(jìn)行 測(cè)試。 被測(cè)模塊 驅(qū)動(dòng)模塊 樁模塊 樁模塊 樁模塊 二、組裝測(cè)試 （ Integration Testing） ①確定模塊組裝方案，將經(jīng)過(guò)測(cè)試的模塊組裝為一個(gè)完整的系統(tǒng)。但都是額外開(kāi)銷。 樁模塊 （ stub） — 又稱為假模塊，用于模擬那些由被測(cè)模塊所調(diào)用的下屬模塊功能。 也稱單元測(cè)試（ unit testing ) 考慮到被測(cè)模塊與其它模塊的聯(lián)系，因此測(cè)試時(shí)需要使用兩類 輔助模塊 來(lái)模擬其他模塊。 邊界條件常包括循環(huán)邊界，最大最小值、控制流中等于、大于、小于的比較值等。 數(shù)據(jù)說(shuō)明是否正確、一致，變量及其初值定義是否正確等。并事先制訂測(cè)試計(jì) 劃。 考慮到原因 2不可能同時(shí)為 1，加上 E約束。第一字符不正 確發(fā)出信息 X12， 第二個(gè)字符不正確發(fā)出信息 X13。 ⑶ 因果圖法應(yīng)用舉例 規(guī)范：文件名第一列字符必須為 A或 B， 第二列字 符必須為數(shù)字。 將判斷表的每一列，轉(zhuǎn)換為一個(gè)測(cè)試用例。 標(biāo)識(shí)出規(guī)范中的原因與結(jié)果。 R約束（要求 ） — 需要 a為 1時(shí)， b必須為 1 M約束（強(qiáng)制 ） — 屏蔽 若 a為 1時(shí)，則 b強(qiáng)制為 1。 I約束（或） — 包容 a、 b、 c不能同時(shí)為 0。 “ 與 ” 函數(shù) 若 a與 b同為 1，則 d為 1，否則 d為 0。 “ 非 ” 函數(shù) 若 a為 1，則 b為 0，否則 b為 1。 因果圖是一種形式化語(yǔ)言，是一種組合邏輯 網(wǎng)絡(luò)圖。 把輸入條件視為 “ 因 ” ，把輸出條件視為“ 果 ” ，將黑盒看成是從因到果的網(wǎng)絡(luò)圖，采用邏輯圖的形式來(lái)表達(dá)功能說(shuō)明書中輸入條件的各種組合與輸出的關(guān)系。 D為界偶 （ 17個(gè) ） ： [ld:]nd ld 和 nd 的值為 165535， ld缺省為 1。 邊值分析法舉例 黑盒法應(yīng)用實(shí)例 對(duì) FORTRAN編譯系統(tǒng)中的 DIMENSION語(yǔ)句進(jìn)行測(cè)試。 D 輸入 /輸出有序集 （ 如順序文件 、 線性表