軟件質(zhì)量實用方法論

定　價：￥35.00

作　者：	（愛爾蘭）Gerard O'Regan著；陳茵，閃四清譯
出版社：	清華大學出版社
叢編項：	國外計算機科學經(jīng)典教材
標　簽：	軟件質(zhì)量

購買這本書可以去

ISBN：	9787302079026	出版時間：	2004-02-01	包裝：	膠版紙
開本：	26cm	頁數(shù)：	229	字數(shù)：

內(nèi)容簡介

　　本書討論了軟件質(zhì)量管理和軟件過程改進的基本原則，以及—些成熟度方法。本書是從實踐者的角度編寫的，既有一定的理論深度，又有很強的實踐性。本書包括7章內(nèi)容，分別對軟件質(zhì)量的基本概念、軟件審查和測試、ISO 9000系列標準、能力成熟度模型、SPICE 15504標準、度量和問題求解、形式方法和設等內(nèi)容進行了詳細的研究。本書特別適于軟件公司中的軟件工程師和管理人員，以及軟件質(zhì)量的專業(yè)人員和實踐人員閱讀。作為一本介紹性的專業(yè)用書，本書既適合那些對軟件質(zhì)量管理的基本原理感興趣的軟件工程專業(yè)的學生，也適合那些對軟件工程感興趣的普通讀者。組織結構和特征第1章介紹了質(zhì)量管理的一些基本原理。后面幾章則講述了軟件審查和測試、ISO9000、CMM、演化后的SPICE標準、度量和問題求解，第7章“形式方法和設計”講述的是一些高級課題，包括配置管理、UML、軟件可用性以及形式方法。讀者可能會發(fā)現(xiàn)某些內(nèi)容學習起來進展緩慢，尤其是7．5節(jié)（形式方法）。讀者可以先跳過這一節(jié)。本書第2章是關于軟件審查和測試的，這一章包括了關于Fagan審查的一些內(nèi)容。 2．6節(jié)（軟件測試）則包括了測試計劃和跟蹤、測試度量、測試報告、測試用例的定義、各種類型的測試，以及在電子商務環(huán)境下的測試等內(nèi)容。而ISO 9000、CMM、SPICE 是獨立的3章，這3章提供了背景材料和支持模型或標準實施的適當級別的材料。本書對新的ISO 9000：2000標準和實際的實施問題進行了討論，在第4章中講述了軟件工程研究所的新CMMI模型。第6章是關于度量和問題求解的，討論了幫助組縱確認合適的度量的平衡記分卡、針對組織目標的相關度量的GQM，以及組織中各個職能領域的度量樣本集。第7章討論了—些高級課題，包括軟件配置管理、UML、軟件可用性以及形式方法。7．5節(jié)介紹了軟件工程中的形式方法領域，這是最難的一節(jié)。它包括一些初等數(shù)學，以便向讀者介紹這門學科的風格，但是大部分內(nèi)容都是枯燥乏味的。對數(shù)學符號沒有感覺的讀者可以跳過此節(jié)。

作者簡介

暫缺《軟件質(zhì)量實用方法論》作者簡介

圖書目錄

