基于程序分析的軟件測(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.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ì)算