軟件缺陷模式與測試

內(nèi)容概要

基于缺陷模式的軟件測試是21世紀初發(fā)展起來的一種新型軟件測試技術(shù)，是高可信、大型及基礎(chǔ)軟件測試必備的方法之一，有強烈的工程需求，它以缺陷檢測效率高、缺陷定位準確、自動化程度高、易學易用、與其他軟件測試技術(shù)具有很好的互補性等特點，目前已逐步成為國際上主流的軟件測試技術(shù)?！盾浖毕菽Ｊ脚c測試》全面論述了基于缺陷模式軟件測試的一般方法，包括軟件缺陷的綜合論述、面向C/C++/Java的軟件缺陷模式的分類、各種軟件缺陷模式的定義、基于缺陷模式的軟件測試原理、提高測試精度的區(qū)間運算技術(shù)、敏感路徑分析技術(shù)、函數(shù)間分析技術(shù)等。
《軟件缺陷模式與測試》是軟件測試領(lǐng)域的專業(yè)書籍，可供從事軟件測試技術(shù)工作的研究人員學習和參考。本書主要由北京郵電大學宮云戰(zhàn)、楊朝紅、金大海、肖慶和王雅文撰寫。

書籍目錄

前言
第1章  軟件缺陷與缺陷模式
  1.1  軟件缺陷的概念
  1.2  軟件缺陷的來源
  1.3  軟件缺陷的嚴重性和優(yōu)先級
  1.4  軟件缺陷的發(fā)現(xiàn)、排除及效率
  1.5  軟件缺陷數(shù)據(jù)庫
  1.6  軟件缺陷管理
  1.7  軟件缺陷預測
    1.7.1  撒播模型
    1.7.2  基于軟件規(guī)模和復雜性的測量模型
    1.7.3  基于白盒測試的覆蓋率進行預測
    1.7.4  基于軟件研制的質(zhì)量控制過程進行預測
    1.7.5  基于測試時錯誤發(fā)生的時刻進行預測
  1.8  軟件缺陷預防
    1.8.1  了解缺陷
    1.8.2  缺陷查找技術(shù)
  1.9  軟件缺陷的對數(shù)正態(tài)分布
  1.10  軟件代碼缺陷模式
  1.11  C缺陷
  1.12  基于缺陷模式的軟件測試的意義
第2章  故障模式
  2.1  Java故障模式
    2.1.1  空指針使用
    2.1.2  數(shù)組越界
    2.1.3  資源泄漏
    2.1.4  非法計算
    2.1.5  死循環(huán)
    2.1.6  并發(fā)
  2.2  C/C++故障模式
    2.2.1  內(nèi)存泄漏
    2.2.2  數(shù)組越界
    2.2.3  使用未初始化變量
    2.2.4  空指針使用
    2.2.5  非法計算
    2.2.6  死循環(huán)
    2.2.7  懸掛指針
第3章  安全漏洞模式
  3.1  Java安全漏洞模式
    3.1.1  未驗證的輸入
    3.1.2  濫用API
    3.1.3  安全特性
    3.1.4  競爭條件
    3.1.5  不合理的異常處理
    3.1.6  低質(zhì)量代碼
    3.1.7  封裝不當
  3.2  C/C++安全漏洞模式
    3.2.1  緩沖區(qū)溢出
    3.2.2  被污染的數(shù)據(jù)
    3.2.3  競爭條件
    3.2.4  風險操作
第4章  疑問及規(guī)則模式
  4.1  疑問模式
    4.1.1  性能相關(guān)
    4.1.2  冗余代碼
    4.1.3  不良代碼
  4.2  規(guī)則模式
    4.2.1  聲明定義類
    4.2.2  版面書寫類
    4.2.3  分支控制類
    4.2.4  指針使用類
    4.2.5  跳轉(zhuǎn)控制類
    4.2.6  運算處理類
    4.2.7  過程調(diào)用類
    4.2.8  語句使用類
    4.2.9  調(diào)用返回類
    4.2.10  循環(huán)控制類
    4.2.11  類型轉(zhuǎn)換類
    4.2.12  初始化類
    4.2.13  比較判斷類
    4.2.14  名稱、符號與變量使用類
第5章  基于缺陷模式的測試技術(shù)
  5.1  基于缺陷模式的測試技術(shù)概述
    5.1.1  發(fā)展概況
    5.1.2  基于缺陷模式的軟件測試指標分析
  5.2  缺陷測試系統(tǒng)
    5.2.1  缺陷測試系統(tǒng)的結(jié)構(gòu)
    5.2.2  缺陷測試系統(tǒng)的特點
  5.3  缺陷測試系統(tǒng)的缺陷模式描述
  5.4  缺陷測試系統(tǒng)的缺陷模式檢測
    5.4.1  抽象語法樹分析
    5.4.2  控制流分析
    5.4.3  符號表構(gòu)建
    5.4.4  數(shù)據(jù)流分析
  5.5  使用缺陷測試系統(tǒng)進行缺陷檢測
