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

定　價：￥75.00

作　者：	（美）馬瑟著，王峰，郭長國，陳振華等譯
出版社：	機械工業(yè)出版社
叢編項：
標　簽：	軟件工程/開發(fā)項目管理

購買這本書可以去

ISBN：	9787111351887	出版時間：	2011-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	382	字數(shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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