軟件測(cè)試基礎(chǔ)教程

內(nèi)容概要

Aditya
P.Mathur的《軟件測(cè)試基礎(chǔ)教程》全面介紹了軟件測(cè)試的相關(guān)理論、測(cè)試方法、測(cè)試生成技術(shù)等內(nèi)容。全書分為三個(gè)部分：第一部分足預(yù)備知識(shí)，介紹軟件測(cè)試技術(shù)的相關(guān)術(shù)語(yǔ)等基礎(chǔ)知識(shí)；第二部分介紹軟件測(cè)試的生成技術(shù)，不僅包括基本的等價(jià)類劃分、邊界值分析、因果圖、謂詞測(cè)試等技術(shù)，還涵蓋了從有窮狀態(tài)模型自動(dòng)生成測(cè)試的技術(shù)、基于組合設(shè)計(jì)的測(cè)試生成技術(shù)，以及用于回歸測(cè)試中測(cè)試選擇、優(yōu)先級(jí)排序、最小化的一些基本技術(shù)；第三部分介紹軟件測(cè)試中既重要又廣泛適用的理論，即通過測(cè)試充分性的度量來加強(qiáng)測(cè)試，包括基于控制流、數(shù)據(jù)流的代碼覆蓋標(biāo)準(zhǔn)，以及最有效的基于程序變異的測(cè)試充分性度量標(biāo)準(zhǔn)。每章的結(jié)尾都有參考文獻(xiàn)注釋和練習(xí)題，幫助讀者深入體會(huì)軟件測(cè)試的過程，并熟練掌握測(cè)試生成的方法。
《軟件測(cè)試基礎(chǔ)教程》適合作為計(jì)算機(jī)、軟件工程及相關(guān)專業(yè)軟件測(cè)試課程的教材，也可作為軟件測(cè)試技術(shù)人員的參考書。

作者簡(jiǎn)介

Aditya R Mathur普度大學(xué)計(jì)算機(jī)系主任、教授，印度BITS
Pilafli大學(xué)計(jì)算機(jī)系創(chuàng)始人之一。他是一位成果頗豐的學(xué)者，在國(guó)家期刊和會(huì)議上發(fā)表了100多篇論文。他的重要學(xué)術(shù)成果包括多語(yǔ)言計(jì)算機(jī)、軟件測(cè)試的飽和效應(yīng)、軟件控制論、軟件可靠性估算的新技術(shù)等。

書籍目錄

