第17講 管理信息系統(tǒng)系統(tǒng)實(shí)施(二)

1、第六章 系統(tǒng)實(shí)施本章目錄本章目錄6.1 系統(tǒng)實(shí)施概述系統(tǒng)實(shí)施概述 6.2 編程標(biāo)準(zhǔn)編程標(biāo)準(zhǔn) 6.3 程序設(shè)計(jì)與調(diào)試程序設(shè)計(jì)與調(diào)試6.4 系統(tǒng)測(cè)試系統(tǒng)測(cè)試 6.5 系統(tǒng)交接系統(tǒng)交接 6.6 系統(tǒng)的運(yùn)行與維護(hù)系統(tǒng)的運(yùn)行與維護(hù)小結(jié)小結(jié)6 6.1 .1 系統(tǒng)實(shí)施概述系統(tǒng)實(shí)施概述主要活動(dòng)主要活動(dòng)命名約定命名約定命名約定命名約定匈牙利標(biāo)記匈牙利標(biāo)記標(biāo)識(shí)符命名標(biāo)識(shí)符命名代碼注釋代碼注釋序言性注釋序言性注釋功能性注釋功能性注釋返目錄程序設(shè)計(jì)原則程序設(shè)計(jì)原則五大五大原則原則可維護(hù)性可維護(hù)性可靠性可靠性可理解性可理解性健壯性健壯性效率效率6.3.16.3.1程序設(shè)計(jì)原則程序設(shè)計(jì)原則 程序效率程序效率是指計(jì)算機(jī)是指

2、計(jì)算機(jī)資源資源能否能否有效地使用有效地使用，即，即系統(tǒng)運(yùn)行時(shí)盡量系統(tǒng)運(yùn)行時(shí)盡量占用較少空間，卻能用較快速占用較少空間，卻能用較快速度完成規(guī)定功能度完成規(guī)定功能。 編程時(shí)，要在效率與可維護(hù)性、可理解性之間編程時(shí)，要在效率與可維護(hù)性、可理解性之間取得動(dòng)態(tài)平衡。取得動(dòng)態(tài)平衡。 程序效率的提高主要應(yīng)通過(guò)選擇高效的算法來(lái)程序效率的提高主要應(yīng)通過(guò)選擇高效的算法來(lái)實(shí)現(xiàn)。實(shí)現(xiàn)。 例子例子 6.3.16.3.1程序設(shè)計(jì)原則程序設(shè)計(jì)原則 健壯性即系統(tǒng)的健壯性即系統(tǒng)的容錯(cuò)能力。容錯(cuò)能力。這是系統(tǒng)長(zhǎng)期平穩(wěn)這是系統(tǒng)長(zhǎng)期平穩(wěn)運(yùn)行的基本前提。運(yùn)行的基本前提。 健壯性是指系統(tǒng)對(duì)錯(cuò)誤操作、錯(cuò)誤數(shù)據(jù)輸入予健壯性是指系統(tǒng)對(duì)錯(cuò)誤操作

3、、錯(cuò)誤數(shù)據(jù)輸入予以以識(shí)別與禁止的能力識(shí)別與禁止的能力，不會(huì)因錯(cuò)誤操作、錯(cuò)誤，不會(huì)因錯(cuò)誤操作、錯(cuò)誤數(shù)據(jù)輸入及硬件故障而造成系統(tǒng)崩潰。數(shù)據(jù)輸入及硬件故障而造成系統(tǒng)崩潰。6 6.3.2 .3.2 程序語(yǔ)言選擇程序語(yǔ)言選擇MISMIS開(kāi)發(fā)以數(shù)據(jù)處理為主開(kāi)發(fā)以數(shù)據(jù)處理為主v前端前端工具主要是數(shù)據(jù)庫(kù)開(kāi)發(fā)，現(xiàn)在主流工具主要是數(shù)據(jù)庫(kù)開(kāi)發(fā)，現(xiàn)在主流開(kāi)發(fā)工開(kāi)發(fā)工具具有有Visual StudioVisual Studio系列，系列，DelphiDelphi，Power BuilderPower Builder，C+ BuilderC+ Builder等。等。v后臺(tái)后臺(tái)主要是主要是數(shù)據(jù)庫(kù)服務(wù)器數(shù)據(jù)庫(kù)服務(wù)器，用于數(shù)據(jù)

4、管理，用于數(shù)據(jù)管理，基基本采用大型本采用大型DBMSDBMS，如，如OracleOracle，SQL serverSQL server，S-S-ybaseybase等。等。 6 6.3.2 .3.2 程序語(yǔ)言選擇程序語(yǔ)言選擇 在在MISMIS開(kāi)發(fā)過(guò)程中，語(yǔ)言選擇都應(yīng)考開(kāi)發(fā)過(guò)程中，語(yǔ)言選擇都應(yīng)考慮以下因素：慮以下因素：1. 1. 語(yǔ)言的結(jié)構(gòu)化機(jī)制與數(shù)據(jù)管理能力語(yǔ)言的結(jié)構(gòu)化機(jī)制與數(shù)據(jù)管理能力2. 2. 語(yǔ)言可提供的交互功能語(yǔ)言可提供的交互功能3. 3. 有較豐富的軟件工具有較豐富的軟件工具4. 4. 開(kāi)發(fā)人員的熟練程度開(kāi)發(fā)人員的熟練程度5. 5. 軟件可移植性要求軟件可移植性要求6. 6. 系統(tǒng)用

5、戶的要求系統(tǒng)用戶的要求6.3.3 6.3.3 結(jié)構(gòu)化程序設(shè)計(jì)方法結(jié)構(gòu)化程序設(shè)計(jì)方法1 1、結(jié)構(gòu)化程序的基本結(jié)構(gòu)、結(jié)構(gòu)化程序的基本結(jié)構(gòu) 鮑赫門鮑赫門(BOHM)(BOHM)和加柯皮和加柯皮(JACOPINI)(JACOPINI)在在19661966年就證明年就證明了結(jié)構(gòu)定理：任何程序結(jié)構(gòu)都可以了結(jié)構(gòu)定理：任何程序結(jié)構(gòu)都可以用順序、選擇和循環(huán)這用順序、選擇和循環(huán)這三種基本結(jié)構(gòu)來(lái)表示。三種基本結(jié)構(gòu)來(lái)表示。 （a）順序 (b) 選擇 (c) 循環(huán)6.3.3 6.3.3 結(jié)構(gòu)化程序設(shè)計(jì)方法結(jié)構(gòu)化程序設(shè)計(jì)方法2 2、自上而下、逐步細(xì)化的編程過(guò)程、自上而下、逐步細(xì)化的編程過(guò)程 對(duì)于一個(gè)執(zhí)行過(guò)程模糊不清的模塊

