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

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