【正文】 一致 模塊測(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è)試 ?系統(tǒng)測(cè)試類型 ?驗(yàn)證系統(tǒng)的動(dòng)態(tài)特性符合預(yù)定要求 ?驗(yàn)證系統(tǒng)可以提供需求說(shuō)明書中指定的功能 將系統(tǒng)或程序與其原定目標(biāo)相比較 ?發(fā)現(xiàn)設(shè)計(jì)和編碼的錯(cuò)誤 系統(tǒng)測(cè)試 系統(tǒng)測(cè)試的類型 ?強(qiáng)度測(cè)試（ stress testing ) ?批量測(cè)試（ volume testing) ?機(jī)能測(cè)試（ facility testing) ?性能測(cè)試（ performance testing ) ?安全性測(cè)試（ security testing) ?便利性測(cè)試（ usability testing) ?存儲(chǔ)量測(cè)試（ storage testing ) ?可靠性測(cè)試（ stress testing ) ?兼容 /變換測(cè)試（ volume testing) ?配置測(cè)試（ facility testing) ?可用性測(cè)試（ performance testing ) ?可安裝性測(cè)試（ security testing) ?恢復(fù)測(cè)試（ usability testing) ?文件資料測(cè)試（ storage testing ) ?工序測(cè)試（ storage testing ) 系統(tǒng)測(cè)試的類型 ?判斷系統(tǒng)是否把目標(biāo)提到的每個(gè)機(jī)能真正地實(shí)現(xiàn)了 ?方法：逐句掃描目標(biāo)（人工進(jìn)行即可） 機(jī)能測(cè)試（ facility testing) 批量測(cè)試（ volume testing ) ?讓程序處理大量的數(shù)據(jù) ?企圖證明程序不能處理目標(biāo)中指出的大批量數(shù)據(jù) ?代價(jià)很大 強(qiáng)度測(cè)試（ stress testing) 在很短的時(shí)間內(nèi)遇到最多的數(shù)據(jù) ?讓程序在高負(fù)荷即高緊張的情況下運(yùn)行 ?用于測(cè)試負(fù)載不定的程序，或交互式的、實(shí)時(shí)的，以及過(guò)程控制的程序 ?便利性測(cè)試力圖確定系統(tǒng)的人為因素 ?分析程序中的人為因素，主要靠主觀臆斷 ?如每個(gè)與用戶交換的信息是否與使用者的智力水平、文化程度及所處的環(huán)境相一致？ ?程序的所有輸出結(jié)果是否有意義、語(yǔ)句通順？ ?對(duì)錯(cuò)誤的診斷是否簡(jiǎn)明易懂？程序的操作是否方便？ 便利性測(cè)試（ usability testing) 性能測(cè)試（ performance testing) 說(shuō)明在一定工作負(fù)荷和格局分配條件下，響應(yīng)時(shí)間及處理速度等特性 存儲(chǔ)量測(cè)試（ storage testing) ?說(shuō)明諸如程序所用的內(nèi)存和外存容量，臨時(shí)文件和溢出文件的大小等 ?要設(shè)計(jì)測(cè)試情況以證明沒(méi)有達(dá)到其存儲(chǔ)量的目標(biāo) 配置測(cè)試（ configuration testing) ?至少每一個(gè)類型的硬件的最大最小的配置都要測(cè)試到 ?如果程序本身能重新配置，那么就要測(cè)試可能出現(xiàn)的各種配置 兼容 /變換測(cè)試（ patibility/conversion testing) ?說(shuō)明與現(xiàn)行系統(tǒng)的兼容性 ?說(shuō)明如何由現(xiàn)有系統(tǒng)轉(zhuǎn)換而來(lái)。 ?設(shè)法證明未能滿足兼容性的目標(biāo)，以及不能實(shí)現(xiàn)兩系統(tǒng)間相互轉(zhuǎn)換 可靠性測(cè)試（ reliability testing) ?可靠目標(biāo)很難測(cè)試 ?可以考慮用一套數(shù)學(xué)模型來(lái)估計(jì)該目標(biāo)的有效性 恢復(fù)測(cè)試（ recovery testing) ?像操作系統(tǒng)、數(shù)據(jù)庫(kù)管理系統(tǒng)和遠(yuǎn)程處理程序這類程序往往有系統(tǒng)恢復(fù)的目標(biāo)，說(shuō)明在出現(xiàn)程序錯(cuò)誤、硬件失效及數(shù)據(jù)錯(cuò)誤之后，整個(gè)系統(tǒng)應(yīng)該怎樣恢復(fù) ?要證明恢復(fù)功能不正常工作。 可用性測(cè)試（ serviceability testing) ?這類目標(biāo)定義了供系統(tǒng)使用的公用子程序 ?定義了糾正明顯錯(cuò)誤的平均時(shí)間 ?定義了維護(hù)過(guò)程及內(nèi)部邏輯文件資料的質(zhì)量等 文件資料測(cè)試（ documentation testing) ?檢查文件資料是否準(zhǔn)確 ?分析資料中的每個(gè)例子都要編成測(cè)試情況送給程序運(yùn)行 安裝測(cè)試 ?檢驗(yàn)系統(tǒng)的每一部分是否齊全 ?檢驗(yàn)用戶選擇的一套任選方案是否相容 找出安裝錯(cuò)誤 ?系統(tǒng)安裝之后進(jìn)行測(cè)試 ?所有文件是否產(chǎn)生并確實(shí)有需要的內(nèi)容 ?硬件配置是否合理 驗(yàn)收測(cè)試（ Acceptance testing） ?驗(yàn)證系統(tǒng)能滿足用戶的需要 ?可以使用實(shí)際數(shù)據(jù) 把程序和用戶的需要性比較 ?測(cè)試內(nèi)容與系統(tǒng)測(cè)試基本類似 ?往往發(fā)現(xiàn)系統(tǒng)需求說(shuō)明書中的錯(cuò)誤 軟件測(cè)試框架 用戶需求 系統(tǒng)目標(biāo) 外部規(guī)范設(shè)計(jì) 程序設(shè)計(jì) 編 碼 模塊測(cè)試 子系統(tǒng)測(cè)試 功能測(cè)試 系統(tǒng)測(cè)試 安裝測(cè)試 驗(yàn)收測(cè)試 軟件正確性證明 程序能夠準(zhǔn)確無(wú)誤地完成編寫者所期望賦予它的功能，或 對(duì)任何一組允許的輸入信息得到一組相應(yīng)的正確的輸出信息 ?程序正確性的種類 ☆ 程序的部分正確性 ☆ 程序的終止性 ☆ 程序的完全正確性 為了證明一個(gè)程序的完全正確性，通常采用 證明該程序的部分正確性和終止性 軟件正確性證明的方法 ?部分正確性的證明方法 ☆ ☆ ☆ ?終止性的證明方法 ☆ ☆ ☆ 第四節(jié) 系統(tǒng)調(diào)試 信息系統(tǒng)實(shí)施 系統(tǒng)調(diào)試 ?系統(tǒng)調(diào)試概述 ?系統(tǒng)調(diào)試的步驟 ?系統(tǒng)調(diào)試的技術(shù) ?系統(tǒng)調(diào)試的方法 系統(tǒng)調(diào)試概述 ?系統(tǒng)調(diào)試事先應(yīng)擬訂一份方案 ?將一切可能發(fā)生的問(wèn)題和錯(cuò)誤盡量消滅在正式運(yùn)行之前 ?可以保證新系統(tǒng)運(yùn)行的正確性和有效性 ?確定調(diào)試步驟，可提高效率，縮短周期，降低費(fèi)用 系統(tǒng)調(diào)試的步驟 1． 錯(cuò)誤的診斷 從測(cè)試程序中存在錯(cuò)誤的某些跡象出發(fā) ， 確定錯(cuò)誤的準(zhǔn)確位置 ， 也就是找出是哪個(gè)模塊或哪些接口引起的錯(cuò)誤 。 錯(cuò)誤診斷是非常難的 ， 它是調(diào)試過(guò)程的關(guān)鍵 2． 改正錯(cuò)誤 診斷出錯(cuò)誤的準(zhǔn)確位置以后，仔細(xì)研究這段代碼以確定出現(xiàn)問(wèn)題的真正原因，并設(shè)法改正錯(cuò)誤。 系統(tǒng)調(diào)試的技術(shù) ? 輸出存儲(chǔ)器內(nèi)容 ? 打印語(yǔ)句 ? 自動(dòng)工具 系統(tǒng)調(diào)試的方法 ? 試探法 （ Tentative） ? 回溯法 （ Backtracking） ? 折半查找法 （ Bisearch） ? 歸納法 （ Induction） ? 演繹法 （ Deductive Method） 第五節(jié) 系統(tǒng)切換 信息系統(tǒng)實(shí)施 系統(tǒng)切換 ? 系統(tǒng)切換前的準(zhǔn)備 ? 系統(tǒng)切換 系統(tǒng)切換前的準(zhǔn)備 ?數(shù)據(jù)準(zhǔn)備 ?文檔準(zhǔn)備 ?用戶培訓(xùn) ?系統(tǒng)設(shè)備 系統(tǒng)切換 ? 直接轉(zhuǎn)換方式 ? 平行轉(zhuǎn)換方式 ? 逐步轉(zhuǎn)換方式 直接轉(zhuǎn)換方式 ?在某一特定的時(shí)刻，舊系統(tǒng)停止使用，同時(shí)新系統(tǒng)立即投入使用 舊系統(tǒng) 新系統(tǒng) 切換 時(shí)間 直接轉(zhuǎn)換方式的特點(diǎn) ?在某一特定的時(shí)刻，舊系統(tǒng)停止使用，同時(shí)新系統(tǒng)立即投入使用 ?轉(zhuǎn)換簡(jiǎn)單 ?人員和設(shè)備費(fèi)用節(jié)省 ?預(yù)先要經(jīng)過(guò)詳細(xì)的測(cè)試和模擬運(yùn)行 ?風(fēng)險(xiǎn)大 平行（并行）轉(zhuǎn)換方式 ?在一段時(shí)間內(nèi)新舊系統(tǒng)并存，各自運(yùn)行完成相應(yīng)的工作，并相互對(duì)比、審核 舊系統(tǒng) 新系統(tǒng) 并行轉(zhuǎn)換時(shí)間 時(shí)間 平行（并行）轉(zhuǎn)換方式的特點(diǎn) ?新舊系統(tǒng)并存一段時(shí)間 ?人員和設(shè)備費(fèi)用增加 ?系統(tǒng)的可靠性高 ?風(fēng)險(xiǎn)較少，新系統(tǒng)的運(yùn)行成功率高 逐步（分段）轉(zhuǎn)換方式 ?分階段、按部分地完成新舊系統(tǒng)的交替過(guò)程，開(kāi)發(fā)完一部分則在某一時(shí)間段內(nèi)平行運(yùn)行一部分 舊系統(tǒng) 新系統(tǒng) 逐步并行運(yùn)行 時(shí)間 逐步（分段）轉(zhuǎn)換方式的特點(diǎn) ?開(kāi)發(fā)完一部分就平行運(yùn)行一部分 ?避免直接轉(zhuǎn)換方式的風(fēng)險(xiǎn) ?避免平行方式的雙倍費(fèi)用 ?逐步轉(zhuǎn)換方式的接口多