【正文】 當(dāng)上述映射成功實(shí)現(xiàn)時(shí)，其結(jié)果就是成熟的軟件工程。 ? 總而言之，讓我們借用 Dunn和 Ullman的一句話：“ 軟件質(zhì)量保證就是將質(zhì)量保證的管理對(duì)象和設(shè)計(jì)原則映射到適用的軟件工程管理和技術(shù)空間上 。統(tǒng)計(jì) SQA有助于改進(jìn)產(chǎn)品和軟件過(guò)程本身的質(zhì)量。正式技術(shù)復(fù)審或走查是一種典型的復(fù)審會(huì)議，在實(shí)踐中這種形式對(duì)于發(fā)現(xiàn)錯(cuò)誤極其有效。 ? 軟件復(fù)審是最為重要的 SQA活動(dòng)之一。 ? 軟件質(zhì)量的復(fù)雜本質(zhì) ―― 這是計(jì)算機(jī)程序的一種屬性，其定義是“與明確地和隱含地定義的需求的符合程度” ―― 使 SQA很復(fù)雜。 表 83 小結(jié) Summary ? 軟件質(zhì)量保證是在軟件過(guò)程中的每一步都進(jìn)行的“庇護(hù)性活動(dòng)”。“問(wèn)題報(bào)告和改正行動(dòng)”中定義了錯(cuò)誤及缺陷的報(bào)告、跟蹤和解決規(guī)程，這些活動(dòng)的組織責(zé)任也被標(biāo)識(shí)出來(lái)。 ? “測(cè)試”一節(jié)中列出了軟件測(cè)試計(jì)劃和過(guò)程。 ? 計(jì)劃中的“復(fù)審和審計(jì)”一節(jié)標(biāo)識(shí)了軟件工程小組、 SQA小組和客戶進(jìn)行的審計(jì)和復(fù)審活動(dòng)。 ? 在“標(biāo)準(zhǔn)、實(shí)踐和約定”中列出了所有在軟件過(guò)程中采用的合適的標(biāo)準(zhǔn)和實(shí)踐方法（例如，文檔標(biāo)準(zhǔn)、編碼標(biāo)準(zhǔn)和復(fù)審指南）。計(jì)劃的“管理”部分描述 SQA在組織結(jié)構(gòu)中的位置；SQA任務(wù)和活動(dòng)、及它們?cè)谡麄€(gè)軟件過(guò)程中的位置；以及與產(chǎn)品質(zhì)量有關(guān)的組織角色和責(zé)任。開(kāi)始部分描述目的和文檔范圍，并指出質(zhì)量保證所覆蓋的軟件過(guò)程活動(dòng)。該計(jì)劃由 SQA小組制定，充當(dāng)了每個(gè)軟件項(xiàng)目中的 SQA活動(dòng)的模板。 ? 軟件組織為了通過(guò) ISO 9001，就必須針對(duì)上面提到的每一條需求（和其他）建立相關(guān)政策和規(guī)程，并且有能力顯示出組織活動(dòng)的確是按照這些政策和規(guī)程進(jìn)行的。 ? 因?yàn)?ISO 9001標(biāo)準(zhǔn)適用于所有的工程行業(yè)，因此，為幫助解釋該標(biāo)準(zhǔn)在軟件過(guò)程中的使用而專(zhuān)門(mén)開(kāi)發(fā)了一個(gè) ISO指南的子集（即 ISO 90003）。 ISO 9001標(biāo)準(zhǔn) ? ISO 9001是應(yīng)用于軟件工程的質(zhì)量保證標(biāo)準(zhǔn)。因此，真正的挑戰(zhàn)在于如何設(shè)計(jì)和實(shí)現(xiàn)一個(gè)能夠滿足標(biāo)準(zhǔn)、并適用于公司的產(chǎn)品、服務(wù)和文化的質(zhì)量保證系統(tǒng)。 這些元素包括用于實(shí)現(xiàn)質(zhì)量計(jì)劃、質(zhì)量控制、質(zhì)量保證和質(zhì)量改進(jìn)所需的組織結(jié)構(gòu)、規(guī)程、過(guò)程、和資源。為了使質(zhì)量系統(tǒng)符合 ISO標(biāo)準(zhǔn)，這些過(guò)程必須針對(duì)在標(biāo)準(zhǔn)中給出的區(qū)域，并且必須按照標(biāo)準(zhǔn)中所述的予以文檔化和實(shí)現(xiàn)。此后每半年進(jìn)行一次的檢查性審計(jì)將持續(xù)保證該公司的質(zhì)量系統(tǒng)與標(biāo)準(zhǔn)是相符的。 ? 為了登記成為 ISO 9000中包含的質(zhì)量保證系統(tǒng)模型中的一種，一個(gè)公司的質(zhì)量系統(tǒng)和操作應(yīng)該由第三方審計(jì)者仔細(xì)檢查，查看其與標(biāo)準(zhǔn)的符合性以及操作的有效性。反過(guò)來(lái)，這些產(chǎn)品的制造商經(jīng)常需要他們的供應(yīng)商變成 ISO登記的。 ? 在采用標(biāo)準(zhǔn)以后，一個(gè)國(guó)家通常只允許 ISO登記的公司向政府部門(mén)和公共組織供應(yīng)產(chǎn)品和服務(wù)。 ? 這些系統(tǒng)覆蓋了構(gòu)成產(chǎn)品的完整生命期的大量的活動(dòng)， 包括計(jì)劃、控制、測(cè)量、測(cè)試和報(bào)告，以及在貫穿開(kāi)發(fā)和制造的過(guò)程中改進(jìn)質(zhì)量級(jí)別 。這樣，它提供快速的反饋和錯(cuò)誤糾正。即， pokayoke設(shè)備被集成進(jìn)一個(gè)工程活動(dòng)中。如果某設(shè)備太復(fù)雜或太昂貴，則它將不是價(jià)格有效的。 ? 在我們的日常生活中總能遇到 pokayoke設(shè)備（即使我們并不知道這個(gè)概念）， 例如 ，如果自動(dòng)變速箱不是位于停車(chē)檔上，則汽車(chē)的啟動(dòng)開(kāi)關(guān)不能工作（預(yù)防設(shè)備），如果安全帶未系上，則汽車(chē)的警告聲將響起（探測(cè)設(shè)備）。 ? 在 1960年代，日本的工業(yè)工程師 Shigeo Shingo在 Toyota（豐田）工作時(shí)，開(kāi)發(fā)了一種質(zhì)量保證技術(shù)，用于制造過(guò)程中錯(cuò)誤的預(yù)防和 /或早期糾正，成為 pokayoke（錯(cuò)誤檢驗(yàn)）。 ? 軟件可靠性使用統(tǒng)計(jì)分析方法確定軟件失效發(fā)生的可能性 ；而失效的發(fā)生未必導(dǎo)致危險(xiǎn)或?yàn)?zāi)難。 ? 危險(xiǎn)標(biāo)識(shí)和分析完成之后，就可以進(jìn)行軟件中與安全性相關(guān)的需求進(jìn)行規(guī)格說(shuō)明了。如果滿足一組外部環(huán)境條件（而且僅當(dāng)滿足這些條件時(shí)），機(jī)械設(shè)備的不正確位置將引發(fā)災(zāi)難性的失敗。 ? 為了真正有效，軟件應(yīng)該被置于整個(gè)系統(tǒng)中進(jìn)行分析。開(kāi)始時(shí)，根據(jù)關(guān)鍵性和風(fēng)險(xiǎn)來(lái)標(biāo)識(shí)和分類(lèi)危險(xiǎn)。 ? 如果能夠在軟件工程過(guò)程的早期標(biāo)識(shí)這些危險(xiǎn)，則可以指定軟件設(shè)計(jì)特性以排除或控制潛在的危險(xiǎn)。而可用性度量在某種程度上對(duì) MTTR較為敏感，MTTR是軟件可維護(hù)性的間接度量。軟件可用性是指在某個(gè)給定時(shí)間點(diǎn)上程序能夠按照需求執(zhí)行的概率。即使全部排除第一種缺陷（具有較長(zhǎng)MTBF的缺陷），對(duì)軟件可靠性的影響也微乎其微。這種隱藏缺陷的MTBF可能是 50到 100年。 ? 由于一個(gè)程序中包含的每個(gè)缺陷所具有的失效率不同，總?cè)毕輸?shù)難以表示系統(tǒng)的可靠性。 ? 許多研究人員認(rèn)為 MTBF是一個(gè)遠(yuǎn)比“缺陷數(shù) /KLOC”或“缺陷數(shù) /FP”更為有用的度量指標(biāo) 。只有當(dāng)軟件頻繁失效，或者公認(rèn)已經(jīng)“過(guò)時(shí)”了的時(shí)侯，軟件才被廢棄， 意味著當(dāng)前這一版本軟件使用壽命的終結(jié)。 ? 它們可以理解為：設(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)。 ? 失效 (failure)：當(dāng)缺陷執(zhí)行時(shí)會(huì)發(fā)生失效，失效只出現(xiàn)在可執(zhí)行的表現(xiàn)中，通常是被裝載的目標(biāo)代碼。 ? 缺陷 (defect):指在軟件交付給最終用戶之后發(fā)現(xiàn)的質(zhì)量問(wèn)題 。 在軟件工程中常用的定義 ? 錯(cuò)誤 (error)：人類(lèi)會(huì)犯錯(cuò)誤。 Software Reliability ? 軟件可靠性是“在特定環(huán)境和特定時(shí)間內(nèi)，計(jì)算機(jī)程序無(wú)故障地運(yùn)行的概率”。 EI = ∑ (i PIi)/PS = (PI1+2PI2+3PI3+…+iPI i)/PS ? 錯(cuò)誤指標(biāo)與表 ，可以得出軟件質(zhì)量的整體改進(jìn)指標(biāo) 。也就是說(shuō)，盡早發(fā)現(xiàn)錯(cuò)誤的組織得益較多。在經(jīng)過(guò)分析、設(shè)計(jì)、編碼、測(cè)試和發(fā)布之后，將收集到以下數(shù)據(jù)： Ei ＝ 在軟件工程過(guò)程中的第 i步中發(fā)現(xiàn)的錯(cuò)誤總數(shù) Si ＝ 嚴(yán)重錯(cuò)誤數(shù) Mi ＝ 一般錯(cuò)誤數(shù) Ti ＝ 微小錯(cuò)誤數(shù) PS ＝ 第 i步的產(chǎn)品規(guī)模（ LOC、設(shè)計(jì)陳述、文檔頁(yè)數(shù)） ? Ws、 Wm、 Wt分別是嚴(yán)重、一般、微小錯(cuò)誤的加權(quán)因子，其推薦取值為 Ws＝ 10 Wm＝ 3 Wt＝ 1。 ? 在某些情形，在應(yīng)用這些技術(shù)后，軟件組織已經(jīng)達(dá)到了 50%的年缺陷減少。隨著少數(shù)重要原因的不斷改正，新的候選錯(cuò)誤原因也將被提到改進(jìn)日程上來(lái)。 4. 一旦標(biāo)識(shí)出重要的少數(shù)原因，就可以開(kāi)始糾正引起缺陷的問(wèn)題 。 2. 嘗試對(duì)每個(gè)缺陷的形成原因（例如，不符合規(guī)約、設(shè)計(jì)錯(cuò)誤、違背標(biāo)準(zhǔn)、與客戶通信不力等）進(jìn)行追溯。 Statistical Quality Assurance ? 統(tǒng)計(jì)質(zhì)量保證反映了一種在產(chǎn)業(yè)界不斷增長(zhǎng)的趨勢(shì)：質(zhì)量的量化。 ? 程序正確性證明 不是一個(gè)新的思路。 ? 對(duì)于每一種程序設(shè)計(jì)語(yǔ)言都能夠定義一套嚴(yán)格的語(yǔ)法和語(yǔ)義，且對(duì)于軟件需求規(guī)格說(shuō)明也出現(xiàn)了一種類(lèi)似的嚴(yán)格方法。 SQA的形式化方法 Formal Approaches to SQA ? 在過(guò)去的 20年中，在軟件界中有一群雖然很少但是很堅(jiān)決的人們，提出軟件質(zhì)量保證應(yīng)該采用一種更為 形式化的方法 。最早被復(fù)審的工作產(chǎn)品應(yīng)該是復(fù)審指南本身。 10. 復(fù)審以前所