《計算機軟件基礎(chǔ)》軟件工程

第六章軟件工程根底6.1軟件工程概述6.2軟件詳細設(shè)計6.3結(jié)構(gòu)化分析與設(shè)計方法6.4測試與調(diào)試根本技術(shù)16.1軟件工程概述6.1.1軟件工程的概念6.1.2軟件生命周期6.1.3軟件支援環(huán)境2軟件工程出現(xiàn)的原因軟件危機軟件危機是指在計算機軟件的開發(fā)和維護過程中所遇到的一系列嚴重問題。現(xiàn)象一：軟件開發(fā)本錢和進度的估計不準確，交付時間一再拖延，造成開發(fā)本錢超出預(yù)算。案例：1995年，新丹佛國際化機場自動化行李系統(tǒng)的軟件出現(xiàn)故障，導致機場延期16個月才正式啟用，并且大局部行李采用人工分揀，系統(tǒng)本錢超出預(yù)算32億美元。原因：軟件復(fù)雜程度高，開發(fā)周期長，并且各種變化不斷，因此軟件工程按期完成交付的很少。3現(xiàn)象二：“已完成”的軟件不滿足用戶的需求案例：1984年，經(jīng)過18個月的開發(fā)，一個耗資2億美元的系統(tǒng)支付給了美國威斯康星州的一家健康保險公司。但該系統(tǒng)不能滿足用戶的正常工作需求，只好追加了6千萬美金，又花了3年時間才解決了問題。原因：軟件開發(fā)人員不是用戶業(yè)務(wù)的專家，用戶不懂計算機軟件技術(shù)，因此，軟件人員按照自己的理解開發(fā)出得軟件往往不能滿足用戶的業(yè)務(wù)需求。4現(xiàn)象三：軟件產(chǎn)品的質(zhì)量沒有保證案例：1996年6月4日，Ariane5火箭首次發(fā)射，在升空大約40秒且高度不到4千米處，火箭突然發(fā)生爆炸，該事件造成了50億美元的損失。事故原因是在Ariane5中使用了Ariane4火箭的程序代碼，在將64位浮點數(shù)轉(zhuǎn)換為16位帶符號整數(shù)的程序中，更快的運算引擎導致了Ariane5中的64位數(shù)據(jù)要比Ariane4中更長，直接誘發(fā)了溢出條件，最終導致了航天計算機的崩潰。原因：軟件質(zhì)量和可靠性的評估非常困難。這些投資巨大、技術(shù)一流、管理標準、測試充分的軟件也難保不出現(xiàn)質(zhì)量問題。5現(xiàn)象四：軟件通常沒有適當?shù)奈臋n資料或文檔與最終交付的軟件產(chǎn)品不符。原因：軟件幾乎不可能一版保證成功，而是經(jīng)歷反復(fù)修改，其中的文檔很難與每次的修改保持一致，錯誤的文檔就像錯誤的地圖一樣危險?，F(xiàn)象五：軟件的可維護程度低。原因：軟件開發(fā)過程中，起著重要作用的是開發(fā)者的邏輯思維過程。如果假設(shè)干年后，由其他人來修改，必須要理解開發(fā)者當時的思維過程，因此說讀懂別人的程序比重新編寫的難度更大。6軟件危機出現(xiàn)的原因主要有兩個方面：其一是軟件本領(lǐng)的特點；其二是軟件開發(fā)過程不成熟。軟件開發(fā)過程不成熟的主要表現(xiàn)為：無視軟件開發(fā)前期的調(diào)研與分析工作，沒有統(tǒng)一、標準的方法論指導，輕視文檔管理和質(zhì)量保證工作，缺乏相關(guān)人員之間的溝通。7簡陋的小屋—太簡單！不要設(shè)計8新農(nóng)村別墅造型圖—復(fù)雜！需要設(shè)計了9別墅的設(shè)計—設(shè)計圖紙、施工圖紙10設(shè)計和施工說明11典型helloworld程序—太簡單!不要設(shè)計#include<stdio.h>

intmain()

