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