6、如圖對(duì)于一個(gè)執(zhí)行過(guò)程模糊不清的模塊如圖6-2(a)6-2(a)所示，可所示，可以采用以下幾種方式對(duì)該過(guò)程進(jìn)行分解：以采用以下幾種方式對(duì)該過(guò)程進(jìn)行分解： (1) (1) 用順序方式對(duì)過(guò)程作分解，用順序方式對(duì)過(guò)程作分解，確定模糊過(guò)程中各個(gè)部確定模糊過(guò)程中各個(gè)部分的執(zhí)行順序，如圖分的執(zhí)行順序，如圖6-2 (b)6-2 (b)所示。所示。 (2) (2) 用選擇方式對(duì)過(guò)程作分解，用選擇方式對(duì)過(guò)程作分解，確定模糊過(guò)程中某個(gè)部確定模糊過(guò)程中某個(gè)部分的條件，如圖分的條件，如圖6-2 (c)6-2 (c)所示。所示。 (3) (3) 用循環(huán)方式對(duì)過(guò)程作分解，用循環(huán)方式對(duì)過(guò)程作分解，確定模糊過(guò)程中主體部確定模糊

7、過(guò)程中主體部分進(jìn)行重復(fù)的起始、終止條件，如圖分進(jìn)行重復(fù)的起始、終止條件，如圖6-2 (d)6-2 (d)所示。所示。 6.3.3 6.3.3 結(jié)構(gòu)化程序設(shè)計(jì)方法結(jié)構(gòu)化程序設(shè)計(jì)方法逐步求精的分解方法逐步求精的分解方法(a)(a) (b) (b) (c) (d) (c) (d) 反復(fù)使用反復(fù)使用上述分解方法，最后使整個(gè)模塊都清晰起來(lái)，上述分解方法，最后使整個(gè)模塊都清晰起來(lái)，從而把全部細(xì)節(jié)確定下來(lái)。從而把全部細(xì)節(jié)確定下來(lái)。返目錄6.46.4系統(tǒng)測(cè)試系統(tǒng)測(cè)試 人們常常有一種錯(cuò)覺(jué)，認(rèn)為程序編寫出來(lái)人們常常有一種錯(cuò)覺(jué)，認(rèn)為程序編寫出來(lái)就就“萬(wàn)事大吉萬(wàn)事大吉”。 (1)預(yù)防錯(cuò)誤: 幾乎不可實(shí)現(xiàn)(2)發(fā)現(xiàn)錯(cuò)誤

8、: 系統(tǒng)測(cè)試目的DO 5 I =1 3DO 5 I =1 3找錯(cuò) 保證軟件質(zhì)量，滿足設(shè)計(jì)的要求和客戶保證軟件質(zhì)量，滿足設(shè)計(jì)的要求和客戶的需求的需求; ;系統(tǒng)地揭示不同類型的錯(cuò)誤，耗費(fèi)系統(tǒng)地揭示不同類型的錯(cuò)誤，耗費(fèi)最少時(shí)間和最小工作量，降低軟件的開(kāi)發(fā)成最少時(shí)間和最小工作量，降低軟件的開(kāi)發(fā)成本和維護(hù)成本。本和維護(hù)成本。系統(tǒng)測(cè)試系統(tǒng)測(cè)試在計(jì)算機(jī)上用各種可能的數(shù)據(jù)和操作條件，在計(jì)算機(jī)上用各種可能的數(shù)據(jù)和操作條件，反復(fù)地對(duì)程序進(jìn)行試驗(yàn)，發(fā)現(xiàn)錯(cuò)誤及時(shí)修改，反復(fù)地對(duì)程序進(jìn)行試驗(yàn)，發(fā)現(xiàn)錯(cuò)誤及時(shí)修改，便其完全符合設(shè)計(jì)要求的過(guò)程。便其完全符合設(shè)計(jì)要求的過(guò)程。標(biāo)目項(xiàng)目經(jīng)理約 250人開(kāi)發(fā)人員約 1700人測(cè)試人員約

9、 3200人測(cè)試人員/開(kāi)發(fā)人員1.9Windows 2000 Windows 2000 的人員結(jié)構(gòu)的人員結(jié)構(gòu) 本節(jié)目錄本節(jié)目錄6 6.4.1 .4.1 系統(tǒng)測(cè)試的主要內(nèi)容系統(tǒng)測(cè)試的主要內(nèi)容6 6.4.2 .4.2 系統(tǒng)測(cè)試計(jì)劃系統(tǒng)測(cè)試計(jì)劃6.4.3 6.4.3 系統(tǒng)測(cè)試規(guī)程系統(tǒng)測(cè)試規(guī)程6.4.5 6.4.5 測(cè)試數(shù)據(jù)的準(zhǔn)備測(cè)試數(shù)據(jù)的準(zhǔn)備6.4.1 6.4.1 系統(tǒng)測(cè)試的主要內(nèi)容系統(tǒng)測(cè)試的主要內(nèi)容系統(tǒng)測(cè)試系統(tǒng)測(cè)試確認(rèn)測(cè)試確認(rèn)測(cè)試組裝測(cè)試組裝測(cè)試單元測(cè)試單元測(cè)試43215驗(yàn)收測(cè)試驗(yàn)收測(cè)試需求分析需求分析概要設(shè)計(jì)概要設(shè)計(jì)詳細(xì)設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼編碼單元測(cè)試單元測(cè)試集成測(cè)試集成測(cè)試確認(rèn)測(cè)試確認(rèn)測(cè)試軟件開(kāi)發(fā)

10、過(guò)程軟件開(kāi)發(fā)過(guò)程軟件測(cè)試過(guò)程軟件測(cè)試過(guò)程軟件開(kāi)發(fā)活動(dòng)和軟件測(cè)試活動(dòng)間的關(guān)系軟件開(kāi)發(fā)活動(dòng)和軟件測(cè)試活動(dòng)間的關(guān)系測(cè)試的目標(biāo)測(cè)試的目標(biāo) （1）數(shù)據(jù)處理正確性測(cè)試 （2）功能完整性測(cè)試 （3）系統(tǒng)性能測(cè)試6 6.4.2 .4.2 系統(tǒng)測(cè)試計(jì)劃系統(tǒng)測(cè)試計(jì)劃測(cè)試計(jì)劃的主要內(nèi)容應(yīng)包括：測(cè)試計(jì)劃的主要內(nèi)容應(yīng)包括： 測(cè)試內(nèi)容。測(cè)試內(nèi)容。測(cè)試環(huán)境。測(cè)試環(huán)境。輸入數(shù)據(jù)。輸入數(shù)據(jù)。輸出數(shù)據(jù)。輸出數(shù)據(jù)。操作步驟。操作步驟。評(píng)價(jià)準(zhǔn)則。評(píng)價(jià)準(zhǔn)則。6 6.4.3 .4.3 系統(tǒng)測(cè)試規(guī)程系統(tǒng)測(cè)試規(guī)程該規(guī)程的該規(guī)程的主要內(nèi)容有：主要內(nèi)容有：測(cè)試文檔應(yīng)包括測(cè)試文檔應(yīng)包括、等等。1、申請(qǐng)條件 (1) (1)單元測(cè)試申請(qǐng)條件單元測(cè)試申

