定 價(jià)：42 元
叢書名：教育部職業(yè)教育與成人教育司推薦教材
- 作者：（德）里格斯麥爾 著，于芳 譯
- 出版時(shí)間：2009/7/1
- ISBN：9787111269816
- 出 版 社：機(jī)械工業(yè)出版社
- 中圖法分類：H31
- 頁(yè)碼：286
- 紙張：膠版紙
- 版次：1
- 開本：16開
本書詳細(xì)地?cái)⑹隽水?dāng)前軟件質(zhì)量保證的技術(shù)、方法、原理和構(gòu)成方面的最新知識(shí)，每一章的開始是本章的簡(jiǎn)介，使讀者了解本章要講述的內(nèi)容；每一章的結(jié)束部分都有評(píng)價(jià)，對(duì)從業(yè)人員來說具有實(shí)踐指導(dǎo)意義。本書在寫作上，注重了將理論和實(shí)踐、軟件和硬件、經(jīng)驗(yàn)知識(shí)和教學(xué)知識(shí)領(lǐng)域的牢固結(jié)合，使讀者更貼近軟件開發(fā)這個(gè)重要的領(lǐng)域。
本書適合作為高等教育計(jì)算機(jī)相關(guān)專業(yè)的教材和教學(xué)參考書，也可用作從業(yè)人員的參考書。
出版說明
前言
第1章 引言
1.1 動(dòng)機(jī)
1.2 數(shù)據(jù)和概念的定義
1.3 技術(shù)水平
1.3.1 質(zhì)量管理
1.3.2 軟件質(zhì)量保證
1.3.3 硬件質(zhì)量安全
1.3.4 軟件密集型系統(tǒng)的質(zhì)量保障
1.4 測(cè)試技術(shù)的分組與歸類
1.4.1 動(dòng)態(tài)測(cè)試
1.4.2 靜態(tài)分析
1.4.3 形式技術(shù)：符號(hào)測(cè)試和形式證明流程
1.5 組織結(jié)構(gòu) 出版說明
前言
第1章 引言
1.1 動(dòng)機(jī)
1.2 數(shù)據(jù)和概念的定義
1.3 技術(shù)水平
1.3.1 質(zhì)量管理
1.3.2 軟件質(zhì)量保證
1.3.3 硬件質(zhì)量安全
1.3.4 軟件密集型系統(tǒng)的質(zhì)量保障
1.4 測(cè)試技術(shù)的分組與歸類
1.4.1 動(dòng)態(tài)測(cè)試
1.4.2 靜態(tài)分析
1.4.3 形式技術(shù)：符號(hào)測(cè)試和形式證明流程
1.5 組織結(jié)構(gòu)
第2章 面向功能型測(cè)試
2.1 面向功能型測(cè)試的屬性和目標(biāo)
2.2 功能性等價(jià)類劃分
2.2.1 功能性等價(jià)類劃分的屬性和目標(biāo)
2.2.2 描述功能性等價(jià)類劃分
2.2.3 評(píng)價(jià)功能性等價(jià)類劃分
2.3 以狀態(tài)為基礎(chǔ)的測(cè)試
2.3.1 以狀態(tài)為基礎(chǔ)的測(cè)試的屬性和目標(biāo)
2.3.2 描述以狀態(tài)為基礎(chǔ)的測(cè)試
2.3.3 評(píng)價(jià)以狀態(tài)為基礎(chǔ)的測(cè)試
2.4 原因一效果一分析
2.5 其他面向功能型測(cè)試技術(shù)
2.5.1 句法測(cè)試
2.5.2 以事務(wù)流為基礎(chǔ)的測(cè)試
2.5.3 以判定表格為基礎(chǔ)或者以判定樹為基礎(chǔ)進(jìn)行測(cè)試
2.6 評(píng)價(jià)面向功能型測(cè)試
第3章 面向控制流程的、面向結(jié)構(gòu)的測(cè)試
3.1 面向控制流程的測(cè)試屬性和目標(biāo)
3.2 指令覆蓋測(cè)試
3.2.1 指令覆蓋測(cè)試的屬性和目標(biāo)
3.2.2 描述指令覆蓋測(cè)試
3.2.3 評(píng)價(jià)指令覆蓋測(cè)試
3.3 子項(xiàng)覆蓋測(cè)試
3.3.1 子項(xiàng)覆蓋測(cè)試的屬性和目標(biāo)
3.3.2 描述子項(xiàng)覆蓋測(cè)試
3.3.3 子項(xiàng)覆蓋測(cè)試的問題
3.3.4 評(píng)價(jià)子項(xiàng)覆蓋測(cè)試
3.4 條件覆蓋測(cè)試
3.4.1 條件覆蓋測(cè)試的屬性和目標(biāo)
3.4.2 簡(jiǎn)單的條件覆蓋測(cè)試
3.4.3 條件／判定覆蓋測(cè)試
3.4.4 最小多重條件覆蓋測(cè)試
3.4.5 修正條件／判定覆蓋測(cè)試
3.4.6 多重條件覆蓋測(cè)試
3.4.7 問題
3.4.8 評(píng)估條件覆蓋測(cè)試
3.5 測(cè)試循環(huán)的技術(shù)
3.5.1 屬性和目標(biāo)
3.5.2 結(jié)構(gòu)化路徑測(cè)試和邊界一內(nèi)部路徑測(cè)試
3.5.3 LCSAJ測(cè)試
3.6 路徑覆蓋測(cè)試
3.6.1 路徑覆蓋測(cè)試的屬性和目標(biāo)
3.6.2 評(píng)價(jià)路徑覆蓋測(cè)試
3.7 評(píng)價(jià)面向流程控制的測(cè)試
第4章 數(shù)據(jù)流型、面向結(jié)構(gòu)型測(cè)試
4.1 數(shù)據(jù)流型測(cè)試的屬性和目標(biāo)
4.2 定義／用途測(cè)試
……
第5章 特殊的動(dòng)態(tài)測(cè)試技術(shù)
第6章 軟件測(cè)量
第7章 利用工具進(jìn)行靜態(tài)代碼分析
第8章 軟件驗(yàn)證與復(fù)審
第9章 形式技術(shù)：符號(hào)測(cè)試和形式正確性證明
第10章 過程和測(cè)試策略
第11章 工具
第12章 測(cè)試面向?qū)ο笮蛙浖?br>第13章 測(cè)試嵌入軟件
第14章 實(shí)踐指南
參考文獻(xiàn)
第1章 引言
每個(gè)開發(fā)軟件的企業(yè)都努力提供最佳質(zhì)量的軟件。只有精確定義了一個(gè)目標(biāo)，我們才能切實(shí)地實(shí)現(xiàn)這個(gè)目標(biāo)，但這個(gè)道理卻并不適用于“最佳質(zhì)量”的概念。軟件質(zhì)量是涉及多方面的。一個(gè)軟件的多種性能共同構(gòu)成軟件的質(zhì)量。這些性能對(duì)使用者和制造商而言并非同等重要。一些性能對(duì)特定的軟件產(chǎn)品特別重要，其他性能對(duì)相同的軟件產(chǎn)品則毫無關(guān)系。一些性能相互發(fā)生負(fù)面作用。有人說，我們要做出質(zhì)量最好的軟件，顯然是沒有理解軟件質(zhì)量的含義。開發(fā)軟件的目的不在于實(shí)現(xiàn)最好的質(zhì)量，而是最合適的質(zhì)量。為此，需要確定所謂的質(zhì)量目標(biāo)來制定所需的軟件質(zhì)量。隨后，人們可以決定，采用何種方式來達(dá)到確定的質(zhì)量。一般來說，必須采用設(shè)計(jì)上有前瞻性、經(jīng)過分析檢驗(yàn)的技術(shù)與組織管理方面的手段相結(jié)合。在實(shí)現(xiàn)質(zhì)量的過程中，重要的是考慮到經(jīng)濟(jì)性，即一定不要忘記時(shí)間和成本兩個(gè)要素。不同軟件產(chǎn)品的多樣性，造成了對(duì)軟件質(zhì)量的不同要求，加上時(shí)間和成本，導(dǎo)致人們無法找出萬(wàn)能的解決方案。本章將分門別類地為您介紹軟件質(zhì)量管理和軟件質(zhì)量保證的各種組織上和技術(shù)上的解決方案。
1.1 動(dòng)機(jī)
隨著計(jì)算機(jī)越來越深入人類生活的各個(gè)應(yīng)用領(lǐng)域，其軟件功能的正確性、可靠性也越來越重要。成本的發(fā)展表明，和硬件成本相比，軟件成本明顯呈上升趨勢(shì)，同時(shí)，軟件使用壽命也明顯長(zhǎng)于硬件。所以，在軟件開發(fā)領(lǐng)域縮減成本是十分經(jīng)濟(jì)的做法。如果根據(jù)軟件生命周期來分析軟件開發(fā)的成本，則其結(jié)果是市場(chǎng)上某個(gè)軟件產(chǎn)品的大部分成本在維護(hù)階段產(chǎn)生，也就表明軟件質(zhì)量不夠理想。在制作軟件時(shí)產(chǎn)生的錯(cuò)誤，和使用軟件時(shí)發(fā)現(xiàn)的錯(cuò)誤是導(dǎo)致軟件質(zhì)量不完善的原因。如果一個(gè)軟件產(chǎn)品結(jié)構(gòu)不清晰，內(nèi)容不夠簡(jiǎn)潔明了，要修正錯(cuò)誤則是一件耗費(fèi)時(shí)間的重任。軟件產(chǎn)品日漸增強(qiáng)的復(fù)雜性同樣也增加了軟件質(zhì)量不完善的可能性。要將錯(cuò)誤本地化，并消除錯(cuò)誤很難，特別是結(jié)構(gòu)上有欠缺的軟件，修正的錯(cuò)誤可能會(huì)帶來其他錯(cuò)誤，因?yàn)閷?duì)某一處的修改會(huì)與軟件的其他部分相互作用。如果某個(gè)錯(cuò)誤的形成原因已經(jīng)在軟件開發(fā)的早期階段出現(xiàn)，比如在定義要求的時(shí)候或者設(shè)計(jì)軟件的時(shí)候，那么必須進(jìn)行大量的變動(dòng)。
……
書單推薦
