第1章軟件質(zhì)量保證ppt課件

1、第16章 軟件質(zhì)量保證 第16章 軟件質(zhì)量保證 16.1 軟件質(zhì)量與軟件質(zhì)量與SQA 16.2 軟件復(fù)審軟件復(fù)審 16.3 正式的技術(shù)復(fù)審正式的技術(shù)復(fù)審 16.4 基于統(tǒng)計(jì)的質(zhì)量保證基于統(tǒng)計(jì)的質(zhì)量保證16.5 軟件可靠性軟件可靠性 16.6 SQA方案方案 16.7 小結(jié)小結(jié) 第16章 軟件質(zhì)量保證 16.1 軟件質(zhì)量與軟件質(zhì)量與SQA16.1.1 軟件質(zhì)量軟件質(zhì)量 在在ANSI / IEEE的的729-1983號(hào)規(guī)范中定義軟件質(zhì)量為：號(hào)規(guī)范中定義軟件質(zhì)量為：“與軟與軟件產(chǎn)品滿足規(guī)定和隱含需求的才干有關(guān)的全體特征件產(chǎn)品滿足規(guī)定和隱含需求的才干有關(guān)的全體特征(或特性或特性)。 為滿足軟件的各項(xiàng)規(guī)

2、定的或隱含的功能、性能需求，符合為滿足軟件的各項(xiàng)規(guī)定的或隱含的功能、性能需求，符合文檔化開(kāi)發(fā)規(guī)范，就需求相應(yīng)地設(shè)計(jì)出一些質(zhì)量特性及其組文檔化開(kāi)發(fā)規(guī)范，就需求相應(yīng)地設(shè)計(jì)出一些質(zhì)量特性及其組合合質(zhì)量目的，作為在軟件開(kāi)發(fā)與維護(hù)中的重要思索要素。質(zhì)量目的，作為在軟件開(kāi)發(fā)與維護(hù)中的重要思索要素。假設(shè)這些質(zhì)量特性及其組合都能在產(chǎn)品中得到滿足，那么這個(gè)假設(shè)這些質(zhì)量特性及其組合都能在產(chǎn)品中得到滿足，那么這個(gè)軟件產(chǎn)品的質(zhì)量就是高的。這些被定義出來(lái)的特性及其組合就軟件產(chǎn)品的質(zhì)量就是高的。這些被定義出來(lái)的特性及其組合就稱之為軟件的稱之為軟件的“質(zhì)量目的。質(zhì)量目的。第16章 軟件質(zhì)量保證 從上述軟件質(zhì)量的定義中，反映

3、出了以下三個(gè)方面的問(wèn)題。 (1) 軟件需求是度量軟件質(zhì)量的根底。不符合需求的軟件就不具備質(zhì)量。 (2) 軟件人員必需遵照軟件過(guò)程規(guī)范，用工程化的方法來(lái)開(kāi)發(fā)軟件。假設(shè)不遵守這些規(guī)程，軟件質(zhì)量就沒(méi)有保證。 (3) 往往會(huì)有一些隱含的需求沒(méi)有明確地提出來(lái)。假設(shè)軟件只是滿足那些規(guī)定的需求而不能夠滿足那些能夠存在的隱含需求，軟件質(zhì)量也不能保證。第16章 軟件質(zhì)量保證 軟件質(zhì)量是各種特性的復(fù)雜組合，它隨著運(yùn)用的不同而不同，隨著用戶提出的質(zhì)量要求不同而不同。在計(jì)算機(jī)開(kāi)展的早期(20世紀(jì)50和60年代)，軟件質(zhì)量保證任務(wù)曾經(jīng)只由程序員來(lái)承當(dāng)。20世紀(jì)70年代，美國(guó)軍方在軟件開(kāi)發(fā)合同中首先提出了軟件質(zhì)量保證的規(guī)

4、范，提出了軟件質(zhì)量保證活動(dòng)的定義是為了保證軟件質(zhì)量而必需的“有方案的和系統(tǒng)化的行動(dòng)方式這一觀念。這一定義的含義是要求在一個(gè)組織中該當(dāng)由多個(gè)機(jī)構(gòu)共同協(xié)作，承當(dāng)保證軟件質(zhì)量的責(zé)任。包括軟件工程師、工程管理者、客戶、銷售人員和SQA小組的人員。 第16章 軟件質(zhì)量保證 SQA小組是軟件開(kāi)發(fā)組織中獨(dú)立于任何工程組的專職質(zhì)量保證組織。他們以客戶的觀念來(lái)對(duì)待軟件，經(jīng)過(guò)本人的任務(wù)來(lái)回答軟件能否滿足各項(xiàng)質(zhì)量目的、軟件開(kāi)發(fā)能否按照預(yù)先設(shè)定的規(guī)范進(jìn)展、作為SQA活動(dòng)一部分的技術(shù)規(guī)程能否恰當(dāng)?shù)匕l(fā)揚(yáng)了作用等問(wèn)題。換句話說(shuō)，SQA針對(duì)任務(wù)過(guò)程與規(guī)范的符合性、任務(wù)產(chǎn)品與規(guī)范的符合性進(jìn)展審核與審查。第16章 軟件質(zhì)量保證

5、16.1.2 SQA活動(dòng)活動(dòng) 軟件質(zhì)量保證活動(dòng)由各種義務(wù)構(gòu)成。這些義務(wù)分別和從事軟件質(zhì)量保證活動(dòng)由各種義務(wù)構(gòu)成。這些義務(wù)分別和從事技術(shù)任務(wù)的軟件工程師和擔(dān)任對(duì)質(zhì)量保證活動(dòng)進(jìn)展方案、監(jiān)視、技術(shù)任務(wù)的軟件工程師和擔(dān)任對(duì)質(zhì)量保證活動(dòng)進(jìn)展方案、監(jiān)視、記錄、分析、報(bào)告任務(wù)的專職記錄、分析、報(bào)告任務(wù)的專職SQA小組成員相關(guān)。小組成員相關(guān)。 軟件工程師經(jīng)過(guò)采用可靠的技術(shù)方法和措施，進(jìn)展正式的技軟件工程師經(jīng)過(guò)采用可靠的技術(shù)方法和措施，進(jìn)展正式的技術(shù)復(fù)審，執(zhí)行方案縝密的軟件測(cè)試來(lái)思索軟件質(zhì)量問(wèn)題并保證術(shù)復(fù)審，執(zhí)行方案縝密的軟件測(cè)試來(lái)思索軟件質(zhì)量問(wèn)題并保證軟件質(zhì)量；軟件質(zhì)量；SQA小組的職責(zé)是輔助軟件工程小組得到

