書(shū)馨卡幫你省薪 2024個(gè)人購(gòu)書(shū)報(bào)告 2024中圖網(wǎng)年度報(bào)告
歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)

軟件測(cè)試導(dǎo)論

作者:蔡立志
出版社:清華大學(xué)出版社出版時(shí)間:2016-08-01
開(kāi)本: 32開(kāi) 頁(yè)數(shù): 378
本類(lèi)榜單:教材銷(xiāo)量榜
中 圖 價(jià):¥21.3(4.3折) 定價(jià)  ¥49.5 登錄后可看到會(huì)員價(jià)
暫時(shí)缺貨 收藏
運(yùn)費(fèi)6元,滿(mǎn)39元免運(yùn)費(fèi)
?新疆、西藏除外
溫馨提示:5折以下圖書(shū)主要為出版社尾貨,大部分為全新(有塑封/無(wú)塑封),個(gè)別圖書(shū)品相8-9成新、切口
有劃線(xiàn)標(biāo)記、光盤(pán)等附件不全詳細(xì)品相說(shuō)明>>
本類(lèi)五星書(shū)更多>

軟件測(cè)試導(dǎo)論 版權(quán)信息

軟件測(cè)試導(dǎo)論 本書(shū)特色

本書(shū)系統(tǒng)地介紹了軟件測(cè)試的主要技術(shù)和方法,全書(shū)共分為8章。在討論黑盒測(cè)試時(shí)介紹了邊界值、等價(jià)類(lèi)、決策表、因果圖等方法,而基于控制流的測(cè)試則介紹了語(yǔ)句覆蓋、判定、條件覆蓋、修正判定覆蓋和基本路徑覆蓋;在組合測(cè)試方面包括拉丁方陣、正交表等方法,重點(diǎn)討論了成對(duì)組合測(cè)試方法;基于有限自動(dòng)機(jī)的測(cè)試涵蓋了t方法、d方法、w方法、u方法;面向?qū)ο笳Z(yǔ)言測(cè)試方面包括類(lèi)屬性、對(duì)象屬性測(cè)試,基于對(duì)象創(chuàng)建和銷(xiāo)毀、裝飾器、多態(tài)的軟件測(cè)試;基于uml的軟件測(cè)試介紹了基于用例圖、類(lèi)圖、活動(dòng)圖、序列圖、狀態(tài)圖等的測(cè)試方法;*后,本書(shū)討論基于petri網(wǎng)的軟件測(cè)試、蛻變測(cè)試、基于變異的軟件測(cè)試以及基于故障樹(shù)的軟件測(cè)試。 本書(shū)結(jié)合當(dāng)前技術(shù)發(fā)展的特點(diǎn)和工程實(shí)踐的需求而編寫(xiě),內(nèi)容新穎,實(shí)操性強(qiáng),既適合于軟件測(cè)試和軟件質(zhì)量保障相關(guān)的技術(shù)人員在從事軟件測(cè)試時(shí)參考,也適合作為軟件工程專(zhuān)業(yè)的本科生、研究生學(xué)習(xí)軟件測(cè)試課程的教科書(shū)。

軟件測(cè)試導(dǎo)論 內(nèi)容簡(jiǎn)介

覆蓋等價(jià)類(lèi)、邊界值、決策表、因果圖以及各種基于控制流的覆蓋方法涵蓋多重繼承、異常、多態(tài)、裝飾器等面向?qū)ο鬁y(cè)試的高級(jí)話(huà)題。詳細(xì)闡述了當(dāng)前組合測(cè)試的各種技術(shù),介紹各種經(jīng)典的成對(duì)組合測(cè)試策略,如cats、aetg、ipo、ga等。全面涵蓋有限狀態(tài)機(jī)fsm的測(cè)試方法,如t方法、d方法、w方法、u方法等。所有的源碼相關(guān)例子都給出完整的可運(yùn)行的python代碼,方便讀者學(xué)習(xí)。詳細(xì)介紹基于uml、cpn等模型的測(cè)試方法。其他高級(jí)主題包括:蛻變測(cè)試、基于變異測(cè)試、故障樹(shù)測(cè)試。 

軟件測(cè)試導(dǎo)論 目錄

