掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國(guó)計(jì)算機(jī)等級(jí)考試最新真考題庫(kù)模擬考場(chǎng)及詳解·二級(jí)MSOffice高級(jí)應(yīng)用
-
>
決戰(zhàn)行測(cè)5000題(言語(yǔ)理解與表達(dá))
-
>
軟件性能測(cè)試.分析與調(diào)優(yōu)實(shí)踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強(qiáng)教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
中圖價(jià):¥35.8
加入購(gòu)物車
基于程序分析的軟件測(cè)試與錯(cuò)誤定位技術(shù) 版權(quán)信息
- ISBN：9787563569854
- 條形碼：9787563569854 ; 978-7-5635-6985-4
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>
基于程序分析的軟件測(cè)試與錯(cuò)誤定位技術(shù) 內(nèi)容簡(jiǎn)介
本書共9章，其主要內(nèi)容包括程序分析技術(shù)、符號(hào)執(zhí)行技術(shù)、軟件測(cè)試與錯(cuò)誤定位技術(shù)、基于執(zhí)行路徑的*弱前置條件計(jì)算、基于后綴路徑摘要的符號(hào)執(zhí)行加速、基于反饋驅(qū)動(dòng)的增量符號(hào)執(zhí)行、級(jí)聯(lián)式錯(cuò)誤定位方法、演化軟件錯(cuò)誤定位方法和符號(hào)執(zhí)行指導(dǎo)的并行程序分析。
基于程序分析的軟件測(cè)試與錯(cuò)誤定位技術(shù) 目錄
第1章程序分析技術(shù)
1.1程序的正確及其分析
1.2控制流分析
1.2.1控制流圖
1.2.2程序依賴圖
1.2.3系統(tǒng)依賴圖
1.3數(shù)據(jù)流分析
1.3.1數(shù)據(jù)流分析概述
1.3.2可達(dá)定義分析
1.3.3活變量分析
本章小結(jié)
第2章符號(hào)執(zhí)行技術(shù)
2.1符號(hào)執(zhí)行概述
2.2傳統(tǒng)符號(hào)執(zhí)行
2.3混合符號(hào)執(zhí)行
2.4符號(hào)執(zhí)行技術(shù)面臨的挑戰(zhàn)
2.4.1內(nèi)存相關(guān)問(wèn)題
2.4.2環(huán)境相關(guān)問(wèn)題
2.4.3路徑爆炸問(wèn)題
2.4.4約束求解問(wèn)題
2.5符號(hào)執(zhí)行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4SymCC
本章小結(jié)
第3章軟件測(cè)試與錯(cuò)誤定位技術(shù)
3.1軟件測(cè)試與錯(cuò)誤定位的研究背景
3.1.1軟件測(cè)試
3.1.2軟件錯(cuò)誤定位
3.2基于符號(hào)執(zhí)行的軟件測(cè)試
3.2.1摘要計(jì)算
3.2.2路含與等價(jià)分析
3.2.3約束不充分的符號(hào)執(zhí)行
3.2.4前置條件與輸入特征利用
3.2.5符號(hào)執(zhí)行狀態(tài)合并
3.2.6程序分析及優(yōu)化技術(shù)
3.2.7目標(biāo)導(dǎo)向與啟發(fā)式策略
3.2.8增量符號(hào)執(zhí)行
3.2.9并行符號(hào)執(zhí)行
3.3軟件錯(cuò)誤定位方法
3.3.1基于切片的錯(cuò)誤定位
3.3.2基于程序狀態(tài)的錯(cuò)誤定位
3.3.3基于統(tǒng)計(jì)分析的錯(cuò)誤定位
3.3.4基于人工智能的錯(cuò)誤定位
3.3.5演化軟件錯(cuò)誤定位
本章小結(jié)
第4章基于執(zhí)行路徑的弱前置條件計(jì)算
4.1弱前置條件概述
……
9.4方法評(píng)估…
9.4.1檢測(cè)并行程序錯(cuò)誤·
9.4.2并發(fā)庫(kù)的評(píng)估…
9.4.3與工具Con2Colic的比較
本章小結(jié)
參考文獻(xiàn)
展開(kāi)全部
基于程序分析的軟件測(cè)試與錯(cuò)誤定位技術(shù) 作者簡(jiǎn)介
易秋萍，女，北京郵電大學(xué)計(jì)算機(jī)學(xué)院（國(guó)家示范軟件學(xué)院）特聘副研究員，工學(xué)博士。研究方向包括：系統(tǒng)軟件安全、程序分析測(cè)試、軟件錯(cuò)誤定位與修復(fù)、并行程序分析驗(yàn)證。當(dāng)前感興趣的研究方向包括：基于AI技術(shù)與程序分析技術(shù)的有效結(jié)合，構(gòu)建大規(guī)模程序分析驗(yàn)證平臺(tái)；C++11并行程序分析驗(yàn)證方法及工具平臺(tái)研發(fā)。于2016年在中科院軟件研究所獲得博士學(xué)位，隨后到美國(guó)Texas A&M大學(xué)和Texas State大學(xué)做博士后。2020年10月，通過(guò)北京郵電大學(xué)“優(yōu)秀人才計(jì)劃”引進(jìn)，任特聘副研究員、博士生導(dǎo)師。當(dāng)前主持國(guó)家自然科學(xué)基金項(xiàng)目1項(xiàng)。在多個(gè)CCF A類國(guó)際頂級(jí)期刊／會(huì)議（ESEC/FSE、TSE、USENIX Security、ICSE、TOSEM）上發(fā)表多篇論文。曾擔(dān)任CCF A類國(guó)際頂級(jí)會(huì)議（PLDI, CGO-PPoPP, ICSE, ISSTA, ICSE）的程序委員會(huì)委員或?qū)徃迦恕?/p>
書友推薦
- >
羅庸西南聯(lián)大授課錄
- >
山海經(jīng)
- >
苦雨齋序跋文-周作人自編集
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
上帝之肋:男人的真實(shí)旅程
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語(yǔ))
- >
回憶愛(ài)瑪儂
- >
我與地壇
本類暢銷