6、高質(zhì)量的小組的職責(zé)是輔助軟件工程小組得到高質(zhì)量的最終產(chǎn)品。最終產(chǎn)品。SEI引薦了一組有關(guān)軟件質(zhì)量保證活動(dòng)中的方案、監(jiān)引薦了一組有關(guān)軟件質(zhì)量保證活動(dòng)中的方案、監(jiān)視、記錄分析及報(bào)告的視、記錄分析及報(bào)告的SQA活動(dòng)。這些活動(dòng)由一個(gè)獨(dú)立的活動(dòng)。這些活動(dòng)由一個(gè)獨(dú)立的SQA小組執(zhí)行。按照小組執(zhí)行。按照SEI的建議，詳細(xì)的的建議，詳細(xì)的SQA活動(dòng)該當(dāng)包括：活動(dòng)該當(dāng)包括：第16章 軟件質(zhì)量保證 (1) 為工程預(yù)備SQA方案：該方案在制定工程開(kāi)發(fā)方案時(shí)制定，由一切對(duì)質(zhì)量感興趣的相關(guān)部門復(fù)審。該方案將控制由軟件工程小組和SQA小組執(zhí)行的軟件質(zhì)量保證活動(dòng)。在SQA方案中，該當(dāng)包含：需求進(jìn)展的評(píng)價(jià)；需求進(jìn)展的審查和復(fù)

7、審；工程可以采用的規(guī)范；錯(cuò)誤報(bào)告和跟蹤過(guò)程；由SQA小組產(chǎn)生的文檔目錄；為軟件工程組提供的反響數(shù)據(jù)種類。 (2) 參與開(kāi)發(fā)該工程的軟件過(guò)程：軟件工程小組為將要進(jìn)展的任務(wù)選擇一個(gè)工程過(guò)程。SQA小組將復(fù)審過(guò)程闡明，以保證該過(guò)程與組織政策、內(nèi)部軟件規(guī)范、外部規(guī)范以及軟件開(kāi)發(fā)方案的其他部分相符合。 第16章 軟件質(zhì)量保證 (3) 復(fù)審各項(xiàng)軟件工程活動(dòng)：對(duì)工程活動(dòng)能否符合定義好的軟件工程過(guò)程進(jìn)展核實(shí)。SQA小組識(shí)別、記錄和跟蹤實(shí)踐任務(wù)與已定義過(guò)程之間的偏向，提出報(bào)告要求矯正的地方并對(duì)能否曾經(jīng)矯正進(jìn)展跟蹤與核實(shí)。 (4) 審查指定的軟件任務(wù)產(chǎn)品，對(duì)其能否符合定義好的軟件工程過(guò)程中的相應(yīng)部分進(jìn)展核實(shí)。SQ

8、A小組要對(duì)選出的產(chǎn)品進(jìn)展復(fù)審，識(shí)別、記錄和跟蹤產(chǎn)品與過(guò)程規(guī)定的偏向，并對(duì)能否曾經(jīng)矯正進(jìn)展跟蹤核實(shí)。定期地將任務(wù)結(jié)果向工程管理者報(bào)告。 第16章 軟件質(zhì)量保證 (5) 確保軟件任務(wù)及任務(wù)產(chǎn)品中的偏向已記錄在案，并按照預(yù)定規(guī)程進(jìn)展處置。偏向能夠出如今工程方案、過(guò)程描畫、采用的規(guī)范或技術(shù)任務(wù)產(chǎn)品中。 (6) 記錄一切的不符合部分，并報(bào)告給高級(jí)管理者，對(duì)不符合部分進(jìn)展跟蹤，直到問(wèn)題得到處理。 此外，SQA小組還要協(xié)調(diào)變卦的控制和管理，并協(xié)助搜集工程度量信息。第16章 軟件質(zhì)量保證 16.2 軟軟 件件 復(fù)復(fù) 審審16.2.1 軟件復(fù)審軟件復(fù)審 軟件復(fù)審是軟件工程過(guò)程中濾除缺陷的軟件復(fù)審是軟件工程過(guò)程中

9、濾除缺陷的“過(guò)濾器。在軟件過(guò)濾器。在軟件工程開(kāi)發(fā)過(guò)程中的多個(gè)不同的點(diǎn)上，軟件復(fù)審活動(dòng)可以起到及早工程開(kāi)發(fā)過(guò)程中的多個(gè)不同的點(diǎn)上，軟件復(fù)審活動(dòng)可以起到及早發(fā)現(xiàn)錯(cuò)誤進(jìn)而引發(fā)排錯(cuò)活動(dòng)的作用。軟件復(fù)審的目的是盡能夠多發(fā)現(xiàn)錯(cuò)誤進(jìn)而引發(fā)排錯(cuò)活動(dòng)的作用。軟件復(fù)審的目的是盡能夠多地發(fā)現(xiàn)被復(fù)審對(duì)象中的缺陷，起到地發(fā)現(xiàn)被復(fù)審對(duì)象中的缺陷，起到“凈化任務(wù)產(chǎn)品的作用。由凈化任務(wù)產(chǎn)品的作用。由于我們發(fā)現(xiàn)他人消費(fèi)的任務(wù)產(chǎn)品中的缺陷比發(fā)現(xiàn)本人的缺陷要容于我們發(fā)現(xiàn)他人消費(fèi)的任務(wù)產(chǎn)品中的缺陷比發(fā)現(xiàn)本人的缺陷要容易，所以復(fù)審該當(dāng)在不同的工程師之間進(jìn)展。任何一次復(fù)審都是易，所以復(fù)審該當(dāng)在不同的工程師之間進(jìn)展。任何一次復(fù)審都是借助人

10、的差別性來(lái)到達(dá)目的的活動(dòng)，它的目的包括：借助人的差別性來(lái)到達(dá)目的的活動(dòng)，它的目的包括：第16章 軟件質(zhì)量保證 (1) 指出一個(gè)人或一個(gè)小組消費(fèi)的產(chǎn)品所需進(jìn)展的改良。 (2) 確定被審核產(chǎn)品中不需求或者不希望改良的部分。 (3) 得到與未復(fù)審時(shí)相比更加一致，至少更可預(yù)測(cè)的技術(shù)任務(wù)的質(zhì)量，從而使得技術(shù)任務(wù)更可管理。 復(fù)審的方式很多，包括非正式的復(fù)審、正式的同行評(píng)審、管理復(fù)審等等。 第16章 軟件質(zhì)量保證 16.2.2 軟件缺陷對(duì)本錢的影響軟件缺陷對(duì)本錢的影響 在軟件工程活動(dòng)中，在軟件工程活動(dòng)中，“缺陷是指在軟件交付給最終用戶后缺陷是指在軟件交付給最終用戶后發(fā)現(xiàn)的質(zhì)量問(wèn)題；而發(fā)現(xiàn)的質(zhì)量問(wèn)題；而“錯(cuò)誤