11、請(qǐng)條件程序無(wú)錯(cuò)誤地通過(guò)編譯和匯編；程序無(wú)錯(cuò)誤地通過(guò)編譯和匯編；完成代碼審查；完成代碼審查；程序調(diào)試通過(guò)。程序調(diào)試通過(guò)。(2)(2)組裝測(cè)試申請(qǐng)條件組裝測(cè)試申請(qǐng)條件完成各模塊的單元測(cè)試并提交測(cè)試報(bào)告；完成各模塊的單元測(cè)試并提交測(cè)試報(bào)告；提交符合編程格式的源程序；提交符合編程格式的源程序；提交組裝測(cè)試計(jì)劃。提交組裝測(cè)試計(jì)劃。 6 6.4.3 .4.3 系統(tǒng)測(cè)試規(guī)程系統(tǒng)測(cè)試規(guī)程(3)(3)確認(rèn)測(cè)試申請(qǐng)條件確認(rèn)測(cè)試申請(qǐng)條件 完成組裝測(cè)試并提交測(cè)試報(bào)告；完成組裝測(cè)試并提交測(cè)試報(bào)告； 經(jīng)驗(yàn)證完全滿足設(shè)計(jì)要求經(jīng)驗(yàn)證完全滿足設(shè)計(jì)要求( (包括所有的輸入和輸包括所有的輸入和輸出要求出要求) )； 提交確認(rèn)測(cè)試計(jì)

12、劃。提交確認(rèn)測(cè)試計(jì)劃。(4)(4)系統(tǒng)測(cè)試申請(qǐng)條件系統(tǒng)測(cè)試申請(qǐng)條件 完成確認(rèn)測(cè)試并提交測(cè)試報(bào)告；完成確認(rèn)測(cè)試并提交測(cè)試報(bào)告； 系統(tǒng)均滿足功能需求及設(shè)計(jì)要求；系統(tǒng)均滿足功能需求及設(shè)計(jì)要求； 提交系統(tǒng)測(cè)試計(jì)劃。提交系統(tǒng)測(cè)試計(jì)劃。6 6.4.3 .4.3 系統(tǒng)測(cè)試規(guī)程系統(tǒng)測(cè)試規(guī)程(5)(5)驗(yàn)收測(cè)試申請(qǐng)條件驗(yàn)收測(cè)試申請(qǐng)條件 完成上述各階段的測(cè)試并提交相應(yīng)的測(cè)試報(bào)完成上述各階段的測(cè)試并提交相應(yīng)的測(cè)試報(bào)告；告； 軟件設(shè)計(jì)開(kāi)發(fā)的文檔資料齊備軟件設(shè)計(jì)開(kāi)發(fā)的文檔資料齊備( (系統(tǒng)分析說(shuō)明系統(tǒng)分析說(shuō)明書、總體設(shè)計(jì)及詳細(xì)設(shè)計(jì)說(shuō)明書、用戶操作手書、總體設(shè)計(jì)及詳細(xì)設(shè)計(jì)說(shuō)明書、用戶操作手冊(cè)、全部的源程序清單等冊(cè)、全部的

13、源程序清單等) )； 滿足軟件質(zhì)量保證要求；滿足軟件質(zhì)量保證要求； 制定驗(yàn)收標(biāo)準(zhǔn)。制定驗(yàn)收標(biāo)準(zhǔn)。6 6.4.3 .4.3 系統(tǒng)測(cè)試規(guī)程系統(tǒng)測(cè)試規(guī)程2 2、測(cè)試申請(qǐng)、測(cè)試申請(qǐng) 測(cè)試申請(qǐng)測(cè)試申請(qǐng)概要地描述申請(qǐng)測(cè)試軟件的情況概要地描述申請(qǐng)測(cè)試軟件的情況并并說(shuō)明應(yīng)提交的文檔說(shuō)明應(yīng)提交的文檔。軟件測(cè)試申請(qǐng)報(bào)告由。軟件測(cè)試申請(qǐng)報(bào)告由開(kāi)開(kāi)發(fā)單位項(xiàng)目負(fù)責(zé)人發(fā)單位項(xiàng)目負(fù)責(zé)人簽字。簽字。3 3、測(cè)試審批、測(cè)試審批 各階段測(cè)試工作必須在測(cè)試申請(qǐng)批準(zhǔn)后進(jìn)行。各階段測(cè)試工作必須在測(cè)試申請(qǐng)批準(zhǔn)后進(jìn)行。成立軟件測(cè)試組成立軟件測(cè)試組v組織機(jī)構(gòu)組織機(jī)構(gòu) 要建立要建立軟件測(cè)試組軟件測(cè)試組，在，在總質(zhì)量師總質(zhì)量師的領(lǐng)導(dǎo)下負(fù)責(zé)軟件的

14、領(lǐng)導(dǎo)下負(fù)責(zé)軟件測(cè)試工作。測(cè)試組設(shè)測(cè)試工作。測(cè)試組設(shè)組長(zhǎng)一人組長(zhǎng)一人，組員若干人。，組員若干人。 單元測(cè)試及組裝測(cè)試單元測(cè)試及組裝測(cè)試在測(cè)試組的技術(shù)指導(dǎo)下，由在測(cè)試組的技術(shù)指導(dǎo)下，由軟軟件開(kāi)發(fā)單位件開(kāi)發(fā)單位具體負(fù)責(zé)，測(cè)試小組主要由具體負(fù)責(zé)，測(cè)試小組主要由程序編制人員程序編制人員組組成。成。 確認(rèn)測(cè)試、系統(tǒng)測(cè)試和驗(yàn)收測(cè)試確認(rèn)測(cè)試、系統(tǒng)測(cè)試和驗(yàn)收測(cè)試在在總師組總師組的領(lǐng)導(dǎo)下，的領(lǐng)導(dǎo)下，由由測(cè)試組統(tǒng)一組織測(cè)試組統(tǒng)一組織進(jìn)行。進(jìn)行。v測(cè)試地點(diǎn)測(cè)試地點(diǎn) 除合同另有規(guī)定外，軟件測(cè)試工作實(shí)際工作環(huán)境，除合同另有規(guī)定外，軟件測(cè)試工作實(shí)際工作環(huán)境，企業(yè)必須提供符合測(cè)試要求的各種條件。企業(yè)必須提供符合測(cè)試要求的各種

15、條件。6.4.4 6.4.4 系統(tǒng)測(cè)試方法系統(tǒng)測(cè)試方法 測(cè)試的方法有測(cè)試的方法有: : 不需要運(yùn)行程序不需要運(yùn)行程序需要運(yùn)行程序需要運(yùn)行程序靜態(tài)測(cè)試動(dòng)態(tài)測(cè)試代碼審查代碼審查靜態(tài)測(cè)試靜態(tài)測(cè)試靜態(tài)分析靜態(tài)分析靜態(tài)測(cè)試靜態(tài)測(cè)試內(nèi)容包括內(nèi)容包括: :v代碼和設(shè)計(jì)的代碼和設(shè)計(jì)的一致性一致性; ;v代碼的代碼的標(biāo)準(zhǔn)性、可讀性標(biāo)準(zhǔn)性、可讀性; ; v代碼代碼邏輯表達(dá)的正確性和完整性邏輯表達(dá)的正確性和完整性; ; v結(jié)構(gòu)的合理性結(jié)構(gòu)的合理性等。等。 靜態(tài)測(cè)試靜態(tài)測(cè)試v 對(duì)程序進(jìn)行對(duì)程序進(jìn)行控制流分析控制流分析、數(shù)據(jù)流分析數(shù)據(jù)流分析、接口分析接口分析和和表達(dá)式分析表達(dá)式分析等。等。v 一般由一般由計(jì)算機(jī)輔助計(jì)算

