關(guān)于我們
書單推薦
新書推薦

基于程序分析的軟件測試與錯(cuò)誤定位技術(shù)

基于程序分析的軟件測試與錯(cuò)誤定位技術(shù)

定　　價(jià)：49 元

        

  • 作者：易秋萍
  • 出版時(shí)間：2023/8/1
  • ISBN：9787563569854
  • 出 版 社：北京郵電大學(xué)出版社
  • 中圖法分類：TP311.55 
  • 頁碼：
  • 紙張：膠版紙
  • 版次：
  • 開本：16開
9
7
5
8
6
7
9
5
8
6
5
3
4
本書主題為基于最弱前置條件計(jì)算的軟件測試及錯(cuò)誤定位分析方法研究。主要包括以下幾個(gè)方面的內(nèi)容：
一、首先對基于程序分析的軟件測試及錯(cuò)誤定位研究的總體情況進(jìn)行分析�；仡欆浖䴗y試技術(shù)近幾十年的發(fā)展歷程，分析該技術(shù)的重要地位、目前的現(xiàn)狀及面臨的主要困境。分析作為軟件質(zhì)量維護(hù)重要環(huán)節(jié)的軟件修復(fù)，并進(jìn)一步細(xì)化軟件修復(fù)的重要步驟，包括直接影響軟件修復(fù)正確性及有效性的關(guān)鍵步驟軟件錯(cuò)誤定位。
二、其次，全面分析介紹與軟件測試以及錯(cuò)誤定位相關(guān)的國內(nèi)外研究現(xiàn)狀。介紹經(jīng)典程序分析符號(hào)執(zhí)行方法，包括傳統(tǒng)符號(hào)執(zhí)行的基本理論思想，符號(hào)執(zhí)行技術(shù)的研究發(fā)展現(xiàn)狀，以及近些年來符號(hào)執(zhí)行技術(shù)的主要發(fā)展方向以及面臨的主要問題及其挑戰(zhàn)。介紹軟件測試與錯(cuò)誤定位相關(guān)的國內(nèi)外研究現(xiàn)狀，主要關(guān)注基于程序分析技術(shù)的軟件測試以及錯(cuò)誤定位分析方法的發(fā)展現(xiàn)狀。
三、接著，介紹基于程序執(zhí)行路徑的最弱前置條件計(jì)算框架。包括對被測程序語言的介紹及定義，基于執(zhí)行路徑的最弱前置條件計(jì)算算法的介紹等方面內(nèi)容。
四、隨后，介紹基于最弱前置條件計(jì)算框架的有效軟件測試方法。針對基于符號(hào)執(zhí)行技術(shù)的測試方法面臨的路徑爆炸問題，該部分介紹一種有效的基于最弱前置條件計(jì)算框架實(shí)現(xiàn)的符號(hào)執(zhí)行加速算法，該方法通過有效避免重復(fù)遍歷相同子路徑的方法加速符號(hào)執(zhí)行，緩解該技術(shù)面臨的路徑爆炸問題。
五、隨后，介紹基于最弱前置條件計(jì)算框架的有效錯(cuò)誤定位分析方法。針對錯(cuò)誤定位技術(shù)難以準(zhǔn)確定位錯(cuò)誤語句，以及難生成有效的錯(cuò)誤原因解釋信息的困境，該部分介紹一種有效的基于單條錯(cuò)誤執(zhí)行路徑展開的錯(cuò)誤定位分析方法，并分別從非增量以及
六、最后，總結(jié)并展望軟件測試以及錯(cuò)誤定位分析方法的發(fā)展方向。
 你還可能感興趣
 我要評論
您的姓名   驗(yàn)證碼： 圖片看不清？點(diǎn)擊重新得到驗(yàn)證碼
留言內(nèi)容