11、描畫在軟件交付前由軟件工程師發(fā)錯(cuò)誤描畫在軟件交付前由軟件工程師發(fā)現(xiàn)的質(zhì)量問(wèn)題。很明顯，缺陷帶來(lái)的危害遠(yuǎn)大于現(xiàn)的質(zhì)量問(wèn)題。很明顯，缺陷帶來(lái)的危害遠(yuǎn)大于“錯(cuò)誤帶來(lái)的錯(cuò)誤帶來(lái)的影響。因此，正式技術(shù)復(fù)審的主要目的就是在復(fù)審過(guò)程中發(fā)現(xiàn)影響。因此，正式技術(shù)復(fù)審的主要目的就是在復(fù)審過(guò)程中發(fā)現(xiàn)錯(cuò)誤，以便潛在的缺陷在交付之前變成錯(cuò)誤，以便潛在的缺陷在交付之前變成“錯(cuò)誤并得到糾正。正錯(cuò)誤并得到糾正。正式技術(shù)復(fù)審的明顯優(yōu)點(diǎn)就是可以較早發(fā)現(xiàn)錯(cuò)誤，防止錯(cuò)誤傳播式技術(shù)復(fù)審的明顯優(yōu)點(diǎn)就是可以較早發(fā)現(xiàn)錯(cuò)誤，防止錯(cuò)誤傳播到軟件過(guò)程的后繼階段。到軟件過(guò)程的后繼階段?！氨M早發(fā)現(xiàn)錯(cuò)誤是我們的追求，由于盡早發(fā)現(xiàn)錯(cuò)誤是我們的追求，由于同

12、樣的錯(cuò)誤對(duì)本錢和工期產(chǎn)生的影響與發(fā)現(xiàn)錯(cuò)誤、矯正錯(cuò)誤的同樣的錯(cuò)誤對(duì)本錢和工期產(chǎn)生的影響與發(fā)現(xiàn)錯(cuò)誤、矯正錯(cuò)誤的時(shí)間是親密相關(guān)的。時(shí)間是親密相關(guān)的。第16章 軟件質(zhì)量保證 大量的研討闡明，設(shè)計(jì)活動(dòng)引入的錯(cuò)誤占軟件過(guò)程中出現(xiàn)的一切錯(cuò)誤和最終缺陷數(shù)量的50%70%。而近期的研討闡明，正式的技術(shù)復(fù)審在發(fā)現(xiàn)設(shè)計(jì)錯(cuò)誤方面有最高到達(dá)75%的有效性。由于可以經(jīng)過(guò)復(fù)審檢測(cè)和排除大量的設(shè)計(jì)錯(cuò)誤，復(fù)審過(guò)程將可望極大地降低后繼開(kāi)發(fā)和維護(hù)階段的任務(wù)本錢。根據(jù)從多個(gè)大型工程中采集的數(shù)聽(tīng)闡明，假設(shè)在設(shè)計(jì)階段發(fā)現(xiàn)的一個(gè)錯(cuò)誤的矯正本錢是1個(gè)貨幣單位，那么在測(cè)試之前發(fā)現(xiàn)的一個(gè)錯(cuò)誤的矯正本錢就是6.5個(gè)貨幣單位，在測(cè)試時(shí)發(fā)現(xiàn)一個(gè)錯(cuò)誤的

13、矯正本錢變成15個(gè)貨幣單位，而在發(fā)布之后，改良一處缺陷的本錢到達(dá)60100個(gè)貨幣單位。因此，盡能夠早地發(fā)現(xiàn)錯(cuò)誤，是降低軟件錯(cuò)誤/缺陷對(duì)工程本錢影響的有效途徑。第16章 軟件質(zhì)量保證 16.2.3 缺陷的放大和消除缺陷的放大和消除 可以用可以用“缺陷放大模型來(lái)闡明及時(shí)的復(fù)審在軟件工程中缺陷放大模型來(lái)闡明及時(shí)的復(fù)審在軟件工程中的作用的作用(如圖如圖16.1所示所示)。圖中，方塊表示一個(gè)開(kāi)發(fā)步驟，能夠。圖中，方塊表示一個(gè)開(kāi)發(fā)步驟，能夠因忽略而產(chǎn)生錯(cuò)誤。復(fù)審過(guò)程能夠沒(méi)有完全發(fā)現(xiàn)來(lái)自此步驟之因忽略而產(chǎn)生錯(cuò)誤。復(fù)審過(guò)程能夠沒(méi)有完全發(fā)現(xiàn)來(lái)自此步驟之前的和新發(fā)生的一切錯(cuò)誤。從而能夠在本階段前的和新發(fā)生的一切錯(cuò)

14、誤。從而能夠在本階段“承繼了一些承繼了一些錯(cuò)誤，并將一部分錯(cuò)誤引入下一階段。其中，一部分來(lái)自前一錯(cuò)誤，并將一部分錯(cuò)誤引入下一階段。其中，一部分來(lái)自前一階段的錯(cuò)誤能夠會(huì)誤導(dǎo)本階段的任務(wù)，導(dǎo)致在錯(cuò)誤的根底上產(chǎn)階段的錯(cuò)誤能夠會(huì)誤導(dǎo)本階段的任務(wù)，導(dǎo)致在錯(cuò)誤的根底上產(chǎn)生更多的錯(cuò)誤，構(gòu)成錯(cuò)誤的生更多的錯(cuò)誤，構(gòu)成錯(cuò)誤的“放大效應(yīng)。放大效應(yīng)。第16章 軟件質(zhì)量保證 圖16.1 缺陷的放大模型通過(guò)的錯(cuò)誤放大的錯(cuò)誤1：X新產(chǎn)生的錯(cuò)誤錯(cuò)誤檢測(cè)有效性百分比缺陷檢測(cè)開(kāi)發(fā)步驟來(lái)自以前步驟的錯(cuò)誤傳遞給下一步驟的錯(cuò)誤第16章 軟件質(zhì)量保證 圖16.2是一個(gè)沒(méi)有進(jìn)展技術(shù)復(fù)審的軟件開(kāi)發(fā)過(guò)程中缺陷放大的例子。樂(lè)觀地想象，在每一個(gè)測(cè)

15、試步驟都可以發(fā)現(xiàn)并矯正50%的輸入錯(cuò)誤，而又不引入新的錯(cuò)誤。在圖中明顯地看到，最初在概要設(shè)計(jì)階段產(chǎn)生的10個(gè)錯(cuò)誤，到集成測(cè)試之前曾經(jīng)放大成為94個(gè)。12個(gè)隱藏的缺陷將隨著軟件的發(fā)布分散到用戶處。表16.1是無(wú)復(fù)審情況下缺陷放大數(shù)據(jù)及因此添加的本錢數(shù)據(jù)。第16章 軟件質(zhì)量保證 圖16.2 缺陷的放大無(wú)復(fù)審00100%概要設(shè)計(jì)10646 41.5 X1.5250%詳細(xì)設(shè)計(jì)3710 273 X32620%編碼/單元測(cè)試94到集成0050%集成測(cè)試470050%確認(rèn)測(cè)試240050%系統(tǒng)測(cè)試12隱藏的錯(cuò)誤941027第16章 軟件質(zhì)量保證 表表16.1 無(wú)復(fù)審情況下軟件缺陷對(duì)本錢的影響無(wú)復(fù)審情況下軟件

