【正文】 If While ? 計算環(huán)路復(fù)雜性的方法： V(G)=簡單判定節(jié)點(diǎn)數(shù)+ 1 – V(G) = EN+2 (E 是邊數(shù)，N是定點(diǎn)數(shù)）– V(G)=封閉區(qū)域數(shù)+ 1? V(G)=4根據(jù)環(huán)路復(fù)雜性產(chǎn)生基本路徑集Path 1: 1238Path 2: 1238123Path 3: 124578 Path 4: 124678準(zhǔn)備測試用例覆蓋所有基本路徑十一。? 等價類劃分方法把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分成若干部分，然后從每一部分中選取少數(shù)有代表性的數(shù)據(jù)做為測試用例。? 劃分等價類等價類是指某個輸入域的子集合。測試某等價類的代表值就等價于對這一類其它值的測試。 ② 無效等價類：是指對于程序的規(guī)格說明來說，是不合理的，無意義的輸入數(shù)據(jù)構(gòu)成的集合。? 劃分等價類的原則。? 例如，在程序的規(guī)格說明中，對輸入條件有一句話： “…… 項(xiàng)數(shù)可以從1到999 ……” 則有效等價類是“1≤項(xiàng)數(shù)≤999”兩個無效等價類是“項(xiàng)數(shù)＜1”或“項(xiàng)數(shù)＞999”。? 例如，在Pascal語言中對變量標(biāo)識符規(guī)定為“以字母打頭的……串”。(3) 如果輸入條件是一個布爾量，則可以確定一個有效等價類和一個無效等價類。這時可為 每一個輸入值確立一個有效等價類，此外針對這組值確立一個無效等價類，它是所有不允許的輸入值的集合。因此可以確定4個有效等價類為教授、副教授、講師和助教，一個無效等價類，它是所有不符合以上身分的人員的輸入值的集合。? 例如，Pascal語言規(guī)定 “一個語句必須以分號‘。這時，可以確定一個有效等價類 “以‘。? 確立測試用例在確立了等價類之后，建立等價類表，列出所有劃分出的等價類。? 用等價類劃分法設(shè)計測試用例的實(shí)例在某一PASCAL語言版本中規(guī)定：“標(biāo)識符是由字母開頭，后跟字母或數(shù)字的任意組合構(gòu)成。” 并且規(guī)定：“標(biāo)識符必須先說明，再使用?！庇玫葍r類劃分的方法，建立輸入等價類表: ? 下面選取了9個測試用例，它們覆蓋了所有的等價類。 (5)④ VAR T12345678：REAL； (6)⑤ VAR T12345......：REAL； (7) 多于80個字符⑥ VAR T$：CHAR； (10)⑦ VAR GOTO：INTEGER； (11)⑧ VAR 2T：REAL； (13)⑨ VAR PAR：REAL； (15) BEGIN ...... PAP := SIN ( * ) / 6； （二）邊界值分析? 邊界值分析也是一種黑盒測試方法，是對等價類劃分方法的補(bǔ)充。因此針對各種邊界情況設(shè)計測試用例，可以查出更多的錯誤。 我們應(yīng)注意到這三個數(shù)值應(yīng)當(dāng)滿足 A＞0、B＞0、C＞0、 A＋B＞C、A＋C＞B、B＋C＞A，才能構(gòu)成三角形。問題恰出現(xiàn)在容易被疏忽的邊界附近。? 使用邊界值分析方法設(shè)計測試用例，首先應(yīng)確定邊界情況。 （三）錯誤推測法? 人們也可以靠經(jīng)驗(yàn)和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子。? 錯誤推測法的基本想法是：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例。軟件測試的策略? 測試過程按4個步驟進(jìn)行，即單元測試、組裝測試、確認(rèn)測試和系統(tǒng)測試。? 確認(rèn)測試則是要檢查已實(shí)現(xiàn)的軟件是否滿足了需求規(guī)格說明中確定了的各種需求，以及軟件配置是否完全、正確。（一）單元測試 (Unit Testing)? 單元測試又稱模塊測試，是針對軟件設(shè)計的最小單位 ─ 程序模塊，進(jìn)行正確性檢驗(yàn)的測試工作。? 單元測試需要從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計測試用例。1. 單元測試的內(nèi)容? 在單元測試時，測試者需要依據(jù)詳細(xì)設(shè)計說明書和源程序清單，了解該模塊的I/O條件和模塊的邏輯結(jié)構(gòu)，主要采用白盒測試的測試用例，輔之以黑盒測試的測試用例，使之對任何合理的輸入和不合理的輸入，都能鑒別和響應(yīng)。測試項(xiàng)目包括：– 調(diào)用本模塊的輸入?yún)?shù)是否正確；– 本模塊調(diào)用子模塊時輸入給子模塊的參數(shù)是否正確；– 全局量的定義在各模塊中是否一致? 在做內(nèi)外存交換時要考慮：– 文件屬性是否正確；– OPEN與CLOSE語句是否正確；– 緩沖區(qū)容量與記錄長度是否匹配；– 在進(jìn)行讀寫操作之前是否打開了文件；– 在結(jié)束文件處理時是否關(guān)閉了文件；– 正文書寫／輸入錯誤，– I／O錯誤是否檢查并做了處理。? 應(yīng)當(dāng)設(shè)計測試用例查找由于錯誤的計算、不正確的比較或不正常的控制流而導(dǎo)致的錯誤。(4) 錯誤處理測試? 出錯的描述是否難以理解? 出錯的描述是否能夠?qū)﹀e誤定位? 顯示的錯誤與實(shí)際的錯誤是否相符? 對錯誤條件的處理正確與否? 在對錯誤進(jìn)行處理之前，錯誤條件是否已經(jīng)引起系統(tǒng)的干預(yù)等(5) 邊界測試? 注意數(shù)據(jù)流、控制流中剛好等于、大于或小于確定的比較值時出錯的可能性。? 如果對模塊運(yùn)行時間有要求的話，還要專門進(jìn)行關(guān)鍵路徑測試，以確定最壞情況下和平均意義下影響模塊運(yùn)行時間的因素。– 驅(qū)動模塊 (driver) – 樁模塊 (stub) ── 存根模塊驅(qū)動模塊 (driver) ── 相當(dāng)于所測模塊的主程序。 樁模塊 (stub) ── 存根模塊。? 如果一個模塊要完成多種功能，可以將這個模塊看成由幾個小程序組成。? 對支持某些標(biāo)準(zhǔn)規(guī)程的程序，更要著手進(jìn)行互聯(lián)測試。（二）組裝測試（Integrated Testing）? 組裝測試 (集成測試、聯(lián)合測試）? 通常，在單元測試的基礎(chǔ)上，需要將所有模塊按照設(shè)計要求組裝成為系統(tǒng)。在單元測試的同時可進(jìn)行組裝測試，發(fā)現(xiàn)并排除在模塊連接中可能出現(xiàn)的問題，最終構(gòu)成要求的軟件系統(tǒng)。? 通常，把模塊組裝成為系統(tǒng)的方式有兩種– 一次性組裝方式– 增殖式組裝方式1. 一次性組裝方式 (big bang)l 它是一種非增殖式組裝方式。l 使用這種方式，首先對每個模塊分別進(jìn)行模塊測試，然后再把所有模塊組裝在一起進(jìn)行測試，最終得到要求的軟件系統(tǒng)。(1) 自頂向下的增殖方式? 這種組裝方式將模塊按系統(tǒng)程序結(jié)構(gòu)，沿控制層次自頂向下進(jìn)行組裝。? 選用按深度方向組裝的方式，可以首先實(shí)現(xiàn)和驗(yàn)證一個完整的軟件功能。? 因?yàn)槟K是自底向上進(jìn)行組裝，對于一個給定層次的模塊，它的子模塊（包括子模塊的所有下屬模塊）已經(jīng)組裝并測試完成，所以不再需要樁模塊。? 自頂向下增殖的方式和自底向上增殖的方式各有優(yōu)缺點(diǎn)。(3) 混合增殖式測試l 衍變的自頂向下的增殖測試– 首先對輸入／輸出模塊和引入新算法模塊進(jìn)行測試。– 然后由主模塊開始自頂向下進(jìn)行增殖測試。– 然后對含寫操作的子系統(tǒng)做自頂向下的組裝與測試。– 然后將這一部分視為子系統(tǒng)，再自底向上測試。l 關(guān)鍵模塊的特征：① 滿足某些軟件需求；② 在程序的模塊結(jié)構(gòu)中位于較高的層次（高層控制模塊）；③ 較復(fù)雜、較易發(fā)生錯誤；④ 有明確定義的性能要求（三）確認(rèn)測試（Validation Testing）l 確認(rèn)測試又稱有效性測試。l 對軟件的功能和性能要求在軟件需求規(guī)格說明書中已經(jīng)明確規(guī)定。1. 進(jìn)行有效性測試（黑盒測試）? 有效性測試是在模擬的環(huán)境 (可能就是開發(fā)的環(huán)境) 下，運(yùn)用黑盒測試的方法，驗(yàn)證被測軟件是否滿足需求規(guī)格說明書列出的需求。還需要制定一組測試步驟，描述具體的測試用例。這說明軟件的這部分功能或性能特征與需求規(guī)格說明書相符合，從而這部分程序被接受。這說明軟件的這部分功能或性能特征與需求規(guī)格說明不一致，因此要為它提交一份問題報告。? 應(yīng)當(dāng)嚴(yán)格遵守用戶手冊和操作手冊中規(guī)定的使用步驟，以便檢查這些文檔資料的完整性和正確性。? α測試是由一個用戶在開發(fā)環(huán)境下進(jìn)行的測試，也可以是公司內(nèi)部的用戶在模擬實(shí)際操作環(huán)境下進(jìn)行的測試。尤其注重產(chǎn)品的界面和特色。? β測試是由軟件的多個用戶在實(shí)際使用環(huán)境下進(jìn)行的測試。? 測試時，開發(fā)者通常不在測試現(xiàn)場。? 在β測試中，由用戶記下遇到的所有問題，包括真實(shí)的以及主觀認(rèn)定的，定期向開發(fā)者報告。著重于產(chǎn)品的支持性，包括文檔、客戶培訓(xùn)和支持產(chǎn)品生產(chǎn)能力。它處在整個測試的最后階段。（Acceptance Testing）l 在通過了系統(tǒng)的有效性測試及軟件配置審查之后，就應(yīng)開始系統(tǒng)的驗(yàn)收測試。軟件開發(fā)人員和QA（質(zhì)量保證）人員也應(yīng)參加。l 在測試過程中，除了考慮軟件的功能和性能外，還應(yīng)對軟件的可移植性、兼容性、可維護(hù)性、錯誤的恢復(fù)功能等進(jìn)行確認(rèn)。（四）系統(tǒng)測試（System Testing）? 系統(tǒng)測試，是將通過確認(rèn)測試的軟件，作為整個基于計算機(jī)系統(tǒng)的一個元素，與計算機(jī)硬件、