軟體缺陷模式與測試

《軟體缺陷模式與測試》是2011年科學出版社出版的圖書,作者是宮雲戰。

基本信息

內容簡介

軟體缺陷模式與測試 軟體缺陷模式與測試
基於缺陷模式的軟體測試是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章函式間分析技術
參考文獻

相關詞條

相關搜尋

熱門詞條

聯絡我們