16、缺陷對(duì)本錢的影響錯(cuò)誤發(fā)現(xiàn)時(shí)機(jī)缺陷數(shù)量本錢單位本錢總計(jì)測(cè)試之前226.5143測(cè)試期間82151230發(fā)布之后1267804缺陷總本錢 2177第16章 軟件質(zhì)量保證 從圖16.3中可以看到，只需在每個(gè)工程階段都進(jìn)展復(fù)審任務(wù)，就可以有效地遏制缺陷放大的勢(shì)頭，從而減少缺陷對(duì)本錢的影響。在概要設(shè)計(jì)階段同樣是10個(gè)錯(cuò)誤，到集成測(cè)試時(shí)僅擴(kuò)展為24個(gè)，最終輸出到用戶處的缺陷只需三個(gè)。表16.2是有復(fù)審情況下缺陷 數(shù)據(jù)及因此添加的本錢數(shù)據(jù)。 從上例中可以明晰地看出，實(shí)行復(fù)審可以及早地發(fā)現(xiàn)大部分錯(cuò)誤，極大地減少交付產(chǎn)品中的缺陷數(shù)，降低因修正缺陷帶來(lái)的本錢。當(dāng)然，為了進(jìn)展復(fù)審，開(kāi)發(fā)人員也必需投入任務(wù)量，也就是說(shuō)

17、，組織必需為復(fù)審支付本錢。但復(fù)審添加的本錢和因進(jìn)展了復(fù)審而降低的糾正錯(cuò)誤和缺陷的本錢相比，是相當(dāng)?shù)偷?。因此，軟件開(kāi)發(fā)組織該當(dāng)在各個(gè)任務(wù)階段上組織進(jìn)展有效的復(fù)審，以便消除缺陷，減少缺陷本錢，保證軟件質(zhì)量。第16章 軟件質(zhì)量保證 圖16.3 缺陷的放大有復(fù)審001070%概要設(shè)計(jì)3212 11.5 X1.52555%詳細(xì)設(shè)計(jì)155 103 X32560%編碼/單元測(cè)試24到集成0050%集成測(cè)試120050%確認(rèn)測(cè)試60050%系統(tǒng)測(cè)試3隱藏的錯(cuò)誤24510第16章 軟件質(zhì)量保證 表表16.2 有復(fù)審情況下軟件缺陷對(duì)本錢的影響有復(fù)審情況下軟件缺陷對(duì)本錢的影響錯(cuò)誤發(fā)現(xiàn)時(shí)機(jī)缺陷數(shù)量本錢單位本錢總計(jì)設(shè)計(jì)

18、期間221.533測(cè)試之前366.5234測(cè)試期間1515315發(fā)布之后367201缺陷總本錢 783第16章 軟件質(zhì)量保證 16.3 正式的技術(shù)復(fù)審正式的技術(shù)復(fù)審 正式技術(shù)復(fù)審(FTR)是一種由技術(shù)工程師進(jìn)展的軟件質(zhì)量保證活動(dòng)。FTR的目的是： (1) 在軟件的任何一種表示方式中發(fā)現(xiàn)功能、邏輯或?qū)崿F(xiàn)上的錯(cuò)誤。 (2) 證明經(jīng)過(guò)復(fù)審的軟件確實(shí)滿足需求。 (3) 保證軟件的表示符合預(yù)定義的規(guī)范。 (4) 得到一種以一致的方式開(kāi)發(fā)的軟件。第16章 軟件質(zhì)量保證 (5) 使工程更加容易管理。由于FTR的進(jìn)展使大量人員對(duì)軟件系統(tǒng)中本來(lái)并不熟習(xí)的部分更加了解，因此，F(xiàn)TR還起到了提高工程延續(xù)性和培訓(xùn)后備

19、人員的作用。 FTR實(shí)踐上是一類復(fù)審方式，包括“走查(Walkthrough)、“審查(Inspection)、“輪查(Round Robin Review)以及其他軟件小組的技術(shù)評(píng)價(jià)。每次的FTR都以會(huì)議的方式進(jìn)展，只需經(jīng)過(guò)適當(dāng)?shù)胤桨?、控制和相關(guān)人員的積極參與，F(xiàn)TR才干獲得勝利。第16章 軟件質(zhì)量保證 16.3.1 復(fù)審會(huì)議的組織復(fù)審會(huì)議的組織 從保證會(huì)議效果出發(fā)，不論進(jìn)展什么方式的從保證會(huì)議效果出發(fā)，不論進(jìn)展什么方式的FTR活動(dòng)，會(huì)活動(dòng)，會(huì)議的規(guī)模都不宜過(guò)大，控制在議的規(guī)模都不宜過(guò)大，控制在35人較好；每個(gè)參會(huì)人員都要人較好；每個(gè)參會(huì)人員都要提早進(jìn)展預(yù)備，但是復(fù)審預(yù)備任務(wù)占用的任務(wù)時(shí)間該

20、當(dāng)少于兩提早進(jìn)展預(yù)備，但是復(fù)審預(yù)備任務(wù)占用的任務(wù)時(shí)間該當(dāng)少于兩小時(shí)；會(huì)議的時(shí)間不宜長(zhǎng)，控制在兩個(gè)小時(shí)之內(nèi)。小時(shí)；會(huì)議的時(shí)間不宜長(zhǎng)，控制在兩個(gè)小時(shí)之內(nèi)。 思索到這樣的約束，每次復(fù)審的對(duì)象顯然該當(dāng)只是整個(gè)軟件思索到這樣的約束，每次復(fù)審的對(duì)象顯然該當(dāng)只是整個(gè)軟件中的某個(gè)較小的特定部分。不要試圖一次復(fù)查整個(gè)設(shè)計(jì)，而要中的某個(gè)較小的特定部分。不要試圖一次復(fù)查整個(gè)設(shè)計(jì)，而要對(duì)每個(gè)模塊或者一小組模塊進(jìn)展復(fù)審走查。閱歷證明，當(dāng)一次對(duì)每個(gè)模塊或者一小組模塊進(jìn)展復(fù)審走查。閱歷證明，當(dāng)一次FTR關(guān)注的范圍較小時(shí)，發(fā)現(xiàn)錯(cuò)誤的能夠性更大一些。關(guān)注的范圍較小時(shí)，發(fā)現(xiàn)錯(cuò)誤的能夠性更大一些。第16章 軟件質(zhì)量保證 FTR的焦

