【正文】 。 第 112 頁 （ 2）系統(tǒng)文檔 ?系統(tǒng)文檔描述的是從問題定義、需求說明、模塊算法說明、系統(tǒng)設(shè)計、實現(xiàn)到系統(tǒng)測試用例、測試方案等軟件配置的所有系統(tǒng)內(nèi)部特征的文檔。 ?④參考手冊。 ?②安裝手冊。 ?文檔分為用戶文檔和系統(tǒng)文檔兩類；前者主要描述系統(tǒng)功能和使用方法；而后者則是描述系統(tǒng)設(shè)計、實現(xiàn)和測試等各方面的內(nèi)容。 第 110 頁 3．文檔 ?文檔是影響軟件可維護(hù)性的決定因素。 第 109 頁 （ 8）維護(hù)階段 ?維護(hù)過程本質(zhì)上是集修改、系統(tǒng)定義和開發(fā)為一體的過程，對于適應(yīng)性維護(hù)和完善性維護(hù)來說更是如此。 第 108 頁 （ 7）測試階段 ?在該階段必須保持實際系統(tǒng)和軟件配置中描述系統(tǒng)的完全一致性。一般來說，選用高級語言而不用匯編語言；所選語言要具有良好的模塊化機(jī)制、可讀性好的控制結(jié)構(gòu)和數(shù)據(jù)結(jié)構(gòu)、應(yīng)用自動生成和報表自動生成功能、功能強(qiáng)大的開發(fā)工具和開發(fā)環(huán)境等。 第 107 頁 （ 6）編碼階段 ? 在該階段要具體實現(xiàn)模塊描述和算法，選擇 PL和編程風(fēng)格都會對軟件的可維護(hù)性產(chǎn)生極大的影響。 ? 設(shè)計實現(xiàn)過程中要采用結(jié)構(gòu)化程序設(shè)計技術(shù)，使設(shè)計出的模塊突出結(jié)構(gòu)化特征，這樣的程序具有統(tǒng)一的靜態(tài)結(jié)構(gòu)和動態(tài)狀況，程序結(jié)構(gòu)清晰，便于閱讀理解，同時也便于程序的調(diào)試和測試。 ? 第 106 頁 （ 5）詳細(xì)設(shè)計階段 ? 該階段的目標(biāo)是具體實現(xiàn)系統(tǒng)“怎樣做”，在該階段結(jié)束時，應(yīng)得到目標(biāo)系統(tǒng)精確的模塊描述和實現(xiàn)算法。 ? 在設(shè)計系統(tǒng)的軟件結(jié)構(gòu)和模塊化時，要充分運用結(jié)構(gòu)化設(shè)計技術(shù)和模塊技術(shù)，盡量減小模塊間的耦合性、提高模塊的內(nèi)聚性，獲得較高的模塊獨立性。 第 105 頁 （ 4）概要設(shè)計階段 ? 該階段的目的是用比較抽象概括的方式描述系統(tǒng)“怎樣做”，確定系統(tǒng)的物理配置以及系統(tǒng)的軟件結(jié)構(gòu)和模塊結(jié)構(gòu)。 第 104 頁 （ 3）需求分析階段 ?該階段的任務(wù)是準(zhǔn)確地描述系統(tǒng)“做什么”。該過程必然會對未來系統(tǒng)的可維護(hù)性產(chǎn)生巨大影響?？紤]到開始時，雙方對要求解的問題相互不太了解，這就要求系統(tǒng)必須是易于擴(kuò)充、完善的系統(tǒng)。提高軟件的可維護(hù)性必須從軟件生存周期各個階段的工作入手。 ?（ 5）可使用性。 ?（ 3）可修改性。 ?軟件的可維護(hù)性： –可維護(hù)性因素 –提高可維護(hù)性方法 –文檔 第 100 頁 1．可維護(hù)性因素 ?（ 1）可理解性。 第 99 頁 軟件的可維護(hù)性 ?軟件可維護(hù)性定義為： ? 維護(hù)人員理解、修改該軟件的難易程度。 第 98 頁 維護(hù)的代價 ? 70年代用于維護(hù)軟件的費用只占軟件總預(yù)算的35%～ 40%， 80年代上升為 40%～ 60%，到了90年代則上升為 70%～ 80%。 ? （ 4）預(yù)防性維護(hù)。指在使用軟件系統(tǒng)的過程中為滿足用戶提出的新功能和性能要求而進(jìn)行的維護(hù)活動。它占總維護(hù)活動的 18%～ 25%。 ? （ 2）適應(yīng)性維護(hù)。 第 97 頁 維護(hù)活動的類型 ? （ 1）校正性維護(hù)。 ?維護(hù)是軟件生存周期最后一個階段 ,由于維護(hù)工作的重要性往往被人們忽視，這更增加了維護(hù)工作的困難。主要步驟為：收集有關(guān)數(shù)據(jù)，組織數(shù)據(jù)，導(dǎo)出假設(shè)，證明假設(shè)。 ? 對分查找法 若已知程序中若干個關(guān)鍵點的正確值，然后用調(diào)試工具在關(guān)鍵點附近處輸入正確值；若輸出正確，則故障在前半部分；否則，再查后半部分。 ?用調(diào)試工具 ? 特點：動態(tài)調(diào)試，可自動執(zhí)行，是現(xiàn)代程序調(diào)試的有效工具。 ?要討論三方面的問題： –調(diào)試技術(shù) –調(diào)試策略 –調(diào)試的啟發(fā)性原則 第 94 頁 調(diào)試技術(shù) ?輸出存儲器內(nèi)容 ? 特點：效率低、難定位、輸出的是靜止?fàn)顟B(tài)的程序內(nèi)容。 ?平行運行 即手工系統(tǒng)和計算機(jī)系統(tǒng)同時運行，用對比的方法驗證新系統(tǒng)的正確性。 ? 優(yōu)缺點正好與自頂向下相反。 – 缺點：需要存根模塊，可能遇到與此相聯(lián)系的測試?yán)щy，底層關(guān)鍵模塊中的錯誤發(fā)現(xiàn)較晚。 第 91 頁 漸增方法的使用方式 ? (1)自頂向下 – 從主控模塊開始，沿軟件控制層自上而下、逐漸把各個模塊組裝到已測試結(jié)構(gòu)中的一種方法。 –漸增式 逐漸將要測試的下一個模塊加進(jìn)到已測試好的模塊中進(jìn)行的測試。程序交出后，由測試工程師再以黑盒法為主進(jìn)行測試。 ?通常設(shè)計測試用例總是將等價法和邊值法結(jié)合使用。 ?使用邊值分析方法設(shè)計測試用例首先應(yīng)確定邊界情況，這需要經(jīng)驗和創(chuàng)造性。 第 87 頁 等價類劃分（黑盒法） ?例如，若規(guī)定輸入數(shù)據(jù)為整數(shù)，等價類劃分表為： 輸入條件 有效等價類 無效等價類 整數(shù) 正整數(shù) １到３２７６７ 零 ０ 負(fù)整數(shù) －１到 －３２７６８ 符合規(guī)則 不符合規(guī)則 正整數(shù) 大于３２７６７ 零 非法 －０ 負(fù)整數(shù) 小于－３２７６８ 第 88 頁 邊界值分析法 ?經(jīng)驗證明，在邊界處，程序最容易出問題。因此，可以從每個等價類中只選取一組數(shù)據(jù)作為測試數(shù)據(jù)。說明條 件組合覆蓋標(biāo)準(zhǔn)仍 不徹底。滿足條件組合覆蓋的測試數(shù)據(jù)一定滿足判定、條件、條件／判定覆蓋。因此在實際應(yīng)用中要設(shè)計更多的用例來測試未走過、而可能隱藏錯誤的路徑。選擇下列輸入數(shù)據(jù)可滿足這一標(biāo)準(zhǔn)： ? ａ＝２，ｂ＝０，ｘ＝４ 走ＡＣＥ路徑 ? ａ＝１，ｂ＝１，ｘ＝１ 走ＡＢＤ路徑 ? 在含有 AND和 OR的邏輯表達(dá)式中 ,某些條件將抑制其它條件 。 ?有時判定覆蓋和條件覆蓋不能互為包含。 ? 程序中有 4個條件 : A1 , B=0 , A=2 , X1 ? 。若把“ X1”錯寫成“ X1”,還是檢查不出來，它只有 50%的機(jī)會去檢查 X的值。 第 80 頁 邏輯覆蓋分析 ——判定覆蓋 ? 對判別語句的每個分支至少要經(jīng)過一次，為達(dá)到”判定覆蓋“的標(biāo)準(zhǔn)，則要經(jīng)過路徑：Ａ CＤ和Ａ BＥ，為此，選用輸入數(shù)據(jù)為： ? ａ＝３，ｂ＝０，ｘ＝０，走ＡＣＤ路徑 ? ａ＝２，ｂ＝１，ｘ＝３，走ＡＢＥ路徑 ? 判定覆蓋比語句覆蓋嚴(yán)格。為使程序中的每個語句都至少執(zhí)行一次，只需設(shè)計一個通過路徑ＡＣＥ的輸入數(shù)據(jù)即可。amp。 b=0) ? y=x/a。 ? if（ a1 amp。通常的做法是用黑盒法設(shè)計基本的測試用例，再用白盒法設(shè)計一些補充用例。 ? 4）應(yīng)該長期保留所有的測試用例，直到該系統(tǒng)被廢棄不用為止。 ? 2）不僅要選擇合理的輸入數(shù)據(jù)作為測試用例，還應(yīng)選用不合理的輸入數(shù)據(jù)作為測試用例。 ? 白盒測試法 按程序的內(nèi)部邏輯結(jié)構(gòu)和處理過程進(jìn)行的測試，稱為結(jié)構(gòu)測試。 第 74 頁 測試基本概念 ? 測試 為了發(fā)現(xiàn)錯誤而執(zhí)行程序的過程 ? 調(diào)試 找出程序中的錯誤原因、位置并加以糾正 ? 可靠性 在給定時間內(nèi)，軟件不發(fā)生錯誤的概率 ? 黑盒測試法 不考慮程序的內(nèi)部結(jié)構(gòu)和處理過程的測試，也稱為功能測試。 第 68 頁 輸入 /輸出 ? 在編碼時要考慮下列 I/O風(fēng)格的規(guī)則： – 對所有的輸入數(shù)據(jù)進(jìn)行檢驗 – 檢查重要的輸入項組合的合法性 – 保持輸入格式的簡單 – 使用數(shù)據(jù)結(jié)束標(biāo)記，不要要求用戶指定數(shù)據(jù)的數(shù)目 – 明確提示交互式輸入的請求，詳細(xì)說明可用的選擇或邊界數(shù)值； – 當(dāng)程序設(shè)計語言對格式有嚴(yán)格要求時，保持輸入格式一致 – 設(shè)計良好的輸出報表 – 給所有的輸出加標(biāo)志 第 69 頁 提高程序質(zhì)量的技巧 –避免使用過于相似的變量名 –變量名中盡量不含數(shù)字 –同一變量名不要具有多種意義 –顯式說明所有變量 –注意浮點運算的誤差 –注意整數(shù)運算的特點 –避免不必要的 GOTO語句 –盡量少用語句標(biāo)號 第 70 頁 效率 ?程序運行時間 源程序的效率由算法的效率決定，但寫程序的風(fēng)格也能對程序的執(zhí)行速度和存儲器要求產(chǎn)生影