基于程序分析的軟件測試與錯誤定位技術(shù)

定　價：￥49.00

作　者：	易秋萍
出版社：	北京郵電大學(xué)出版社
叢編項：
標(biāo)　簽：	暫缺

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

內(nèi)容簡介

　　如今，軟件在人們的社會生活中占據(jù)越來越重要的地位，軟件的正確性也受到人們越來越多的重視。軟件測試是保證軟件正確性以及安全性的重要手段，它的主要任務(wù)是發(fā)現(xiàn)軟件設(shè)計缺陷，進(jìn)而要求開發(fā)人員分析、定位錯誤并修復(fù)缺陷。本書共9章，其主要內(nèi)容包括程序分析技術(shù)、符號執(zhí)行技術(shù)、軟件測試與錯誤定位技術(shù)、基于執(zhí)行路徑的弱前置條件計算、基于后綴路徑摘要的符號執(zhí)行加速、基于反饋驅(qū)動的增量符號執(zhí)行、級聯(lián)式錯誤定位方法、演化軟件錯誤定位方法和符號執(zhí)行指導(dǎo)的并行程序分析。本書是程序分析領(lǐng)域的專業(yè)書籍，可供軟件測試、程序分析與驗證領(lǐng)域的學(xué)生及研究人員學(xué)習(xí)和參考。

作者簡介

暫缺《基于程序分析的軟件測試與錯誤定位技術(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章符號執(zhí)行技術(shù)
2.1 符號執(zhí)行概述
2.2 傳統(tǒng)符號執(zhí)行
2.3 混合符號執(zhí)行
2.4 符號執(zhí)行技術(shù)面臨的挑戰(zhàn)
2.4.1 內(nèi)存相關(guān)問題
2.4.2 環(huán)境相關(guān)問題
2.4.3 路徑問題
2.4.4 約束求解問題
2.5 符號執(zhí)行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4 SymCC
本章小結(jié)
第3章軟件測試與錯誤定位技術(shù)
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)化技術(shù)
3.2.7 目標(biāo)導(dǎo)向與啟發(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 演化軟件錯誤定位
本章小結(jié)
第4章基于執(zhí)行路徑的弱前置條件計算
4.1 弱前置條件概述
4.2 弱前置條件計算