{

printf(“helloworld!”);//輸出helloworld！

return0;

}12圖書館圖書信息管理軟件—復(fù)雜!需要設(shè)計136.1.1軟件工程的概念軟件工程學是研究軟件開發(fā)和維護的普遍原理與技術(shù)的一門工程學科。所謂軟件工程是指，采用工程的概念、原理、技術(shù)和方法指導軟件的開發(fā)與維護。把經(jīng)過實踐考驗而證明正確的管理方法和先進的軟件開發(fā)技術(shù)結(jié)合起來，運用到軟件開發(fā)和維護過程中，來解決軟件危機。14軟件定義期：包括問題定義、可行性研究和需求分析三個階段；軟件開發(fā)期：包括系統(tǒng)設(shè)計、詳細設(shè)計、編碼和測試四個階段；軟件維護期：即運行維護階段。6.1.2軟件生命周期151.軟件定義期(1)問題定義確定問題的性質(zhì)、工程目標以及規(guī)模。分析員應(yīng)提交書面報告給用戶與使用部門負責人進行審查。(2)可行性研究進一步研究上一階段所定義的問題是否可解。最后還要提交必要的文檔。16(3)需求分析①確定對系統(tǒng)的綜合要求，即功能要求、性能要求、運行要求以及將來可能會提出的一些要求。②對系統(tǒng)的數(shù)據(jù)要求進行分析。主要包括數(shù)據(jù)元素的分類和標準化，描繪實體之間的關(guān)系圖，進行事務(wù)分析與數(shù)據(jù)庫模型的建立。③在前面分析的根底上，推導出系統(tǒng)的詳細模型系統(tǒng)。④修正開發(fā)方案，并建立模型系統(tǒng)。文檔內(nèi)容：①系統(tǒng)的功能說明②系統(tǒng)對數(shù)據(jù)的要求③用戶系統(tǒng)描述172.軟件開發(fā)期(1)系統(tǒng)設(shè)計①提出可選擇方案；②選擇合理方案；③推薦最正確方案；④功能分解；⑤設(shè)計軟件結(jié)構(gòu)；⑥制定測試方案；⑦提交文檔。18(2)詳細設(shè)計(3)編碼①選擇適當?shù)某绦蛟O(shè)計語言；②使程序內(nèi)部有良好的文檔資料、標準的數(shù)據(jù)格式說明、簡單清晰的語句結(jié)構(gòu)和合理的輸入輸出格式，這些都可以大大提高程序的可讀性，而且也可以改進程序的可維護性；③充分利用已有的軟件工具來幫助編碼，以提高編碼的效率和減少程序中的錯誤。(4)測試193.軟件維護期①為糾正使用中出現(xiàn)的錯誤而進行的改正性維護；②為適應(yīng)環(huán)境變化而進行的適應(yīng)性維護；③為改進原有軟件而進行的完善性維護；④為將來的可維護和可靠而進行的預(yù)防性維護。206.1.3軟件支援環(huán)境一個完備的軟件支援環(huán)境應(yīng)有功能：(1)能夠支援軟件生命的全周期。(2)能夠支援大型軟件工程工程。(3)能夠支援軟件配置管理。一般的軟件支援環(huán)境由以下幾局部組成。(1)環(huán)境數(shù)據(jù)庫(2)接口軟件(3)工具組216.2軟件詳細設(shè)計6.2.1程序流程圖6.2.2NS圖6.2.3問題分析圖PAD6.2.4判定表6.2.5過程設(shè)計語言PDL22詳細設(shè)計詳細設(shè)計也叫過程設(shè)計，應(yīng)該在軟件結(jié)構(gòu)設(shè)計、數(shù)據(jù)設(shè)計之后進行。主要是設(shè)計模塊內(nèi)的算法實現(xiàn)細節(jié)。詳細設(shè)計的任務(wù)不是編寫代碼，而是要為編寫程序代碼設(shè)計“圖紙”，有程序員按“圖紙”用某種高級程序設(shè)計語言編寫程序代碼。詳細設(shè)計的目的不僅僅是保證所涉及的模塊功能正確，更重要的是保證所設(shè)計的處理過程易于理解，具有良好的可靠性和可維護性。236.2.1程序流程圖程序流程圖中常用的圖形符號24結(jié)構(gòu)化程序設(shè)計限制五種根本控制結(jié)構(gòu)(1)順序結(jié)構(gòu)反映了假設(shè)干個模塊之間連續(xù)執(zhí)行的順序。(2)在選擇結(jié)構(gòu)中，由某個條件P的取值來決定執(zhí)行兩個模塊之間的哪一個。(3)在當型循環(huán)結(jié)構(gòu)中，只有當某個條件成立時才重復(fù)執(zhí)行特定的模塊(稱為循環(huán)體)。(4)在直到型循環(huán)結(jié)構(gòu)中，重復(fù)執(zhí)行一個特定的模塊，直到某個條件成立時才退出該模塊的重復(fù)執(zhí)行。(5)在多情況選擇結(jié)構(gòu)中，根據(jù)某控制變量的取值來決定選擇多個模塊中的哪一個。2526程序流程圖的主要缺點：(1)程序流程圖本質(zhì)上不是逐步求精的好工具，它會使程序員過早地考慮程序的控制流程，而不去考慮程序的全局結(jié)構(gòu)。(2)程序流程圖不易表示層次結(jié)構(gòu)。(3)程序流程圖不易表示數(shù)據(jù)結(jié)構(gòu)和模塊調(diào)用關(guān)系等重要信息。(4)程序流程圖中用箭頭代表控制流，因此，程序員不受任何約束，可以完全不顧結(jié)構(gòu)程序設(shè)計的思想，隨意進行轉(zhuǎn)移控制。276.2.2NS圖NS圖根本特點：(1)功能域比較明確，可以從框圖中直接反映出來。(2)不可能任意轉(zhuǎn)移控制，符合結(jié)構(gòu)化原那么。(3)很容易確定局部和全程數(shù)據(jù)的作用域。(4)很容易表示嵌套關(guān)系，也可以表示模塊的層次結(jié)構(gòu)。281.順序結(jié)構(gòu)292.選擇結(jié)構(gòu)(1)兩路分支結(jié)構(gòu)30(2)多路分支結(jié)構(gòu)313.循環(huán)結(jié)構(gòu)(1)當型循環(huán)結(jié)構(gòu)32(2)直到型循環(huán)結(jié)構(gòu)336.2.3問題分析圖PAD〔ProblemAnalysisDiagram〕