21、點(diǎn)是某個(gè)任務(wù)產(chǎn)品，比如一部分需求規(guī)約，一個(gè)模塊的詳細(xì)設(shè)計(jì)，一個(gè)模塊的源代碼清單等等。擔(dān)任消費(fèi)這個(gè)產(chǎn)品的人通知“復(fù)審責(zé)任人產(chǎn)品曾經(jīng)完成，需求復(fù)審。復(fù)審責(zé)任人對(duì)任務(wù)產(chǎn)品的完成情況進(jìn)展評(píng)價(jià)，當(dāng)確認(rèn)曾經(jīng)具備復(fù)審條件后，預(yù)備產(chǎn)品副本，發(fā)放給預(yù)定要參與復(fù)審的復(fù)審者。復(fù)審者花12小時(shí)進(jìn)展預(yù)備。通常在第二天召開(kāi)復(fù)審會(huì)議。復(fù)審會(huì)議由復(fù)審責(zé)任人主持，產(chǎn)品消費(fèi)者和一切的復(fù)審者參與，并安排專門的記錄員。產(chǎn)品消費(fèi)者在會(huì)議上要“遍歷任務(wù)產(chǎn)品并進(jìn)展講解，復(fù)審者那么根據(jù)各自的預(yù)備提出問(wèn)題。當(dāng)發(fā)現(xiàn)錯(cuò)誤和問(wèn)題時(shí)，記錄員將逐一進(jìn)展記錄。第16章 軟件質(zhì)量保證 在復(fù)審終了時(shí)，必需做出復(fù)審結(jié)論。結(jié)論只能是以下三種之一： (1) 任務(wù)產(chǎn)

22、品可以不經(jīng)修正地被接納。 (2) 由于存在嚴(yán)重錯(cuò)誤，產(chǎn)品被否決(錯(cuò)誤矯正后必需重新復(fù)審)。 (3) 暫時(shí)接納任務(wù)產(chǎn)品(發(fā)現(xiàn)了細(xì)微錯(cuò)誤需求矯正，但矯正后無(wú)需再次評(píng)審)。 參與復(fù)審的一切人員，都必需在結(jié)論上簽字以表示他們參與了本次FTR，并贊同復(fù)審小組的結(jié)論。第16章 軟件質(zhì)量保證 16.3.2 復(fù)審報(bào)告和記錄保管復(fù)審報(bào)告和記錄保管 在在FTR期間，一名復(fù)審者期間，一名復(fù)審者(記錄員記錄員)自動(dòng)記錄一切被提出來(lái)的自動(dòng)記錄一切被提出來(lái)的問(wèn)題。在會(huì)議終了時(shí)對(duì)這些問(wèn)題進(jìn)展小結(jié)，并構(gòu)成一份問(wèn)題。在會(huì)議終了時(shí)對(duì)這些問(wèn)題進(jìn)展小結(jié)，并構(gòu)成一份“復(fù)審問(wèn)復(fù)審問(wèn)題列表。題列表。 此外還要構(gòu)成一份簡(jiǎn)單的此外還要構(gòu)成一份

23、簡(jiǎn)單的“復(fù)審總結(jié)報(bào)告。復(fù)審復(fù)審總結(jié)報(bào)告。復(fù)審總結(jié)報(bào)告中將闡明如下問(wèn)題：總結(jié)報(bào)告中將闡明如下問(wèn)題： 復(fù)審對(duì)象是什么；復(fù)審對(duì)象是什么； 有哪些人參與復(fù)審；有哪些人參與復(fù)審； 發(fā)現(xiàn)了什么，結(jié)論是什么。發(fā)現(xiàn)了什么，結(jié)論是什么。第16章 軟件質(zhì)量保證 復(fù)審報(bào)告是工程歷史記錄的一部分，可以分發(fā)給工程擔(dān)任人和其他感興趣的復(fù)審參與方。復(fù)審問(wèn)題列表有兩個(gè)作用，首先是標(biāo)識(shí)產(chǎn)品中的問(wèn)題區(qū)域，其次將被用作指點(diǎn)消費(fèi)者對(duì)產(chǎn)品進(jìn)展改良的“行動(dòng)條目。 在復(fù)審總結(jié)報(bào)告中，復(fù)審問(wèn)題列表該當(dāng)作為附件。 SQA人員必需參與復(fù)審。他們一方面察看復(fù)審過(guò)程的合理性，另一方面將會(huì)在今后對(duì)問(wèn)題列表中各個(gè)問(wèn)題的矯正情況進(jìn)展跟蹤、檢查并通報(bào)缺陷修

24、正情況，直到復(fù)審經(jīng)過(guò)或問(wèn)題徹底處理。第16章 軟件質(zhì)量保證 16.3.3 復(fù)審指南復(fù)審指南 不受控制的錯(cuò)誤的復(fù)審，比沒(méi)有復(fù)審更加糟糕。所以在進(jìn)不受控制的錯(cuò)誤的復(fù)審，比沒(méi)有復(fù)審更加糟糕。所以在進(jìn)展正式的復(fù)審之前必需制定復(fù)審指南并分發(fā)給一切的復(fù)審參與展正式的復(fù)審之前必需制定復(fù)審指南并分發(fā)給一切的復(fù)審參與者，得到大家的認(rèn)可后，才干按照指南進(jìn)展復(fù)審。正式技術(shù)復(fù)者，得到大家的認(rèn)可后，才干按照指南進(jìn)展復(fù)審。正式技術(shù)復(fù)審指南的最小集合如下：審指南的最小集合如下： (1) 復(fù)審對(duì)象是產(chǎn)品，而不是產(chǎn)品消費(fèi)者。復(fù)審會(huì)議的氣氛復(fù)審對(duì)象是產(chǎn)品，而不是產(chǎn)品消費(fèi)者。復(fù)審會(huì)議的氣氛該當(dāng)是輕松的和建立性的，不要試圖貶低或者侮

25、辱他人。通常，該當(dāng)是輕松的和建立性的，不要試圖貶低或者侮辱他人。通常，有管理職權(quán)的成員不宜作為復(fù)審者參與會(huì)議。有管理職權(quán)的成員不宜作為復(fù)審者參與會(huì)議。 (2) 制定并嚴(yán)厲遵守議程。制定并嚴(yán)厲遵守議程。FTR會(huì)議必需保證按照方案進(jìn)展，會(huì)議必需保證按照方案進(jìn)展，不要離題。不要離題。第16章 軟件質(zhì)量保證 (3) 鼓勵(lì)復(fù)審者提出問(wèn)題，但限制爭(zhēng)論和辯駁。有爭(zhēng)議的問(wèn)題記錄在案，事后處理。 (4) 復(fù)審是以“發(fā)現(xiàn)問(wèn)題為目的的。問(wèn)題的處理通常由消費(fèi)者本人或者在他人的協(xié)助下處理。所以不要試圖在FTR會(huì)議上處理一切問(wèn)題。 (5) 必需設(shè)置專門的記錄員，做好會(huì)議記錄。 (6) 為保證FTR有實(shí)效，堅(jiān)持要求與會(huì)者事