出版者的話
譯者序
前言
第一部分 預(yù)備知識(shí)
  第1章 軟件測(cè)試的基本知識(shí)
    1.1 人、錯(cuò)誤和測(cè)試
      1.1.1 錯(cuò)誤、故障和失效
      1.1.2 測(cè)試自動(dòng)化
      1.1.3 開發(fā)人員與測(cè)試人員是兩種角色
    1.2 軟件質(zhì)量
      1.2.1 軟件質(zhì)量特性
      1.2.2 軟件可靠性
    1.3 需求、運(yùn)行結(jié)果和正確性
      1.3.1 輸入域與軟件正確性
      1.3.2 有效輸入與無效輸入
    1.4 正確性與可靠性
      1.4.1 正確性
      1.4.2 可靠性
      1.4.3 軟件使用與操作剖面
    1.5 測(cè)試與調(diào)試
      1.5.1 制訂測(cè)試計(jì)劃
      1.5.2 構(gòu)造測(cè)試數(shù)據(jù)
      1.5.3 運(yùn)行被測(cè)軟件
      1.5.4 指定被測(cè)軟件的行為
      1.5.5 評(píng)價(jià)被測(cè)軟件運(yùn)行結(jié)果的正確性
      1.5.6 測(cè)試預(yù)言的構(gòu)造
    1.6 測(cè)試度量
      1.6.1 組織級(jí)度量
      1.6.2 項(xiàng)目級(jí)度量
      1.6.3 過程級(jí)度量
      1.6.4 產(chǎn)品級(jí)度量：通用度量
      1.6.5 產(chǎn)品級(jí)度量：面向?qū)ο筌浖?br />      1.6.6 進(jìn)度跟蹤與趨勢(shì)
      1.6.7 靜態(tài)度量與動(dòng)態(tài)度量
      1.6.8 可測(cè)試性
    1.7 軟件測(cè)試與硬件測(cè)試
    1.8 測(cè)試與驗(yàn)證
    1.9 缺陷管理
    1.10 執(zhí)行歷史
    1.11 測(cè)試生成策略
    1.12 靜態(tài)測(cè)試
      1.12.1 走查
      1.12.2 審查
      1.12.3 在靜態(tài)測(cè)試中使用靜態(tài)代碼分析工具
      1.12.4 軟件復(fù)雜性與靜態(tài)測(cè)試
    1.13 基于模型的測(cè)試與模型檢測(cè)
    1.14 控制流圖
      1.14.1 基本塊
      1.14.2 流圖的定義與圖形表示
      1.14.3 路徑
    1.15 決定者與后決定者
    1.16 程序依賴圖
      1.16.1 數(shù)據(jù)依賴性
      1.16.2 控制依賴性
    1.17 字符串、語(yǔ)言與正則表達(dá)式
    1.18 測(cè)試的類型
      1.18.1 分類因子C1：測(cè)試生成的依據(jù)
      1.18.2 分類因子C2：軟件生命周期階段
      1.18.3 分類因子C3：目標(biāo)導(dǎo)向的測(cè)試
      1.18.4 分類因子C4：被測(cè)軟件制品
      1.18.5 分類因子C5：測(cè)試過程模型
    1.19 飽和效應(yīng)
      1.19.1 信賴度與真實(shí)可靠性
      1.19.2 飽和區(qū)間
      1.19.3 信賴度的錯(cuò)覺
      1.19.4 降低偏差δ
      1.19.5 對(duì)測(cè)試過程的影響
    小結(jié)
    參考文獻(xiàn)注釋
    練習(xí)
第二部分 測(cè)試生成
  第2章 基于需求的測(cè)試生成
  第3章 基于有窮狀態(tài)模型的測(cè)試生成
  第4章 基于組合設(shè)計(jì)的測(cè)試生成技術(shù)
  第5章 回歸測(cè)試的選擇、最小化和優(yōu)先級(jí)排序
第三部分 測(cè)試充分性評(píng)價(jià)與測(cè)試增強(qiáng)
  第6章 基于控制流和數(shù)據(jù)流的測(cè)試充分性評(píng)價(jià)
  第7章 基于程序變異的測(cè)試充分性評(píng)價(jià)

章節(jié)摘錄

版權(quán)頁(yè)：插圖：

媒體關(guān)注與評(píng)論

本書以清晰易懂的方式、大量的實(shí)例和插圖，描述了各種測(cè)試技術(shù)，使本書易學(xué)易用，非常方便學(xué)生理解和掌握書中的原理和技術(shù)?？傊?，這是軟件測(cè)試領(lǐng)域一本非常出色的教材。　　——Ashish Kundu，普度大學(xué)作為講授“軟件測(cè)試和驗(yàn)證”課程的教師，我曾長(zhǎng)期困惑于沒有適合我的測(cè)試課程的教材，直到我看到了這本書。它內(nèi)容全面、實(shí)例豐富、圖文并茂、習(xí)題安排合理、參考文獻(xiàn)和章末討論利于讀者進(jìn)一步提高，并配有組織良好的PPT教學(xué)課件，因此，我認(rèn)為本書是最好的軟件測(cè)試教材之一?！　　狝bdeslam En-nouaary教授，康考迪亞大學(xué)

編輯推薦

《軟件測(cè)試基礎(chǔ)教程》為計(jì)算機(jī)科學(xué)叢書之一。

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    軟件測(cè)試基礎(chǔ)教程 PDF格式下載

---