【正文】 發(fā)現(xiàn)使用上的問題。經(jīng)過確認測試后的軟件通常就可交付使用了。（三） 白盒測試的測試用例設計白盒測試是根據(jù)程序的內(nèi)部邏輯來設計測試用例，常用的技術是邏輯覆蓋，即考察用測試數(shù)據(jù)運行被測程序時對程序邏輯的覆蓋程度。主要的覆蓋標準有6種:語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋、路徑覆蓋。為了提高測試的效率，應選擇最少的測試用例來滿足指定的覆蓋標準。語句覆蓋是指選擇足夠的測試用例，使得運行這些測試用例時，被測程序的每個語句至少執(zhí)行一次。判定覆蓋又稱為分支覆蓋。它是指選擇足夠的測試用例，使得運行這些測試用例時，每個判定的所有可能結果至少出現(xiàn)一次（即判定的每個分支至少經(jīng)過一次）。在軟件設計過程中，一個判定往往由多個條件組成，判定覆蓋僅考慮了判定的結果而沒有考慮每個條件的可能結果。條件覆蓋是指選擇足夠的測試用例，使得運行這些測試用例時，判定中的每個條件的所有可能結果至少出現(xiàn)一次。判定/條件覆蓋是指選擇足夠的測試用例。使得運行這些測試用例時，判定中每個條件的所有可能結果至少出現(xiàn)一次，并且每個判定本身的所有可能結果至少出現(xiàn)一次。顯然，滿足判定/條件覆蓋標準的測試用例一定也滿足判定覆蓋、條件覆蓋和語句覆蓋標準。在某些程序的測試中，如果選擇得好，判定覆蓋、條件覆蓋和判定/條件覆蓋可以使用相同的最少的測試用例。在條件覆蓋中考慮了判定中每個條件的所有可能結果，但并未考慮條件的組合情況。條件組合覆蓋是指選擇足夠的測試用例，使得運行這些測試用例時，每個判定中條件結果的所有可能組合至少出現(xiàn)一次。由于條件組合覆蓋使每個判定中條件結果的所有可能組合都至少出現(xiàn)一次，因此判定本身的所有可能結果也一定至少出現(xiàn)一次，同時也使每個條件的所有可能結果至少出現(xiàn)一次。因此，條件組合覆蓋是上述5種覆蓋標準中最強的一種。然而，條件組合覆蓋還不能保證程序中所有可能的路徑都被覆蓋。路徑覆蓋是指選擇足夠的測試用例，使得運行這些測試用例時，程序的每條可能執(zhí)行到的路徑都至少經(jīng)過一次（如果程序中有環(huán)路，則要求每條環(huán)路至少經(jīng)過一次）。路徑覆蓋實際上是考慮了程序中各種判定結果的所有可能組合，但它并未考慮判定中的條件結果的組合，因此它是一種比較強的覆蓋標準，但并不能代替條件覆蓋和條件組合覆蓋。（四） 黑盒測試的測試用例設計簡介黑盒測試是根據(jù)規(guī)格說明所規(guī)定的功能來設計測試用例，它不考慮程序中的內(nèi)部結構和處理過程。常用的黑盒測試技術有等價類劃分、邊值分析、錯誤猜測等。前面已經(jīng)講過，不能窮舉所有可能的輸入數(shù)據(jù)來進行測試，所以只能選取少量有代表性的輸入數(shù)據(jù)，來揭露盡可能多的程序錯誤。這里首先要介紹一個有效的輸入數(shù)據(jù)和無效的輸入數(shù)據(jù)。有效的輸入數(shù)據(jù)是指符合規(guī)格說明要求的合理的輸入數(shù)據(jù)，它主要用來檢驗程序是否實現(xiàn)了規(guī)格說明中的功能。無效的輸入數(shù)據(jù)是指不符合規(guī)格說明要求的不合理或非法的輸入數(shù)據(jù)，它主要用來檢驗程序是否做了規(guī)格說明以外的事。如果把所有可能的輸入數(shù)據(jù)（有效的和無效的）劃分成若干個等價類，那么可以合理地做出假定:如果等價類中的一個輸入數(shù)據(jù)能檢測出一個錯誤，那么等價類中的其他輸入數(shù)據(jù)也能檢測出同一個錯誤。反之，如果一個輸入數(shù)據(jù)不能檢測出某個錯誤，那么等價類中其他輸入數(shù)據(jù)也不能發(fā)現(xiàn)這一錯誤（除非這個等價類的某個子集還屬于另一等價類）。等價類劃分方法首先把輸入數(shù)據(jù)劃分成若干個有效等價類和若干個無效等價類，然后設計測試用例覆蓋這些等價類。大量的實踐說明，程序中在處理邊界情況時出錯的概率比較大，因此設計一些測試用例，使程序運行在邊界情況附近，這樣揭露程序中錯誤的可能性就更大。所謂邊界條件是指相對于輸入與輸出等價類直接在其邊界上，或稍高于其邊界，或稍低于其邊界的這些狀態(tài)條件。使用等價類劃分方法設計測試用例時，原則上講，等價類中的任一輸入數(shù)據(jù)都可作為該等價類的代表用作測試用例。而邊值分析則是專門挑選那些位于邊界附近的值作為測試用例。由于邊值分析方法所設計的測試用例，更有可能發(fā)現(xiàn)程序中的錯誤，因此經(jīng)常把邊值分析方法與其他設計測試用例方法結合起來使用。錯誤猜測是一種憑直覺和經(jīng)驗推測某些可能存在的錯誤，從而針對這些可能存在的錯誤設計測試用例的方法。這種方法沒有機械的執(zhí)行步驟，主要依靠直覺和經(jīng)驗。四、軟件維護軟件維護階段覆蓋了從軟件交付使用到軟件被淘汰為止的整個時期，它是在軟件交付使用后，為了改正軟件中隱藏的錯誤，或者為了使軟件適應新的環(huán)境，或者為了擴充和完善軟件的功能或性能而修改軟件的過程。一個軟件的開發(fā)時間可能需要一兩年，但它的使用時間可能要幾年或幾十年，而整個使用期都可能需要進行軟件維護，所以軟件維護的代價是很大的，而且維護的代價還在逐年上升，據(jù)1994年Software Engineering Encyclopedia記載，在整個軟件生存周期所花費的代價中，20世紀80年代末用于軟件維護的代價約為75%到90年代初為90%。因此，如何提高軟件維護的效率、降低維護的代價成為十分重要的問題。（一） 軟件維護的分類根據(jù)引用軟件維護的原因，軟件維護通?？煞殖筛恼跃S護、適應性維護、完善性維護、預防性維護。由于程序正確性證明尚未得到圓滿的解決，軟件測試又不可能找出程序中的所有錯誤，因此，在交付使用的軟件中都可能隱藏著某些尚未被發(fā)現(xiàn)的錯誤，而這些錯誤在某種使用環(huán)境下會暴露出來。改正性維護就是在使用過程中發(fā)現(xiàn)了隱藏的錯誤后，為了診斷和改正這些隱藏錯誤而修改軟件的活動。由于計算機的發(fā)展非常迅速，新的機型、新的操作系統(tǒng)、新的軟件系統(tǒng)不斷地涌現(xiàn)，為了適應計算機的飛速發(fā)展，可能要更正在運行的軟件的運行環(huán)境，如新的機型、數(shù)據(jù)庫管理系統(tǒng)等。適應性維護就是為了適應變化了的環(huán)境而修改軟件的活動。用戶在使用軟件的過程中，隨著業(yè)務的發(fā)展，常常希望擴充原有軟件的功能，或者希望改進原有的功能或性能，以滿足用戶的新要求，完善性維護就是為了擴充或完善原有軟件的功能或性能而修改軟件的活動。軟件維護活動主要是上述三類維護，另有一類維護稱為預防性維護，它是為了提高軟件的可維護性和可靠性，為未來的進一步改進打下基礎而修改軟件的活動。據(jù)有關資料統(tǒng)計，在整個軟件維護活動中，改正性維護約占20%，適應性維護約占25%，完善性維護約占50%以上，其他維護約占4%。（二） 與軟件維護有關的問題軟件維護人員通常不是該軟件的開發(fā)人員，這給軟件維護帶來很大的困難，特別是有些軟件在開發(fā)時沒有遵循軟件開發(fā)的準則，沒有開發(fā)方法的支持，維護這樣的軟件就更困難。下面列舉一些與軟件維護有關的問題。（1）要維護一個軟件，首先要理解它。而理解別人的程序通常是非常困難的，尤其是對軟件配置（指各種文檔）不齊的軟件，理解起來更為困難。（2）需要維護的軟件往往缺少合格的文檔，或者文檔資料不齊，甚至沒有文檔。在軟件維護中，合格的文檔十分重要，它有助于理解被維護的軟件。合格的文檔不僅要完整正確地反映開發(fā)過程各階段的工作結果，而且應該容易理解并應程序源代碼一致。而錯誤的文檔會把對程序的理解引入歧途。（3）在軟件維護時，不要指望得到原來開發(fā)該軟件的人員的幫助。開發(fā)人員開發(fā)完一個軟件后，往往去從事另一軟件的開發(fā)，甚至已調(diào)離開發(fā)單位。即使原先的開發(fā)人員還在，也可能因為相隔時間太久而遺忘了實現(xiàn)的細節(jié)。（4）多數(shù)軟件在設計時沒有考慮今后的修改，給軟件的修改帶來困難，而且在修改軟件時容易帶來新的差錯。對那些缺乏模塊獨立性和非結構化的程序來說，更是如此。（5）軟件維護通常不是一件吸引人的工作。從事維護工作常使維護人員感到缺乏成就感。這也嚴重影響維護工作。從而導致維護質(zhì)量的不高?？梢钥闯?，上述的有些問題都與被維護的質(zhì)量密切相關，所以在開發(fā)軟件時，要認真寫好各類文檔，并且應注意提高軟件的可維護性，這樣可在很大程序上緩解軟件維護的困難。（三） 可維護性軟件可維護性是指理解、改正、改動、改進軟件的難易程度。通常影響軟件可維護性的因素有可理解性、可測試性和可修改性?？蓽y試性是指測試和診斷軟件（主要指程序）中錯誤的難易程度。測試主要是發(fā)現(xiàn)軟件中的錯誤，而診斷錯誤的性質(zhì)和出錯的位置通常是調(diào)試的任務。提高軟件可測試性的措施有:書寫詳細正確的文檔，采用良好的程序結構，使用測試工具和調(diào)試工具，保存以前的測試過程和測試用例等等?？尚薷男允侵感薷能浖ㄖ饕赋绦颍┑碾y易程度。在修改程序時經(jīng)常會發(fā)生這樣的情況:修改程序中某個錯誤的同時又產(chǎn)生新的錯誤（由程序的修改引起的），或者在程序中增加了某個功能的同時，原先的某些功能不能正常執(zhí)行。這主要是因為程序中各成分之間存在著許多聯(lián)系，當程序中某處修改時，這個修改可能會影響到程序的其他部分。如果修改程序時稍有考慮不周，就會出現(xiàn)上述顧此失彼的情況。因此，如果一處修改所涉及到的范圍越少，發(fā)生上述情況的概率也越小，其可修改性也越好。在軟件設計中我們介紹的那些設計準則都是影響可修改性的因素，如信息隱蔽原則、模塊獨立、模塊間聯(lián)系的低耦合高內(nèi)聚等等。（四） 軟件維護活動流程凡是需要軟件維護，都應有一個軟件維護的申請報告。改正性維護的申請報告應完整地描述導致錯誤的環(huán)境，包括輸入數(shù)據(jù)、錯誤清單以及有關的材料。適應性維護或完善性維護的申請報告應提供一份簡短的需求說明書。維護申請書由維護管理員和系統(tǒng)管理員審批。并指明所需修改的性質(zhì)，申請修改的優(yōu)先級，所需的工作量等。維護活動的第一步是確定維護的類型，若是改正性維護，則要估計錯誤的嚴重程度，對嚴重的錯誤，則馬上分派人員執(zhí)行維護任務。對不嚴重的錯誤，則可將其暫時保存，在以后適當時候再進行改正。若是適應性維護或完善性維護，則要根據(jù)其優(yōu)先級來決定維護的先后次序，優(yōu)先級高的維護則馬上開始。優(yōu)先級低的可暫時保存，以便統(tǒng)籌安排。適應性維護或完善性維護的過程相當于一個小的開發(fā)過程，它同樣要經(jīng)歷需求分析、設計、編碼、測試等階段。不管是哪種維護，有些工作是每種維護活動都必須做的，如在修改程序代碼的同時還要修改（如有必要）相應的需求說明文檔、設計文檔等，還要進行回歸測試和軟件配置復審等。五、軟件管理軟件工程項目高質(zhì)量高效率的完成與其他產(chǎn)品的工程項目一樣，不僅取決于所采用的技術、方法和工具，還決定于管理的好壞。兩者相輔相成，缺一不可。就目前軟件開發(fā)中的問題，更多的是管理問題。本節(jié)將集中討論與管理方面有關的問題。（一） 確定工作范圍和資源軟件計劃的第一個任務就是確定軟件的工作范圍，即軟件的用途及對軟件的要求。其中主要包括軟件的功能、性能、接口和可靠性等四個方面。計劃人員必須使用管理人員和技術人員都能理解的無二義性的語言來描述工作范圍。對于軟件功能的要求，在某些情況下要進行求精細化，以便能夠提供更多的細節(jié)，因為成本和進度的估算都與功能有關。軟件的性能包括處理時間的約束、存儲限制以及依賴于機器的某些特性。要同時考慮功能和性能，才能做出正確的估計。接口又可分為硬件、軟件和人三類:（1）硬件指執(zhí)行該軟件的硬件，如中央處理機和外部設備，以及由該軟件控制的各種間接設備，如各種機器和顯示設備等。（2）軟件指已有的而且必須與新開發(fā)軟件連接的軟件，如數(shù)據(jù)庫、子程序包和操作系統(tǒng)等。（3）人指通過終端或輸入/輸出設備使用該軟件的操作人員。在這三種情況下，都要詳細地了解通過接口的信息傳遞。計劃人員還必須考慮各個接口的性質(zhì)及復雜程度，以確定對開發(fā)資源、成本和進度的各種影響。（1）人員軟件危機中提出的最嚴重的問題是缺少有經(jīng)驗的軟件人員，人是軟件開發(fā)的主要資源。這里所討論的不是小項目，而是大項目，2個人是干不了的。在大項目的軟件開發(fā)中，人員尤其重要。軟件工程各個階段對人員有不同的要求。開始時管理人員要用較多的精力，因為作為管理人員的決策，這時是很關鍵的，最后驗收時也要投入較多的精力。高級技術人員同樣如此。初級技術人員前期工作不多，在詳細設計、編碼和早期測試中參與最多，單元測試時為高峰。（2）硬件硬件也是一種軟件開發(fā)工具。硬件資源包括:①宿主機宿主機是指在軟件開發(fā)階段使用的計算機和有關外部設備。對于一些專門的開發(fā)機構，為了能夠接受更多的用戶任務，并能方便地使用多種類型的開發(fā)支持工具，常備有專門的開發(fā)系統(tǒng)。目前很多微機都設置有單獨的開發(fā)系統(tǒng)，而且進一步發(fā)展為專用的軟件開發(fā)環(huán)境，這一部分將在第9章討論。②目標機運行所開發(fā)軟件的計算機叫目標機，其中也包括有關的外部設備，在很多情況下，宿主機與目標機是統(tǒng)一的。③其他硬件設備在進行專用軟件的開發(fā)時，有時需要某些特殊的硬件資源，如開發(fā)過程控制軟件時所需的A/D、D/A等專用設備。（3）軟件和硬件一樣，也是一種軟件開發(fā)工具。軟件資源包括:①支持軟件包括范圍廣泛的各種工具。最基礎的支持軟件是操作系統(tǒng)、編譯程序、數(shù)據(jù)庫、圖形包和網(wǎng)絡軟件等。它們是開發(fā)人員的必備工具。在軟件生存期的各階段還要有其它相應的支持軟件:在需求分析階段，有需求分析和生成程序。在設計階段，有設計語言處理程序、流程圖/框圖生成程序和模擬程序。在編碼和單元測試階段，有動態(tài)調(diào)試程序、交叉匯編程序/編譯程序和宏處理程序。在測試階段，有測試驅(qū)動程序和測試結果分析程序等。恰當?shù)厥褂弥С周浖?，可以大大地提高軟件開發(fā)的生產(chǎn)率和軟件的質(zhì)量。但是為了使支持軟件能夠在開發(fā)系統(tǒng)上運行，需要很大的工作量和費用，所以在考慮支持軟件時，成本和效益兩者之間的關系是一個必須考慮的重要問題。②實用軟件相當于軟件庫，可以結合到新的系統(tǒng)中去，如各種標準子程序等。實用軟件現(xiàn)在應該說是非常豐富的，這是重用技術的基礎。但重用技術的問題是如何選擇重用對象、分類、建庫，以及解決通用接口的機制問題，使其能適用于任一硬、軟件環(huán)境。實用軟件作為資源時，計劃人員應認識到:如果現(xiàn)有軟件符合要求，那么利用實用軟件的費用幾乎總是小于開發(fā)同等軟件所需的費用。如果在與系統(tǒng)結合起來之前需要作某些修改，那就必須特別小心，因為修改現(xiàn)有軟件所需費用有時會大于開發(fā)同等軟件的費用。一般在計劃階段，軟件資源常常被忽視，只有在開發(fā)階段才成為頭等大事。若能夠及時地確定對軟件資源的要求，則可以較好地對各種方案進行技術評價，并能盡早地獲得所需的方案。（二）成本估算為了使開發(fā)項目能夠在規(guī)定的時間內(nèi)完成，而且不超過預算，成本估算的管理控制是關鍵。計算機廣泛使用有35年，而高級語言應用僅30年。費用估算大約開始于50年代的第一個大型程序設計，60年代估算過于樂觀，結果費用大大超支，70