歡迎光臨中圖網(wǎng) 請 | 注冊
> >
軟件測試——原理、模型、驗(yàn)證與實(shí)踐

軟件測試——原理、模型、驗(yàn)證與實(shí)踐

作者：王蓁蓁
出版社：清華大學(xué)出版社出版時間：2021-11-01
開本： 其他 頁數(shù)： 416
中 圖 價:¥54.5(5.5折) 定價  ¥99.0 登錄后可看到會員價
加入購物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書更多>

軟件測試——原理、模型、驗(yàn)證與實(shí)踐 版權(quán)信息

軟件測試——原理、模型、驗(yàn)證與實(shí)踐 本書特色

眾所周知，當(dāng)今的人類社會已經(jīng)離不開計(jì)算機(jī)，因此也離不開計(jì)算機(jī)軟件。人們的生活越來越多的被計(jì)算機(jī)軟件主宰，于是人們對軟件質(zhì)量的要求也就越來越高。計(jì)算機(jī)軟件的可靠性、安全性、可用性等問題與所有人的生活與工作息息相關(guān)？梢哉f，保證軟件安全可靠的軟件測試工作不僅成了計(jì)算機(jī)科學(xué)領(lǐng)域的重要研究課題，更是IT企業(yè)在研發(fā)軟件時必不可少的工作環(huán)節(jié)。據(jù)統(tǒng)計(jì)，軟件測試幾乎占據(jù)了軟件制作全部成本的半壁江山。學(xué)習(xí)計(jì)算機(jī)科學(xué)與技術(shù)類專業(yè)的學(xué)生，也幾乎都要學(xué)習(xí)“軟件測試”課程。如此一來，有關(guān)軟件測試專著的出版無論是對學(xué)習(xí)軟件測試的學(xué)生或是對從事軟件測試工作的技術(shù)人員，參考價值毋容置疑。本書在“證明”和“證偽”兩個重要科學(xué)與哲學(xué)理念下梳理了整個軟件測試領(lǐng)域，盡力詳盡地論述軟件測試的各種方法。雖然本書并沒有全力注重技術(shù)細(xì)節(jié)，但本書對各種技術(shù)在思想原理的闡述上卻非常透徹，用思想原理綜合了各種測試方法，不僅開闊了視野，而且還有助于我們“知其然又知其所以然”。此外，作者還提出了一些技術(shù)模型和理論模型，用實(shí)例表明重視思想原理對于軟件測試具體實(shí)踐的重要性。對于即將學(xué)習(xí)“軟件測試”課程的本科生、研究生和廣大教師，這本書是一本較好參考讀物。對于研究軟件測試的專家和從事軟件測試工作的技術(shù)人員，這本書也值得閱讀。 系統(tǒng)論述軟件測試的思想、原理、方法與實(shí)踐！南京大學(xué)徐寶文|同濟(jì)大學(xué)朱少民|南京大學(xué)陳振宇|東南大學(xué)鄧建明聯(lián)袂推薦徐寶文 南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系教授 近年來，國內(nèi)外出版了大量的有關(guān)軟件測試的高質(zhì)量專著。這些專著大都偏重具體技術(shù)層面，而忽視了軟件測試的思想原理——《軟件測試——原理、模型、驗(yàn)證與實(shí)踐》填補(bǔ)了這個空白。該書主要闡述軟件測試的思想——基于“證明”和“證偽”兩種原理，并把當(dāng)前流行的軟件測試方法進(jìn)行了系統(tǒng)梳理。在綜合各種理論基礎(chǔ)上，作者也給出了一些有代表性的技術(shù)模型和理論模型，例如Walsh函數(shù)模型檢驗(yàn)技術(shù)、隨機(jī)模糊軟件缺陷定位技術(shù)、軟件拓?fù)淇臻g和測試原理之間的關(guān)系模型等，借此來深入論述軟件測試的思想原理對于軟件測試實(shí)踐的指導(dǎo)意義。 朱少民 同濟(jì)大學(xué)軟件學(xué)院特聘教授《軟件測試——原理、模型、驗(yàn)證與實(shí)踐》是一部深入論述軟件測試原理、系統(tǒng)闡述軟件測試模型的著作。該書敘述深入淺出，理論結(jié)合實(shí)踐，符合讀者認(rèn)知規(guī)律，便于理解。例如，針對軟件測試的正交實(shí)驗(yàn)設(shè)計(jì)方法，本書不僅從二水平正交表、正交拉丁方到*一般的正交表循序漸進(jìn)地介紹了構(gòu)造正交表的數(shù)學(xué)理論，而且給出了交互列的概念及其在正交試驗(yàn)中的作用，從而引出正交試驗(yàn)組合測試方法，使人耳目一新。本書會成為普通高校軟件工程專業(yè)本科生、研究生和軟件測試工程師的良師益友，也會進(jìn)一步促進(jìn)國內(nèi)軟件測試的學(xué)術(shù)研究。 陳振宇 南京大學(xué)軟件學(xué)院教授 《軟件測試——原理、模型、驗(yàn)證與實(shí)踐》從思想、原理方面對軟件測試作了深入論述，能引起人們對軟件測試思想的重視。這不僅對軟件理論體系的發(fā)展，而且對軟件制作技術(shù)的發(fā)展，都將產(chǎn)生積極作用。因此，這本書不僅可供計(jì)算機(jī)科學(xué)與技術(shù)類專業(yè)作為“軟件測試”的參考教材，而且適合作為從事軟件測試工作的技術(shù)人員的參考讀物，可以起到幫助讀者打開思路、開拓視野的良好效果。 鄧建明 東南大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院教授軟件測試是軟件開發(fā)過程中必不可少的環(huán)節(jié)，該領(lǐng)域的研究一直方興未艾。學(xué)習(xí)軟件測試?yán)碚、方法和工具，對于即將投身軟件開發(fā)工作的學(xué)生們是非常必要的。但是目前市面上系統(tǒng)闡述軟件測試思想和原理的優(yōu)秀圖書依然不多！盾浖䴗y試——原理、模型、驗(yàn)證與實(shí)踐》的出版恰逢其時。該書立足理論基礎(chǔ)，將軟件測試實(shí)踐和它所依據(jù)的原理統(tǒng)一在一個完整的框架下進(jìn)行研究，對現(xiàn)存的軟件測試方法進(jìn)行比較全面的梳理，對讀者真正理解并掌握軟件測試的理論與實(shí)踐很有幫助。 系統(tǒng)論述軟件測試的思想、原理、方法與實(shí)踐！南京大學(xué)徐寶文|同濟(jì)大學(xué)朱少民|南京大學(xué)陳振宇|東南大學(xué)鄧建明聯(lián)袂推薦

