內容簡介
基於缺陷模式的軟體測試是21世紀初發展起來的一種新型軟體測試技術,是高可信、大型及基礎軟體測試必備的方法之一,有強烈的工程需求,它以缺陷檢測效率高、缺陷定位準確、自動化程度高、易學易用、與其他軟體測試技術具有很好的互補性等特點,目前已逐步成為國際上主流的軟體測試技術。這是軟體測試領域的專業書籍,可供從事軟體測試技術工作的研究人員學習和參考。圖書目錄
前言第1章軟體缺陷與缺陷模式
1.1軟體缺陷的概念
1.2軟體缺陷的來源
1.3軟體缺陷的嚴重性和優先權
1.4軟體缺陷的發現、排除及效率
1.5軟體缺陷資料庫
1.6軟體缺陷管理
1.7軟體缺陷預測
1.7.1撒播模型
1.7.2基於軟體規模和複雜性的測量模型
1.7.3基於白盒測試的覆蓋率進行預測
1.7.4基於軟體研製的質量控制過程進行預測
1.7.5基於測試時錯誤發生的時刻進行預測
1.8軟體缺陷預防
1.8.1了解缺陷
1.8.2缺陷查找技術
1.9軟體缺陷的對數常態分配
1.10軟體代碼缺陷模式
1.11C缺陷
1.12基於缺陷模式的軟體測試的意義
第2章故障模式
2.1Java故障模式
2.1.1空指針使用
2.1.2數組越界
2.1.3資源泄漏
2.1.4非法計算
2.1.5死循環
2.1.6並發
2.2C/C++故障模式
2.2.1記憶體泄漏
2.2.2數組越界
2.2.3使用未初始化變數
2.2.4空指針使用
2.2.5非法計算
2.2.6死循環
2.2.7懸掛指針
第3章安全漏洞模式
3.1Java安全漏洞模式
3.1.1未驗證的輸入
3.1.2濫用API
3.1.3安全特性
3.1.4競爭條件
3.1.5不合理的異常處理
3.1.6低質量代碼
3.1.7封裝不當
3.2C/C++安全漏洞模式
3.2.1緩衝區溢出
3.2.2被污染的數據
3.2.3競爭條件
3.2.4風險操作
第4章疑問及規則模式
4.1疑問模式
4.1.1性能相關
4.1.2冗餘代碼
4.1.3不良代碼
4.2規則模式
4.2.1聲明定義類
4.2.2版面書寫類
4.2.3分支控制類
4.2.4指針使用類
4.2.5跳轉控制類
4.2.6運算處理類
4.2.7過程調用類
4.2.8語句使用類
……
第5章基於缺陷模式的測試技術
第6章區間運算技術
第7章路徑敏感分析技術
第8章函式間分析技術
參考文獻