16、機(jī)輔助完成，其對(duì)象是計(jì)算機(jī)程序。完成，其對(duì)象是計(jì)算機(jī)程序。v 根據(jù)程序設(shè)計(jì)語(yǔ)言的不同，靜態(tài)分析工具也就不根據(jù)程序設(shè)計(jì)語(yǔ)言的不同，靜態(tài)分析工具也就不同。同。v 目前，具備靜態(tài)分析功能的目前，具備靜態(tài)分析功能的軟件測(cè)試工具軟件測(cè)試工具有很多，有很多，如如PurifyPurify、LogiscopeLogiscope、MacabeMacabe等。等。 動(dòng)態(tài)測(cè)試動(dòng)態(tài)測(cè)試技術(shù)技術(shù)1 1、白盒測(cè)試白盒測(cè)試(White Box Testing)2 2、黑盒測(cè)試黑盒測(cè)試(Black Box Testing)對(duì)比圖對(duì)比圖動(dòng)態(tài)測(cè)試動(dòng)態(tài)測(cè)試A 黑箱測(cè)試黑箱測(cè)試B 白箱測(cè)試白箱測(cè)試黑盒測(cè)試黑盒測(cè)試 已知產(chǎn)品的功能設(shè)計(jì)

17、規(guī)格，可以進(jìn)行測(cè)試證明每已知產(chǎn)品的功能設(shè)計(jì)規(guī)格，可以進(jìn)行測(cè)試證明每個(gè)實(shí)現(xiàn)了的功能是否符合要求。黑盒測(cè)試法是根據(jù)被個(gè)實(shí)現(xiàn)了的功能是否符合要求。黑盒測(cè)試法是根據(jù)被測(cè)程序測(cè)程序功能功能來(lái)進(jìn)行測(cè)試，所以通常也稱為來(lái)進(jìn)行測(cè)試，所以通常也稱為功能測(cè)試功能測(cè)試。 黑盒測(cè)試黑盒測(cè)試(Black Box Testing)黑盒測(cè)試黑盒測(cè)試黑盒測(cè)試測(cè)試用例的設(shè)計(jì)黑盒測(cè)試測(cè)試用例的設(shè)計(jì)用黑盒測(cè)試法設(shè)計(jì)測(cè)試用例，有用黑盒測(cè)試法設(shè)計(jì)測(cè)試用例，有4 4 種常用技術(shù)：種常用技術(shù)： 等價(jià)分類法等價(jià)分類法 邊界值分析邊界值分析 錯(cuò)誤猜測(cè)法錯(cuò)誤猜測(cè)法 因果圖法因果圖法 黑盒測(cè)試法是窮舉輸入測(cè)試，不僅要測(cè)試所有合法的輸入，而且還要測(cè)

18、試所有不合法但是可能的輸入。 一、等價(jià)分類法一、等價(jià)分類法 等價(jià)分類等價(jià)分類，就是把輸入數(shù)據(jù)的可能值劃分若干等價(jià)類，就是把輸入數(shù)據(jù)的可能值劃分若干等價(jià)類( (等價(jià)類對(duì)于揭露程序中的錯(cuò)誤都是等價(jià)的等價(jià)類對(duì)于揭露程序中的錯(cuò)誤都是等價(jià)的) )。 可以把全部輸入數(shù)據(jù)合理地劃分為若干等價(jià)類在每一可以把全部輸入數(shù)據(jù)合理地劃分為若干等價(jià)類在每一個(gè)等價(jià)類中個(gè)等價(jià)類中取一個(gè)數(shù)據(jù)取一個(gè)數(shù)據(jù)作為測(cè)試的輸入條件，這樣就可以作為測(cè)試的輸入條件，這樣就可以少量的少量的代表代表性測(cè)試數(shù)據(jù)，來(lái)取得較好的測(cè)試結(jié)果。性測(cè)試數(shù)據(jù)，來(lái)取得較好的測(cè)試結(jié)果。 是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是合理的有意義的輸合

19、理的有意義的輸入數(shù)據(jù)入數(shù)據(jù)構(gòu)成的集合。利用它可以檢驗(yàn)程序是否實(shí)現(xiàn)預(yù)先規(guī)構(gòu)成的集合。利用它可以檢驗(yàn)程序是否實(shí)現(xiàn)預(yù)先規(guī)定的功能和性能。定的功能和性能。 有效等價(jià)類有效等價(jià)類 是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是不合理的，是是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是不合理的，是無(wú)意無(wú)意義的輸入數(shù)據(jù)義的輸入數(shù)據(jù)構(gòu)成的集合。程序員主要利用這一類測(cè)試用構(gòu)成的集合。程序員主要利用這一類測(cè)試用例來(lái)檢查程序中功能和性能的實(shí)現(xiàn)是否不符合規(guī)格說(shuō)明要例來(lái)檢查程序中功能和性能的實(shí)現(xiàn)是否不符合規(guī)格說(shuō)明要求。求。 無(wú)效等價(jià)類無(wú)效等價(jià)類 1 1、劃分等價(jià)類不僅要要考慮代表劃分等價(jià)類不僅要要考慮代表“有效有效”輸輸 入值的有效等價(jià)類，還需考慮代

20、表入值的有效等價(jià)類，還需考慮代表 “無(wú)效無(wú)效”輸入輸入 值的無(wú)效等價(jià)類。值的無(wú)效等價(jià)類。采用這一技術(shù)要注意以下兩點(diǎn)采用這一技術(shù)要注意以下兩點(diǎn): : 2 2、每一無(wú)效等價(jià)類至少要用一個(gè)測(cè)試用例每一無(wú)效等價(jià)類至少要用一個(gè)測(cè)試用例 ，不然就可能漏掉某一類錯(cuò)誤，但允許若干有，不然就可能漏掉某一類錯(cuò)誤，但允許若干有 效等價(jià)類合用同一個(gè)測(cè)試用例，以便進(jìn)一步減效等價(jià)類合用同一個(gè)測(cè)試用例，以便進(jìn)一步減 少測(cè)試的次數(shù)。少測(cè)試的次數(shù)。 51等價(jià)類劃分的原則等價(jià)類劃分的原則（1）如果輸入條件規(guī)定了一個(gè)取值范圍（例如“數(shù)量可以是1到99”），那么就應(yīng)確定：一個(gè)有效等價(jià)類（1數(shù)量99），以及兩個(gè)無(wú)效等價(jià)類（數(shù)量99）。

21、52等價(jià)類劃分的原則（續(xù)）等價(jià)類劃分的原則（續(xù)）（2）如果輸入條件規(guī)定了取值的個(gè)數(shù)（例如“汽車可登記一至六名車主”）。那么就應(yīng)確定：一個(gè)有效等價(jià)類（1車主個(gè)數(shù)6）和兩個(gè)無(wú)效等價(jià)類（沒(méi)有車主，或車主多于六個(gè)）。53等價(jià)類劃分的原則（續(xù)）等價(jià)類劃分的原則（續(xù)）（3）如果輸入條件規(guī)定了一個(gè)輸入值的集合，而且有理由認(rèn)為程序會(huì)對(duì)每個(gè)值進(jìn)行不同處理（例如，“交通工具的類型必須是公共汽車、卡車、出租車、火車或摩托車”）。那么就應(yīng)為每個(gè)輸入值確定一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類（例如“拖車”）。54等價(jià)類劃分的原則（續(xù)）等價(jià)類劃分的原則（續(xù)）（4）如果輸入條件規(guī)定了“必須是”的情況（例如“標(biāo)識(shí)符的第一個(gè)字符必須

