【正文】 件設(shè)計(jì)特性以排除或控制潛在的危險(xiǎn)。 ? 危險(xiǎn)標(biāo)識(shí)和分析完成之后，就可以進(jìn)行軟件中與安全性相關(guān)的需求進(jìn)行規(guī)格說明了。如果某設(shè)備太復(fù)雜或太昂貴，則它將不是價(jià)格有效的。 ? 在采用標(biāo)準(zhǔn)以后，一個(gè)國(guó)家通常只允許 ISO登記的公司向政府部門和公共組織供應(yīng)產(chǎn)品和服務(wù)。為了使質(zhì)量系統(tǒng)符合 ISO標(biāo)準(zhǔn)，這些過程必須針對(duì)在標(biāo)準(zhǔn)中給出的區(qū)域，并且必須按照標(biāo)準(zhǔn)中所述的予以文檔化和實(shí)現(xiàn)。 ? 因?yàn)?ISO 9001標(biāo)準(zhǔn)適用于所有的工程行業(yè)，因此，為幫助解釋該標(biāo)準(zhǔn)在軟件過程中的使用而專門開發(fā)了一個(gè) ISO指南的子集（即 ISO 90003）。計(jì)劃的“管理”部分描述 SQA在組織結(jié)構(gòu)中的位置；SQA任務(wù)和活動(dòng)、及它們?cè)谡麄€(gè)軟件過程中的位置；以及與產(chǎn)品質(zhì)量有關(guān)的組織角色和責(zé)任?！皢栴}報(bào)告和改正行動(dòng)”中定義了錯(cuò)誤及缺陷的報(bào)告、跟蹤和解決規(guī)程，這些活動(dòng)的組織責(zé)任也被標(biāo)識(shí)出來。正式技術(shù)復(fù)審或走查是一種典型的復(fù)審會(huì)議，在實(shí)踐中這種形式對(duì)于發(fā)現(xiàn)錯(cuò)誤極其有效。當(dāng)上述映射成功實(shí)現(xiàn)時(shí)，其結(jié)果就是成熟的軟件工程。 ? 軟件復(fù)審是最為重要的 SQA活動(dòng)之一。 ? “測(cè)試”一節(jié)中列出了軟件測(cè)試計(jì)劃和過程。開始部分描述目的和文檔范圍，并指出質(zhì)量保證所覆蓋的軟件過程活動(dòng)。 ISO 9001標(biāo)準(zhǔn) ? ISO 9001是應(yīng)用于軟件工程的質(zhì)量保證標(biāo)準(zhǔn)。此后每半年進(jìn)行一次的檢查性審計(jì)將持續(xù)保證該公司的質(zhì)量系統(tǒng)與標(biāo)準(zhǔn)是相符的。 ? 這些系統(tǒng)覆蓋了構(gòu)成產(chǎn)品的完整生命期的大量的活動(dòng)， 包括計(jì)劃、控制、測(cè)量、測(cè)試和報(bào)告，以及在貫穿開發(fā)和制造的過程中改進(jìn)質(zhì)量級(jí)別 。 ? 在我們的日常生活中總能遇到 pokayoke設(shè)備（即使我們并不知道這個(gè)概念）， 例如 ，如果自動(dòng)變速箱不是位于停車檔上，則汽車的啟動(dòng)開關(guān)不能工作（預(yù)防設(shè)備），如果安全帶未系上，則汽車的警告聲將響起（探測(cè)設(shè)備）。如果滿足一組外部環(huán)境條件（而且僅當(dāng)滿足這些條件時(shí)），機(jī)械設(shè)備的不正確位置將引發(fā)災(zāi)難性的失敗。而可用性度量在某種程度上對(duì) MTTR較為敏感，MTTR是軟件可維護(hù)性的間接度量。 ? 由于一個(gè)程序中包含的每個(gè)缺陷所具有的失效率不同，總?cè)毕輸?shù)難以表示系統(tǒng)的可靠性。 ? 失效 (failure)：當(dāng)缺陷執(zhí)行時(shí)會(huì)發(fā)生失效，失效只出現(xiàn)在可執(zhí)行的表現(xiàn)中，通常是被裝載的目標(biāo)代碼。 EI = ∑ (i PIi)/PS = (PI1+2PI2+3PI3+…+iPI i)/PS ? 錯(cuò)誤指標(biāo)與表 ，可以得出軟件質(zhì)量的整體改進(jìn)指標(biāo) 。隨著少數(shù)重要原因的不斷改正，新的候選錯(cuò)誤原因也將被提到改進(jìn)日程上來。 ? 程序正確性證明 不是一個(gè)新的思路。 10. 復(fù)審以前所作的復(fù)審 。 7. 為每個(gè)可能要復(fù)審的工作產(chǎn)品建立一個(gè)檢查表 。在復(fù)審者提出問題時(shí)，未必所有人都認(rèn)同該問題的嚴(yán)重性。如果進(jìn)行得適當(dāng)， FTR可以使所有參與者體會(huì)到溫暖的成就感。 ? 復(fù)審問題列表有兩個(gè)作用 ： (1) 標(biāo)識(shí)產(chǎn)品中存在問題的區(qū)域； (2) 用作“行動(dòng)條目”檢查表以指導(dǎo)生產(chǎn)者進(jìn)行改正。當(dāng)FTR的關(guān)注范圍較小時(shí)，發(fā)現(xiàn)錯(cuò)誤的可能性更大。 ? 因此 ， 應(yīng)該進(jìn)行復(fù)審活動(dòng)。 ? 在沒有復(fù)審的軟件開發(fā)過程中缺陷放大的例子。 ? 正式技術(shù)復(fù)審的主要目標(biāo)是在此過程中發(fā)現(xiàn)錯(cuò)誤，以便使的它們不會(huì)在軟件發(fā)布之后變成缺陷。 復(fù)審 （任何復(fù)審）均是一種借助一組人的差異性來： (1) 指出一個(gè)人或小組生產(chǎn)的產(chǎn)品所需進(jìn)行的改進(jìn)； (2) 確定產(chǎn)品中不需要或者不希望改進(jìn)的部分； (3) 得到與沒有進(jìn)行復(fù)審相比更加一致、或者至少更可預(yù)測(cè)的技術(shù)工作的質(zhì)量，從而使得技術(shù)工作更易于管理。 ? 確保軟件工作及工作產(chǎn)品中的偏差已被記錄在案并根據(jù)預(yù)定規(guī)程進(jìn)行處理 ―― 偏差可能出現(xiàn)在項(xiàng)目計(jì)劃、過程描述、采用的標(biāo)準(zhǔn)或技術(shù)工作產(chǎn)品中。軟件工程研究所 SEI推薦了一組有關(guān)質(zhì)量保證中的計(jì)劃、監(jiān)督、記錄、分析及報(bào)告的 SQA活動(dòng)。與需求不符就是質(zhì)量不高。因此一個(gè)穩(wěn)定的公司組織可能會(huì)對(duì)軟件質(zhì)量的提高有很大的幫助。 質(zhì)量運(yùn)動(dòng) The Quality Movement ? 質(zhì)量運(yùn)動(dòng)始于本世紀(jì) 40年代 W. Edwards Deming的開創(chuàng)性工作，第一次真正的實(shí)驗(yàn)則是在日本進(jìn)行的。鑒定成本的例子如下： * 過程內(nèi)和過程間審查 * 設(shè)備校準(zhǔn)和維護(hù) * 測(cè)試 ? “失敗成本”是指如果在將產(chǎn)品交付給客戶之前已經(jīng)消除了缺陷時(shí)就不會(huì)存在的成本。當(dāng)然如果質(zhì)量保證所提供的數(shù)據(jù)發(fā)現(xiàn)了問題，則管理層負(fù)責(zé)解決這一問題并為解決質(zhì)量問題分配所需的資源。 ? 質(zhì)量控制在創(chuàng)建工作產(chǎn)品的過程中包含一個(gè)反饋循環(huán)。討論一個(gè)軟件的質(zhì)量，問題最終要?dú)w結(jié)到定義軟件的質(zhì)量特性。材料等級(jí)、耐久性、及性能的規(guī)約都屬于設(shè)計(jì)質(zhì)量。 ? 作為一個(gè)事物的屬性，質(zhì)量指的是可以度量的特征 ―― 那些可以與已知標(biāo)準(zhǔn)進(jìn)行比較的東西，如長(zhǎng)度、顏色、電的性質(zhì)、可延展性等等。 Quality Concepts ? 《 美國(guó)傳統(tǒng)字典 》 （ American Heritage Dictionary）中對(duì)質(zhì)量的定義是：“ 某一事物的特征或?qū)傩浴薄? ? 設(shè)計(jì)質(zhì)量 ：是指設(shè)計(jì)者為一件產(chǎn)品規(guī)定的特征。 軟件質(zhì)量特性 ? 軟件質(zhì)量特性，反映了軟件的本質(zhì) 。 ? “質(zhì)量控制”是為了保證每一件工作產(chǎn)品都滿足對(duì)它的需求而應(yīng)用于整個(gè)開發(fā)周期中的一系列審查、復(fù)審和測(cè)試。質(zhì)量保證的目標(biāo)是為管理層提供為獲知產(chǎn)品質(zhì)量信息所需的數(shù)據(jù)，從而獲得產(chǎn)品質(zhì)量是否符合預(yù)定目標(biāo)的認(rèn)識(shí)和信心?！邦A(yù)防成本”包括： * 質(zhì)量計(jì)劃 * 正式技術(shù)復(fù)審 * 測(cè)試設(shè)備 * 培訓(xùn) ? “鑒定成本”包括為深入了解“首次通過”各個(gè)過程時(shí)產(chǎn)品的狀態(tài)而開展的那些活動(dòng)。在過程的早期花時(shí)間發(fā)現(xiàn)錯(cuò)誤，你可能能夠大量地減少測(cè)試和調(diào)試成本。 例如 ，軟件過程可能受到高層職員流動(dòng)的影響，而這本身又是由公司內(nèi)部不斷重組而引起的。 上述定義強(qiáng)調(diào)了以下三個(gè)重要方面： 1. 軟件需求是進(jìn)行“質(zhì)量”測(cè)量的基礎(chǔ)。 ? SQA小組的職責(zé)是輔助軟件工程小組得到高質(zhì)量的最終產(chǎn)品。 ? 審計(jì)指定的軟件工作產(chǎn)品、對(duì)其是否符合定義好的軟件過程中的相應(yīng)部分進(jìn)行核實(shí) ――SQA 小組對(duì)選出的產(chǎn)品進(jìn)行復(fù)審；識(shí)別、記錄和跟蹤出現(xiàn)的偏差、對(duì)是否已經(jīng)改正進(jìn)行核實(shí)、定期將工作結(jié)果向項(xiàng)目管理者報(bào)告。我們需要復(fù)審的第二個(gè)理由是：盡管人善于發(fā)現(xiàn)自己的某些錯(cuò)誤，但是犯錯(cuò)誤的人自己對(duì)許多種錯(cuò)誤的發(fā)現(xiàn)能力遠(yuǎn)小于其他的人。它們都表示在軟件交付給最終用戶之后發(fā)現(xiàn)的質(zhì)量問題。 缺陷的放大和消除 Defect Amplification and Removal ? 可以用“缺陷放大模型” [IBM81]來說明在軟件工程過程中的概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)和編碼階段中錯(cuò)誤的產(chǎn)生及檢測(cè)。 ? （設(shè)計(jì)和其他技術(shù)活動(dòng)中的）正式技術(shù)復(fù)審提供了顯而易見的成本效益。 例如 ，不要試圖復(fù)審整個(gè)設(shè)計(jì)，而是對(duì)每個(gè)模塊或者一小組模塊進(jìn)行走查。它是項(xiàng)目歷史記錄的一部分，有可能被分發(fā)給項(xiàng)目管理者和其他感興趣的參與方。 FTR涉及到別人和自我。 3. 限制爭(zhēng)論和辯駁 。 6. 限制參與者人數(shù)并堅(jiān)持事先作準(zhǔn)備 。為了提高效率，所有復(fù)審參與者都應(yīng)該接受某種正式培訓(xùn)。 ? 一旦需求模型（規(guī)約）和程序設(shè)計(jì)語(yǔ)言以一種嚴(yán)格的方式被表達(dá)出來，就可