【正文】 據(jù)的對(duì)應(yīng)關(guān)系 ? 評(píng)價(jià)準(zhǔn)則 ? 所有邏輯數(shù)據(jù)都與物理數(shù)據(jù)對(duì)應(yīng) ? 對(duì)應(yīng)于一個(gè)物理數(shù)據(jù)的邏輯數(shù)據(jù)數(shù)（以一對(duì)一為好） 55 ? 結(jié)構(gòu)特性 功能與模塊的對(duì)應(yīng)關(guān)系 ? 評(píng)價(jià)準(zhǔn)則 ? 所有功能都與模塊對(duì)應(yīng) ? 對(duì)應(yīng)模塊的功能個(gè)數(shù)（以一對(duì) 一為好） 56 軟件可靠性 ? 軟件生存期與軟件壽命的關(guān)系 ? 在軟件工程中常用的定義 ? 軟件可靠性定義 ? 測(cè)試中的可靠性分析 ? 測(cè)試精確度和測(cè)試覆蓋度的評(píng)價(jià) 57 軟件生存期與軟件壽命的關(guān)系 ? 一切有生命的東西都有一個(gè)“ 壽命 ” ? 這個(gè)概念也可以延伸到對(duì)非生命產(chǎn)品的質(zhì)量評(píng)價(jià)上來(lái)。 ? 希望用一個(gè)指標(biāo) 平均失效間隔時(shí)間 MTBF(MeanTime Between Failure) 來(lái)表明，在規(guī)定的要求和條件下，能在多大的程度上依賴(lài)這個(gè)軟件來(lái)完成任務(wù)。而做一個(gè)大的課題時(shí)，由于程序連續(xù)出錯(cuò)， MTBF就會(huì)變得很短。 ? 它指的可能是 bug(設(shè)計(jì)中的差錯(cuò) )、 fault(故障 )、 error(錯(cuò)誤 )、 failure(失效 )、crash(重大事故 )、 problem(疑問(wèn) )等。 ? 錯(cuò)誤 (error)： 故障在一定的環(huán)境條件下的暴露 ，導(dǎo)致系統(tǒng)在運(yùn)行中出現(xiàn)了不正常、不正確、不按規(guī)范執(zhí)行的狀態(tài)，稱(chēng)為軟件出錯(cuò)。 63 ? 故障是物理地或靜態(tài)地存在的 ? 失誤、錯(cuò)誤和失效都是系統(tǒng)的一種動(dòng)態(tài)的轉(zhuǎn)瞬即逝的現(xiàn)象 ? 軟件發(fā)生失效標(biāo)志著軟件一次使用壽命的結(jié)束 ? 發(fā)生過(guò)失效的軟件通常仍然是可用的。無(wú)論是什么軟件，如果不對(duì)它的使用環(huán)境加以限制，都是會(huì)失效的。 67 ? 規(guī)定的功能 ─在考慮軟件可靠性時(shí)，首先應(yīng)當(dāng)明確 軟件的功能是什么 ， 哪些功能是主要的 ， 哪些功能是次要的 。此外，還要明確， 怎樣才算是完成了一個(gè)規(guī)定的功能 。設(shè) 測(cè)試用例發(fā)現(xiàn)植入故障和原有故障的能力相同 ，則 程序中原有故障總數(shù) N ( =ET )估算值為 NNnnss?78 Hyman分別測(cè)試法 ? 由兩個(gè)測(cè)試員同時(shí)互相獨(dú)立地測(cè)試同一程序的兩個(gè)副本，用 t 表示 測(cè)試時(shí)間 ，記 t＝ 0時(shí)， 程序中原有故障總數(shù)是 B0；t＝ t1 時(shí)， 測(cè)試員甲發(fā)現(xiàn)的故障總數(shù)是 B1； 測(cè)試員乙發(fā)現(xiàn)的故障總數(shù)是 B2；其中兩人發(fā)現(xiàn)的 相同故障數(shù)目是 bc；兩人發(fā)現(xiàn)的 不同故障數(shù)目是 bi。 B B Bbc01 2? ?80 測(cè)試精確度和測(cè)試覆蓋度的評(píng)價(jià) ? 在軟件測(cè)試過(guò)程中累積發(fā)現(xiàn)的故障數(shù)，可用帶有平均值函數(shù) m(t) 的非齊次泊松過(guò)程 (NHPP)來(lái)描述： ? 其中， N是在測(cè)試中可能發(fā)現(xiàn)的故障總數(shù)， b是故障發(fā)現(xiàn)率。需要從測(cè)試的 量的方面 和 質(zhì)的方面 ，全面地評(píng)價(jià)測(cè)試。 ? 測(cè)定 Ac，需要預(yù)先植入播種故障，然后通過(guò)測(cè)試，根據(jù)播種故障的捕捉率來(lái)推測(cè)原有故障的捕獲率。 89 ? 測(cè)試過(guò)程中 已發(fā)現(xiàn)原有故障總數(shù) 為 n0(實(shí)測(cè)值 )，經(jīng)過(guò)相當(dāng)長(zhǎng)時(shí)間測(cè)試后 可能發(fā)現(xiàn)的原有故障總數(shù) 為 N0， ? 采用平均值函數(shù) m(t)的 NHPP模型 描述測(cè)試發(fā)現(xiàn)原有故障的過(guò)程 ? m(t)的收斂值 m(?)＝ Nc ? 測(cè)試覆蓋率 Cv的推測(cè)值 ： Cv =nNnmnNc000 0???( )90 ? 測(cè)試開(kāi)始后，由于測(cè)試員對(duì)程序和測(cè)試環(huán)境不熟悉，造成拖期。 實(shí)測(cè)結(jié)果多是如 (B)所示的 S型曲線(xiàn) 。 ? 配置管理是一組標(biāo)識(shí)、組織和控制修改的活動(dòng)，目的是使錯(cuò)誤達(dá)到最小并最有效地提高生產(chǎn)率。 ? 軟件配置是軟件的具體形態(tài)在某一時(shí)刻的瞬時(shí)影像。 97 基線(xiàn) (Baseline) ? 基線(xiàn)是軟件生存期中各開(kāi)發(fā)階段末尾的特定點(diǎn)，又稱(chēng)里程碑。 ? 當(dāng)軟件組織成員想要 對(duì)基線(xiàn) SCI進(jìn)行修改時(shí) ， 把它從項(xiàng)目數(shù)據(jù)庫(kù)中復(fù)制到該工程師的專(zhuān)用工作區(qū)中 。來(lái)更新 B。 ? 系統(tǒng)規(guī)格說(shuō)明 ? 軟件項(xiàng)目實(shí)施計(jì)劃 ? 軟件需求說(shuō)明 ? 可執(zhí)行的原型 ? 初步的用戶(hù)手冊(cè) ? 設(shè)計(jì)規(guī)格說(shuō)明 103 ? 源代碼清單 ? 測(cè)試計(jì)劃和過(guò)程、測(cè)試用例和測(cè)試結(jié)果記錄 ? 操作和安裝手冊(cè) ? 可執(zhí)行程序（可執(zhí)行程序模塊、連接模塊） ? 數(shù)據(jù)庫(kù)描述（模式和文件結(jié)構(gòu)、初始內(nèi)容） ? 正式的用戶(hù)手冊(cè) ? 維護(hù)文檔（軟件問(wèn)題報(bào)告、維護(hù)請(qǐng)求、工程變更次序） 104 ? 軟件工程標(biāo)準(zhǔn) ? 項(xiàng)目開(kāi)發(fā)總結(jié) ? 除以上所列 SCI以外，許多軟件工程組織還把 配置控制之下的軟件工具 列入其中，即 編輯程序 、 編譯程序 、 其它CASE工具的特定版本 。 ? 每個(gè)對(duì)象與其它對(duì)象的聯(lián)系用箭頭表示。 108 軟件配置管理的任務(wù) ? 軟件配置管理（ SCM）的任務(wù)是： ? 標(biāo)識(shí)單個(gè)的 SCI ? 標(biāo)識(shí)和管理軟件各種版本 ? 控制變更 ? 審查軟件配置 ? 報(bào)告所有加在配置上的變更。 110 對(duì)象類(lèi)型 ? 基本對(duì)象 ： 是由軟件工程師在分析、設(shè)計(jì)、編碼和測(cè)試時(shí)所建立的 文本單元 。 ? 對(duì)象 描述 包括： SCI類(lèi)型 （如文檔、程序、數(shù)據(jù)）、 項(xiàng)目標(biāo)識(shí) 、 變更 和／或 版本信息 。 ER diagram is part of data model。這些交叉的結(jié)構(gòu)聯(lián)系表達(dá)方式如下： data model interrelated data flow model。 ? 對(duì)于每一配置對(duì)象都可以建立一個(gè)演變圖 ，用演變圖記敘對(duì)象的 變更歷史 。 ? 版本控制管理在軟件工程過(guò)程中建立起配置對(duì)象的不同版本 。 118 119 ? 圖中的各個(gè)結(jié)點(diǎn)都是 聚合對(duì)象 ，是一個(gè)完全的軟件版本 。因此，可以定義版本的兩個(gè)變種。 ? 任何版本都可以隨時(shí)檢出編輯，同一應(yīng)用的不同版本可以像樹(shù)枝一樣向上增長(zhǎng)。 125 ? 在文件登入和檢出時(shí)，需要注意登入和檢出的使用 : ? 當(dāng)需要修改某個(gè)小缺陷時(shí)，應(yīng) 只檢出完成工作必需的最少文件 ； ? 需要對(duì)文件變更時(shí)，應(yīng)登入它并加鎖 ， 保留對(duì)每個(gè)變更的記錄 ； ? 應(yīng)避免長(zhǎng)時(shí)間地鎖定文件。 ? 軟件工程過(guò)程中 某一階段的變更 ，均要引起軟件配置的變更 ，這種變更必須嚴(yán)格加以 控制 和 管理 ，保持修改信息。但是，如果發(fā)現(xiàn)錯(cuò)誤的階段在造成錯(cuò)誤的階段的后面，例如在實(shí)現(xiàn)階段發(fā)現(xiàn)了設(shè)計(jì)錯(cuò)誤，則必須遵照標(biāo)準(zhǔn)的變更控制過(guò)程，把這個(gè)變更正式記入文檔，把所有受這個(gè)變更影響的文檔都做相應(yīng)的修改。 134 ? 如果變更的代價(jià)比較高，或者影響比較大，則必須權(quán)衡利弊，以決定是否進(jìn)行這種變更。 ? 在一個(gè) SCI成為基線(xiàn)之前，可以對(duì)所有合理的項(xiàng)目和技術(shù)申請(qǐng)進(jìn)行非正式的變更； ? 一旦某個(gè) SCI經(jīng)過(guò)正式的技術(shù)評(píng)審并得到批準(zhǔn)，它就成了基線(xiàn)。 ? 登錄主要 根據(jù)變更控制小組會(huì)議的記錄 ，并產(chǎn)生 配置狀態(tài)報(bào)告 。此外在軟件配置報(bào)告中新登錄的變更應(yīng)當(dāng)及時(shí)通知給管理人員和軟件工程師。 ? 軟件配置審計(jì)的目的就是要 ? 證實(shí)整個(gè)軟件生存期中各項(xiàng)產(chǎn)品在技術(shù)上和管理上的完整性。 ? 軟件的變更控制機(jī)制通常只能跟蹤到工程變更順序產(chǎn)生為止。 。 ? 正式技術(shù)評(píng)審應(yīng)對(duì)所有的變更進(jìn)行，除了那些最無(wú)價(jià)值的變更之外。使得軟件配置具有良好的可跟蹤性。避免了可能出現(xiàn)的不一致和沖突。 ? 一旦進(jìn)行了配置審計(jì)，其結(jié)果也應(yīng)該寫(xiě)入報(bào)告之中。 136 配置狀態(tài)報(bào)告 ? 為了清楚、及時(shí)地記載軟件配置的變化，需要 對(duì)開(kāi)發(fā)的過(guò)程做出系統(tǒng)的記錄 ，以反映開(kāi)發(fā)活動(dòng)的歷史情況。 如果是用戶(hù)要求的變更，則用戶(hù)應(yīng)支付這筆費(fèi)用；否則，必須完成某種成本／效益分析，以確定是否值得做這種變更。這類(lèi)變更必須經(jīng)過(guò)某種正式的變更評(píng)價(jià)過(guò)程，以估計(jì)變更需要的成本和它對(duì)軟件系統(tǒng)其它部分的影響。 128 變更控制