第1章
軟件質(zhì)量簡述 11.1
軟件工程的挑戰(zhàn) 11.2
軟件的失敗史 31.3
軟件質(zhì)量的背景 41.3.1
什么是軟件質(zhì)量 41.3.2
早期的質(zhì)量管理 51.3.3
全面質(zhì)量管理 51.3.4
軟件質(zhì)量控制 61.4
質(zhì)量的歷史 71.4.1
Shewhart 71.4.2
Deming 81.4.3
Juran 101.4.4
Crosby 121.4.5
其他質(zhì)量專家 151.5
軟件工程 161.5.1
需求分析 171.5.2
規(guī)范 181.5.3
設計 191.5.4
實施 191.5.5
測試 191.5.6
維護 211.6
現(xiàn)代軟件質(zhì)量管理 231.6.1
軟件審查 231.6.2
軟件測試 241.6.3
軟件質(zhì)量保證 251.6.4
問題求解 261.6.5
建模 271.6.6
質(zhì)量的成本 281.6.7
過程改進 281.6.8
度量 301.6.9
客戶滿意度 301.6.10
評估 331.6.11
全面質(zhì)量管理 331.7
其他 351.7.1
軟件質(zhì)量的未來 351.7.2
組織的文化及其變革 351.7.3
疏忽法則 361.7.4
形式方法 361.7.5
質(zhì)量和WEB 371.8
本書結構 38第2章
軟件審查和測試 392.1
Fagan審查概述 392.2
軟件審查方法論 412.3
E-MailFax(電子郵件傳真)評審 422.4
半正式評審會議 422.4.1
評審會議清單—— 評審指導 432.4.2
評審備忘錄模板 442.5
Fagan審查法 452.5.1
Fagan審查方針 472.5.2
審查者和角色 482.5.3
審查進入標準 482.5.4
準備 492.5.5
審查會議 492.5.6
審查退出標準 512.5.7
問題的嚴重性 512.5.8
缺陷類型 522.6
軟件測試 542.6.1
測試計劃 552.6.2
測試過程 572.6.3
測試工具 612.6.4
電子商務測試 632.6.5
測試和質(zhì)量改進 652.6.6
需求可追蹤性 672.6.7
需求追蹤矩陣 682.7
小結 68第3章
ISO 9000標準 693.1
簡介 693.1.1
ISO 9000的動機 703.1.2
ISO 9000和質(zhì)量組 703.2
ISO 90001994版 713.3
ISO 90002000版 743.4
實施ISO 90002000 773.4.1
質(zhì)量管理體系條款 823.4.2
管理職責條款 843.4.3
資源管理條款 873.4.4
產(chǎn)品或服務實現(xiàn) 893.4.5
度量、分析和改進 943.5
ISO 9000和改進 983.5.1
自我評估過程 983.5.2
行動計劃 993.6
ISO 9000認證過程 1003.7
小結 101第4章
能力成熟度模型 1034.1
簡介 1034.1.1
CMM的動機 1044.1.2
CMM和質(zhì)量組 1054.2
CMM概述 1064.3
CMM的體系結構 1094.4
CMM成熟度級別 1124.1.1
初始級 1124.4.2
可重復級 1134.4.3
已定義級 1164.4.4
已管理級 1184.4.5
優(yōu)化級 1204.5
實現(xiàn)CMM 1214.6
CMM內(nèi)部評估 1234.7
CMM外部評估 1254.7.1
評估計劃 1274.7.2
實施評估 1274.7.3
評估報告 1274.8
世界范圍內(nèi)的CMM成熟度 1274.9
CMMI項目 1294.9.1
CMMI分級模型 1304.9.2
CMMI連續(xù)模型 1324.10
小結 135第5章
SPICE(15504)標準 1365.1
簡介 1365.1.1
SPICE的動機 1365.1.2
SPICE和質(zhì)量組 1375.2
SPICE概述 1385.3
過程管理 1405.4
SPICE參考模型 1415.5
SPICE過程 1455.5.1
客戶-供應商過程類型 1455.5.2
工程過程類型 1465.5.3
管理過程類型 1475.5.4
支持過程類型 1485.5.5
組織過程類型 1495.6
樣品模型 1505.7
SPICE評估 1515.7.1
評估的計劃 1525.7.2
數(shù)據(jù)搜集和確認 1545.7.3
過程評級 1545.7.4
評估報告 1555.8
過程能力鑒定 1555.9
SPICE和過程改進 1575.10
SPICE的實施 1605.11
SPICE的評論分析 1605.12
小結 161第6章
度量和問題求解 1636.1
簡介 1636.2
目標問題度量模式 1646.3
平衡記分卡 1656.4
組織的度量 1676.4.1
客戶滿意度度量 1686.4.2
過程改進度量 1696.4.3
人力資源和培訓度量 1706.4.4
項目管理度量 1726.4.5
開發(fā)質(zhì)量度量 1736.4.6
質(zhì)量審核度量 1756.4.7
客戶關心度量 1776.4.8
其他度量 1796.5
實施度量程序 1796.6
問題求解技術 1826.6.1
魚骨圖 1836.6.2
柱狀圖 1846.6.3
Pareto圖 1856.6.4
走勢圖 1876.6.5
散點圖 1876.6.6
度量和統(tǒng)計過程控制 1886.7
小結 189第7章
形式方法和設計 1907.1
簡介 1907.2
軟件配置管理 1937.3
統(tǒng)一建模語言 1957.4
軟件可用性 1997.4.1
可用性標準 2007.4.2
ISO 9241 2007.4.3
ISO 13407 2017.4.4
可用性設計 2027.5
形式方法 2037.5.1
為什么要使用形式方法 2057.5.2
形式方法的應用 2067.5.3
形式方法和復用 2077.5.4
形式方法的工具 2077.5.5
面向模型的方法 2087.5.6
公理化方法 2097.5.7
維也納開發(fā)方法(VDM) 2107.5.8
VDM?，愛爾蘭VDM學派 2117.5.9
Z規(guī)范語言 2137.5.10
B方法 2157.5.11
命題演算和謂詞演算 2167.5.12
謂詞變換程序和最弱前置條件 2177.5.13
過程演算 2177.5.14
其他規(guī)范語言 2187.5.15
證明和形式方法 2197.6
小結 220參考 221縮語表 227