第6章  區(qū)間運算技術(shù)
  6.1  經(jīng)典的區(qū)間代數(shù)
    6.1.1  區(qū)間和區(qū)間運算
    6.1.2  區(qū)間向量和區(qū)間函數(shù)
  6.2  擴展的區(qū)間運算
    6.2.1  數(shù)值型區(qū)間集代數(shù)
    6.2.2  非數(shù)值型區(qū)間代數(shù)
    6.2.3  條件表達式中的區(qū)間計算
    6.2.4  基于區(qū)間運算的變量值范圍分析
  6.3  變量的相關(guān)性分析
    6.3.1  變量間關(guān)聯(lián)關(guān)系分類
    6.3.2  符號分析
  6.4  區(qū)間運算在程序分析中的應用
    6.4.1  檢測矛盾節(jié)點
    6.4.2  檢測不可達路徑
    6.4.3  提高缺陷檢測效率
第7章  路徑敏感分析技術(shù)
  7.1  數(shù)據(jù)流分析
    7.1.1  控制流圖
    7.1.2  數(shù)據(jù)流分析概述
    7.1.3  四種典型的數(shù)據(jù)流問題
  7.2  數(shù)據(jù)流分析的理論基礎(chǔ)
    7.2.1  格理論
    7.2.2  不動點理論
    7.2.3  數(shù)據(jù)流分析的最大和最小不動點解
    7.2.4  數(shù)據(jù)流解的含義
  7.3  基于數(shù)據(jù)流的缺陷檢測
    7.3.1  缺陷模式狀態(tài)機實例
    7.3.2  基于傳統(tǒng)數(shù)據(jù)流的缺陷檢測
  7.4  路徑敏感的缺陷檢測技術(shù)
    7.4.1  靜態(tài)缺陷檢測中的誤報
    7.4.2  路徑信息抽象
    7.4.3  路徑敏感的缺陷檢測算法
第8章  函數(shù)間分析技術(shù)
  8.1  問題描述
    8.1.1  函數(shù)約束對測試的影響
    8.1.2  函數(shù)副作用對測試的影響
    8.1.3  當前研究狀況
  8.2  函數(shù)約束信息
    8.2.1  約束信息描述
    8.2.2  約束信息在靜態(tài)測試中的應用
    8.2.3  實驗環(huán)境及結(jié)果
  8.3  函數(shù)后置信息
    8.3.1  后置信息描述
    8.3.2  生成算法
    8.3.3  應用實例
    8.3.4  實驗結(jié)果
參考文獻

章節(jié)摘錄

版權(quán)頁：插圖：缺陷的嚴重性和優(yōu)先級是含義不同但相互聯(lián)系密切的兩個概念。它們都從不同的側(cè)面描述了軟件缺陷對軟件質(zhì)量和最終用戶的影響程度和處理方式。一般地，嚴重性程度高的軟件缺陷具有較高的優(yōu)先級。嚴重性高說明缺陷對軟件造成的質(zhì)量危害性大，需要優(yōu)先處理；而嚴重性低的缺陷可能只是軟件不太盡善盡美，可以稍后處理。但是，嚴重性和優(yōu)先級并不總是一一對應的。有時嚴重性高的軟件缺陷優(yōu)先級不一定高，甚至不需要處理，而一些嚴重性低的缺陷卻需要及時處理，具有較高的優(yōu)先級。一方面，修正軟件缺陷不是一件純技術(shù)問題，有時需要綜合考慮市場發(fā)布和質(zhì)量風險等因素。例如，若某個嚴重的軟件缺陷只在非常極端的條件下產(chǎn)生，則沒有必要馬上解決。另外，若修正一個軟件缺陷，則需要重新修改軟件的整體架構(gòu)，這可能會產(chǎn)生更多潛在的缺陷，而且軟件由于市場的壓力必須盡快發(fā)布，此時即使缺陷的嚴重性很高，是否需要修正，也需要全盤考慮。另一方面，如果軟件缺陷的嚴重性很低，如界面單詞拼寫錯誤，此時可以稍后修正。但是如果是軟件名稱或公司名稱的拼寫錯誤，則必須盡快修正，因為這關(guān)系到軟件和公司的市場形象。對于比較規(guī)范的軟件測試，一般使用軟件缺陷管理數(shù)據(jù)庫進行缺陷報告和處理，這需要在測試項目開始前對全體測試人員和開發(fā)人員進行培訓，對缺陷嚴重性和優(yōu)先級的表示和劃分方法進行統(tǒng)一規(guī)定和遵守。

編輯推薦

《軟件缺陷模式與測試》由科學出版社出版。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    軟件缺陷模式與測試 PDF格式下載

---