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

定　價(jià)：￥75.00

作　者：	（美）馬瑟著，王峰，郭長(zhǎng)國(guó)，陳振華等譯
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	軟件工程/開(kāi)發(fā)項(xiàng)目管理

購(gòu)買這本書(shū)可以去

ISBN：	9787111351887	出版時(shí)間：	2011-08-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	382	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　Aditya P.Mathur的《軟件測(cè)試基礎(chǔ)教程》全面介紹了軟件測(cè)試的相關(guān)理論、測(cè)試方法、測(cè)試生成技術(shù)等內(nèi)容。全書(shū)分為三個(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è)試中既重要又廣泛適用的理論，即通過(guò)測(cè)試充分性的度量來(lái)加強(qiáng)測(cè)試，包括基于控制流、數(shù)據(jù)流的代碼覆蓋標(biāo)準(zhǔn)，以及最有效的基于程序變異的測(cè)試充分性度量標(biāo)準(zhǔn)。每章的結(jié)尾都有參考文獻(xiàn)注釋和練習(xí)題，幫助讀者深入體會(huì)軟件測(cè)試的過(guò)程，并熟練掌握測(cè)試生成的方法。《軟件測(cè)試基礎(chǔ)教程》適合作為計(jì)算機(jī)、軟件工程及相關(guān)專業(yè)軟件測(cè)試課程的教材，也可作為軟件測(cè)試技術(shù)人員的參考書(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ù)等。

圖書(shū)目錄

出版者的話
譯者序
前言
第一部分預(yù)備知識(shí)
第1章軟件測(cè)試的基本知識(shí)
1.1 人、錯(cuò)誤和測(cè)試
1.1.1 錯(cuò)誤、故障和失效
1.1.2 測(cè)試自動(dòng)化
1.1.3 開(kāi)發(fā)人員與測(cè)試人員是兩種角色
1.2 軟件質(zhì)量
1.2.1 軟件質(zhì)量特性
1.2.2 軟件可靠性
1.3 需求、運(yùn)行結(jié)果和正確性
1.3.1 輸入域與軟件正確性
1.3.2 有效輸入與無(wú)效輸入
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 過(guò)程級(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è)試過(guò)程模型
1.19 飽和效應(yīng)
1.19.1 信賴度與真實(shí)可靠性
1.19.2 飽和區(qū)間
1.19.3 信賴度的錯(cuò)覺(jué)
1.19.4 降低偏差δ
1.19.5 對(duì)測(cè)試過(guò)程的影響
小結(jié)
參考文獻(xiàn)注釋
練習(xí)
……
第二部分測(cè)試生成
第三部分測(cè)試充分性評(píng)價(jià)與測(cè)試增強(qiáng)