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