內容簡介

圖書目錄
前言第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章函式間分析技術
參考文獻