PAD圖的五種根本控制結(jié)構(gòu)346.2.4判定表一張判定表由以下四局部組成：左上部列出所有條件；左下部是所有可能的動作；右上部是表示各種條件組合的一個矩陣；右下部是和每種條件組合相對應(yīng)的動作。判定表右半部的每一列實際上就是一個規(guī)那么，規(guī)定了與特定的條件組合相對應(yīng)的動作。35假設(shè)某大學要從學生中挑選男子籃球隊隊員，根本條件是各門課程的平均分在70分以上，身高超過1.80米，體重超過75公斤。需要從學生登記表中挑選出符合上述條件的男同學，并列出他們的姓名和住址，以便進一步選拔。36376.2.5過程設(shè)計語言PDLPDL特點：(1)關(guān)鍵字的固定語法，提供了結(jié)構(gòu)化控制結(jié)構(gòu)、數(shù)據(jù)說明和模塊化的特點。(2)用自然語言的自由語法來描述處理局部。(3)具有數(shù)據(jù)說明的手段。(4)具有模塊定義和調(diào)用的機制，提供各種接口描述模式。38PDL優(yōu)點：(1)可以作為注釋直接插在源程序中間。這樣做的好處是，能促使維護人員在修改源程序代碼的同時也修改PDL注釋，有助于保持文檔和程序的一致性，提高了文檔的質(zhì)量。(2)可以使用普通的正文編輯程序或文字處理系統(tǒng)，很方便地完成PDL的書寫和編輯工作。(3)利用已有的自動處理程序，可以自動由PDL生成程序代碼。396.3結(jié)構(gòu)化分析與設(shè)計方法6.3.1應(yīng)用軟件開發(fā)的原那么和方法6.3.2結(jié)構(gòu)化分析方法6.3.3結(jié)構(gòu)化設(shè)計方法406.3.1應(yīng)用軟件開發(fā)的原那么和方法1.應(yīng)用軟件開發(fā)的根本原那么(1)自頂向下的系統(tǒng)結(jié)構(gòu)開發(fā)原那么(2)模塊化結(jié)構(gòu)開發(fā)原那么412.應(yīng)用軟件的開發(fā)方法(1)非自動形式的開發(fā)方法①系統(tǒng)流程圖法(systemflowchart)②結(jié)構(gòu)化分析方法〔SA方法〕③結(jié)構(gòu)化設(shè)計方法〔SD方法〕④數(shù)據(jù)結(jié)構(gòu)法〔Jackson法〕⑤層次輸入-處理-輸出方法〔HIPO方法〕42(2)半自動形式的開發(fā)方法①SREM方法②PSL/PSA方法PSL是一種問題說明語言〔ProblemStatementLanguage〕PSA是一種問題說明分析器〔ProblemStatementAnalyzer〕MICRO_PSL/PSA系統(tǒng)(3)自動形式的系統(tǒng)開發(fā)方法主要以HOS〔HigherOrderSoftware公司〕方法為代表。436.3.2結(jié)構(gòu)化分析方法SA〔StructualAnalysis〕1.SA方法的特點(1)分解和抽象4445(2)文檔的標準化①一套分層的數(shù)據(jù)流程圖，用于描述系統(tǒng)的邏輯關(guān)系。②一本數(shù)據(jù)字典，用于描述系統(tǒng)中所用到的全部數(shù)據(jù)和文件。③一組小說明，描述各個加工處理應(yīng)完成的工作。④其他補充材料，描述尚未說明或需要進一步交代的問題。(3)面向用戶(4)系統(tǒng)的邏輯設(shè)計和物理設(shè)計分開進行462.數(shù)據(jù)流程圖(1)數(shù)據(jù)流程圖的概念①用數(shù)據(jù)流程圖描述系統(tǒng)中信息的變換和傳遞過程，并輔以其他形式的說明，如數(shù)據(jù)字典、判定表和判定樹等。②將數(shù)據(jù)流程圖轉(zhuǎn)換成相應(yīng)的軟件結(jié)構(gòu)。