目錄第1章緒論/11.1 軟件測(cè)試的歷史和發(fā)展/11.1.1軟件測(cè)試的起源/11.1.2軟件質(zhì)量問(wèn)題/21.1.3軟件測(cè)試的發(fā)展/31.2軟件測(cè)試術(shù)語(yǔ)/51.3軟件缺陷管理/91.3.1缺陷生存周期/91.3.2缺陷的描述及屬性/101.4軟件質(zhì)量模型的發(fā)展/121.4.1gb/t 16260—1996軟件質(zhì)量模型/121.4.2gb/t 16260—2006軟件質(zhì)量模型/121.4.3iso/iec 25010—2014軟件質(zhì)量模型/141.4.4基于質(zhì)量模型的軟件測(cè)試標(biāo)準(zhǔn)/161.5軟件測(cè)試模型/171.5.1v模型/171.5.2w模型/181.5.3x模型/191.5.4h模型/191.6軟件測(cè)試的局限性/201.6.1軟件測(cè)試的覆蓋問(wèn)題/201.6.2窮舉測(cè)試的局限性/221.6.3缺陷的隱蔽性/231.6.4軟件測(cè)試的殺蟲(chóng)劑效應(yīng)/251.7軟件測(cè)試的分類(lèi)/271.7.1軟件功能測(cè)試分類(lèi)/271.7.2根據(jù)測(cè)試階段分類(lèi)/28第2章傳統(tǒng)的黑盒測(cè)試/332.1邊界值分析/332.1.1邊界值分析概念/332.1.2邊界值分析原則/342.1.3邊界值確定和分析法/352.1.4邊界值測(cè)試舉例/442.2等價(jià)類(lèi)/472.2.1等價(jià)類(lèi)的概念/482.2.2等價(jià)類(lèi)的劃分及依據(jù)/492.2.3等價(jià)類(lèi)測(cè)試舉例/512.3決策表/542.3.1決策表的概念/542.3.2決策表的建立/542.3.3決策表的簡(jiǎn)化/552.3.4決策表規(guī)則數(shù)統(tǒng)計(jì)/572.3.5決策表特性/592.3.6決策表測(cè)試用例設(shè)計(jì)/602.4因果圖/622.4.1因果圖的概念/622.4.2因果圖設(shè)計(jì)/632.4.3利用因果圖設(shè)計(jì)測(cè)試用例/63第3章基于控制流的測(cè)試/673.1概述/673.2圖論基礎(chǔ)/723.3流程圖結(jié)構(gòu)以及表示/743.4python中的條件和判定/763.4.1條件與布爾值認(rèn)定/763.4.2判定與短路計(jì)算/793.5語(yǔ)句覆蓋/803.5.1語(yǔ)句覆蓋定義及其測(cè)試/813.5.2語(yǔ)句覆蓋的優(yōu)缺點(diǎn)/843.5.3語(yǔ)句覆蓋與死代碼/863.6判定覆蓋/883.6.1判定覆蓋簡(jiǎn)介/883.6.2兩路分支覆蓋/893.6.3多路分支覆蓋/893.6.4不可達(dá)分支/913.6.5異常處理多分支覆蓋/923.6.6復(fù)合判定覆蓋/963.7條件覆蓋/993.7.1簡(jiǎn)單條件覆蓋/993.7.2條件判定覆蓋/1023.7.3條件組合覆蓋/1063.8修正條件判定覆蓋/1073.8.1修正條件判定覆蓋的定義/1073.8.2唯一原因法生成mc/dc測(cè)試用例/1093.8.3屏蔽法生成mc/dc測(cè)試用例/1113.8.4二叉樹(shù)法生成mc/dc測(cè)試用例/1123.8.5mc/dc的進(jìn)一步討論/1153.9路徑覆蓋/1173.9.1程序和控制流圖表示/1173.9.2獨(dú)立路徑和圈復(fù)雜度/1213.9.3基本路徑覆蓋/126第4章組合測(cè)試/1304.1多參數(shù)的故障模型/1304.2利用正交表實(shí)現(xiàn)測(cè)試/1324.2.1拉丁方陣/1324.2.2正交表/1354.2.3正交表的性質(zhì)/1384.2.4正交表測(cè)試/1394.3組合測(cè)試的數(shù)學(xué)基礎(chǔ)和定義/1434.4成對(duì)組合測(cè)試用例的生成策略/1464.4.1cats算法/1474.4.2aetg法/1504.4.3ipo法/1514.4.4ga法/1554.5可變強(qiáng)度和具有約束的組合測(cè)試/1574.5.1混合強(qiáng)度的組合測(cè)試/1584.5.2參數(shù)值之間的約束/1604.5.3種子組合和負(fù)面測(cè)試/162第5章基于有限狀態(tài)機(jī)的測(cè)試/1675.1有限狀態(tài)機(jī)的定義/1675.1.1有限狀態(tài)機(jī)/1675.1.2確定有限狀態(tài)機(jī)和非確定有限狀態(tài)機(jī)/1705.1.3確定有限狀態(tài)機(jī)和非確定有限狀態(tài)機(jī)的轉(zhuǎn)換/1725.1.4帶狀態(tài)輸出的有限自動(dòng)機(jī)/1755.2基于有限狀態(tài)機(jī)測(cè)試的假設(shè)和特性/1805.3有限狀態(tài)機(jī)的故障模型/1815.4基于有限狀態(tài)機(jī)的測(cè)試/1835.4.1概述/1835.4.2狀態(tài)覆蓋測(cè)試/1845.4.3遷移覆蓋測(cè)試/1865.4.4周游法(t方法)/1875.4.5區(qū)分序列法(d方法)/1895.4.6特征序列法(w方法)/1935.4.7唯一輸入/輸出序列(u方法)/202第6章面向?qū)ο蠼Y(jié)構(gòu)的軟件測(cè)試/2096.1python面向?qū)ο?2096.2python面向?qū)ο缶幊袒A(chǔ)/2106.3基于類(lèi)屬性和對(duì)象屬性的測(cè)試/2136.4基于對(duì)象創(chuàng)建和銷(xiāo)毀的測(cè)試/2206.4.1基于類(lèi)創(chuàng)建和繼承測(cè)試/2206.4.2基于多重繼承初始化方法的測(cè)試/2236.4.3多重繼承方法解釋順序的測(cè)試/2286.4.4基于對(duì)象銷(xiāo)毀的測(cè)試/2296.5基于裝飾器的測(cè)試/2336.6基于多態(tài)的測(cè)試/240第7章基于uml的軟件測(cè)試/2467.1uml概念和建模/2467.2基于用例的軟件測(cè)試/2487.2.1用例圖的概念/2487.2.2用例圖的覆蓋準(zhǔn)則/2507.2.3用例圖的測(cè)試用例設(shè)計(jì)/2557.3基于類(lèi)圖的軟件測(cè)試/2607.3.1類(lèi)圖的概念/2607.3.2類(lèi)圖的覆蓋準(zhǔn)則/2647.3.3類(lèi)圖的測(cè)試用例設(shè)計(jì)/2657.4基于活動(dòng)圖的軟件測(cè)試/2687.4.1活動(dòng)圖的概念/2687.4.2活動(dòng)圖的覆蓋準(zhǔn)則/2707.4.3活動(dòng)圖的測(cè)試用例設(shè)計(jì)/2747.5基于序列圖的軟件測(cè)試/2827.5.1序列圖的概念/2827.5.2序列圖的覆蓋準(zhǔn)則/2857.5.3序列圖的測(cè)試用例設(shè)計(jì)/2907.6基于狀態(tài)圖的軟件測(cè)試方法/2967.6.1狀態(tài)圖的概念/2967.6.2狀態(tài)圖的覆蓋準(zhǔn)則/2997.6.3狀態(tài)圖的測(cè)試用例設(shè)計(jì)/301第8章其他測(cè)試技術(shù)/3098.1基于petri網(wǎng)的測(cè)試用例生成/3098.1.1petri網(wǎng)的定義/3098.1.2著色petri網(wǎng)/3118.1.3幾種常見(jiàn)的系統(tǒng)結(jié)構(gòu)模型/3148.1.4petri網(wǎng)的行為性質(zhì)/3168.1.5基于petri網(wǎng)的測(cè)試/3188.2蛻變測(cè)試/3278.2.1蛻變測(cè)試的出發(fā)點(diǎn)/3278.2.2蛻變測(cè)試的基本理論/3288.2.3蛻變測(cè)試的過(guò)程/3298.2.4蛻變測(cè)試的例子/3308.3基于變異的軟件測(cè)試方法/3378.3.1變異測(cè)試的概念/3378.3.2變異算子/3388.3.3變異測(cè)試的過(guò)程/3458.4基于故障樹(shù)的軟件測(cè)試方法/3508.4.1故障樹(shù)的概念/3518.4.2故障樹(shù)的建立和分析/3518.4.3基于故障樹(shù)的測(cè)試用例設(shè)計(jì)/354附錄/358附錄a軟件測(cè)試大事記/358附錄b常見(jiàn)正交測(cè)試表/360附錄cpict工具指南/363附錄dpytest測(cè)試簡(jiǎn)介/364附錄e*長(zhǎng)公共子序列示例/371參考文獻(xiàn)/373
展開(kāi)全部
暫無(wú)評(píng)論……
書(shū)友推薦
本類(lèi)暢銷(xiāo)
返回頂部
中圖網(wǎng)
在線(xiàn)客服