22、是字母”）。那么就應(yīng)確定：一個(gè)有效等價(jià)類（首字符是字母）和一個(gè)無(wú)效等價(jià)類（首字符不是字母）。 采用邊界值分析法來(lái)選擇測(cè)試用例，可采用邊界值分析法來(lái)選擇測(cè)試用例，可使得被測(cè)程序能在使得被測(cè)程序能在邊界值及其附近邊界值及其附近運(yùn)行從而運(yùn)行從而更有效地暴露程序中潛藏的錯(cuò)誤。更有效地暴露程序中潛藏的錯(cuò)誤。二、邊界值分析法二、邊界值分析法56邊界值分析邊界值分析方法方法n首先應(yīng)確定邊界情況；n選取正好等于、剛剛大于或剛剛小于邊界的值作為測(cè)試數(shù)據(jù)。57邊界值分析方法原則邊界值分析方法原則（1）如果輸入條件規(guī)定了值的范圍（例如“數(shù)量可以是1到99”），則應(yīng)取剛達(dá)到這個(gè)范圍的邊界值（1或者99），以及剛剛超越

23、這個(gè)范圍邊界的值（0.999或者99.001）作為測(cè)試輸入數(shù)據(jù)。58邊界值分析方法原則（續(xù)）邊界值分析方法原則（續(xù)）（2）如果輸入條件規(guī)定了值的個(gè)數(shù)（例如“汽車可登記一至六名車主”），則用最大個(gè)數(shù)（六名車主）、最小個(gè)數(shù)（一名車主）、比最小個(gè)數(shù)少一（無(wú)車主）、比最大個(gè)數(shù)多一（七名車主）的數(shù)作為測(cè)試數(shù)據(jù)。59邊界值分析方法原則（續(xù)）邊界值分析方法原則（續(xù)）（3）如果系統(tǒng)設(shè)計(jì)說(shuō)明書給出的輸入域或輸出域是有序集合則應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測(cè)試用例。三、錯(cuò)誤猜測(cè)法三、錯(cuò)誤猜測(cè)法 所謂猜測(cè)，就是所謂猜測(cè)，就是猜測(cè)被測(cè)程序在哪些地方容易出錯(cuò)猜測(cè)被測(cè)程序在哪些地方容易出錯(cuò)，然后針對(duì)可能的薄弱環(huán)

24、節(jié)來(lái)設(shè)計(jì)測(cè)試用例。，然后針對(duì)可能的薄弱環(huán)節(jié)來(lái)設(shè)計(jì)測(cè)試用例。 比前兩種方法更多地依靠測(cè)試人員的比前兩種方法更多地依靠測(cè)試人員的直覺(jué)與經(jīng)驗(yàn)直覺(jué)與經(jīng)驗(yàn)。 一般都先用前兩方法設(shè)計(jì)測(cè)試用例然后再用猜測(cè)法一般都先用前兩方法設(shè)計(jì)測(cè)試用例然后再用猜測(cè)法去去補(bǔ)充補(bǔ)充一些例子作為一些例子作為輔助的手段輔助的手段。四、因果圖法 因果圖是因果圖是借助圖形借助圖形來(lái)設(shè)計(jì)測(cè)試用例的一種系來(lái)設(shè)計(jì)測(cè)試用例的一種系 統(tǒng)方法。統(tǒng)方法。它適用于被測(cè)程序具有多種輸入條件它適用于被測(cè)程序具有多種輸入條件， 程序的程序的輸出又依賴于輸入條件的各種組合輸出又依賴于輸入條件的各種組合的情況。的情況。 因果圖是一種簡(jiǎn)化了的因果圖是一種簡(jiǎn)化了的

25、邏輯圖邏輯圖，它能，它能直觀地直觀地 表明程序輸入條件（原因）和輸出動(dòng)作（結(jié)果）表明程序輸入條件（原因）和輸出動(dòng)作（結(jié)果） 之間的相互關(guān)系。之間的相互關(guān)系。62因果圖法因果圖法的基本思想的基本思想n 根據(jù)系統(tǒng)設(shè)計(jì)說(shuō)明書畫出因果圖n 通過(guò)因果圖生成判定表n 再通過(guò)判定表生成測(cè)試用例 從因果圖生成的測(cè)試用例須包括所有輸入（條件）取TRUE（用“1”表示）及取FALSE（用“0”表示）的情況，以保證用例的完整性。63因果圖中的因果關(guān)系因果圖中的因果關(guān)系因果圖中的因果關(guān)系共有四種: （1）恒等 （2）非 （3）或 （4）與64因果圖中的因果關(guān)系例因果圖中的因果關(guān)系例有如下程序，要求填入的年齡大于0、小

26、于或等于150，程序返回提示：“填寫正確”，否則返回提示：“輸入錯(cuò)誤”。請(qǐng)輸入您的年齡請(qǐng)輸入您的年齡提交65因果圖中的因果關(guān)系例（續(xù)）因果圖中的因果關(guān)系例（續(xù)）C1E1恒等因C1：輸入年齡為30。果E1：程序提示“填寫正確”。恒等，即因C1為1必然導(dǎo)致果E1。66因果圖中的因果關(guān)系例（續(xù)）因果圖中的因果關(guān)系例（續(xù)）C1E1非因C1：輸入年齡為1000。果E1：程序提示“填寫正確”。非，即因C1為1必然不導(dǎo)致果E1。67因果圖中的因果關(guān)系例（續(xù)）因果圖中的因果關(guān)系例（續(xù)）C1E1或因C1：輸入年齡大于50小于70 。果E1：程序提示“填寫正確”?；颍磳?duì)于因C1和因C2，其中任意 一個(gè)因?yàn)?，必

27、然導(dǎo)致果E1。C2因C2：輸入年齡大于30小于40。68因果圖中的因果關(guān)系例（續(xù)）因果圖中的因果關(guān)系例（續(xù)）C1E1與因C1：輸入年齡小于150 。果E1：程序提示“填寫正確”。與，即對(duì)于因C1和因C2，兩者必須 同時(shí)為1，才能導(dǎo)致果E1。C2 因C2：輸入年齡大于0。69因果圖中的輸入條件約束因果圖中的輸入條件約束因果圖中的輸入條件約束共有四種: （1）E約束（異或） （2）I約束（或） （3）O約束（唯一） （4）R約束（要求）70因果圖中的輸入條件約束例因果圖中的輸入條件約束例a異因a：輸入年齡大于50 。E約束（異） ：a和b中至多有一個(gè)可能為1，即a和b不能同時(shí)為1。 b因b：輸入年

28、齡小于40。E71a或因a：輸入年齡小于50 。I約束（或）：a、b中至少有一個(gè)必須是1， 即a、b不能同時(shí)為0。 b因b：輸入年齡大于40。I因果圖中的輸入條件約束例因果圖中的輸入條件約束例72a唯一因a：輸入年齡小于或等于50 。O約束（唯一）：a和b必須有一個(gè)， 且僅有一個(gè)為1。 b因b：輸入年齡大于50。O因果圖中的輸入條件約束例因果圖中的輸入條件約束例73a要求因a：輸入年齡小于30。R約束（要求）：a是1時(shí)，b必須是1， 即不可能a是1時(shí)b是0。 b因b：輸入年齡小于40。R74因果圖中的輸出條件約束只有一種: （1）M約束（強(qiáng)制）a強(qiáng)制果a：返回提示：“填寫正確”。R約束（強(qiáng)制）

