【正文】 事件鏈中的各個(gè)事件出現(xiàn)的概率 。 ? 危險(xiǎn)標(biāo)識(shí)和分析完成之后，就可以進(jìn)行軟件中與安全性相關(guān)的需求進(jìn)行規(guī)格說明了。 ? 盡管軟件可靠性與軟件安全性相互之間關(guān)系緊密，但是理解它們之間的微妙差異更為重要。 ? 軟件可靠性使用統(tǒng)計(jì)分析方法確定軟件失效發(fā)生的可能性 ；而失效的發(fā)生未必導(dǎo)致危險(xiǎn)或?yàn)?zāi)難。軟件安全性則考察失效會(huì)導(dǎo)致災(zāi)難發(fā)生的條件 。 ? 在 1960年代，日本的工業(yè)工程師 Shigeo Shingo在 Toyota（豐田）工作時(shí)，開發(fā)了一種質(zhì)量保證技術(shù)，用于制造過程中錯(cuò)誤的預(yù)防和 /或早期糾正，成為 pokayoke（錯(cuò)誤檢驗(yàn)）。 Shingo的概念使用 pokayoke設(shè)備， 用于： （ 1）潛在質(zhì)量問題發(fā)生前的預(yù)防； （ 2）質(zhì)量問題的快速探測(cè)。 ? 在我們的日常生活中總能遇到 pokayoke設(shè)備（即使我們并不知道這個(gè)概念）， 例如 ，如果自動(dòng)變速箱不是位于停車檔上，則汽車的啟動(dòng)開關(guān)不能工作（預(yù)防設(shè)備），如果安全帶未系上，則汽車的警告聲將響起（探測(cè)設(shè)備）。 ? 一個(gè)有效的 pokayoke設(shè)備展示了一組共同特征： * 簡單且便宜 。如果某設(shè)備太復(fù)雜或太昂貴，則它將不是價(jià)格有效的。 * 是過程的一部分 。即， pokayoke設(shè)備被集成進(jìn)一個(gè)工程活動(dòng)中。 * 位于發(fā)生錯(cuò)誤的過程任務(wù)的旁邊 。這樣，它提供快速的反饋和錯(cuò)誤糾正。 ISO 9000質(zhì)量標(biāo)準(zhǔn) The ISO 9000 Quality Standards ? “質(zhì)量保證系統(tǒng) ”可以被定義成用于實(shí)現(xiàn)質(zhì)量管理的組織結(jié)構(gòu)、責(zé)任、規(guī)程、過程和資源 。 ? 這些系統(tǒng)覆蓋了構(gòu)成產(chǎn)品的完整生命期的大量的活動(dòng)， 包括計(jì)劃、控制、測(cè)量、測(cè)試和報(bào)告，以及在貫穿開發(fā)和制造的過程中改進(jìn)質(zhì)量級(jí)別 。 ? ISO 9000標(biāo)準(zhǔn)以一種能夠適用于任何行業(yè)（不論提供的是何種產(chǎn)品或服務(wù)）的一般術(shù)語描述了質(zhì)量保證的元素。 ? 在采用標(biāo)準(zhǔn)以后，一個(gè)國家通常只允許 ISO登記的公司向政府部門和公共組織供應(yīng)產(chǎn)品和服務(wù)。電信設(shè)備和醫(yī)療設(shè)備是必須由 ISO登記公司供應(yīng)的產(chǎn)品類別的例子。反過來，這些產(chǎn)品的制造商經(jīng)常需要他們的供應(yīng)商變成 ISO登記的。私有公司，如汽車和計(jì)算機(jī)制造商經(jīng)常也需要他們的供應(yīng)商是 ISO登記的。 ? 為了登記成為 ISO 9000中包含的質(zhì)量保證系統(tǒng)模型中的一種，一個(gè)公司的質(zhì)量系統(tǒng)和操作應(yīng)該由第三方審計(jì)者仔細(xì)檢查，查看其與標(biāo)準(zhǔn)的符合性以及操作的有效性。 ? 成功登記之后，這一公司將收到由審計(jì)者所代表的登記實(shí)體頒發(fā)的證書。此后每半年進(jìn)行一次的檢查性審計(jì)將持續(xù)保證該公司的質(zhì)量系統(tǒng)與標(biāo)準(zhǔn)是相符的。 ISO質(zhì)量保證系統(tǒng)的方法 ? ISO 9000質(zhì)量保證模型將一個(gè)企業(yè)視為一個(gè)互聯(lián)過程的網(wǎng)絡(luò)。為了使質(zhì)量系統(tǒng)符合 ISO標(biāo)準(zhǔn)，這些過程必須針對(duì)在標(biāo)準(zhǔn)中給出的區(qū)域，并且必須按照標(biāo)準(zhǔn)中所述的予以文檔化和實(shí)現(xiàn)。 ? ISO 9000以一般術(shù)語描述了一個(gè)質(zhì)量保證系統(tǒng)的元素。 這些元素包括用于實(shí)現(xiàn)質(zhì)量計(jì)劃、質(zhì)量控制、質(zhì)量保證和質(zhì)量改進(jìn)所需的組織結(jié)構(gòu)、規(guī)程、過程、和資源。 ? 但是 ISO 9000并不描述一個(gè)組織應(yīng)該如何實(shí)現(xiàn)這些質(zhì)量系統(tǒng)元素。因此，真正的挑戰(zhàn)在于如何設(shè)計(jì)和實(shí)現(xiàn)一個(gè)能夠滿足標(biāo)準(zhǔn)、并適用于公司的產(chǎn)品、服務(wù)和文化的質(zhì)量保證系統(tǒng)。 ? KEYPOINT： ISO 9000描述必須做什么以保證符合，但是，它并沒有描述必須如何做。 ISO 9001標(biāo)準(zhǔn) ? ISO 9001是應(yīng)用于軟件工程的質(zhì)量保證標(biāo)準(zhǔn)。這一標(biāo)準(zhǔn)中包含了高效的質(zhì)量保證系統(tǒng)必須體現(xiàn)的20條需求。 ? 因?yàn)?ISO 9001標(biāo)準(zhǔn)適用于所有的工程行業(yè)，因此，為幫助解釋該標(biāo)準(zhǔn)在軟件過程中的使用而專門開發(fā)了一個(gè) ISO指南的子集（即 ISO 90003）。 ? ISO 9001描述的需求強(qiáng)調(diào)了管理責(zé)任、質(zhì)量系統(tǒng)、控制復(fù)審、設(shè)計(jì)控制、文檔和數(shù)據(jù)控制、產(chǎn)品標(biāo)識(shí)和跟蹤、過程控制、審查和測(cè)試、糾正和預(yù)防性動(dòng)作、控制質(zhì)量記錄、內(nèi)部質(zhì)量審計(jì)、培訓(xùn)、服務(wù)以及統(tǒng)計(jì)技術(shù)的話題 。 ? 軟件組織為了通過 ISO 9001，就必須針對(duì)上面提到的每一條需求（和其他）建立相關(guān)政策和規(guī)程，并且有能力顯示出組織活動(dòng)的確是按照這些政策和規(guī)程進(jìn)行的。 SQA計(jì)劃 ? “SQA計(jì)劃”為建立軟件質(zhì)量保證提供了一張行路圖。該計(jì)劃由 SQA小組制定，充當(dāng)了每個(gè)軟件項(xiàng)目中的 SQA活動(dòng)的模板。 ? SQA計(jì)劃的標(biāo)準(zhǔn)由 IEEE 推薦。開始部分描述目的和文檔范圍，并指出質(zhì)量保證所覆蓋的軟件過程活動(dòng)。所有在 SQA計(jì)劃中提到的文檔都被列出來，且所有可應(yīng)用的標(biāo)準(zhǔn)都專門注明。計(jì)劃的“管理”部分描述 SQA在組織結(jié)構(gòu)中的位置；SQA任務(wù)和活動(dòng)、及它們?cè)谡麄€(gè)軟件過程中的位置；以及與產(chǎn)品質(zhì)量有關(guān)的組織角色和責(zé)任。 ? “文檔”一節(jié)（通過引用）描述的是軟件過程各個(gè)部分所產(chǎn)生的各種工作產(chǎn)品，包括： * 項(xiàng)目文檔 （例如項(xiàng)目計(jì)劃） * 模型 （例如 ERD模型、類層次模型） * 技術(shù)文檔 （例如規(guī)約、測(cè)試計(jì)劃） * 用戶文檔 （例如幫助文件） ? 另外，在這一節(jié)中還定義了實(shí)現(xiàn)高質(zhì)量所能接受的工作產(chǎn)品的最小集合。 ? 在“標(biāo)準(zhǔn)、實(shí)踐和約定”中列出了所有在軟件過程中采用的合適的標(biāo)準(zhǔn)和實(shí)踐方法（例如，文檔標(biāo)準(zhǔn)、編碼標(biāo)準(zhǔn)和復(fù)審指南）。此外，還列出了作為軟件工程工作的成分而收集的所有項(xiàng)目、過程及（在某些情況下）產(chǎn)品度量信息。 ? 計(jì)劃中的“復(fù)審和審計(jì)”一節(jié)標(biāo)識(shí)了軟件工程小組、 SQA小組和客戶進(jìn)行的審計(jì)和復(fù)審活動(dòng)。它給出了各種復(fù)審和審計(jì)方法的總覽。 ? “測(cè)試”一節(jié)中列出了軟件測(cè)試計(jì)劃和過程。它還定義了測(cè)試記錄保存的需求?！皢栴}報(bào)告和改正行動(dòng)”中定義了錯(cuò)誤及缺陷的報(bào)告、跟蹤和解決規(guī)程，這些活動(dòng)的組織責(zé)任也被標(biāo)識(shí)出來。 ? “ SQA計(jì)劃”的其他部分標(biāo)識(shí)了支持 SQA活動(dòng)與任務(wù)的工具和方法；給出了控制變化的軟件配置管理過程；定義了一種合同管理方法；建立了組裝、保護(hù)、維護(hù)所有記錄的方法；標(biāo)識(shí)了為滿足這一計(jì)劃所需的培訓(xùn)；定義了標(biāo)識(shí)、評(píng)估、監(jiān)控和控制風(fēng)險(xiǎn)的方法。 表 83 小結(jié) Summary ? 軟件質(zhì)量保證是在軟件過程中的每一步都進(jìn)行的“庇護(hù)性活動(dòng)”。 SQA包括對(duì)方法和工具有效應(yīng)用的規(guī)程、正式技術(shù)復(fù)審、測(cè)試策略和技術(shù)、變化控制規(guī)程、保證與標(biāo)準(zhǔn)符合的規(guī)程、以及度量和報(bào)告機(jī)制。 ? 軟件質(zhì)量的復(fù)雜本質(zhì) ―― 這是計(jì)算機(jī)程序的一種屬性，其定義是“與明確地和隱含地定義的需求的符合程度” ―― 使 SQA很復(fù)雜。但是當(dāng)被更為一般地考慮時(shí)，軟件質(zhì)量包括了許多不同的產(chǎn)品和過程因素及其相關(guān)的度量。 ? 軟件復(fù)審是最為重要的 SQA活動(dòng)之一。復(fù)審的作用是作為軟件過程的過濾器，在發(fā)現(xiàn)及改正錯(cuò)誤的成本相對(duì)較小時(shí)就排除錯(cuò)誤。正式技術(shù)復(fù)審或走查是一種典型的復(fù)審會(huì)議，在實(shí)踐中這種形式對(duì)于發(fā)現(xiàn)錯(cuò)誤極其有效。 ? 為了正確的進(jìn)行軟件質(zhì)量保證，必須收集、評(píng)估和發(fā)布軟件工程過程的數(shù)據(jù)。統(tǒng)計(jì) SQA有助于改進(jìn)產(chǎn)品和軟件過程本身的質(zhì)量。軟件可靠性模型將度量加以擴(kuò)展，能夠由所收集的缺陷數(shù)據(jù)推導(dǎo)出項(xiàng)目失敗率和進(jìn)行可靠性估計(jì)。 ? 總而言之，讓我們借用 Dunn和 Ullman的一句話：“ 軟件質(zhì)量保證就是將質(zhì)量保證的管理對(duì)象和設(shè)計(jì)原則映射到適用的軟件工程管理和技術(shù)空間上 。”質(zhì)量保證的能力是成熟的工程學(xué)科的量尺。當(dāng)上述映射成功實(shí)現(xiàn)時(shí)，其結(jié)果就是成熟的軟件工程。 Bye!