26、先做好預(yù)備，提交書面的評(píng)審意見(jiàn)，并要限制與會(huì)人數(shù)，將人數(shù)堅(jiān)持在最小的必需值上。第16章 軟件質(zhì)量保證 (7) 組織該當(dāng)為每類要復(fù)審的產(chǎn)品(如各種方案、需求分析、設(shè)計(jì)、編碼、測(cè)試用例)建立檢查表，協(xié)助復(fù)審主持者組織FTR會(huì)議，并協(xié)助每個(gè)復(fù)審者都可以把留意力放在對(duì)詳細(xì)產(chǎn)品來(lái)說(shuō)最為關(guān)鍵的問(wèn)題上。 (8) 為FTR分配足夠的資源和時(shí)間，并且要為復(fù)審結(jié)果所必然導(dǎo)致的產(chǎn)品修正活動(dòng)分配時(shí)間。 (9) 一切參與復(fù)審的人，都該當(dāng)具備進(jìn)展FTR的技藝，接受過(guò)相關(guān)的培訓(xùn)。 (10) 復(fù)審以前所作的復(fù)審，總結(jié)復(fù)審任務(wù)閱歷，不斷提高復(fù)審程度。第16章 軟件質(zhì)量保證 16.4 基于統(tǒng)計(jì)的質(zhì)量保證基于統(tǒng)計(jì)的質(zhì)量保證 有閱歷

27、的業(yè)界人士都贊同下面的觀念：大多數(shù)真正費(fèi)事的缺陷都可以追溯到數(shù)量相對(duì)有限的根本緣由上。對(duì)一段較長(zhǎng)時(shí)間內(nèi)發(fā)現(xiàn)的軟件缺陷進(jìn)展搜集、統(tǒng)計(jì)，并利用統(tǒng)計(jì)規(guī)律對(duì)大量的缺陷數(shù)據(jù)進(jìn)展深化的分析，有助于我們逐漸發(fā)現(xiàn)導(dǎo)致大部分缺陷的根本緣由，從而可以將它們分別出來(lái)，集中力量予以處理。這樣，就可以在SQA活動(dòng)中做到“將時(shí)間集中用在真正重要的地方，有針對(duì)性地進(jìn)展質(zhì)量保證活動(dòng)。這種方法稱之為“基于統(tǒng)計(jì)的質(zhì)量保證。第16章 軟件質(zhì)量保證 基于統(tǒng)計(jì)的SQA包括以下的步驟：(1) 搜集軟件缺陷信息并進(jìn)展分類。(2) 嘗試對(duì)每個(gè)缺陷的成因進(jìn)展追溯。(3) 經(jīng)過(guò)追溯，將少數(shù)最重要的缺陷成因分別出來(lái)。(4)針對(duì)分別出的重要的缺陷成

28、因，進(jìn)展有針對(duì)性的改良活動(dòng)。第16章 軟件質(zhì)量保證 假設(shè)一個(gè)軟件開(kāi)發(fā)組織在一年內(nèi)利用復(fù)審、測(cè)試、用戶反響等途徑搜集到了有關(guān)本身產(chǎn)品的錯(cuò)誤 / 缺陷信息，雖然發(fā)現(xiàn)的錯(cuò)誤 / 缺陷數(shù)以百計(jì)，但是經(jīng)過(guò)歸類，一切的錯(cuò)誤/缺陷的緣由都可以歸為以下緣由中的一個(gè)或幾個(gè)：IES：闡明不完好或闡明錯(cuò)誤；MCC：與客戶通訊中產(chǎn)生誤解；IDS：故意與闡明偏離；VPS：違犯編程規(guī)范；EDR：數(shù)據(jù)表示錯(cuò)誤；IMI：模塊接口不一致；第16章 軟件質(zhì)量保證 EDL：設(shè)計(jì)邏輯有錯(cuò)；IET：不完好的或錯(cuò)誤的測(cè)試；IID：不準(zhǔn)確或不完好的文檔；PLT：將設(shè)計(jì)翻譯成預(yù)定言語(yǔ)時(shí)的錯(cuò)誤；HCI：不明晰或不一致的人機(jī)界面；MIS：雜項(xiàng)。

29、第16章 軟件質(zhì)量保證 設(shè)計(jì)一張表格，將各類錯(cuò)誤/缺陷的統(tǒng)計(jì)數(shù)據(jù)和它們各自在一切錯(cuò)誤/缺陷中所占的比例計(jì)算出來(lái)，以此數(shù)值為鍵值進(jìn)展降序排序，呵斥一切錯(cuò)誤/缺陷的重要緣由就可以非常明晰地凸現(xiàn)出來(lái)。表16.3中顯示IES、MCC和EDR是導(dǎo)致發(fā)生53%的錯(cuò)誤/缺陷的“少數(shù)重要緣由。同時(shí)可以看出，假設(shè)我們將留意力集中到嚴(yán)重錯(cuò)誤的成因上，那么應(yīng)該將IES、EDR、PLT和EDL作為“少數(shù)重要緣由。 一旦確定了“少數(shù)重要緣由， 開(kāi)發(fā)組織就可以采取改良展動(dòng)。例如，為了矯正MCC錯(cuò)誤，開(kāi)發(fā)者可以采用更便于了解的軟件闡明技術(shù)，提高和用戶通訊交流的質(zhì)量。為了矯正EDR導(dǎo)致的錯(cuò)誤，可以運(yùn)用CASE工具進(jìn)展數(shù)據(jù)建模

30、，并進(jìn)展更加嚴(yán)厲的數(shù)據(jù)設(shè)計(jì)復(fù)審。第16章 軟件質(zhì)量保證 當(dāng)導(dǎo)致錯(cuò)誤和缺陷的少數(shù)重要緣由被識(shí)別、糾正后，一些原來(lái)不那么重要的緣由會(huì)成為統(tǒng)計(jì)數(shù)據(jù)表中新的“少數(shù)重要緣由。 這樣，SQA活動(dòng)可以一直針對(duì)當(dāng)前導(dǎo)致錯(cuò)誤和缺陷的主要緣由展開(kāi)任務(wù)，獲得事半功倍的效果。這也就是基于統(tǒng)計(jì)的質(zhì)量保證活動(dòng)價(jià)值之所在。第16章 軟件質(zhì)量保證 表表16.3 統(tǒng)計(jì)統(tǒng)計(jì)SQA的數(shù)據(jù)搜集與分類的數(shù)據(jù)搜集與分類錯(cuò)誤錯(cuò)誤類別類別錯(cuò)誤總計(jì)錯(cuò)誤總計(jì)嚴(yán)重錯(cuò)誤嚴(yán)重錯(cuò)誤普通錯(cuò)誤普通錯(cuò)誤細(xì)微錯(cuò)誤細(xì)微錯(cuò)誤數(shù)量數(shù)量百分比百分比數(shù)量數(shù)量百分比百分比數(shù)量數(shù)量百分比百分比數(shù)量數(shù)量百分比百分比IES20522%3427%6818%10324%MCC156

