基于模型的軟件驗證與測試

定　價：￥29.00

作　者：	鄭煒著
出版社：	西北工業(yè)大學(xué)出版社
叢編項：	計算機(jī)系列教程
標(biāo)　簽：	暫缺

購買這本書可以去

京東 (￥25.10)

ISBN：	9787561237670	出版時間：	2013-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	219	字?jǐn)?shù)：

內(nèi)容簡介

　　隨著計算機(jī)應(yīng)用的飛速發(fā)展，整個社會對計算機(jī)軟件的需求在不斷擴(kuò)大；軟件的規(guī)模不斷地擴(kuò)大，數(shù)量也飛速地增長。與此同時，軟件質(zhì)量卻并沒有得到顯著提高，軟件故障所帶來的損失不容忽視，如何有效地提高和保證軟件質(zhì)量，成為計算機(jī)領(lǐng)域重要的研究課題。但是，當(dāng)前的測試技術(shù)，存在很多缺點，直接影響著軟件質(zhì)量?；谀Ｐ偷能浖y試在近年來得到了較為廣泛的關(guān)注，它以明確描述系統(tǒng)預(yù)期行為的抽象模型為依據(jù)，根據(jù)模型覆蓋測試準(zhǔn)則自動生成抽象的測試序列，自動產(chǎn)生測試腳本，執(zhí)行測試并自動評價測試結(jié)果，實現(xiàn)測試過程的自動化?？傮w上說，這方面的研究還處于方法探索階段，比較實用的工具非常少。但這種方法可以使得軟件測試和軟件設(shè)計以及實現(xiàn)同時進(jìn)行，改變了軟件工程中“現(xiàn)在編程，以后測試”的工作方式，使得在整個軟件生命期中都可以并行地進(jìn)行測試工作，從而極大地提高了軟件開發(fā)的效率。《計算機(jī)系列教程：基于模型的軟件驗證與測試》試圖在總結(jié)過去研究工作的基礎(chǔ)上，提出了新的方法并進(jìn)行了實驗論證。全書分為六章。每章通過介紹具體測試的背景、研究現(xiàn)狀，進(jìn)一步提出了方法，并以實驗進(jìn)行了論證。

作者簡介

暫缺《基于模型的軟件驗證與測試》作者簡介

圖書目錄

第1章基于FSM的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 設(shè)計
第3節(jié) 實現(xiàn)及測試
第4節(jié) 實際應(yīng)用及結(jié)果
第5節(jié) 總結(jié)
第2章基于TTCN -3的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) TTCN -3相關(guān)技術(shù)
第3節(jié) 實時性方法設(shè)計
第4節(jié) 實時性方法的一般實現(xiàn)過程
第5節(jié) 總結(jié)
第3章基于模型的Web服務(wù)測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) Web服務(wù)及其測試?yán)碚?br />第3節(jié) 基于樹模型的Web服務(wù)測試用例生成算法
第4節(jié) Web服務(wù)自動測試方案設(shè)計與應(yīng)用
第5節(jié) 總結(jié)
第4章基于統(tǒng)計的軟件測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 謂詞統(tǒng)計模型錯誤定位算法SOBER
第3節(jié) 基于Mann - Whitney秩和檢驗技術(shù)的錯誤定位算法
第4節(jié) 對SOBER算法的研究和優(yōu)化
第5節(jié) 謂詞統(tǒng)計錯誤定位算法FDI
第6節(jié) 總結(jié)
第5章回歸測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 方法
第3節(jié) 實驗
第4節(jié) 總結(jié)
第6章組合測試
第1節(jié) 研究基礎(chǔ)
第2節(jié) 組合測試方法
第3節(jié) 組合測試在故障定位中的應(yīng)用
第4節(jié) 總結(jié)
附錄
參考文獻(xiàn)