軟件測試——原理、模型、驗(yàn)證與實(shí)踐 內(nèi)容簡介

按證明論和證偽論兩種哲學(xué)思想原理，把現(xiàn)今存在的軟件測試工作進(jìn)行了梳理，闡述了各種思想原理對軟件測試技術(shù)的發(fā)展的貢獻(xiàn)。還提出了一些技術(shù)模型和理論模型，用實(shí)例表明重視思想原理對于軟件測試具體實(shí)踐的重要性。對于計(jì)算機(jī)科學(xué)《軟件測試》課程的學(xué)生、研究生和教師，這本書是一本較好參考讀物。對于研究軟件測試的專家和從事軟件測試工作的技術(shù)人員，這本書也值得閱讀。

軟件測試——原理、模型、驗(yàn)證與實(shí)踐 目錄

第1章緒論
1.1軟件產(chǎn)品工程： 集成測試與開發(fā)
1.2軟件測試遵循的思想原理
第1篇軟件測試證明論思想原理
第2章軟件開發(fā)過程中的驗(yàn)證活動
2.1需求分析概述
2.2需求驗(yàn)證概述
2.3系統(tǒng)設(shè)計(jì)概述
2.4設(shè)計(jì)驗(yàn)證概述
2.5模塊編碼概述
2.6單元測試概述
第3章原型和圖形
3.1原型
3.1.1概述
3.1.2示例
3.2圖形
3.2.1圖形在需求分析中的作用
3.2.2圖形在形式表示中的應(yīng)用
3.2.3圖形在形式證明中的應(yīng)用
第4章模型檢驗(yàn)簡介
4.1標(biāo)準(zhǔn)方法
4.1.1基本概念
4.1.2標(biāo)準(zhǔn)模型檢驗(yàn)步驟
4.1.3示例： LTL模型檢驗(yàn)基于Büchi自動機(jī)的算法
4.1.4符號模型檢驗(yàn)
4.1.5CTL符號模型檢驗(yàn)
4.1.6其他降低問題復(fù)雜性的方法
4.1.7其他標(biāo)準(zhǔn)方法
4.2抽象解釋
4.2.1根據(jù)存在（或經(jīng)驗(yàn)）的抽象
4.2.2抽象解釋理論框架
4.2.3基本抽象解釋理論的模型檢驗(yàn)
4.2.4運(yùn)用抽象解釋理論對（抽象模型）標(biāo)準(zhǔn)方法的改良
4.2.5抽象模型檢驗(yàn)總結(jié)
4.3綜合方法
4.3.1謂詞抽象
4.3.2模型檢驗(yàn)和定理證明
4.3.3其他方面的努力
4.4應(yīng)用和其他重要方法概覽
4.4.1模型檢驗(yàn)理論在程序分析中的應(yīng)用簡介
4.4.2其他重要方法
4.5小結(jié)
第5章抽象解釋的兩個理論模型
5.1抽象解釋全總域模型
5.1.1構(gòu)造全總域模型
5.1.2理論性問題
5.2抽象解釋部分等價邏輯關(guān)系模型
5.2.1具體語義域和語義函數(shù)
5.2.2抽象解釋
5.2.3理論問題
第6章程序正確性形式演繹證明
6.1公理化
6.1.1霍爾邏輯及其證明規(guī)則
6.1.2霍爾邏輯系統(tǒng)的可靠性和完備性
6.2不變式
6.2.1程序流程圖
6.2.2不變式概念
6.2.3不變式之間的一致性
6.2.4一個更強(qiáng)的屬性
6.2.5流程圖程序驗(yàn)證實(shí)例
6.2.6不變式方法評論
6.3*弱前置條件
6.3.1*弱前置條件的概念
6.3.2謂詞轉(zhuǎn)換函數(shù)WP性質(zhì)
6.3.3程序設(shè)計(jì)語言控制成分的語義
6.3.4程序正確性證明方法
第7章程序正確性概率演繹證明
7.1概率論數(shù)學(xué)基礎(chǔ)知識
7.1.1概率空間
7.1.2隨機(jī)變量理論知識
7.1.3馬爾可夫過程
7.2概率模型
7.2.1離散時間馬爾可夫鏈
7.2.2連續(xù)時間馬爾可夫鏈
7.3概率模型驗(yàn)證
7.3.1系統(tǒng)DTMC模型的檢測
7.3.2系統(tǒng)CTML模型的檢測
7.4操作概要
7.4.1操作的概念
7.4.2操作概要表示
7.4.3操作概要的用途
第8章集成測試中的驗(yàn)證活動
8.1組合測試引言
8.2關(guān)于正交表的基礎(chǔ)知識
8.2.1正交表的一般定義
8.2.2二水平正交表
8.2.3正交拉丁方
8.2.4Ltu(tm)型正交表
8.2.5一般正交表Ln(t1×t2×…×tm)
8.3正交試驗(yàn)組合測試方法
8.4其他組合測試方法概覽
8.4.1基于覆蓋組合的“類型”設(shè)計(jì)測試用例集
8.4.2可變強(qiáng)度和具有約束的組合測試
8.5組合測試模式分析模型及其理論
8.5.1Walsh函數(shù)基礎(chǔ)知識
8.5.2Walsh函數(shù)模式分析模型及其基礎(chǔ)理論
8.5.3模型在組合測試中的應(yīng)用
第2篇軟件測試中的證偽論思想原理
第9章軟件開發(fā)過程中的“證偽”活動
9.1軟件開發(fā)過程中的“證偽”活動概述
9.2集成測試
9.2.1概述
9.2.2負(fù)面測試
9.2.3遺傳算法
9.3系統(tǒng)測試
9.3.1概述
9.3.2系統(tǒng)測試對計(jì)算機(jī)科學(xué)發(fā)展的作用
9.3.3系統(tǒng)測試對度量科學(xué)的貢獻(xiàn)
9.3.4系統(tǒng)測試提供的新測試方法和技術(shù)
9.4驗(yàn)收測試
第10章軟件測試?yán)碚?br />10.1程序測試經(jīng)典理論
10.1.1Goodenough和Gerhart理論
10.1.2Weyuker和Ostrand理論
10.1.3Gourlay理論
10.2軟件測試?yán)碚摲治?br />10.2.1軟件存在缺陷的兩個理論根源
10.2.2軟件測試方法理論分類
10.3類隨機(jī)測試方法示例
10.3.1隨機(jī)TBFL算法模型
10.3.2實(shí)例分析
10.3.3算法功效進(jìn)一步說明和小型實(shí)驗(yàn)
10.3.4類隨機(jī)測試方法總結(jié)
第11章隨機(jī)TBFL算法討論
11.1軟件缺陷存在原因再分析
11.2隨機(jī)模糊綜合TBFL
11.2.1算法概述
11.2.2算法框架及其原理分析
11.2.3實(shí)例分析
第12章眾包軟件測試技術(shù)
12.1眾包技術(shù)
12.2眾包軟件測試技術(shù)
12.2.1概述
12.2.2利用歷史資料調(diào)試程序的眾包技術(shù)示例
12.2.3利用實(shí)時信息調(diào)試程序的眾包技術(shù)示例
12.3軟件拓?fù)淇臻g與測試原理
12.3.1預(yù)備知識
12.3.2程序拓?fù)淇臻g表示及其非標(biāo)準(zhǔn)分析
12.3.3在軟件測試領(lǐng)域中的應(yīng)用
12.3.4總結(jié)
參考文獻(xiàn)
后記