31、17%129%6818%7617%IDS485%11%246%235%VPS253%00%154%102%EDR13014%2620%6818%368IMI586%97%185%317%EDL455%1411%123%194%IET9510%129%359%4811%IID364%22%205%143%PLT606%1512%195%266%HCI283%32%174%82%MIS566%00%154%419%統(tǒng)計(jì)值統(tǒng)計(jì)值942100%128100%379100%435100%第16章 軟件質(zhì)量保證 16.5 軟軟 件件 可可 靠靠 性性16.5.1 可靠性和可用性可靠性和可用性 軟件可靠性的

32、含義是：軟件可靠性的含義是：“程序在給定的時(shí)間間隔內(nèi)，按照規(guī)程序在給定的時(shí)間間隔內(nèi)，按照規(guī)格闡明書的規(guī)定勝利地運(yùn)轉(zhuǎn)的概率。在這個(gè)定義中包含的隨格闡明書的規(guī)定勝利地運(yùn)轉(zhuǎn)的概率。在這個(gè)定義中包含的隨機(jī)變量是機(jī)變量是“時(shí)間間隔。顯然隨著運(yùn)轉(zhuǎn)時(shí)間的添加，運(yùn)轉(zhuǎn)時(shí)遇到時(shí)間間隔。顯然隨著運(yùn)轉(zhuǎn)時(shí)間的添加，運(yùn)轉(zhuǎn)時(shí)遇到程序缺點(diǎn)的概率也將添加，即可靠性隨著時(shí)間間隔的加大而減程序缺點(diǎn)的概率也將添加，即可靠性隨著時(shí)間間隔的加大而減小。小。 除可靠性之外，用戶也非常關(guān)懷軟件系統(tǒng)可以運(yùn)用的程度。除可靠性之外，用戶也非常關(guān)懷軟件系統(tǒng)可以運(yùn)用的程度。普通來(lái)說(shuō)，對(duì)于任何一個(gè)可以修復(fù)的系統(tǒng)，都該當(dāng)同時(shí)運(yùn)用可普通來(lái)說(shuō)，對(duì)于任何一個(gè)可

33、以修復(fù)的系統(tǒng)，都該當(dāng)同時(shí)運(yùn)用可靠性和可用性來(lái)衡量它的優(yōu)劣。軟件可用性的一個(gè)定義是：靠性和可用性來(lái)衡量它的優(yōu)劣。軟件可用性的一個(gè)定義是：“程程序在給定的時(shí)間點(diǎn)，按照規(guī)格闡明書的規(guī)定勝利地運(yùn)轉(zhuǎn)的概率序在給定的時(shí)間點(diǎn)，按照規(guī)格闡明書的規(guī)定勝利地運(yùn)轉(zhuǎn)的概率。第16章 軟件質(zhì)量保證 可靠性和可用性之間的主要差別在于：可靠性意味著在0t這段時(shí)間間隔內(nèi)系統(tǒng)沒(méi)有失效；而可用性只是意味著在時(shí)辰t系統(tǒng)是正常運(yùn)轉(zhuǎn)的。因此，假設(shè)在時(shí)辰t系統(tǒng)是可用的，那么包括下述種種能夠：在0t這段時(shí)間里，系統(tǒng)不斷沒(méi)有失效；在這段時(shí)間里失效了一次，但是又修復(fù)了；在這段時(shí)間里失效了兩次、又修復(fù)了兩次. 假設(shè)在一段時(shí)間里，軟件系統(tǒng)缺點(diǎn)停機(jī)

