基於程序分析的軟件測試與錯誤定位技術 易秋萍 9787563569854 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：北京郵電大學
物品所在地：中國大陸
原出版社：北京郵電大學
NT$312
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202308*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：基於程序分析的軟件測試與錯誤定位技術 ISBN：9787563569854 出版社：北京郵電大學 著編譯者：易秋萍 頁數：183 所在地：中國大陸 *此為代購商品 書號：1580161 可大量預訂，請先連絡。 內容簡介 如今，軟體在人們的社會生活中佔據越來越重要的地位，軟體的正確性也受到人們越來越多的重視。軟體測試是保證軟體正確性以及安全性的重要手段，它的主要任務是發現軟體設計缺陷，進而要求開發人員分析、定位錯誤並修復缺陷。 本書共9章，其主要內容包括程序分析技術、符號執行技術、軟體測試與錯誤定位技術、基於執行路徑的最弱前置條件計算、基於後綴路徑摘要的符號執行加速、基於反饋驅動的增量符號執行、級聯式錯誤定位方法、演化軟體錯誤定位方法和符號執行指導的并行程序分析。 本書是程序分析領域的專業書籍，可供軟體測試、程序分析與驗證領域的學生及研究人員學習和參考。目錄 第1章 程序分析技術1 1 程序的正確性及其分析 1 2 控制流分析 1 2 1 控制流圖 1 2 2 程序依賴圖 1 2 3 系統依賴圖 1 3 數據流分析 1 3 1 數據流分析概述 1 3 2 可達定義分析 1 3 3 活性變數分析 本章小結 第2章 符號執行技術 2 1 符號執行概述 2 2 傳統符號執行 2 3 混合符號執行 2 4 符號執行技術面臨的挑戰 2 4 1 內存相關問題 2 4 2 環境相關問題 2 4 3 路徑爆炸問題 2 4 4 約束求解問題 2 5 符號執行工具 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 基於符號執行的軟體測試 3 2 1 摘要計算 3 2 2 路徑包含與等價分析 3 2 3 約束不充分的符號執行 3 2 4 前置條件與輸入特徵利用 3 2 5 符號執行狀態合併 3 2 6 程序分析及優化技術 3 2 7 目標導向與啟髮式策略 3 2 8 增量符號執行 3 2 9 并行符號執行 3 3 軟體錯誤定位方法 3 3 1 基於切片的錯誤定位 3 3 2 基於程序狀態的錯誤定位 3 3 3 基於統計分析的錯誤定位 3 3 4 基於人工智慧的錯誤定位 3 3 5 演化軟體錯誤定位 本章小結 第4章 基於執行路徑的最弱前置條件計算 4 1 最弱前置條件概述 4 2 最弱前置條件計算 4 2 1 轉換實例 4 2 2 關鍵謂詞 4 3 框架設計與實現 本章小結 第5章 基於後綴路徑摘要的符號執行加速 5 1 方法概述 5 2 預備知識 5 3 冗餘後綴路徑消除 5 3 1 示常式序分析 5 3 2 頂層演算法描述 5 3 3 路徑後綴描述 5 3 4 冗餘路徑後綴裁剪 5 3 5 可靠性分析 5 3 6 搜索策略設置 5 4 優化策略 5 4 1 摘要化簡 5 4 2 避免冗餘最弱前置條件計算 5 4 3 設置冗餘路徑檢測點 5 4 4 控制摘要大小 5 5 方法評估 5 5 1 實驗對象及方法 5 5 2 路徑裁剪的有效性 5 5 3 路徑裁剪的代價 5 5 4 優化策略有效性評估 本章小結 第6章 基於反饋驅動的增量符號執行 6 1 方法簡介 6 2 相關定義 6 3 增量符號執行與反饋驅動分析 6 3 1 總體演算法 6 3 2 正向符號執行 6 3 3 後向符號執行 6 3 4 基於Π△的顯式路徑裁剪 6 3 5 帶有路徑收縮的隱式路徑修剪 6 3 6 例子闡述 6 3 7 討論 6 4 實驗評估 6 4 1 原型工具實現 6 4 2 實驗對象和實驗設置 6 4 3 SIR實驗 6 4 4 GNU Coreutils實驗 6 4 5 有效性威脅 本章小結 第7章 級聯式錯誤定位方法 7 1 方法簡介 7 2 級聯式錯誤定位 7 2 1 錯誤原因的標識 7 2 2 更多可能錯誤原因的標識 7 2 3 頂層演算法的描述 7 3 優化策略 7 3 1 切片處理錯誤執行路徑 7 3 2 指定正確實現函數 7 3 3 簡化SMT求解器查詢 7 3 4 處理循環與遞歸 7 4 方法評估 7 4 1 西門子測試程序集評估 7 4 2 Busybox與Coreutils評估 本章小結 第8章 演化軟體錯誤定位方法 8 1 演化軟體錯誤定位方法概述 8 2 協同分析方法 8 2 1 頂層演算法描述 8 2 2 動態分析 8 2 3 計算輔助代碼改變塊 8 3 示例闡述 8 3 1 演化軟體錯誤定位方法的應用 8 3 2 與相關方法的比較 8 4 實驗分析 8 4 1 錯誤解釋的精確性 8 4 2 運行性能的比較 8 4 3 協同分析的有效性 本章小結 第9章 符號執行指導的并行程序分析 9 1 方法介紹 9 2 方法概述 9 2 1 示例闡述 9 2 2 最大因果關係規約 9 2 3 最大路徑因果關係概述 9 3 最大路徑因果關係方法 9 3 1 基本定義 9 3 2 最大路徑因果關係 9 3 3 基本演算法 9 3 4 路徑遍歷 9 3 5 并行的MPC演算法 9 4 方法評估 9 4 1 檢測并行程序錯誤 9 4 2 併發庫的評估 9 4 3 與工具Con2Colic的比較 本章小結 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