29、：若結(jié)果a是1，則結(jié)果b強(qiáng)制為0。 b果b：返回提示：“填寫錯(cuò)誤”。M75因果圖法的基本步驟因果圖法的基本步驟Step1:分析系統(tǒng)設(shè)計(jì)說(shuō)明書，確定哪些是原因，哪些是結(jié)果，并給每個(gè)原因和結(jié)果分配唯一的標(biāo)識(shí)符。Step2:分析系統(tǒng)設(shè)計(jì)說(shuō)明書，找出因果之間的關(guān)系，根據(jù)因果圖基本符號(hào)和因果圖約束畫出因果圖。Step3:把因果圖轉(zhuǎn)換為判定表。Step4:把判定表中每一列表示的情況寫成測(cè)試用例。76【例】 因果圖方法例某校園網(wǎng)登錄系統(tǒng)的功能模塊設(shè)計(jì)說(shuō)明書中對(duì)用戶名有如下要求：用戶名第一個(gè)字符必須是T或S（分別代表老師和學(xué)生），第二個(gè)字符必須是一個(gè)數(shù)字（代表編號(hào)，老師和學(xué)生的數(shù)字編號(hào)可以重復(fù)，例如T6和S6

30、允許同時(shí)存在；并且假設(shè)編號(hào)可為0）。77【例】因果圖方法例（續(xù)）滿足上述條件的為合法用戶名，給出用戶提示：“此用戶名合法，請(qǐng)繼續(xù)輸入密碼”。如果第一個(gè)字符不正確，則給出錯(cuò)誤信息“教師請(qǐng)輸入T，學(xué)生請(qǐng)輸入S”；如果第二個(gè)字符不是數(shù)字，則給出錯(cuò)誤信息“請(qǐng)正確輸入編號(hào)”。 78【例】因果圖方法例（續(xù)）Step1：確定原因和結(jié)果 原因：n1第一個(gè)字符是Tn2第一個(gè)字符是Sn3第二個(gè)字符是一個(gè)數(shù)字79例 因果圖方法例（續(xù)）Step1：確定原因和結(jié)果 結(jié)果：n a給出用戶提示：“此用戶名合法，請(qǐng)繼續(xù)輸入密碼”n b給出錯(cuò)誤信息“教師請(qǐng)輸入T，學(xué)生請(qǐng)輸入S”n c給出錯(cuò)誤信息“請(qǐng)正確輸入編號(hào)”80Step2

31、：畫出因果圖注：添加中間節(jié)點(diǎn)4，作為導(dǎo)出結(jié)果的進(jìn)一步原因，以簡(jiǎn)化因果圖導(dǎo)出的判定表。原因1、2不能同時(shí)發(fā)生，所以對(duì)其施加異約束E。81Step2：畫出因果圖1234Ebac4不會(huì)導(dǎo)致不會(huì)導(dǎo)致b情況情況“教師請(qǐng)輸入教師請(qǐng)輸入T，學(xué)生請(qǐng)輸入，學(xué)生請(qǐng)輸入S ”3不會(huì)導(dǎo)致不會(huì)導(dǎo)致c情況情況“請(qǐng)正確輸入編號(hào)請(qǐng)正確輸入編號(hào)”3、4同時(shí)成立會(huì)導(dǎo)致同時(shí)成立會(huì)導(dǎo)致a情況情況“此用戶名合法，請(qǐng)繼續(xù)輸入密碼此用戶名合法，請(qǐng)繼續(xù)輸入密碼”輸入首字母不可能既是輸入首字母不可能既是T又是又是S 4代表輸入首字母是代表輸入首字母是T或或S82例7-1 因果圖方法例（續(xù)）Step3：把因果圖轉(zhuǎn)換成判定表此例共有3個(gè)輸入條件，

32、故組合情況為238，即8列。83例7-1 因果圖方法例（續(xù)）Step3：把因果圖轉(zhuǎn)換成判定表12345678原因原因1111100002110011003101010104111100結(jié)果結(jié)果b000011a101000c01010184例7-1 因果圖方法例（續(xù)）Step4：把判定表中每一列表示的情況寫成測(cè)試用例。由于此表比較簡(jiǎn)單，直接在表中附加一行給出對(duì)應(yīng)的測(cè)試用例。由于1，2條件施加了異約束，不能同時(shí)出現(xiàn)，所以不對(duì)1，2兩列生成測(cè)試用例。這樣，一共生成6組用例（每列給出了兩個(gè)用例）。85例7-1 因果圖方法例（續(xù)）Step4：把判定表寫成測(cè)試用例。12345678原因原因11111000

33、02110011003101010104111100結(jié)果結(jié)果b000011a101000c010101測(cè)試用測(cè)試用例例T5T#S2S?A7DT1TTS9S:C5UF白盒測(cè)試白盒測(cè)試 也叫玻璃盒測(cè)試也叫玻璃盒測(cè)試(Glass Box Testing)(Glass Box Testing)。 對(duì)軟件的過(guò)程性細(xì)節(jié)做細(xì)致的檢查。這一方法對(duì)軟件的過(guò)程性細(xì)節(jié)做細(xì)致的檢查。這一方法是把測(cè)試對(duì)象看作一個(gè)打開(kāi)的盒子，它允許測(cè)試人是把測(cè)試對(duì)象看作一個(gè)打開(kāi)的盒子，它允許測(cè)試人員利用程序內(nèi)部的邏輯結(jié)構(gòu)及有關(guān)信息，來(lái)設(shè)計(jì)或員利用程序內(nèi)部的邏輯結(jié)構(gòu)及有關(guān)信息，來(lái)設(shè)計(jì)或選擇測(cè)試用例，對(duì)程序所有邏輯路徑進(jìn)行測(cè)試。選擇測(cè)試用例

34、，對(duì)程序所有邏輯路徑進(jìn)行測(cè)試。 白盒測(cè)試白盒測(cè)試(White Box Testing)白盒測(cè)試白盒測(cè)試白盒測(cè)試用例設(shè)計(jì)標(biāo)準(zhǔn)白盒測(cè)試用例設(shè)計(jì)標(biāo)準(zhǔn)發(fā)現(xiàn)錯(cuò)誤發(fā)現(xiàn)錯(cuò)誤的能力的能力標(biāo)標(biāo) 準(zhǔn)準(zhǔn)含含 義義(弱弱)語(yǔ)句覆蓋語(yǔ)句覆蓋每條語(yǔ)句至少執(zhí)行一次每條語(yǔ)句至少執(zhí)行一次判定覆蓋判定覆蓋每一判定的每個(gè)分支至少執(zhí)行一次每一判定的每個(gè)分支至少執(zhí)行一次條件覆蓋條件覆蓋每一判定中的每個(gè)條件，分別按每一判定中的每個(gè)條件，分別按“真真”、“假假”至少各執(zhí)行一次至少各執(zhí)行一次判定判定/ /條件覆條件覆蓋蓋同時(shí)滿足判定覆蓋和條件覆蓋的要同時(shí)滿足判定覆蓋和條件覆蓋的要求求(強(qiáng)強(qiáng)) 條件組合覆蓋條件組合覆蓋求出判定中所有條件的各種

