軟件質(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
設(shè)計 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
本書結(jié)構(gòu) 38第2章
軟件審查和測試 392.1
Fagan審查概述 392.2
軟件審查方法論 412.3
E-MailFax(電子郵件傳真)評審 422.4
半正式評審會議 422.4.1
評審會議清單—— 評審指導(dǎo) 432.4.2
評審備忘錄模板 442.5
Fagan審查法 452.5.1
Fagan審查方針 472.5.2
審查者和角色 482.5.3
審查進入標(biāo)準(zhǔn) 482.5.4
準(zhǔn)備 492.5.5
審查會議 492.5.6
審查退出標(biāo)準(zhǔn) 512.5.7
問題的嚴(yán)重性 512.5.8
缺陷類型 522.6
軟件測試 542.6.1
測試計劃 552.6.2
測試過程 572.6.3
測試工具 612.6.4
電子商務(wù)測試 632.6.5
測試和質(zhì)量改進 652.6.6
需求可追蹤性 672.6.7
需求追蹤矩陣 682.7
小結(jié) 68第3章
ISO 9000標(biāo)準(zhǔn) 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
管理職責(zé)條款 843.4.3
資源管理條款 873.4.4
產(chǎn)品或服務(wù)實現(xiàn) 893.4.5
度量、分析和改進 943.5
ISO 9000和改進 983.5.1
自我評估過程 983.5.2
行動計劃 993.6
ISO 9000認(rèn)證過程 1003.7
小結(jié) 101第4章
能力成熟度模型 1034.1
簡介 1034.1.1
CMM的動機 1044.1.2
CMM和質(zhì)量組 1054.2
CMM概述 1064.3
CMM的體系結(jié)構(gòu) 1094.4
CMM成熟度級別 1124.1.1
初始級 1124.4.2
可重復(fù)級 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
小結(jié) 135第5章
SPICE(15504)標(biāo)準(zhǔn) 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
客戶-供應(yīng)商過程類型 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ù)搜集和確認(rèn) 1545.7.3
過程評級 1545.7.4
評估報告 1555.8
過程能力鑒定 1555.9
SPICE和過程改進 1575.10
SPICE的實施 1605.11
SPICE的評論分析 1605.12
小結(jié) 161第6章
度量和問題求解 1636.1
簡介 1636.2
目標(biāo)問題度量模式 1646.3
平衡記分卡 1656.4
組織的度量 1676.4.1
客戶滿意度度量 1686.4.2
過程改進度量 1696.4.3
人力資源和培訓(xùn)度量 1706.4.4
項目管理度量 1726.4.5
開發(fā)質(zhì)量度量 1736.4.6
質(zhì)量審核度量 1756.4.7
客戶關(guān)心度量 1776.4.8
其他度量 1796.5
實施度量程序 1796.6
問題求解技術(shù) 1826.6.1
魚骨圖 1836.6.2
柱狀圖 1846.6.3
Pareto圖 1856.6.4
走勢圖 1876.6.5
散點圖 1876.6.6
度量和統(tǒng)計過程控制 1886.7
小結(jié) 189第7章
形式方法和設(shè)計 1907.1
簡介 1907.2
軟件配置管理 1937.3
統(tǒng)一建模語言 1957.4
軟件可用性 1997.4.1
可用性標(biāo)準(zhǔn) 2007.4.2
ISO 9241 2007.4.3
ISO 13407 2017.4.4
可用性設(shè)計 2027.5
形式方法 2037.5.1
為什么要使用形式方法 2057.5.2
形式方法的應(yīng)用 2067.5.3
形式方法和復(fù)用 2077.5.4
形式方法的工具 2077.5.5
面向模型的方法 2087.5.6
公理化方法 2097.5.7
維也納開發(fā)方法(VDM) 2107.5.8
VDM?，愛爾蘭VDM學(xué)派 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
小結(jié) 220參考 221縮語表 227