|
關于我們
 書單推薦 新書推薦 |
|
定 價：49 元
- 作者：易秋萍
- 出版時間：2023/8/1
- ISBN：9787563569854
- 出 版 社：北京郵電大學出版社
- 中圖法分類：TP311.55
- 頁碼：
- 紙張：膠版紙
- 版次：
- 開本：16開
本書主題為基于最弱前置條件計算的軟件測試及錯誤定位分析方法研究。主要包括以下幾個方面的內容：
一、首先對基于程序分析的軟件測試及錯誤定位研究的總體情況進行分析�；仡欆浖䴗y試技術近幾十年的發(fā)展歷程，分析該技術的重要地位、目前的現(xiàn)狀及面臨的主要困境。分析作為軟件質量維護重要環(huán)節(jié)的軟件修復，并進一步細化軟件修復的重要步驟，包括直接影響軟件修復正確性及有效性的關鍵步驟軟件錯誤定位。
二、其次，全面分析介紹與軟件測試以及錯誤定位相關的國內外研究現(xiàn)狀。介紹經(jīng)典程序分析符號執(zhí)行方法，包括傳統(tǒng)符號執(zhí)行的基本理論思想，符號執(zhí)行技術的研究發(fā)展現(xiàn)狀，以及近些年來符號執(zhí)行技術的主要發(fā)展方向以及面臨的主要問題及其挑戰(zhàn)。介紹軟件測試與錯誤定位相關的國內外研究現(xiàn)狀，主要關注基于程序分析技術的軟件測試以及錯誤定位分析方法的發(fā)展現(xiàn)狀。
三、接著，介紹基于程序執(zhí)行路徑的最弱前置條件計算框架。包括對被測程序語言的介紹及定義，基于執(zhí)行路徑的最弱前置條件計算算法的介紹等方面內容。
四、隨后，介紹基于最弱前置條件計算框架的有效軟件測試方法。針對基于符號執(zhí)行技術的測試方法面臨的路徑爆炸問題，該部分介紹一種有效的基于最弱前置條件計算框架實現(xiàn)的符號執(zhí)行加速算法，該方法通過有效避免重復遍歷相同子路徑的方法加速符號執(zhí)行，緩解該技術面臨的路徑爆炸問題。
五、隨后，介紹基于最弱前置條件計算框架的有效錯誤定位分析方法。針對錯誤定位技術難以準確定位錯誤語句，以及難生成有效的錯誤原因解釋信息的困境，該部分介紹一種有效的基于單條錯誤執(zhí)行路徑展開的錯誤定位分析方法，并分別從非增量以及
六、最后，總結并展望軟件測試以及錯誤定位分析方法的發(fā)展方向。 |
| 易秋萍，女，北京郵電大學計算機學院（國家示范軟件學院）特聘副研究員，工學博士。研究方向包括：系統(tǒng)軟件安全、程序分析測試、軟件錯誤定位與修復、并行程序分析驗證。當前感興趣的研究方向包括：基于AI技術與程序分析技術的有效結合，構建大規(guī)模程序分析驗證平臺；C 11并行程序分析驗證方法及工具平臺研發(fā)。于2016年在中科院軟件研究所獲得博士學位，隨后到美國Texas A&M大學和Texas State大學做博士后。2020年10月，通過北京郵電大學優(yōu)秀人才計劃引進，任特聘副研究員、博士生導師。當前主持國家自然科學基金項目1項。在多個CCF A類國際頂級期刊／會議（ESEC/FSE、TSE、USENIX Security、ICSE、TOSEM）上發(fā)表多篇論文。曾擔任CCF A類國際頂級會議（PLDI, CGO-PPoPP, ICSE, ISSTA, ICSE）的程序委員會委員或審稿人。 |
|