數(shù)據(jù)流程圖簡稱DFD〔DataFlowDiagram〕47研究生業(yè)務(wù)活動數(shù)據(jù)流程圖48(2)數(shù)據(jù)流程圖的組成符號49(3)畫數(shù)據(jù)流程圖的方法①自頂向下逐層分解②由外向里逐漸深化503.數(shù)據(jù)字典在數(shù)據(jù)字典中，通常有四種類型的條目。(1)根本數(shù)據(jù)項條目例如，學生“年齡”這個數(shù)據(jù)項的定義如下：數(shù)據(jù)項名稱：學生年齡數(shù)據(jù)類型：整型數(shù)據(jù)長度：一個字節(jié)取值范圍：16～3051(2)數(shù)據(jù)流條目課程目錄＝課程名＋學時＋學分＋教員＋課表其中“教員”又可以列為一個子目錄，表示為教員＝姓名＋年齡＋職稱“課表”也可以列為一個子目錄，表示成課表＝星期幾＋第幾節(jié)＋教室

52數(shù)據(jù)流條目的各數(shù)據(jù)項可以分為以下三種：①必有項，即數(shù)據(jù)流條目中必定包含的數(shù)據(jù)項；②必選項，即在某幾項中必定出現(xiàn)其中一項或幾項；③任選項，即可選可不選的數(shù)據(jù)項。在表示數(shù)據(jù)流條目時，一般要用到以下一些符號：＝含義是“定義為”或“等價為”＋含義是連接，表示幾個數(shù)據(jù)項的合成[]表示必選項()表示任選項{}表示重復(fù)〔有時用上下標表示重復(fù)次數(shù)〕例如，考試成績＝{學號＋姓名}1100＋[平均分＋方差]53(3)文件條目(4)加工條目〔即數(shù)據(jù)處理條目〕546.3.3結(jié)構(gòu)化設(shè)計方法1.結(jié)構(gòu)化設(shè)計方法的特點結(jié)構(gòu)化設(shè)計方法簡稱SD〔StructuredDesign〕(1)如何將系統(tǒng)劃分為一個個模塊；(2)模塊之間傳遞什么數(shù)據(jù)；(3)模塊之間如何進行調(diào)用；(4)如何評價模塊結(jié)構(gòu)的質(zhì)量。552.結(jié)構(gòu)圖結(jié)構(gòu)圖簡稱SC〔StructuredChart〕圖56計算工資的結(jié)構(gòu)圖57(1)模塊(2)調(diào)用(3)模塊間信息傳遞(4)輔助符號583.由數(shù)據(jù)流程圖導出結(jié)構(gòu)圖(1)變換型從變換型DFD導出結(jié)構(gòu)圖59(a)數(shù)據(jù)流程圖60(b)結(jié)構(gòu)圖61(2)事務(wù)型從事務(wù)型DFD導出結(jié)構(gòu)圖示意圖62(a)數(shù)據(jù)流程圖模型63(b)結(jié)構(gòu)圖644.模塊獨立性評價(1)耦合模塊之間的耦合反映了模塊的獨立性，也反映了系統(tǒng)分解后的復(fù)雜程度。為了使系統(tǒng)各模塊之間相互影響盡可能地少，使系統(tǒng)簡單而易理解，應(yīng)減少模塊之間的耦合程度。①數(shù)據(jù)耦合②同構(gòu)耦合③控制耦合④公用耦合⑤內(nèi)容耦合6566(2)內(nèi)聚內(nèi)聚是對一個模塊內(nèi)部元素之間功能上相互聯(lián)系強度的測量。模塊內(nèi)聚度又稱為模塊強度。一個模塊的內(nèi)聚度越高，與其他模塊之間的耦合程度也就越弱。①功能內(nèi)聚②序列內(nèi)聚③通信內(nèi)聚④過程內(nèi)聚⑤時間內(nèi)聚⑥邏輯內(nèi)聚⑦偶然內(nèi)聚67邏輯內(nèi)聚模塊的分解6869決定內(nèi)聚程度的判定樹706.4測試與調(diào)試根本技術(shù)6.4.1測試6.4.2調(diào)試71據(jù)新華社洛杉磯2002年６月報道，美國一家研究所公布的調(diào)查結(jié)果說明，軟件錯誤使美國每年損失高達５９５億美元。同時指出，如能做好檢測工作,即在軟件開發(fā)的早期發(fā)現(xiàn)漏洞并進行彌補每年能給美國企業(yè)節(jié)省本錢２２２億美元。然而,目前軟件中一半以上的錯誤是在開發(fā)的后期或者售后使用中才被發(fā)現(xiàn)的。72測試的工作量一般性軟件其測試工作量大約占整個開發(fā)工作量的40%系統(tǒng)軟件或關(guān)系到人的生命財產(chǎn)平安的重要軟件，其測試工作量通?？赡艿竭_整個開發(fā)工作量的3—5倍736.4.1測試1.測試的根本概念測試具有以下三個重要特征。(1)測試的挑剔性測試不是為了證明程序是正確的，而是在設(shè)想程序有錯誤的前提下進行的，其目的是設(shè)法暴露程序中的錯誤和缺陷。①測試是程序執(zhí)行的過程，目的在于發(fā)現(xiàn)錯誤；②一個好的測試在于能發(fā)現(xiàn)至今未發(fā)現(xiàn)的錯誤；③一個成功的測試是發(fā)現(xiàn)了至今未發(fā)現(xiàn)的錯誤。74(2)完全測試的不可能性

