123,123,123

內(nèi)容簡(jiǎn)介

　　如今，軟件在人們的社會(huì)生活中占據(jù)越來越重要的地位，軟件的正確性也受到人們?cè)絹碓蕉嗟闹匾?。軟件測(cè)試是保證軟件正確性以及安全性的重要手段，它的主要任務(wù)是發(fā)現(xiàn)軟件設(shè)計(jì)缺陷，進(jìn)而要求開發(fā)人員分析、定位錯(cuò)誤并修復(fù)缺陷。本書共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)的并行程序分析。本書是程序分析領(lǐng)域的專業(yè)書籍，可供軟件測(cè)試、程序分析與驗(yàn)證領(lǐng)域的學(xué)生及研究人員學(xué)習(xí)和參考。

作者簡(jiǎn)介

暫缺《基于程序分析的軟件測(cè)試與錯(cuò)誤定位技術(shù)》作者簡(jiǎn)介

圖書目錄

第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)問題
2.4.2 環(huán)境相關(guān)問題
2.4.3 路徑問題
2.4.4 約束求解問題
2.5 符號(hào)執(zhí)行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4 SymCC
本章小結(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 弱前置條件概述
4.2 弱前置條件計(jì)算