34、時(shí)間分別為td1，td2，td3 .正常運(yùn)轉(zhuǎn)時(shí)間分別為tu1，tu2，tu3 .那么系統(tǒng)的穩(wěn)態(tài)可用性為)(downupupssTTTA第16章 軟件質(zhì)量保證 其中，Tup = tui ，Tdown = tdi。 假設(shè)引進(jìn)系統(tǒng)平均無(wú)缺點(diǎn)時(shí)間MTTF和系統(tǒng)平均維修時(shí)間MTTR的概念，那么，軟件系統(tǒng)的穩(wěn)態(tài)可用性可以表示為MTTRMTTFMTTFAss 平均維修時(shí)間MTTR是修復(fù)一個(gè)缺點(diǎn)平均需求的時(shí)間，它取決于維護(hù)人員的技術(shù)程度和對(duì)系統(tǒng)的熟習(xí)程度，也和系統(tǒng)的可維護(hù)性有重要關(guān)系。平均無(wú)缺點(diǎn)時(shí)間MTTF是系統(tǒng)按照規(guī)格闡明書的規(guī)定勝利運(yùn)轉(zhuǎn)的平均時(shí)間，它主要取決于系統(tǒng)中埋伏的缺陷數(shù)目，因此和測(cè)試的關(guān)系非常親密

35、。第16章 軟件質(zhì)量保證 為了直觀地度量軟件的可靠性，還可以采用“平均失效間隔時(shí)間MTBF。MTBF = MTTF + MTTR第16章 軟件質(zhì)量保證 16.5.2 平均無(wú)缺點(diǎn)運(yùn)轉(zhuǎn)時(shí)間的估算平均無(wú)缺點(diǎn)運(yùn)轉(zhuǎn)時(shí)間的估算 軟件的平均無(wú)缺點(diǎn)運(yùn)轉(zhuǎn)時(shí)間軟件的平均無(wú)缺點(diǎn)運(yùn)轉(zhuǎn)時(shí)間MTTF是一個(gè)重要的質(zhì)量目的，是一個(gè)重要的質(zhì)量目的，用戶往往把用戶往往把MTTF作為對(duì)軟件的一種性能需求提出來(lái)。為滿足作為對(duì)軟件的一種性能需求提出來(lái)。為滿足用戶的需求，開(kāi)發(fā)組織就該當(dāng)在交付產(chǎn)品時(shí)估算出產(chǎn)品的用戶的需求，開(kāi)發(fā)組織就該當(dāng)在交付產(chǎn)品時(shí)估算出產(chǎn)品的MTTF值。值。第16章 軟件質(zhì)量保證 為了估算MTTF，首先引入一組符號(hào)：Et

36、 ：測(cè)試之前程序中的缺陷總數(shù)；It ：用機(jī)器指令總數(shù)衡量的程序長(zhǎng)度； ：測(cè)試(包括調(diào)試)時(shí)間；Ed()：在0時(shí)間內(nèi)發(fā)現(xiàn)的錯(cuò)誤總數(shù)；Ec()：在0時(shí)間內(nèi)矯正的錯(cuò)誤總數(shù)；Er：在0時(shí)間后剩余的缺陷數(shù)。第16章 軟件質(zhì)量保證 建立一組根本假定： (1) 在類似的程序中，單位長(zhǎng)度程序里的缺點(diǎn)數(shù)Et / It 近似為常數(shù)。根據(jù)美國(guó)的一些統(tǒng)計(jì)數(shù)據(jù)：0.5102 Et / It 2102，也就是說(shuō)，在正常情況下，測(cè)試之前，1000條指令里大約有520個(gè)缺陷。 (2) 軟件失效率正比于軟件中潛藏的缺陷數(shù)，而MTTF和潛藏的缺陷數(shù)成反比。 (3) 假定發(fā)現(xiàn)的缺陷都及時(shí)得到了矯正，所以，Ed() = Ec()。

37、(4) 剩余的缺陷數(shù)：Er() = EtEc()。 (5) 單位長(zhǎng)度程序中剩余的缺陷數(shù)為：Et / ItEc() / It。第16章 軟件質(zhì)量保證 估算平均無(wú)缺點(diǎn)運(yùn)轉(zhuǎn)時(shí)間：閱歷闡明，軟件的平均無(wú)缺點(diǎn)時(shí)間和單位長(zhǎng)度程序中剩余的缺點(diǎn)數(shù)成反比，即)/ )(/(1tcttIEIEKMTTF 其中，K為常數(shù)，它的取值該當(dāng)根據(jù)歷史數(shù)據(jù)選取。美國(guó)的一些統(tǒng)計(jì)數(shù)聽(tīng)闡明，K的典型值為200。按照上式，可以估算出MTTF值，在用戶提出了MTTF目的的情況下，也可以據(jù)此判別發(fā)現(xiàn)多少個(gè)錯(cuò)誤后才可以終了測(cè)試任務(wù)。第16章 軟件質(zhì)量保證 1. 植入缺點(diǎn)法植入缺點(diǎn)法 在測(cè)試之前，由專人在程序中隨機(jī)地植入一些錯(cuò)誤，測(cè)試在測(cè)試之

38、前，由專人在程序中隨機(jī)地植入一些錯(cuò)誤，測(cè)試之后，根據(jù)測(cè)試小組發(fā)現(xiàn)的缺點(diǎn)中原有的和植入的兩種缺點(diǎn)的之后，根據(jù)測(cè)試小組發(fā)現(xiàn)的缺點(diǎn)中原有的和植入的兩種缺點(diǎn)的比例，來(lái)估計(jì)程序中原有的總?cè)秉c(diǎn)數(shù)比例，來(lái)估計(jì)程序中原有的總?cè)秉c(diǎn)數(shù)Et。假設(shè)人為地植入了。假設(shè)人為地植入了Ns個(gè)缺點(diǎn)，經(jīng)過(guò)一段時(shí)間的測(cè)試后，發(fā)現(xiàn)了個(gè)缺點(diǎn)，經(jīng)過(guò)一段時(shí)間的測(cè)試后，發(fā)現(xiàn)了ns個(gè)植入的缺點(diǎn)，此個(gè)植入的缺點(diǎn)，此外還發(fā)現(xiàn)了外還發(fā)現(xiàn)了n個(gè)原有的缺點(diǎn)。假定測(cè)試人員發(fā)現(xiàn)原有缺點(diǎn)和植入個(gè)原有的缺點(diǎn)。假定測(cè)試人員發(fā)現(xiàn)原有缺點(diǎn)和植入缺點(diǎn)的才干一樣，那么可以在概率的意義上，估計(jì)出程序中原缺點(diǎn)的才干一樣，那么可以在概率的意義上，估計(jì)出程序中原有的缺點(diǎn)總數(shù)大約

39、為有的缺點(diǎn)總數(shù)大約為 sNnnN 第16章 軟件質(zhì)量保證 2. 分別測(cè)試法 植入缺點(diǎn)法的根本假定是所用的測(cè)試方案發(fā)現(xiàn)植入錯(cuò)誤和原有錯(cuò)誤的概率一樣。但是這種假設(shè)并不總是成立，因此有時(shí)計(jì)算結(jié)果有較大的偏向。想象由兩個(gè)測(cè)試人員同時(shí)測(cè)試一個(gè)軟件程序的兩個(gè)副本。用T表示測(cè)試時(shí)間。 在 T = 0時(shí)，缺點(diǎn)總數(shù)為B0； T = T1時(shí)，測(cè)試員甲發(fā)現(xiàn)的缺點(diǎn)數(shù)為B1； T=T1時(shí)，測(cè)試員乙發(fā)現(xiàn)的缺點(diǎn)數(shù)為B2； T=T1時(shí)，測(cè)試員甲、乙發(fā)現(xiàn)的一樣缺點(diǎn)數(shù)為Bc；第16章 軟件質(zhì)量保證 那么在統(tǒng)計(jì)的角度上，測(cè)試之前的缺點(diǎn)總數(shù)：BcBBB120 為進(jìn)一步求精，可以每隔一段時(shí)間進(jìn)展一次并行測(cè)試，假設(shè)幾次估算的結(jié)果相差不多

40、，那么可取其均值作為Et的結(jié)果估算值。第16章 軟件質(zhì)量保證 16.6 SQA 計(jì)計(jì) 劃劃 為了有序地開(kāi)展軟件質(zhì)量保證活動(dòng)，必需制定專項(xiàng)的SQA方案來(lái)指點(diǎn)全部的SQA活動(dòng)，并作為工程開(kāi)發(fā)方案的一個(gè)組成部分。SQA方案該當(dāng)由SQA小組和工程組共同制定，并進(jìn)展評(píng)審。IEEE組織引薦了一份SQA方案大綱(如表16.4所示)，開(kāi)發(fā)組織可以結(jié)合工程的實(shí)踐情況對(duì)大綱進(jìn)展裁減、充實(shí)后，制定工程的SQA方案。 方案的開(kāi)場(chǎng)部分描畫制定SQA方案的目的和涉及到的文檔范圍，并指出SQA活動(dòng)所覆蓋的軟件過(guò)程活動(dòng)。一切在SQA方案中將要提到的文檔都要列出來(lái)，一切可運(yùn)用的規(guī)范都專門注明。第16章 軟件質(zhì)量保證 方案中的“管理部分描畫SQA組在組織構(gòu)造中的位置、SQA義務(wù)和活動(dòng)及它們?cè)谡麄€(gè)軟件過(guò)程中的位置，以及與產(chǎn)質(zhì)量量有關(guān)的角色和責(zé)任。 文檔一節(jié)描畫的是軟件過(guò)程各個(gè)部分所產(chǎn)生的各種任務(wù)產(chǎn)品。包括：工程文檔(例如工程方案)、工程過(guò)程模型、技術(shù)文檔、用戶文檔等等。第16章 軟件質(zhì)