測試只能說明程序有錯，而不能證明程序無錯，希望通過有限次的測試就能發(fā)現(xiàn)程序中的所有錯誤是不可能的，即完全測試是不可能的。由于測試的這一特征，程序也不可能具有百分之百的可靠性。75(3)測試的經(jīng)濟性①沒有語法錯誤；②運行有結(jié)果；③對典型數(shù)據(jù)能得到正確的結(jié)果；④對典型的有效數(shù)據(jù)能得到正確的結(jié)果，對無效數(shù)據(jù)有防范措施；⑤對一切能出現(xiàn)的數(shù)據(jù)不出錯。762.測試的過程(1)程序的靜態(tài)分析(2)程序的動態(tài)分析(3)自動測試工具77靜態(tài)測試：主要通過代碼審查和靜態(tài)分析，檢查源代碼中存在的問題。過程：代碼審查由有經(jīng)驗的程序設(shè)計人員根據(jù)軟件詳細設(shè)計說明書，閱讀程序來發(fā)現(xiàn)源程序中類型、引用、參數(shù)傳遞、表達式等不必運行程序就能夠發(fā)現(xiàn)的錯誤。特點：這種方法不需要專門的測試工具和設(shè)備，一旦發(fā)現(xiàn)錯誤就能定位，但是此方法具有一定的局限性。靜態(tài)分析主要對程序進行控制流分析、數(shù)據(jù)流分析、接口分析和表達式分析等

