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

定　價：￥49.00

作　者：	易秋萍
出版社：	北京郵電大學出版社
叢編項：
標　簽：	暫缺

ISBN：	9787563569854	出版時間：	2023-08-01	包裝：	平裝
開本：	16開	頁數：	183	字數：

內容簡介

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

作者簡介

暫缺《基于程序分析的軟件測試與錯誤定位技術》作者簡介

圖書目錄

第1章程序分析技術
1.1 程序的正確性及其分析
1.2 控制流分析
1.2.1 控制流圖
1.2.2 程序依賴圖
1.2.3 系統(tǒng)依賴圖
1.3 數據流分析
1.3.1 數據流分析概述
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 內存相關問題
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.4 SymCC
本章小結
第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 弱前置條件概述
4.2 弱前置條件計算