展開全部

軟件測試——原理、模型、驗(yàn)證與實(shí)踐 作者簡介

王蓁蓁 金陵科技學(xué)院軟件工程學(xué)院副教授，江蘇省軟件測試工程實(shí)驗(yàn)室主任。于2009年畢業(yè)于東南大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院，獲工學(xué)博士學(xué)位，同年進(jìn)入南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系博士后流動站。2012年起在金陵科技學(xué)院軟件工程學(xué)院從事教學(xué)和科研工作。主要研究方向是軟件測試、程序分析、人工智能、馬爾可夫決策過程。已主持并參與多項(xiàng)校級、省級及國j級科研項(xiàng)目，參與完成國家自然科學(xué)基金重大研究計(jì)劃1項(xiàng)。2014年9月至11月在澳大利亞昆士蘭科技大學(xué)進(jìn)行短期訪問；2015年3月至2016年6月獲得江蘇省優(yōu)秀中青年教師和校長境外研究資助，在美國科羅拉多大學(xué)波得爾分校計(jì)算機(jī)科學(xué)系進(jìn)行訪學(xué)研究。在國內(nèi)外學(xué)術(shù)期刊和國際會議上發(fā)表論文40余篇。2017年出版專著《認(rèn)知行為思維模型》。

商品評論(0條)
暫無評論……
書友推薦
編輯推薦
返回頂部
中圖網(wǎng)
在線客服