78動態(tài)測試：在指定的環(huán)境上運行被測程序，輸入測試數(shù)據(jù)，獲得測試結(jié)果，將獲得的測試結(jié)果與預(yù)期的結(jié)果進行比較，發(fā)現(xiàn)程序的錯誤。過程：設(shè)計測試用例，運行被測程序。特點：需要有程序的運行環(huán)境，必要時要編寫測試驅(qū)動程序和樁程序。793.測試的層次(1)模塊測試①模塊接口②局部數(shù)據(jù)結(jié)構(gòu)③重要路徑④錯誤處理的能力⑤I/O錯80模塊測試的結(jié)構(gòu)81(2)整體測試整體測試可分為漸增式與非漸增式兩種。非漸增式的整體測試是將經(jīng)過單獨測試的所有模塊連接到一起進行測試。漸增式的整體測試往往是與模塊測試同步進行的，即在對模塊逐步裝配的過程中同時進行的。這種測試方式可以減少模塊測試時要設(shè)計的驅(qū)動模塊或承接模塊，又可以及時、準確地發(fā)現(xiàn)結(jié)構(gòu)錯誤的位置。漸增式的整體測試一般可以分為“自頂向下”和“自底向上”兩種。①“自頂向下”漸增式測試②“自底向上”漸增式測試82(3)高級測試①功能測試功能測試又稱有效性測試，主要是用黑箱法測試軟件功能是否與用戶一致。②系統(tǒng)測試把軟件元素與硬件元素結(jié)合在一起進行測試。③驗收測試主要檢查程序的操作與原設(shè)計要求以及用戶要求是否一致。這類測試常以用戶為主體進行。④安裝測試主要檢查軟件在安裝時產(chǎn)生的問題。834.測試的方法設(shè)計和使用測試用例根本原那么：①設(shè)計測試用例時，應(yīng)同時確定程序運行的預(yù)期結(jié)果。②測試用例不僅要選用合理的輸入數(shù)據(jù)，也要選用不合理的輸入數(shù)據(jù)。③除了需要檢查程序是否做了應(yīng)該做的事，還要檢查程序是否做了不應(yīng)該做的事。④千萬不要夢想程序是正確的。⑤要保存有用的測試用例，以便再測試時使用。⑥測試用例要系統(tǒng)地進行設(shè)計，不可隨意湊合。84(1)白箱法白箱測試用例的設(shè)計準那么有：語句覆蓋，分支覆蓋，條件覆蓋和組合條件覆蓋。①語句覆蓋語句覆蓋準那么是企圖用足夠多的測試用例，使程序中的每個語句都執(zhí)行一遍，以便盡可能多地發(fā)現(xiàn)程序中的錯誤。這是一個非常弱的測試方法。因為每條語句都執(zhí)行一次，仍然會有許多錯誤測試不出來。85某程序段如下：…IF(a＞1andb＝0)THENx＝x/aIF(a＝2orx＞1)THENx＝x＋1…86每條語句都執(zhí)行一次，程序中第二個判定OR寫成AND仍然不能被發(fā)現(xiàn)錯誤87②分支覆蓋分支覆蓋準那么也稱為判定覆蓋準那么。它要求通過足夠多的測試用例，使程序中的每個分支至少通過一次。8889③條件覆蓋條件覆蓋準那么是通過執(zhí)行足夠多的測試用例，使每個判定中的每個條件都能取到兩種不同的結(jié)果〔“真”與“假”〕。用以下兩個測試用例便可以使每個條件都能取到“真”值和“假”值：a＝2，b＝1，x＝1〔“a＞1”為真，“b＝0”為假，“a＝2”為真，“x＞1”為假〕a＝1，b＝0，x＝3〔“a＞1”為假，“b＝0”為真，“a＝2”為假，“x＞1”為真〕90④組合條件覆蓋組合條件覆蓋準那么要求通過足夠多的測試用例，使每個判定中各條件的各種可能組合至少出現(xiàn)一次。例如，第一個判定框中的兩個條件有以下四種組合：條件組合1a＞1，b＝0；條件組合2a＞1，b≠0；條件組合3a≤1，b＝0；條件組合4a≤1，b≠0。第二個判定框中的兩個條件也有以下四種組合條件組合5a＝2，x＞1；條件組合6a＝2，x≤1；條件組合7a≠2，x＞1；條件組合8a≠2，x≤1.91下面的四個測試用例就可以覆蓋上述八種可能的條件組合：a＝2，b＝0，x＝3〔覆蓋條件組合1和5〕a＝2，b＝1，x＝1〔覆蓋條件組合2和6〕a＝1，b＝0，x＝3〔覆蓋條件組合3和7〕a＝1，b＝1，x＝1〔覆蓋條件組合4和8〕9293(2)黑箱法常用的黑箱測試有等價分類法、邊值分析法、因果圖法和錯誤推測法。①等價分類法等價分類法是把所有可能的輸入數(shù)據(jù)〔有效的和無效的〕劃分成假設(shè)干等價類，使每一類中的一個典型數(shù)據(jù)在測試中的作用與這一類中所有其他數(shù)據(jù)的作用相同。在實際進行測試時，可以從每個等價類中只取一組數(shù)據(jù)作為測試用例。等價分類法分為兩步：一是劃分等價類〔包括有效等價類和無效等價類〕；二是從每個等價類中選取測試用例。劃分等價類的根本方法：根據(jù)程序的功能說明，找出所有的輸入條件，然后為每一個輸入條件劃分等價類。9495·如果輸入條件規(guī)定了值的范圍，那么可以確定一個有效等價類和兩個無效等價類；·如果輸入條件規(guī)定了值的個數(shù)，那么可以確定一個有效等價類和兩個無效等價類；·如果輸入條件規(guī)定了一個輸入值的有窮集，且確信程序?qū)γ總€輸入值單獨處理，那么可以對集合中的每一個輸入值確定一個有效等價類，同時可以確定一個無效等價類；·如果輸入條件規(guī)定了“必須如何”的條件，那么可以確定一個有效等價類和一個無效等價類；·如果確信某一等價類中的各元素在程序中的處理方式是有區(qū)別的，那么應(yīng)把這個等價類分成更小的等價類。96②邊值分析法·如果輸入條件規(guī)定了值的范圍，那么要對這個范圍的邊界情況以及稍超出范圍的無效情況進行測試；例如，輸入范圍是1到10的整數(shù)，那么測試用例的取值：0，1，10，11·如果輸入條件規(guī)定了值的個數(shù)，那么要分別對值的最大個數(shù)、最小個數(shù)、稍多于最大個數(shù)和稍少于最小個數(shù)的情況進行測試；例如，要求的記錄個數(shù)是1到255，那么設(shè)計的記錄個數(shù)分別為：0，1，255，256·對于輸出條件使用上述兩條；·如果輸入和輸出是有序集，那么應(yīng)把注意力集中在第一和最后一個元素上。97③因果圖法④錯誤推測法例如，要測試一個排序程序，特別需要檢查的情況有：·輸入表為空；·輸入表只含有一個元素；·輸入表中所有元素相同；·輸入表實際有序。98(3)綜合策略①如果程序功能說明中包含有輸入條件的組合，便應(yīng)從因果圖開始，以減少組合情況。②在任何情況下都要用邊值分析法，通過分析輸入和輸出條件的邊界值，補充一些測試用例。③判別輸入/輸出的有效和無效等價類，進一步補充測試用例。④利用錯誤推測法補充一些測試用例。⑤查看上述測試用例的覆蓋程度，對未滿足的覆蓋標準，增加一些測試用例。996.4.2調(diào)試調(diào)試也稱排錯調(diào)試與測試的關(guān)系：(1