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

定　價(jià)：￥35.00

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

購買這本書可以去

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

第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
問題求解 261.6.5
建模 271.6.6
質(zhì)量的成本 281.6.7
過程改進(jìn) 281.6.8
度量 301.6.9
客戶滿意度 301.6.10
評(píng)估 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章
軟件審查和測(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
問題的嚴(yán)重性 512.5.8
缺陷類型 522.6
軟件測(cè)試 542.6.1
測(cè)試計(jì)劃 552.6.2
測(cè)試過程 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)估過程 983.5.2
行動(dòng)計(jì)劃 993.6
ISO 9000認(rèn)證過程 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
過程管理 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評(píng)估 1515.7.1
評(píng)估的計(jì)劃 1525.7.2
數(shù)據(jù)搜集和確認(rèn) 1545.7.3
過程評(píng)級(jí) 1545.7.4
評(píng)估報(bào)告 1555.8
過程能力鑒定 1555.9
SPICE和過程改進(jìn) 1575.10
SPICE的實(shí)施 1605.11
SPICE的評(píng)論分析 1605.12
小結(jié) 161第6章
度量和問題求解 1636.1
簡(jiǎn)介 1636.2
目標(biāo)問題度量模式 1646.3
平衡記分卡 1656.4
組織的度量 1676.4.1
客戶滿意度度量 1686.4.2
過程改進(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
問題求解技術(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ì)過程控制 1886.7
小結(jié) 189第7章
形式方法和設(shè)計(jì) 1907.1
簡(jiǎn)介 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è)計(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?，愛爾蘭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