35、可能組求出判定中所有條件的各種可能組合值，每一可能的條件組合至少執(zhí)合值，每一可能的條件組合至少執(zhí)行一次行一次白盒測(cè)試用例的設(shè)計(jì)白盒測(cè)試用例的設(shè)計(jì) 例：例：兩個(gè)判定（菱形部分）和四個(gè)條件（兩個(gè)判定（菱形部分）和四個(gè)條件（A1、B=0、A=2、X1） v 編寫足夠的測(cè)試數(shù)據(jù)，使得每條語(yǔ)句至少執(zhí)行一次編寫足夠的測(cè)試數(shù)據(jù)，使得每條語(yǔ)句至少執(zhí)行一次1 1、語(yǔ)句覆蓋、語(yǔ)句覆蓋 n路徑路徑s sacbedacbed 滿足覆蓋要求滿足覆蓋要求n設(shè)計(jì)測(cè)試數(shù)據(jù)：設(shè)計(jì)測(cè)試數(shù)據(jù)：nA A2 2；B B0 0；X X3(3(可任意可任意) ) n問(wèn)題：?jiǎn)栴}：n若第一個(gè)判定被錯(cuò)誤地寫成若第一個(gè)判定被錯(cuò)誤地寫成“OR”，則

36、這個(gè)錯(cuò)誤將檢查，則這個(gè)錯(cuò)誤將檢查不出來(lái)。不出來(lái)。n若第二個(gè)判定中若第二個(gè)判定中“X1”寫寫成成“X0”，則也將檢查不，則也將檢查不出錯(cuò)誤。出錯(cuò)誤。v 編寫足夠的測(cè)試數(shù)據(jù)，使得不僅每條語(yǔ)句至少執(zhí)行一次，編寫足夠的測(cè)試數(shù)據(jù)，使得不僅每條語(yǔ)句至少執(zhí)行一次，而且每個(gè)判定至少有一次而且每個(gè)判定至少有一次“真真”和一次和一次“假假”的結(jié)果。的結(jié)果。v 即，每個(gè)分支方向必須至少經(jīng)過(guò)一次。即，每個(gè)分支方向必須至少經(jīng)過(guò)一次。2 2、判定覆蓋（分支覆蓋）、判定覆蓋（分支覆蓋） n路徑路徑s sacbd、sabedsabed滿足覆蓋要求滿足覆蓋要求 n設(shè)計(jì)測(cè)試數(shù)據(jù)：設(shè)計(jì)測(cè)試數(shù)據(jù)：nA3，B0，X3 （s sacbd

37、 ）nA1 1，B1，X1 （sabedsabed）n問(wèn)題：?jiǎn)栴}：n若第二個(gè)判定有錯(cuò)（若第二個(gè)判定有錯(cuò)（X1被錯(cuò)被錯(cuò)誤地寫成誤地寫成X1），），n則上述路徑檢測(cè)不出這個(gè)錯(cuò)誤則上述路徑檢測(cè)不出這個(gè)錯(cuò)誤 編寫足夠的測(cè)試數(shù)據(jù)，使得不僅每條語(yǔ)句至少執(zhí)行一次，編寫足夠的測(cè)試數(shù)據(jù)，使得不僅每條語(yǔ)句至少執(zhí)行一次，而且使而且使判定中每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次判定中每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次。3 3、條件覆蓋、條件覆蓋n兩個(gè)判定，四個(gè)條件：兩個(gè)判定，四個(gè)條件：nA A1 1，B B0 0，A A2 2和和X X1 1；n在在a a點(diǎn)出現(xiàn)：點(diǎn)出現(xiàn)：nA A1 1，A1A1，B B0 0，B0B0。

38、n在在b b點(diǎn)出現(xiàn)：點(diǎn)出現(xiàn)：nA A2 2，A2A2，X X1 1，X1 X1 n設(shè)計(jì)的測(cè)試數(shù)據(jù)：設(shè)計(jì)的測(cè)試數(shù)據(jù)：nA A2 2，B B0 0，X X4 4，執(zhí)行路徑執(zhí)行路徑 sacbed sacbed n( (滿足滿足A A1 1，B B0 0，A A2 2和和X X1 1條件條件) )nA A1 1，B B1 1，X X1 1，執(zhí)行路徑執(zhí)行路徑 sabdsabdn( (滿足滿足A1A1，B0B0，A2A2和和X1X1條件條件) )n問(wèn)題：?jiǎn)栴}：當(dāng)測(cè)試判定條件一個(gè)條件的當(dāng)測(cè)試判定條件一個(gè)條件的“真真”或或“假假”會(huì)掩蓋另一個(gè)條件的錯(cuò)誤。會(huì)掩蓋另一個(gè)條件的錯(cuò)誤。3 3、條件覆蓋（續(xù)）、條件覆蓋

39、（續(xù)）n兩個(gè)判定，四個(gè)條件：兩個(gè)判定，四個(gè)條件：nA A1 1，B B0 0，A A2 2和和X X1 1；n在在a a點(diǎn)出現(xiàn)：點(diǎn)出現(xiàn)：A A1 1，A1A1，B B0 0，B0B0。n在在b b點(diǎn)出現(xiàn)：點(diǎn)出現(xiàn)：A A2 2，A2A2，X X1 1，X1 X1 n設(shè)計(jì)的測(cè)試數(shù)據(jù)：設(shè)計(jì)的測(cè)試數(shù)據(jù)：nA A2 2，B B0 0，X X1 1，執(zhí)行路徑，執(zhí)行路徑 sacbed sacbed n( (滿足滿足A A1 1，B B0 0，A A2 2和和X 1X 1條件條件) )nA A1 1，B B1 1，X X2 2，執(zhí)行路徑，執(zhí)行路徑 sabedsabedn( (滿足滿足A1A1，B0B0，A2A

40、2和和X X 1 1條件條件) )n問(wèn)題：?jiǎn)栴}：只滿足條件覆蓋標(biāo)準(zhǔn)，不滿足判定覆蓋標(biāo)準(zhǔn)。只滿足條件覆蓋標(biāo)準(zhǔn)，不滿足判定覆蓋標(biāo)準(zhǔn)。 （第二個(gè)判定表達(dá)式的值總為真）。（第二個(gè)判定表達(dá)式的值總為真）。v 編寫足夠的測(cè)試數(shù)據(jù)，使得判定中編寫足夠的測(cè)試數(shù)據(jù)，使得判定中每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次次，每個(gè)判定本身所有可能結(jié)果也至少出現(xiàn)一次。每個(gè)判定本身所有可能結(jié)果也至少出現(xiàn)一次。4 4、判定、判定/ /條件覆蓋條件覆蓋 n設(shè)計(jì)的測(cè)試數(shù)據(jù)：設(shè)計(jì)的測(cè)試數(shù)據(jù)：nA A2 2，B B0 0，X X4 4，執(zhí)行路徑，執(zhí)行路徑sacbedsacbed n滿足滿足 A A1 1，B

