掃一掃
關注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
基于程序分析的軟件測試與錯誤定位技術 版權信息
- ISBN：9787563569854
- 條形碼：9787563569854 ; 978-7-5635-6985-4
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
基于程序分析的軟件測試與錯誤定位技術 內(nèi)容簡介
本書共9章，其主要內(nèi)容包括程序分析技術、符號執(zhí)行技術、軟件測試與錯誤定位技術、基于執(zhí)行路徑的*弱前置條件計算、基于后綴路徑摘要的符號執(zhí)行加速、基于反饋驅(qū)動的增量符號執(zhí)行、級聯(lián)式錯誤定位方法、演化軟件錯誤定位方法和符號執(zhí)行指導的并行程序分析。
基于程序分析的軟件測試與錯誤定位技術 目錄
第1章程序分析技術
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可達定義分析
1.3.3活變量分析
本章小結
第2章符號執(zhí)行技術
2.1符號執(zhí)行概述
2.2傳統(tǒng)符號執(zhí)行
2.3混合符號執(zhí)行
2.4符號執(zhí)行技術面臨的挑戰(zhàn)
2.4.1內(nèi)存相關問題
2.4.2環(huán)境相關問題
2.4.3路徑爆炸問題
2.4.4約束求解問題
2.5符號執(zhí)行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4SymCC
本章小結
第3章軟件測試與錯誤定位技術
3.1軟件測試與錯誤定位的研究背景
3.1.1軟件測試
3.1.2軟件錯誤定位
3.2基于符號執(zhí)行的軟件測試
3.2.1摘要計算
3.2.2路含與等價分析
3.2.3約束不充分的符號執(zhí)行
3.2.4前置條件與輸入特征利用
3.2.5符號執(zhí)行狀態(tài)合并
3.2.6程序分析及優(yōu)化技術
3.2.7目標導向與啟發(fā)式策略
3.2.8增量符號執(zhí)行
3.2.9并行符號執(zhí)行
3.3軟件錯誤定位方法
3.3.1基于切片的錯誤定位
3.3.2基于程序狀態(tài)的錯誤定位
3.3.3基于統(tǒng)計分析的錯誤定位
3.3.4基于人工智能的錯誤定位
3.3.5演化軟件錯誤定位
本章小結
第4章基于執(zhí)行路徑的弱前置條件計算
4.1弱前置條件概述
……
9.4方法評估…
9.4.1檢測并行程序錯誤·
9.4.2并發(fā)庫的評估…
9.4.3與工具Con2Colic的比較
本章小結
參考文獻
展開全部
基于程序分析的軟件測試與錯誤定位技術 作者簡介
易秋萍，女，北京郵電大學計算機學院（國家示范軟件學院）特聘副研究員，工學博士。研究方向包括：系統(tǒng)軟件安全、程序分析測試、軟件錯誤定位與修復、并行程序分析驗證。當前感興趣的研究方向包括：基于AI技術與程序分析技術的有效結合，構建大規(guī)模程序分析驗證平臺；C++11并行程序分析驗證方法及工具平臺研發(fā)。于2016年在中科院軟件研究所獲得博士學位，隨后到美國Texas A&M大學和Texas State大學做博士后。2020年10月，通過北京郵電大學“優(yōu)秀人才計劃”引進，任特聘副研究員、博士生導師。當前主持國家自然科學基金項目1項。在多個CCF A類國際頂級期刊／會議（ESEC/FSE、TSE、USENIX Security、ICSE、TOSEM）上發(fā)表多篇論文。曾擔任CCF A類國際頂級會議（PLDI, CGO-PPoPP, ICSE, ISSTA, ICSE）的程序委員會委員或?qū)徃迦恕?/p>
書友推薦
- >
我從未如此眷戀人間
- >
唐代進士錄
- >
羅曼·羅蘭讀書隨筆-精裝
- >
自卑與超越
- >
苦雨齋序跋文-周作人自編集
- >
龍榆生：詞曲概論/大家小書
- >
中國歷史的瞬間
- >
大紅狗在馬戲團-大紅狗克里弗-助人
本類暢銷
