【正文】 靠質(zhì)量檢驗(yàn)，一般檢查的是“真質(zhì)量”的質(zhì)量特性 。 ? 必須 在各開發(fā)階段對(duì)影響產(chǎn)品質(zhì)量的因素進(jìn)行切實(shí)的管理 ，認(rèn)真檢查實(shí)施落實(shí)情況。 ? 雖然各開發(fā)階段進(jìn)展穩(wěn)定，但由于工程能力不足，軟件產(chǎn)品不能滿足用戶要求的質(zhì)量。 ? 要以一定的標(biāo)準(zhǔn)檢驗(yàn)產(chǎn)品，根據(jù)產(chǎn)品的質(zhì)量特性，檢查各個(gè)過(guò)程的管理狀態(tài)。 ? 例如，如果在用戶處發(fā)現(xiàn)了軟件故障，產(chǎn)品服務(wù)部門 就應(yīng)聽取用戶的意見(jiàn)，再由 檢查部門 調(diào)查該產(chǎn)品的檢驗(yàn)結(jié)果，進(jìn)而還要調(diào)查軟件實(shí)現(xiàn)過(guò)程的狀況，并根據(jù)情況檢查設(shè)計(jì)是否有誤，不當(dāng)之處加以改進(jìn)，防止再次發(fā)生問(wèn)題。 ? 必須 明確反饋途徑 。 ? 必須 確定保證系統(tǒng)運(yùn)行的方法 、工具 、 有關(guān)文檔資料 ，以及 系統(tǒng)管理的規(guī)程和標(biāo)準(zhǔn) 。 ? 必須 不斷地總結(jié)系統(tǒng)管理的經(jīng)驗(yàn)教訓(xùn) ， 能夠修改系統(tǒng) 。 37 軟件質(zhì)量保證規(guī)程和技術(shù)準(zhǔn)則 ? 規(guī)定 在項(xiàng)目的哪個(gè)階段進(jìn)行評(píng)審及如何評(píng)審 ； ? 規(guī)定 在項(xiàng)目的哪個(gè)階段應(yīng)當(dāng)產(chǎn)生哪些報(bào)告和計(jì)劃 ； ? 規(guī)定 產(chǎn)品各方面測(cè)試應(yīng)達(dá)到的水平 。 ? 建立 ? 在各階段中執(zhí)行質(zhì)量評(píng)價(jià)的 質(zhì)量評(píng)價(jià)和質(zhì)量檢查系統(tǒng) ? 有效運(yùn)用質(zhì)量信息的 質(zhì)量信息系統(tǒng) ，并使其運(yùn)行。 ? 要求所有與軟件生存期有關(guān)的人員都要參加 ? 要求對(duì)產(chǎn)品形成的全過(guò)程進(jìn)行質(zhì)量管理 ? 這要求整個(gè)軟件部門齊心協(xié)力，不斷完善軟件的開發(fā)環(huán)境。 40 質(zhì)量目標(biāo)與度量 ? 為了開發(fā)高質(zhì)量的軟件，需要 明確軟件的功能 ， 明確軟件應(yīng)達(dá)到什么樣的質(zhì)量標(biāo)準(zhǔn) ，即 質(zhì)量目標(biāo) 。 ? 在做質(zhì)量評(píng)價(jià)時(shí)， 需要有對(duì)質(zhì)量進(jìn)行度量的準(zhǔn)則和方法 。 ? 客觀性： ? 經(jīng)濟(jì)性： 42 質(zhì)量保證活動(dòng)的實(shí)施步驟： ? Target：以用戶要求和開發(fā)方針為依據(jù)，對(duì)質(zhì)量需求準(zhǔn)則、質(zhì)量設(shè)計(jì)準(zhǔn)則的各質(zhì)量特性設(shè)定質(zhì)量目標(biāo)。研討實(shí)現(xiàn)質(zhì)量目標(biāo)的方法或手段。在接受質(zhì)量檢查前先做自我檢查 。 計(jì)算結(jié)果用質(zhì)量圖的形式表示 出來(lái)。 ? Action： 對(duì) 評(píng)價(jià)發(fā)現(xiàn)的問(wèn)題進(jìn)行改進(jìn)活動(dòng) ，如果實(shí)現(xiàn)并達(dá)到了質(zhì)量目標(biāo)就轉(zhuǎn)入下一個(gè)工程階段。 44 45 46 47 軟件的質(zhì)量設(shè)計(jì) ? 質(zhì)量特性轉(zhuǎn)換為軟件的內(nèi)部結(jié)構(gòu) ? 在 軟件定義階段 ， 必須定義對(duì)軟件的質(zhì)量需求 。 48 ? 為了實(shí)現(xiàn)規(guī)定的質(zhì)量特性，就需要把這些 質(zhì)量特性轉(zhuǎn)換為軟件的內(nèi)部結(jié)構(gòu)的特性 。 這些性能特性的累積就形成外部規(guī)格中的性能特性 。例如一個(gè)電子產(chǎn)品的壽命就是指該產(chǎn)品從出廠直到喪失使用價(jià)值的持續(xù)時(shí)間。 58 ? 從軟件用戶的角度來(lái)看，更關(guān)心的是 軟件在交付使用后的情況如何 。 ? 我們把 在使用期間軟件能夠正常工作的持續(xù)時(shí)間叫做軟件的使用壽命 。 ? 例如，有一個(gè)存在缺陷的編譯程序，當(dāng)用于學(xué)生做簡(jiǎn)單練習(xí)時(shí)， MTBF可能很長(zhǎng)。 ? MTBF可以看做是對(duì)軟件可靠性做估計(jì)的樣本數(shù)據(jù)，但不能看做是依據(jù)。在沒(méi)有特別加以說(shuō)明的情況下，這是一個(gè)泛用的、模糊的概念。 ? 在漢譯中，這些術(shù)語(yǔ)的使用更加混亂。這些缺陷可在生存期各個(gè)階段被引入。 ? 失效 (failure)： 對(duì)錯(cuò)誤不做任何修正和恢復(fù)， 導(dǎo)致系統(tǒng)的輸出不滿足用戶要求 ，稱為軟件的一次失效。 ? 它們可以理解為：設(shè)計(jì)者的失誤 ─導(dǎo)致系統(tǒng)中留有錯(cuò)誤的設(shè)計(jì) ──缺陷或“ 故障 ” (fault)，這些 故障 導(dǎo)致系統(tǒng)的錯(cuò)誤執(zhí)行 ──錯(cuò)誤 (error)，由于 錯(cuò)誤 導(dǎo)致系統(tǒng)的錯(cuò)誤輸出 ──失效 (failure)。只有當(dāng)軟件頻繁失效，或者公認(rèn)已經(jīng)“過(guò)時(shí)”了的時(shí)侯，軟件才被廢棄， 意味著當(dāng)前這一版本軟件使用壽命的終結(jié)。 ? 環(huán)境條件 ─指的是 軟件的使用環(huán)境 。這種失效的數(shù)據(jù)，不能用來(lái)度量軟件的可靠性。因 ? 具體要處理的問(wèn)題是多種多樣的 ? 其對(duì)應(yīng)的輸入環(huán)境是隨機(jī) ? 程序中相應(yīng)程序路徑的選取也是隨機(jī)的 ? 軟件的失效也是隨機(jī)的 ? 應(yīng)當(dāng)把運(yùn)行時(shí)間 t當(dāng)作隨機(jī)變量來(lái)考慮。一般從軟件需求分析說(shuō)明書和設(shè)計(jì)說(shuō)明書中可以了解這些情況。因此，還要明確 哪些失效是致命的 ， 哪些失效是非致命的 ， 哪些又是容易修復(fù)的 。 68 ? 成功地運(yùn)行程序 ─是指不僅程序能正確地運(yùn)行，滿足用戶對(duì)它的功能要求， 而且當(dāng)程序一旦受到意外的傷害，或系統(tǒng)故障時(shí)，能盡快恢復(fù)，仍能正常地運(yùn)行。 ? 推測(cè)錯(cuò)誤的產(chǎn)生頻度，即推測(cè)錯(cuò)誤產(chǎn)生的時(shí)間間隔 ? 推測(cè)殘留在程序中的錯(cuò)誤數(shù) ? 評(píng)價(jià)測(cè)試的精確度和覆蓋率 70 推測(cè)錯(cuò)誤的產(chǎn)生頻度 ? 估算錯(cuò)誤產(chǎn)生頻度的一種方法是估算平均失效等待時(shí)間 MTTF (Mean Time To Failure) ? MTTF估算公式 (Shooman模型 ) M T T F =IK E E tTT C( ( ))?71 E t E eT K t( ) ( )? ? ? ?1故障累積指數(shù)曲線模型 72 估算軟件中故障總數(shù) ET 的方法 利用 Shooman模型 估算程序中原來(lái)錯(cuò)誤總量 ET —瞬間估算 E ttKEIE tIE ttKEIE tIC TTCTC TTCT( ) ( )( ) ( )11122211? ? ???????? ? ???????M T T FM T T F1273 解此方程組 ?( ) ( )( ) ( )Et tt E t t E tE t E tTC CC C??? ? ?? ?2 12 1 1 21 2? ( )( ( ))KI E tt E E tT CT C??? ?11 174 利用最小二乘法進(jìn)行程序原有錯(cuò)誤數(shù)ET及 K的估算 ? 由失效率 ? 整理得 ? 若對(duì)程序進(jìn)行若干次不同的功能測(cè)試，可得到一系列實(shí)驗(yàn)數(shù)據(jù) ? ? ???????KEIE tITTcT( )E tIEI KcTTT( )? ??75 Ec ( ti ), ? ( ti ), i = 1, 2, …, n ? 令 ? 有 ? ? ?? ?1KaEIbE tItTTC iTi i i, ,( ), ( ) ? ? ?? ?i ia b i n? ? ?, , , , 1 2 ?76 ? 用最小二乘法解此方程組，可解出 a、 b的估計(jì)值 ? 最后得到 K, ET 的估計(jì)值 ??, ? ?KaE I bT T? ? ? ?1 利用植入故障法估算程序中原有故障總數(shù) ET ─ 捕獲－再捕獲抽樣法 77 ? 設(shè) Ns 是 在測(cè)試前人為地向程序中植入的故障數(shù) ， ns 是 經(jīng)過(guò)一段時(shí)間測(cè)試后發(fā)現(xiàn)的播種故障數(shù)目 ， n 是 在測(cè)試中又發(fā)現(xiàn)的程序原有故障數(shù) 。 79 ? 在大程序測(cè)試時(shí)，頭幾個(gè)月兩個(gè)測(cè)試員測(cè)試的結(jié)果應(yīng)當(dāng)比較接近， bi 不是很大 。如果 bi減小，或幾次估算值的結(jié)果相差不多，則 B0作為原有錯(cuò)誤總數(shù)的估算值。 ? 當(dāng) N一定時(shí)， b越大，在短期內(nèi)發(fā)現(xiàn)的故障越多。由于 ? 測(cè)試的不完全，在某些很難發(fā)現(xiàn)的故障未發(fā)現(xiàn)前就可能結(jié)束測(cè)試 ? 若程序中潛在的故障較少，則參數(shù) N的估計(jì)誤差較大 ? 因此，只用測(cè)試中累積發(fā)現(xiàn)的故障數(shù)來(lái)評(píng)價(jià)測(cè)試是不夠的。 83 ? SPQL (Software Product Quality Level) 用如下公式度量： SPQL ＝ Ac Cv ? 其中， Ac (Test Accuracy) 是 測(cè)試的