41、 B0 0，A A2 2和和 X X1 1條件條件n滿足滿足 a a和和 b b 點(diǎn)為真（點(diǎn)為真（T T）nA A1 1，B B1 1，X X1 1，執(zhí)行路徑，執(zhí)行路徑sabdsabdn滿足滿足A1A1，B0B0，A2A2和和 X1X1條件條件n滿足滿足 a a和和 b b 點(diǎn)為假（點(diǎn)為假（F F）問(wèn)題：?jiǎn)栴}：上述兩組測(cè)試數(shù)據(jù)與滿足條件上述兩組測(cè)試數(shù)據(jù)與滿足條件覆蓋標(biāo)準(zhǔn)選取的兩組數(shù)據(jù)相同覆蓋標(biāo)準(zhǔn)選取的兩組數(shù)據(jù)相同，因此，判定因此，判定/ /條件覆蓋有時(shí)也并條件覆蓋有時(shí)也并不比條件覆蓋強(qiáng)。不比條件覆蓋強(qiáng)。v 編寫足夠的測(cè)試數(shù)據(jù)，使得每個(gè)判定中條件結(jié)果的所有可能組合至少出編寫足夠的測(cè)試數(shù)據(jù)，使得每

42、個(gè)判定中條件結(jié)果的所有可能組合至少出現(xiàn)一次?，F(xiàn)一次。5 5、多重條件覆蓋、多重條件覆蓋 n8 8種可能的條件組合：種可能的條件組合：n A A1 1，B B0 0n A A1 1，B0B0n A1 A1，B B0 0n A1 A1，B0B0n A A2 2，X X1 1n A A2 2，X1X1n A2 A2，X X1 1n A2 A2，X1 X1 n設(shè)計(jì)的測(cè)試數(shù)據(jù)：設(shè)計(jì)的測(cè)試數(shù)據(jù)：nA A2 2，B B0 0，X X4 4 覆蓋，覆蓋，(sacbed)(sacbed)nA A2 2，B B1 1，X X1 1 覆蓋，覆蓋，(sabed)(sabed)nA A1 1，B B0 0，X X2 2

43、 覆蓋，覆蓋，(sabed)(sabed)nA A1 1，B B1 1，X X1 1 覆蓋，覆蓋，(sabd)(sabd)n問(wèn)題：沒(méi)有測(cè)試路徑問(wèn)題：沒(méi)有測(cè)試路徑 sacbdsacbd6.4.5 6.4.5 測(cè)試數(shù)據(jù)的準(zhǔn)備測(cè)試數(shù)據(jù)的準(zhǔn)備 用于測(cè)試的數(shù)據(jù)稱為用于測(cè)試的數(shù)據(jù)稱為測(cè)試數(shù)據(jù)測(cè)試數(shù)據(jù)，即，即測(cè)試用測(cè)試用例例。測(cè)試用例是指為實(shí)施一次測(cè)試而向被測(cè)系。測(cè)試用例是指為實(shí)施一次測(cè)試而向被測(cè)系統(tǒng)提供的統(tǒng)提供的輸入數(shù)據(jù)、操作或各種環(huán)境設(shè)置輸入數(shù)據(jù)、操作或各種環(huán)境設(shè)置。設(shè)計(jì)和使用測(cè)試用例總的原則設(shè)計(jì)和使用測(cè)試用例總的原則 同時(shí)確定程序的預(yù)期結(jié)果同時(shí)確定程序的預(yù)期結(jié)果。 測(cè)試用例的測(cè)試用例的代表性代表性。

44、測(cè)試結(jié)果的測(cè)試結(jié)果的可判定性可判定性。 測(cè)試結(jié)果的測(cè)試結(jié)果的可再現(xiàn)性可再現(xiàn)性。 除了檢查程序是否做了除了檢查程序是否做了應(yīng)該做應(yīng)該做的事情，還要檢查程序的事情，還要檢查程序是否做了是否做了不應(yīng)該做不應(yīng)該做的事情。的事情。 千萬(wàn)不要幻想程序是正確的。千萬(wàn)不要幻想程序是正確的。 應(yīng)該應(yīng)該保留保留有用的測(cè)試用例，以便有用的測(cè)試用例，以便“再測(cè)試再測(cè)試”時(shí)使用。時(shí)使用。 測(cè)試用例要測(cè)試用例要系統(tǒng)地進(jìn)行設(shè)計(jì)系統(tǒng)地進(jìn)行設(shè)計(jì)，不可隨意拼湊。，不可隨意拼湊。6.5 6.5 系統(tǒng)交接系統(tǒng)交接系統(tǒng)交接系統(tǒng)交接系統(tǒng)的交接方式通常有三種，如圖所示。系統(tǒng)的交接方式通常有三種，如圖所示。逐步逐步6.6 6.6 系統(tǒng)的運(yùn)行

45、與維護(hù)系統(tǒng)的運(yùn)行與維護(hù) 系統(tǒng)運(yùn)行管理包括：系統(tǒng)運(yùn)行管理包括：系統(tǒng)的日常運(yùn)行管理系統(tǒng)的日常運(yùn)行管理系統(tǒng)維護(hù)系統(tǒng)維護(hù) 6.6.1 6.6.1 日常運(yùn)行管理日常運(yùn)行管理 MISMIS的日常運(yùn)行管理絕不僅僅是的日常運(yùn)行管理絕不僅僅是機(jī)房環(huán)境和設(shè)機(jī)房環(huán)境和設(shè)施的管理施的管理，更主要的是對(duì)系統(tǒng)，更主要的是對(duì)系統(tǒng)每天的運(yùn)行狀況、每天的運(yùn)行狀況、數(shù)據(jù)輸入和輸出情況以及系統(tǒng)的安全性與完備性，數(shù)據(jù)輸入和輸出情況以及系統(tǒng)的安全性與完備性，及時(shí)如實(shí)記錄和處置及時(shí)如實(shí)記錄和處置。日常運(yùn)行管理工作主要由。日常運(yùn)行管理工作主要由系統(tǒng)運(yùn)行值班人員系統(tǒng)運(yùn)行值班人員完成。完成。1 1、日常運(yùn)行管理制度、日常運(yùn)行管理制度機(jī)房管理制

46、度機(jī)房管理制度系統(tǒng)維護(hù)人員、操作人員及值班人員的義務(wù)、權(quán)系統(tǒng)維護(hù)人員、操作人員及值班人員的義務(wù)、權(quán)限；任務(wù)和責(zé)任；限；任務(wù)和責(zé)任；系統(tǒng)日常運(yùn)行記錄，包括值班日記、系統(tǒng)故障及系統(tǒng)日常運(yùn)行記錄，包括值班日記、系統(tǒng)故障及排除日記等；排除日記等；機(jī)房清潔衛(wèi)生制度；機(jī)房清潔衛(wèi)生制度；機(jī)房設(shè)備管理和維護(hù)制度；機(jī)房設(shè)備管理和維護(hù)制度；應(yīng)付緊急情況的方案。應(yīng)付緊急情況的方案。1 1、日常運(yùn)行管理制度、日常運(yùn)行管理制度技術(shù)檔案管理制度技術(shù)檔案管理制度數(shù)據(jù)錄入和維護(hù)制度數(shù)據(jù)錄入和維護(hù)制度操作規(guī)程操作規(guī)程6.6.1 6.6.1 日常運(yùn)行管理日常運(yùn)行管理2 2、系統(tǒng)運(yùn)行情況的記錄、系統(tǒng)運(yùn)行情況的記錄v能夠反映系統(tǒng)在能夠反映系統(tǒng)