【正文】 結(jié)果:21 —發(fā)批準(zhǔn)單和提貨單。2 —訂貨金額超過500 但不足1000 。由于邊界值分析方法是對等價類劃分方法的補(bǔ)充，這里選了和等價類劃分方法法中同樣功能的例子，在實際工作中軟件“增加數(shù)據(jù)庫用戶”功能的測試應(yīng)將兩個方法的用例合并起來，即在等價類用例的基礎(chǔ)上補(bǔ)充上邊界值，扣除重復(fù)的部分，這里共設(shè)計6個測試用例第三題? 某軟件規(guī)格說明書包含“訂貨單處理程序”的處理邏輯描述為:如果訂貨金額不足500 元且未過期,則向顧客發(fā)出批準(zhǔn)單和提貨單,已過期的什么通知也不發(fā)。? 處理：當(dāng)輸入的用戶名稱在1－30 位之間時，給出添加成功提示；用戶名稱為空或大于30 個字符時提示出錯。就是說至少需要4條獨立路徑組成基本路徑集合，并由此得到能夠覆蓋所有程序語句的測試用例。法1：V(G)=108+2，其中10是控制流圖G中邊的數(shù)量，8是控制流圖中節(jié)點的數(shù)目。 14 num2 ++。i, amp。第一題1 main () 2 { 3 int num1=0, num2=0, score=100。– 修改錯誤的過程將迫使人們暫時回到程序設(shè)計階段。– 避免用試探法，最多只能把它當(dāng)做最后手段。 確定錯誤的性質(zhì)和位置的原則– 用頭腦去分析思考與錯誤征兆有關(guān)的信息。– 證明余下的假設(shè)（三）調(diào)試原則168。通過它們，可以組織、分析現(xiàn)有數(shù)據(jù)。– 證明假設(shè)把假設(shè)與原始線索或數(shù)據(jù)進(jìn)行比較，若它能完全解釋一切現(xiàn)象，則假設(shè)得到證明；否則，就認(rèn)為假設(shè)不合理，或不完全，或是存在多個錯誤，以致只能消除部分錯誤。通過分析找出矛盾來。– 收集有關(guān)的數(shù)據(jù) 列出所有已知的測試用例和程序執(zhí)行結(jié)果。再從這一點出發(fā)，回溯程序的執(zhí)行過程，反復(fù)考慮：“如果程序在這一點上的狀態(tài)（變量的值）是這樣，那么程序在上一點的狀態(tài)一定是這樣...”， 直到找到錯誤的位置。然后，人工沿程序的控制流程，向回追蹤源程序代碼，直到找到錯誤根源或確定錯誤產(chǎn)生的范圍。利用某些程序語言的調(diào)試功能或?qū)ｉT的交互式調(diào)試工具，分析程序的動態(tài)過程，而不必修改程序。它不需要過多的思考，比較省腦筋。– 現(xiàn)象可能是周期出現(xiàn)的。– 現(xiàn)象實際上是由一些非錯誤原因(例如，舍入不精確)引起的。 可以說，調(diào)試是通過現(xiàn)象，找出原因的一個思維分析的過程。168。 調(diào)試活動由兩部分組成：– 確定程序中可疑錯誤的確切性質(zhì)和位置。十四、調(diào)試（Debug）168。例如，– 對于編譯程序，讓它處理特別長的源程序；– 對于操作系統(tǒng)，讓它的作業(yè)隊列“滿員”；– 對于信息檢索系統(tǒng)，讓它使用頻率達(dá)到最大。? 指定由人工完成的過程也需經(jīng)過仔細(xì)的檢查，這就是所謂的過程測試。? 而安裝測試就是要找出在這些安裝過程中出現(xiàn)的錯誤。9 、可支持性測試這類測試是要驗證系統(tǒng)的支持策略對于公司與用戶方面是否切實可行。7 、安全性測試 安全性測試是要檢驗在系統(tǒng)中已經(jīng)存在的系統(tǒng)安全性、保密性措施是否發(fā)揮作用，有無漏洞。軟件配置和硬件配置都要測試。啟動／停止測試這類測試的目的是驗證在機(jī)器啟動及關(guān)機(jī)階段，軟件系統(tǒng)正確處理的能力?；謴?fù)測試恢復(fù)測試是要證實在克服硬件故障(包括掉電、硬件或網(wǎng)絡(luò)出錯等)后，系統(tǒng)能否正常地繼續(xù)進(jìn)行工作，并不對系統(tǒng)造成任何損害。此測試用以發(fā)現(xiàn)可能引起這種不穩(wěn)定性或不正常處理的某些數(shù)據(jù)組合性能測試性能測試是要檢查系統(tǒng)是否滿足在需求說明書中規(guī)定的性能。 – 設(shè)計出在虛擬存儲管理機(jī)制中引起“顛簸”的測試用例進(jìn)行測試。① 平均失效間隔時間 MTBF (Mean Time Between Failures) 是否超過規(guī)定時限?② 因故障而停機(jī)的時間 MTTR (Mean Time To Repairs) 在一年中應(yīng)不超過多少時間。十三、測試種類? 軟件測試是由一系列不同的測試組成。l 在測試過程中，除了考慮軟件的功能和性能外，還應(yīng)對軟件的可移植性、兼容性、可維護(hù)性、錯誤的恢復(fù)功能等進(jìn)行確認(rèn)。（Acceptance Testing）l 在通過了系統(tǒng)的有效性測試及軟件配置審查之后，就應(yīng)開始系統(tǒng)的驗收測試。著重于產(chǎn)品的支持性，包括文檔、客戶培訓(xùn)和支持產(chǎn)品生產(chǎn)能力。? 測試時，開發(fā)者通常不在測試現(xiàn)場。尤其注重產(chǎn)品的界面和特色。? 應(yīng)當(dāng)嚴(yán)格遵守用戶手冊和操作手冊中規(guī)定的使用步驟，以便檢查這些文檔資料的完整性和正確性。這說明軟件的這部分功能或性能特征與需求規(guī)格說明書相符合，從而這部分程序被接受。1. 進(jìn)行有效性測試（黑盒測試）? 有效性測試是在模擬的環(huán)境 (可能就是開發(fā)的環(huán)境) 下，運(yùn)用黑盒測試的方法，驗證被測軟件是否滿足需求規(guī)格說明書列出的需求。l 關(guān)鍵模塊的特征：① 滿足某些軟件需求；② 在程序的模塊結(jié)構(gòu)中位于較高的層次（高層控制模塊）；③ 較復(fù)雜、較易發(fā)生錯誤；④ 有明確定義的性能要求（三）確認(rèn)測試（Validation Testing）l 確認(rèn)測試又稱有效性測試。– 然后對含寫操作的子系統(tǒng)做自頂向下的組裝與測試。(3) 混合增殖式測試l 衍變的自頂向下的增殖測試– 首先對輸入／輸出模塊和引入新算法模塊進(jìn)行測試。? 因為模塊是自底向上進(jìn)行組裝，對于一個給定層次的模塊，它的子模塊（包括子模塊的所有下屬模塊）已經(jīng)組裝并測試完成，所以不再需要樁模塊。(1) 自頂向下的增殖方式? 這種組裝方式將模塊按系統(tǒng)程序結(jié)構(gòu)，沿控制層次自頂向下進(jìn)行組裝。? 通常，把模塊組裝成為系統(tǒng)的方式有兩種– 一次性組裝方式– 增殖式組裝方式1. 一次性組裝方式 (big bang)l 它是一種非增殖式組裝方式。（二）組裝測試（Integrated Testing）? 組裝測試 (集成測試、聯(lián)合測試）? 通常，在單元測試的基礎(chǔ)上，需要將所有模塊按照設(shè)計要求組裝成為系統(tǒng)。? 如果一個模塊要完成多種功能，可以將這個模塊看成由幾個小程序組成。– 驅(qū)動模塊 (driver) – 樁模塊 (stub) ── 存根模塊驅(qū)動模塊 (driver) ── 相當(dāng)于所測模塊的主程序。(4) 錯誤處理測試? 出錯的描述是否難以理解? 出錯的描述是否能夠?qū)﹀e誤定位? 顯示的錯誤與實際的錯誤是否相符? 對錯誤條件的處理正確與否? 在對錯誤進(jìn)行處理之前，錯誤條件是否已經(jīng)引起系統(tǒng)的干預(yù)等(5) 邊界測試? 注意數(shù)據(jù)流、控制流中剛好等于、大于或小于確定的比較值時出錯的可能性。測試項目包括：– 調(diào)用本模塊的輸入?yún)?shù)是否正確；– 本模塊調(diào)用子模塊時輸入給子模塊的參數(shù)是否正確；– 全局量的定義在各模塊中是否一致? 在做內(nèi)外存交換時要考慮：– 文件屬性是否正確；– OPEN與CLOSE語句是否正確；– 緩沖區(qū)容量與記錄長度是否匹配；– 在進(jìn)行讀寫操作之前是否打開了文件；– 在結(jié)束文件處理時是否關(guān)閉了文件；– 正文書寫／輸入錯誤，– I／O錯誤是否檢查并做了處理。? 單元測試需要從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計測試用例。? 確認(rèn)測試則是要檢查已實現(xiàn)的軟件是否滿足了需求規(guī)格說明中確定了的各種需求，以及軟件配置是否完全、正確。? 錯誤推測法的基本想法是：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例。? 使用邊界值分析方法設(shè)計測試用例，首先應(yīng)確定邊界情況。 我們應(yīng)注意到這三個數(shù)值應(yīng)當(dāng)滿足 A＞0、B＞0、C＞0、 A＋B＞C、A＋C＞B、B＋C＞A，才能構(gòu)成三角形。 (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ǔ)充?！?并且規(guī)定：“標(biāo)識符必須先說明，再使用。? 確立測試用例在確立了等價類之后，建立等價類表，列出所有劃分出的等價類。? 例如，Pascal語言規(guī)定 “一個語句必須以分號‘。這時可為 每一個輸入值確立一個有效等價類，此外針對這組值確立一個無效等價類，它是所有不允許的輸入值的集合。? 例如，在Pascal語言中對變量標(biāo)識符規(guī)定為“以字母打頭的……串”。? 劃分等價類的原則。測試某等價類的代表值就等價于對這一類其它值的測試。? 等價類劃分方法把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分成若干部分，然后從每一部分中選取少數(shù)有代表性的數(shù)據(jù)做為測試用例。 記 ①