【文章內(nèi)容簡(jiǎn)介】 件而造成的錯(cuò)誤或其它不希望發(fā)生的情況。副作用有三種： 修改代碼的副作用 、修改數(shù)據(jù)的副作用 、 文檔的副作用 。 ? 在修改源代碼時(shí)，都可能引入錯(cuò)誤。例如， 刪除或修改一個(gè)子程序 、 刪除或修改一個(gè)標(biāo)號(hào) 、 刪除或修改一個(gè)標(biāo)識(shí)符 、 改變程序代碼的時(shí)序關(guān)系 、 改變占用存儲(chǔ)的大小 、 改變邏輯運(yùn)算符 、 修改文件的打開或關(guān)閉 、改進(jìn)程序的執(zhí)行效率 ，以及 把設(shè)計(jì)上的改變翻譯成代碼的改變 時(shí)，都容易引入錯(cuò)誤。 (1) 修改代碼的副作用 (2) 修改數(shù)據(jù)的副作用 ? 在 修改數(shù)據(jù)結(jié)構(gòu) 時(shí)，有可能造成 軟件設(shè)計(jì)與數(shù)據(jù)結(jié)構(gòu)不匹配 ，因而導(dǎo)致軟件出錯(cuò)。 ? 數(shù)據(jù)副作用就是修改軟件信息結(jié)構(gòu)導(dǎo)致的結(jié)果。 ? 容易導(dǎo)致設(shè)計(jì)與數(shù)據(jù)不相容的錯(cuò)誤可以有： – 重新定義局部的或全局的常量 – 重新定義記錄或文件的格式 – 增大或減小一個(gè)數(shù)組或高層數(shù)據(jù)結(jié)構(gòu)的大小 – 修改全局或公共數(shù)據(jù) – 重新初始化控制標(biāo)志或指針 – 重新排列輸入／輸出或子程序的參數(shù) ? 數(shù)據(jù)副作用可以通過 交叉引用表 加以控制。把數(shù)據(jù)元素、記錄、文件和其它結(jié)構(gòu)聯(lián)系起來。 (3) 文檔的副作用 ? 對(duì) 數(shù)據(jù)流 、 軟件結(jié)構(gòu) 、 模塊邏輯 或任何其它有關(guān)特性 進(jìn)行修改時(shí)，必須 對(duì)相關(guān)技術(shù)文檔進(jìn)行相應(yīng)修改 。否則會(huì)導(dǎo)致 文檔與程序功能不匹配 ，缺省條件改變 ， 新錯(cuò)誤信息不正確等錯(cuò)誤。使得 軟件文檔不能反映軟件的當(dāng)前狀態(tài) 。 ? 對(duì)于用戶來說，軟件事實(shí)上就是文檔。 ? 如果對(duì)可執(zhí)行軟件的修改不反映在文檔里，就會(huì)產(chǎn)生文檔的副作用。 – 對(duì)交互輸入的順序或格式進(jìn)行修改，如果沒有正確地記入文檔中，就可能引起重大的問題。 – 過時(shí)的文檔內(nèi)容、索引和文本可能造成沖突，引起用戶失敗和不滿。 ? 因此， 必須在軟件交付之前對(duì)整個(gè)軟件配置進(jìn)行評(píng)審 ，以減少文檔的副作用。 ? 為了控制因修改而引起的副作用，要做到： (1) 按模塊把修改分組； (2) 自頂向下地安排被修改模塊的順序； (3) 每次修改一個(gè)模塊； (4) 對(duì)于每個(gè)修改了的模塊，在安排修改下一個(gè)模塊之前，要確定這個(gè)修改的副作用。 可以使用交叉引用表、存儲(chǔ)映象表、執(zhí)行流程跟蹤等。 重新驗(yàn)證程序 ? 在將修改后的程序提交用戶之前，需要進(jìn)行 充分的確認(rèn)和測(cè)試 ，以保證整個(gè)修改后程序的正確性。 ? 靜態(tài)確認(rèn) 修改軟件，伴隨著引起新的錯(cuò)誤的危險(xiǎn) 。為了能夠做出正確的判斷，驗(yàn)證修改后的程序至少需要兩個(gè)人參加。要檢查： (1) 修改是否涉及到規(guī)格說明 ? 修改結(jié)果是否符合規(guī)格說明 ? 有沒有歪曲規(guī)格說明 ? (2) 程序的修改是否足以修正軟件中的問題 ? 源程序代碼有無邏輯錯(cuò)誤 ? 修改時(shí)有無修補(bǔ)失誤 ? (3) 修改部分對(duì)其它部分有無不良影響 (副作用 )? 對(duì)軟件進(jìn)行修改，常常會(huì)引發(fā)別的問題，有必要檢查修改的影響范圍 。 ? 計(jì)算機(jī)確認(rèn) 在進(jìn)行了以上確認(rèn)的基礎(chǔ)上，用計(jì)算機(jī)對(duì)修改程序進(jìn)行確認(rèn)測(cè)試： (1) 確認(rèn)測(cè)試順序：先對(duì)修改部分進(jìn)行測(cè)試，然后隔離修改部分，測(cè)試程序的未修改部分，最后再把它們集成起來進(jìn)行測(cè)試。這種測(cè)試稱為回歸測(cè)試。 (2) 準(zhǔn)備標(biāo)準(zhǔn)的測(cè)試用例。 (3) 充分利用軟件工具幫助重新驗(yàn)證過程。 (4) 在重新確認(rèn)過程中，需邀請(qǐng)用戶參加 。 ? 維護(hù)后的驗(yàn)收 ──在交付新軟件之前，維護(hù)主管部門要檢驗(yàn)： (1) 全部文檔是否完備，并已更新； (2) 所有測(cè)試用例和測(cè)試結(jié)果已經(jīng)正確記載； (3) 記錄軟件配置所有副本的工作已經(jīng)完成； (4) 維護(hù)工序和責(zé)任已經(jīng)確定。 從維護(hù)角度來看所需測(cè)試種類 (1) 對(duì) 修改事務(wù) 的測(cè)試； (2) 對(duì) 修改程序 的測(cè)試； (3) 操作過程 的測(cè)試； (4) 應(yīng)用系統(tǒng)運(yùn)用過程 的測(cè)試； (5) 系統(tǒng)各部分之間接口 的測(cè)試； (6) 作業(yè)控制語言 的測(cè)試； (7) 與系統(tǒng)軟件接口 的測(cè)試； (8) 軟件系統(tǒng)之間接口 的測(cè)試； (9) 安全性 測(cè)試； (10) 后備／恢復(fù)過程 的測(cè)試。 軟件可維護(hù)性 ? 許多軟件的維護(hù)十分困難，原因在于這 些軟件的文檔不全 、 質(zhì)量差 、開發(fā)過程不注意采用好的方法 ， 忽視程序設(shè)計(jì)風(fēng)格 等。 ? 許多維護(hù)要求并不是因?yàn)槌绦蛑谐鲥e(cuò)而提出的，而是為 適應(yīng)環(huán)境變化或 需求變化 而提出的。 ? 為了使得軟件能夠易于維護(hù)，必須考慮使軟件具有 可維護(hù)性 。 軟件可維護(hù)性的定義 ? 軟件可維護(hù)性 是指 糾正軟件系統(tǒng)出現(xiàn)的錯(cuò)誤和缺陷，以及為滿足新的要求進(jìn)行修改、擴(kuò)充或壓縮的容易程度 。 ? 可維護(hù)性 、 可使用性 、 可靠性 是衡量軟件質(zhì)量的主要質(zhì)量特性，也是用戶十分關(guān)心的幾個(gè)方面。 ? 軟件的 可維護(hù)性 是 軟件開發(fā)階段各個(gè)時(shí)期的關(guān)鍵目標(biāo) 。 ? 目前廣泛使用的是用如下的七個(gè)特性來衡量程序的可維護(hù)性。 可理解性 可使用性 可測(cè)試性 可移植性 可修改性 效率 可靠性 ? 而且對(duì)于不同類型的維護(hù)，這七種特性的側(cè)重點(diǎn)也不相同 。 在各類維護(hù)中的側(cè)重點(diǎn) 改改 正正 性性 維維 護(hù)護(hù) 適適 應(yīng)應(yīng) 性性 維維 護(hù)護(hù) 完完 善善 性性 維維 護(hù)護(hù)可可 理理 解解 性性 ??可可 測(cè)測(cè) 試試 性性 ??可可 修修 改改 性性 ?? ??可可 靠靠 性性 ??可可 移移 植植 性性 ??可可 使使 用用 性性 ?? ?? 效效 率率 ??? 這些質(zhì)量特性通常體現(xiàn)在軟件產(chǎn)品的許多方面 。 ? 為使每一個(gè)質(zhì)量特性都達(dá)到預(yù)定的要求，需要在軟件開發(fā)的各個(gè)階段采取相應(yīng)的措施加以保證。 ? 這些質(zhì)量要求要滲透到而各開發(fā)階段的各個(gè)步驟當(dāng)中 。因此，軟件的可維護(hù)性是產(chǎn)品投入運(yùn)行以前各階段面向上述各質(zhì)量特性要求進(jìn)行開發(fā)的最終結(jié)果。 可維護(hù)性的度量 ? 人們一直期望 對(duì)軟件的可維護(hù)性做出定量度量 ，但要做到這一點(diǎn)并不容易。 ? 常用的度量一個(gè)可維護(hù)的程序的七種特性的方法。就是 – 質(zhì)量檢查表 – 質(zhì)量測(cè)試 – 質(zhì)量標(biāo)準(zhǔn) ? 質(zhì)量檢查表 是用于測(cè)試程序中某些質(zhì)量特性是否存在的一個(gè)問題清單。 ? 評(píng)價(jià)者針對(duì)檢查表上的每一個(gè)問題，依據(jù)自己的定性判斷，回答“ Yes”或者“ No”。 ? 質(zhì)量測(cè)試 與 質(zhì)量標(biāo)準(zhǔn) 則用于定量分析和評(píng)價(jià)程序的質(zhì)量。 ? 由于許多質(zhì)量特性是相互抵觸的，要 考慮幾種不同的度量標(biāo)準(zhǔn) ，相應(yīng)地去度量不同的質(zhì)量特性。 1. 可理解性 ? 可理解性表明人們通過閱讀源代碼和相關(guān)文檔，了解程序功能及其如何運(yùn)行的容易程度。 ? 一個(gè)可理解的程序應(yīng)具備以下一些特性： 模塊化 ， 風(fēng)格一致性 ， 不使用令人捉摸不定或含糊不清的代碼 ，使用有意義的數(shù)據(jù)名和過程名 ， 結(jié)構(gòu)化 ， 完整性 等。 2. 可靠性 ? 可靠性表明一個(gè)程序按照用戶的要求和設(shè)計(jì)目標(biāo)，在給定的一段時(shí)間內(nèi)正確執(zhí)行的概率。 ? 關(guān)于可靠性，度量的標(biāo)準(zhǔn)主要有： – 平均失效間隔時(shí)間 MTTF – 平均修復(fù)時(shí)間 MTTR – 有效性 A = MTBD/(MTBD+MDT) 度量可靠性的方法 – 根據(jù)程序錯(cuò)誤統(tǒng)計(jì)數(shù)字，進(jìn)行可靠性預(yù)測(cè) 。常用方法是利用一些 可靠性模型 ， 根據(jù)程序測(cè)試時(shí)發(fā)現(xiàn)并排除的錯(cuò)誤數(shù)預(yù)測(cè)平均失效間隔時(shí)間 MTTF。 – 根據(jù)程序復(fù)雜性，預(yù)測(cè)軟件可靠性 。 用程序復(fù)雜性預(yù)測(cè)可靠性， 前提條件